交代tensor
完全反対称になるのは次元と階数が一致するときだけだから
いや、次元が多くても完全反対称にはなるのか……
やっぱり「m次元n階」と書いたほうがいいのだろうか
次元が多いときは反対称tensorになる
2022-08-21 08:18:39
名前を「交代tensor」から「3次元3階完全反対称tensor」に変える
理由
「交代tensor」の意味に揺れがあり、紛らわしい
次元と階数を一般化できるとわかった
n\ge mの範囲で、m次元n階完全反対称tensorを定義できる
n<mだと0 tensorにつぶれてしまう
このとき、任意の基底{\sf E}=\{\pmb e_0,\pmb e_1\}にて以下が成り立つ
\begin{dcases}\pmb e_0\cdot\pmb A\cdot\pmb e_1=-\pmb e_0\cdot\pmb A^\top\cdot\pmb e_1\\\pmb e_0\cdot\pmb A\cdot\pmb e_0=\pmb e_1\cdot\pmb A\cdot\pmb e_1=0\end{dcases}
\therefore\begin{dcases}&[\pmb A]^{\sf EE}_{01}=-[\pmb A]^{\sf EE}_{10}\\&[\pmb A]^{\sf EE}_{00}=[\pmb A]^{\sf EE}_{11}=0\end{dcases}
よって、\pmb A=[\pmb A]^{\sf EE}_{01}\pmb e_0\wedge\pmb e_1が成り立つ
別の基底\sf Fとの変換を調べる
[\pmb A]^{\sf FF}_{01}=[\pmb I]^{\sf F\bar E}_{0i}[\pmb A]^{\sf EE}_{ij}[\pmb I]^{\sf \bar EF}_{j1}
=[\pmb I]^{\sf F\bar E}_{00}[\pmb A]^{\sf EE}_{01}[\pmb I]^{\sf \bar EF}_{11}-[\pmb I]^{\sf F\bar E}_{01}[\pmb A]^{\sf EE}_{01}[\pmb I]^{\sf \bar EF}_{01}
=([\pmb I]^{\sf F\bar E}_{00}[\pmb I]^{\sf F\bar E}_{11}-[\pmb I]^{\sf F\bar E}_{01}[\pmb I]^{\sf F\bar E}_{10})[\pmb A]^{\sf EE}_{01}
=(\det[\pmb I]^{\sf F\bar E})[\pmb A]^{\sf EE}_{01}
座標系で成分が変化してしまうのか
単位tensorみたいなのは作れない？