- Lie group 專題:Lie 群
流形
流形的定義
- 一個m維流形是滿足以下條件的集合M:存在可數多個稱為坐標卡(圖集)的子集合族
.以及映到
的連通開子集
上的一對一映射,
,
稱為局部坐標映射,滿足以下條件
- 坐標卡覆蓋M
- 若
則
是光滑函數(無限可導)
- Hausdorff 分離性質:若
是M中的兩個不同點,則存在開子集
使得
光滑映射
- 設M 和 N是兩個光滑流形,
是一個映射,如果
在每個坐標卡上的局部坐標表示都是光滑的,則稱
是光滑映射,即對M上的每個坐標卡
和 N 上的每個坐標卡
,復合映射
在
上是光滑的
最大秩條件
是從m維流形到n維流形的光滑映射,F在
的秩就是n \times m Jacobi矩陣在x的秩。如果對于子集S \subsset M 中的每點,F 的秩都等于m 和 n中最小者,則稱F 在S上有最大值
子流形
- 設M是光滑流形,N是M的子集,如果存在流形\bar{N} 和 光滑流形一一映射
,處處滿足最大秩條件,則稱N 是 M的子流形,\bar{N}叫做參數空間,并且
- 映射
稱為 immersion
- N 叫做侵入子流形
- 映射
regular 子流形
regular 子流形基本定理
Lie group theory 中的重要概念
r參數Lie 群定義
- 若群G具有r位光滑流形結構,使得群運算
和逆元運算
是流形間的光滑映射,則稱G是r參數Lie 群
- Lie 群:具有光滑的流形結構的群
Lie 子群
- Lie 群G的子集H 叫做Lie 子群,如果H是G 的侵入子流形,則
是Lie 群,
是Lie 群上的同態映射