此处的 I 是恒等变换即单位矩阵。
这正是李群理论中著名的指数映射(exponential mapping),
这些对易关系正是 SO(3) 群的李代数结构,我们看到它们和泡利矩阵 σ1, σ2, σ3 的对易关系除了相差一个常数因子外完全一样,由此可以窥见三维物理空间中的BT页游私服群 SO(3)和二维复空间(如量子力学中电子的自旋空间)中的BT页游私服群 SU(2)局部是同构的(从整体讲 SU(2) → SO(3) 是 2 对 1 的同态)。
李群从局部看完全由它的李代数决定,这是李群理论最给力的地方(李代数是一个线性空间,比非线性的李群容易研究得多)。
附录:泡利矩阵及其对易关系
这里的欧拉角采用了量子力学中通常使用的 zy'z''规则,而在数学和经典力学中通常使用 zx'z''规则(参见三维BT页游私服的欧拉角和转轴转角参数相互转换的谢国芳公式一文),它们的区别仅在于交换 x,y :
这里采用了爱因斯坦求和约定,即两个相同的下标(或上标)隐含求和,显式地写出来即
,因此当 i = j 或 j = k 或 i = k 时其值都为 0 ),超变态网页游戏大全,从而也具有轮换不变性(
),其仅有的非零值为
也可以仿照普通矢量一样定义内积:
一个算子或者矩阵 A 的指数函数由泰勒级数定义:
这正是欧拉-罗德里格公式(Euler-Rodrigues Formula)。
的方向可以由其球坐标 θ,φ
确定,于是任何一个BT页游私服都可以由三个角参数 θ,φ,ω 确定,这可以称为BT页游私服的球坐标表示(参见三维BT页游私服的欧拉角和转轴转角参数相互转换的谢国芳公式一文中的图1)。
这里用到矢量积公式
BT页游私服的“球坐标表示”是作者创造的一个名词。根据欧拉BT页游私服定理,任何一个三维BT页游私服都是定轴BT页游私服,由BT页游私服轴矢量 为列维-奇维塔符号(Levi-Civita symbol),它关于指标 i, j, k 反对称(即 表记绕 为克罗内克 δ 符号(Kronecker δ symbol),其定义为
“[ , ]”是算符和矩阵的对易子(commutator),也称为李括号(Lie bracket),定义为
轴的无穷小BT页游私服的生成元,即三维BT页游私服群 SO(3) 的切空间即李代数(Lie algebra)中的一个元素。
和转角 ω 确定,矢量
把它写成矢量的形式(注意
可以看作绕 是我们借用矢量的概念来表示列维-奇维塔符号,它有三个分量:I1, I2, I3, 每个分量都是矩阵,其矩阵元的定义是:
轴,转角为 ω 的BT页游私服,
由式(2)即得
,参见式(2))即
用
本页以下(从式(7)以下直到式(13))的内容是为了以后推导三维BT页游私服群 SO(3)
上的不变微分形式和不变测度做准备的,和后面推导BT页游私服 R 的矩阵表示(式(14))无关,读者可跳过。
其中
此处的
,其中
σ1, σ2, σ3 为泡利矩阵(参见 [注9])。