Loading article…
数学において、Gが群であり、Π が複素ベクトル空間V上のその表現である場合、複素共役表現Πは複素共役ベクトル空間V上で次のように 定義されます。
- Π ( g )はG内のすべてのgに対するΠ( g )の共役です。
Πもまた表現であり、明示的に確認することができます。
gが実 リー代数であり、π がベクトル空間V上のその表現である場合、共役表現πは共役ベクトル空間V上で次のように定義されます。
- π ( X )はg内のすべてのXに対するπ( X )の共役である。 [1]
πもまた表現であり、明示的に確認することができます。
2 つの実リー代数が同じ複素化を持ち、複素化リー代数の複素表現を持つ場合、それらの共役表現は依然として異なります。スピン グループSpin( p + q )とSpin( p , q )のスピノル表現に関連するいくつかの例については、スピノルを参照してください。
が*-リー代数(リー括弧と互換性のある*演算を持つ複素リー代数)である 場合、
- π ( X ) は、g内のすべてのXについて−π( X *)の共役である
有限次元のユニタリ表現の場合、双対表現と共役表現は一致します。これは擬似ユニタリ表現にも当てはまります。
参照
注記
- ^ これは数学者の慣例です。物理学者は、 2 つの実ベクトルのリー括弧が虚ベクトルになるという異なる慣例を使用します。物理学者の慣例では、定義にマイナスを挿入します。
