前期回顾�微分同胚:�同胚:一一对应的连续映射�f和其逆映射f-1均是光滑的如何验证
)可逆(nrank
2=∂∂∂∂xfxf())为微分同胚映射(函数由反函数定理可知xfy=非线性控制系统理论与应用华南理工大学自动化学院12012/4/12前期回顾�李导数()()()()⎥⎥⎤⎢⎢⎡⎤⎡∂∂∂∂xfxfhhhh21�李括号()()()()⎥⎥⎥⎦⎢⎢⎢⎣⎥⎦⎤⎢⎣⎡∂∂∂∂∂∂=∂∂=xffxhxhxhxfxhxhLmfML221�李括号()⎦⎣xfm⎭⎬⎫⎩⎨⎧∂∂−∂∂==gxffxggadgff],[()()()()⎥⎥⎥⎤⎢⎢⎢⎡⎥⎤⎢⎡∂∂∂−⎥⎥⎥⎤⎢⎢⎢⎡⎥⎤⎢⎡∂∂∂=xgxgfffxfxfgggLL2121()()⎥⎥⎥⎦⎢⎢⎢⎣⎥⎦⎢⎣∂∂∂⎥⎥⎥⎦⎢⎢⎢⎣⎥⎦⎢⎣∂∂∂=xgxxxxfxxxmmmmMLML2121非线性控制系统理论与应用华南理工大学自动化学院22012/4/12前期回顾�对合性若对Δ(x)的任何两个向量场τ1,τ2均有[τ1,τ2]∈Δ(x),则称Δ(x)为封闭的,对合性仅对空间而言,不依赖于基向量的选取习题23(1):习题2
3(1):314213⎪⎬⎫⎪⎨⎧⎟⎟⎞⎜⎜⎛⎟⎟⎞⎜⎜⎛-xx3312-213⎪⎬⎫⎪⎨⎧⎟⎟⎞⎜⎜⎛⎟⎟⎞⎜⎜⎛-xx;23,01-3223⎪⎭⎪⎬⎪⎩⎪⎨⎟⎟⎠⎜⎜⎝−⎟⎟⎠⎜⎜⎝xxx;23,033223⎪⎭⎬⎪⎩⎨⎟⎟⎠⎜⎜⎝−⎟⎟⎠⎜⎜⎝xxx非线性控制系统理论与应用华南理工大学自动化学院32012/4/12⎭⎩前期回顾�Frobenius定理:一个正则分布完全可积的充要条件是它是对合的的充要条件是它是对合的个独立解存在dnxXxXj≡∂0))()((λ非线性系统能控性判别的理论基础个独立解存在dnxXxXxd−≡∂0))(),
,((1非线性系统能控性判别的理论基础非线性控制系统