位数g (元の数)の群G の既約表現α のユニタリー表現行列D(α) の行列要素をD(α)ij(G)と書くと、その間には以下の直交関係がある。 ∑ G [ D i j ( α ) ( G ) ] ∗ D k l ( α ) ( G ) = g d α δ i k δ j l {\displaystyle \sum _{G}[D_{ij}^{(\alpha )}(G)]^{*}D_{kl}^{(\alpha )}(G)={\frac {g}{d_{\alpha }}}\delta _{ik}\delta _{jl}} ここで和記号はGのすべての元についての和を意味する。
位数g (元の数)の群G の既約表現α のユニタリー表現行列D(α) の行列要素をD(α)ij(G)と書くと、その間には以下の直交関係がある。 ∑ G [ D i j ( α ) ( G ) ] ∗ D k l ( α ) ( G ) = g d α δ i k δ j l {\displaystyle \sum _{G}[D_{ij}^{(\alpha )}(G)]^{*}D_{kl}^{(\alpha )}(G)={\frac {g}{d_{\alpha }}}\delta _{ik}\delta _{jl}} ここで和記号はGのすべての元についての和を意味する。
出典: Wikipedia「大直交性定理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky