2022.03.18記
(1) のとき,,,,それぞれをの成分, ,,の式で表せ.
(2) となるための必要十分条件を,,,,,,,を用いて表せ.
(3) となるための必要十分条件を,,,,,,,のいくつかを用いて表せ.
(4) 座標空間において原点,点および点を考え,点は原点と異なると仮定する.のとき,点は原点と点を通る直線上にあることを示せ.
2次正方行列が積について可換な条件
2022.03.22記
,, が生成する代数系., によりクリフォード代数 となる.ここで とおくと, であり,
,, が成立する.
この代数系において
と定義すると, には
(1) ,
(2) ,
(3)
という性質があることから,外積と同じような性質が成り立つことがわかる.
今,, のとき,
となる.
ここで のとき,
となるので,の係数に外積っぽさが,の係数に内積っぽさがある.
のとき,の係数をベクトル部,の係数をスカラー部と呼ぶことにすると のスカラー部は で取り出すことができ, のベクトル部は で取り出すことができ,によって表現できることがわかる.
でないとき,
,
が成立している.
すると(3)は、 から導かれる.そして (4) の条件は のベクトル部を とすると であり,ベクトル部に対しては外積と同様に と が同値となるので, は共線となることがわかる.
(2022.03.23追記ここから)
と となる が存在することは同値.
上記性質(1)から であるから,
のとき
が成立するので,
と が存在することは同値.
つまり
と は同値.
(ここまで)
(1) とおくと,
…(a)
だから
となり,,,,が成立する.
(2) (1)と同様に,…(b) に対して
であるから,
が成立する.これを解いて,,,が求める必要十分条件である.
(3) (a),(b) により,,には
,,,,,,,,,,,,,,
の16種類の項が登場する.ここで,,,は自分自身と積について交換可能であり,,,
が成立することから,の計算において
,,,,,,,,,
の10種類の項は消えてしまうので,
,,,,,の6つの項のみについて考えれば良い.よって
,,…(c)
となる.ここでであり,
である.また
,
により
,,,
が成立するので,(c)は
となる.これがに等しいので,求める条件は
…(d),…(e),…(f)
となる.
(4)により,,,のうち少なくとも1つは0でない.
まず,の場合について考える.このとき,(e),(f)により
だからとなり,
のとき,点は原点と点を通る直線上にある.
同様にしての場合は ,の場合は
が成立するので,いずれにせよ点は原点と点を通る直線上にある.
クリフォード代数 ,クリフォード代数 については
2012年(平成24年)東京大学前期-数学(理科)[6] - [別館]球面倶楽部零八式markIISR
参照
2×2行列,が積について交換可能であるための必要十分条件は である.
特にが単位行列の定数倍でないとき,2×2行列,が積について交換可能であるための必要十分条件は の形で書けることである.
[証明],とおく.
[任意の行列と単位行列が積について交換可能であることに着目して,と の右下成分を0にして計算を楽にする.]
であるから,,とおいたとき,
が成立する条件を求めれば良い.
,
であるから,となるための必要十分条件は
∴,
である.
ここでは単位行列の定数倍でないとき,であるから,なるが存在する.よって
との形に書ける.