李氏括号

**向量場中的李括號**，於微分拓樸的數學領域下，稱為 **Jacobi–李括號**或**向量場的交換子**，是在一微分流形 _M_ 中作用在任意兩個向量場 _X_ 與 _Y_ 的算子，此一算子作用後也會形成向量場，以[_X_, _Y_]標示。

李括號 [_X_, _Y_] 在概念上是沿著由 _X_ 生成向量流的 _Y_ 微導，常寫為 _${\mathcal {L}}_{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^{\infty }(M)$ 能用於定義關乎微導交換子向量場的李括號：

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

### 流與極限

令 $\Phi _{t}^{X}$ 為關乎向量場 _X_ 的流 及 D 表示切線圖導數算子（tangent map derivative operator），那麼在點 _x_ ∈ _M_ 的 _X_ 與 _Y_ 的李括號可以定義為 李導數：

　
: $[X,Y]_{x}\ =\ ({\mathcal {L}}_{X}Y)_{x}\ :=\ \lim _{t\to 0}{\frac {(\mathrm {D} \Phi _{-t}^{X})Y_{\Phi _{t}^{X}(x)}\,-\,Y_{x}}{t}}\ =\ \left.{\tfrac {\mathrm {d} }{\mathrm {d} t}}\right|_{t=0}(\mathrm {D} \Phi _{-t}^{X})Y_{\Phi _{t}^{X}(x)}.$

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

　
: $[X,Y]_{x}\ =\ \left.{\tfrac {1}{2}}{\tfrac {\mathrm {d} ^{2}}{\mathrm {d} t^{2}}}\right|_{t=0}(\Phi _{-t}^{Y}\circ \Phi _{-t}^{X}\circ \Phi _{t}^{Y}\circ \Phi _{t}^{X})(x)\ =\ \left.{\tfrac {\mathrm {d} }{\mathrm {d} t}}\right|_{t=0}(\Phi _{\!-{\sqrt {t}}}^{Y}\circ \Phi _{\!-{\sqrt {t}}}^{X}\circ \Phi _{\!{\sqrt {t}}}^{Y}\circ \Phi _{\!{\sqrt {t}}}^{X})(x).$

### 以坐標表示

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

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

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

此處之 $J_{Y}$ 與 $J_{X}$ 是 _n×n_ 雅可比矩陣 乘上 _n×_1 欄向量 _X_ 與 _Y_。

## 性質

向量場的李括號等同於所有在 _M_（也就是切線束的平滑截 $TM\to M$ ) 上實向量空間 $V=\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_ 上的向量場，由每點 _x_ ∈ _M_ 的純量乘向量 _Yx_ 後可以得到一個新的向量場 _fY_ ，如此：

 * $[X,fY]\ =\ X\!(f)\,Y\,+\,f\,[X,Y],$

此處用向量場 _Y_ 乘上純量函數 _X_(_f_) ，及向量場[_X_, _Y_]與純量函數 _f_ 如此引導出一具李括號的向量場至李代數。

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

**定理:** $[X,Y]=0\,$ 若且為若 _X_ 與 _Y_ 的流局部交換，此指對所有 _x_ ∈ _M_ 且足夠小的 _s_, _t_， $(\Phi _{t}^{Y}\Phi _{s}^{X})(x)=(\Phi _{s}^{X}\,\Phi _{t}^{Y})(x)$ 。

而這為弗羅貝尼烏斯定理的特例。

## 應用

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

## 總結

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

## 相關條目

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

## 參考

## 其他閱讀

* Hazewinkel, Michiel (編), Lie bracket, 数学百科全书，Springer, 2001, ISBN 978-1-55608-010-4
* Isaiah, Pantelis, Controlled parking [Ask the experts], IEEE Control Systems Magazine, 2009, **29** (3): 17–21, 132, doi:10.1109/MCS.2009.932394
* Khalil, H.K., Nonlinear Systems 3rd, Upper Saddle River, NJ: Prentice Hall, 2002 [2019-08-03], ISBN0-13-067389-7, （原始內容存檔於 2017-07-25）
* Kolář, I., Michor, P., and Slovák, J., Natural operations in differential geometry, Springer-Verlag, 1993 [2019-08-03], （原始內容存檔於 2021-02-14）  Extensive discussion of Lie brackets, and the general theory of Lie derivatives.
* Lang, S., Differential and Riemannian manifolds, Springer-Verlag, 1995, ISBN 978-0-387-94338-1  For generalizations to infinite dimensions.
* Lewis, Andrew D., Notes on (Nonlinear) Control Theory (PDF)
* Warner, Frank, Foundations of differentiable manifolds and Lie groups, New York-Berlin: Springer-Verlag, 1983 [1971], ISBN 0-387-90894-3