李氏括号

Template:Use dmy dates Template:About 向量場中的李括號，於微分拓樸的數學領域下，稱為Jacobi–李括號或向量場的交換子，是在一微分流形M中作用在任意兩個向量場X 與 Y的算子，此一算子作用後也會形成向量場，以Template:Nowrap標示。

李括號 Template:Nowrap 在概念上是沿著由X生成Template:Le的Y微導，常寫為 ${ℒ}_{X}Y$ ("沿著 X 的Y 李微導")。這可以推廣到沿著由X生成的流上任意张量场的李导数。

李括號是個R-雙線性算子，且將所有在流形M 的光滑向量體轉成（無限維）李代數。

李括號在微分幾何與微分拓樸中相當重要，例如在作為非線性控制幾何理論基礎的弗罗贝尼乌斯定理中就可看到李括號。

定義

李括號有下列三種定義，這三種定義不同，但是等價：

作為微導的向量場

在一流形M上的所有平滑向量場X 可以視為作用在C^∞(M)的平滑函數 微分算子。的確，每個向量場 X 可成為在C^∞(M) 上的微分算子（导子），因此可定義 X(f) 的函數，計算函數在方向X(p)上點p的f值方向导数，更進一步，於C^∞(M)的任意微導都是源於唯一的平滑向量場X。

一般來說，任意兩微導 ${\delta }_1$ 與${\delta }_2$的 交換子 ${\delta }_1\circ {\delta }_2-{\delta }_2\circ {\delta }_1$ 亦是微導，當中 $\circ$ 為算子之組合。$f\in C^{\mathrm{\infty }}(M)$能用於定義關乎微導交換子向量場的李括號：

$[X,Y](f)=X(Y(f))-Y(X(f))$.

流與極限

令${\mathrm{\Phi }}_t^X$ 為關乎向量場 X 的流 及 D 表示切線圖導數算子（tangent map derivative operator），那麼在點Template:Nowrap的 X 與Y 的李括號可以定義為 李导数：

$[X,Y{]}_x=({ℒ}_{X}Y{)}_x:=\underset{t\to 0}{\lim }\frac{(\mathrm{D}{\mathrm{\Phi }}_{-t}^X)Y_{{\mathrm{\Phi }}_t^X(x)}-Y_x}{t}={\frac{\mathrm{d}}{\mathrm{d}t}|}_{t=0}(\mathrm{D}{\mathrm{\Phi }}_{-t}^X)Y_{{\mathrm{\Phi }}_t^X(x)}.$

這也測量了連續方向的failure of the flow $X,Y,-X,-Y$ 至點 x:

$[X,Y{]}_x={\frac{1}{2}\frac{{\mathrm{d}}^2}{\mathrm{d}{t}^2}|}_{t=0}({\mathrm{\Phi }}_{-t}^Y\circ {\mathrm{\Phi }}_{-t}^X\circ {\mathrm{\Phi }}_t^Y\circ {\mathrm{\Phi }}_t^X)(x)={\frac{\mathrm{d}}{\mathrm{d}t}|}_{t=0}({\mathrm{\Phi }}_{-\sqrt{t}}^Y\circ {\mathrm{\Phi }}_{-\sqrt{t}}^X\circ {\mathrm{\Phi }}_{\sqrt{t}}^Y\circ {\mathrm{\Phi }}_{\sqrt{t}}^X)(x).$

以坐標表示

雖上述李括號的定義為內在的（和流形M上的座標選擇無關)，但在實務上常常會想計算特定坐標系$\{x^i\}$下的李氏括号。可以令${\partial }_i=\frac{\partial }{\partial x^i}$，為切線束的相關局部基底，使得對平滑函數$X^i,Y^i:M\to ℝ$而言，一般向量場能寫成 $X={\sum }_{i=1}^n{X}^i{\partial }_i$與 $Y={\sum }_{i=1}^n{Y}^i{\partial }_i$。因此李括號可由以下方式計算：

$[X,Y]:=\sum _{i=1}^n(X(Y^i)-Y(X^i)){\partial }_i=\sum _{i=1}^n\sum _{j=1}^n(X^j{\partial }_j{Y}^i-Y^j{\partial }_j{X}^i){\partial }_i.$

若 M 是Rⁿ的某開子集，那麼向量場X 與 Y 可以寫成由平滑函數$X:M\to {ℝ}^n$ 與$Y:M\to {ℝ}^n$形式，且李括號$[X,Y]:M\to {ℝ}^n$ 的表示式如下： $[X,Y]:=J_{Y}X-J_{X}Y$

此處之 $J_Y$ 與 $J_X$ 是 n×n 雅可比矩阵 乘上 n×1 欄向量 X 與 Y。

性質

向量場的李括號等同於所有在M（也就是切線束的平滑截 $TM\to M$) 上實向量空間$V=\mathrm{\Gamma }(TM)$中的李代數的結構，表 [ • , • ] 為具以下性質之 $V\times V\to V$的映射：

• R-雙線性形式
• 反對稱性, $[X,Y]=-[Y,X]$
• 雅可比恒等式，$[X,[Y,Z]]+[Z,[X,Y]]+[Y,[Z,X]]=0.$

第二性質可馬上推得對任意 $X$，會使具$[X,X]=0$成立。

更進一步說，李括號具有「乘积法则」 。 給定一平滑 (純量值) 函數 f 與在M上的向量場，由每點Template:Nowrap的純量乘向量Y_x後可以得到一個新的向量場fY ，如此：

• $[X,fY]=X(f)Y+f[X,Y],$

此處用向量場Y乘上純量函數 X(f) ，及向量場Template:Nowrap與純量函數 f 如此引導出一具李括號的向量場至李代數。

若X 與Y的李括號為零，表示在這些方向可以定義以X 與Y作為座標向量場而內嵌入於M之曲面：

定理: $[X,Y]=0$ 若且為若X 與 Y的流局部交換，此指對所有Template:Nowrap且足夠小的s, t，$({\mathrm{\Phi }}_t^Y{\mathrm{\Phi }}_s^X)(x)=({\mathrm{\Phi }}_s^X{\mathrm{\Phi }}_t^Y)(x)$。

而這為弗罗贝尼乌斯定理的特例。

應用

在證明控制仿射無漂系統（driftless affine control system）的小時間局部可控制性（small-time local controllability、STLC）時，李氏括号是其中重要的一部份。

總結

如上所述，李导数可被視為廣義的李括號。其他可視為是（向量值微分形式）廣義李括號的有弗勒利歇尔－奈恩黑斯括号（Frölicher–Nijenhuis bracket）

相關條目

• 非完整系統
• 回授線性化

其他阅读

• Template:Springer
• Template:Citation
• Template:Citation
• Template:Citation Extensive discussion of Lie brackets, and the general theory of Lie derivatives.
• Template:Citation For generalizations to infinite dimensions.
• Template:CitationTemplate:Dead link
• Template:Citation