■基本単体の二面角(その199)
基本単体の座標は
[1]αn:aj=(2/j(j+1))^1/2
[2]βn:aj=(2/j(j+1))^1/2,an=(2/n)^1/2
同じ記号を使って,コクセターは有限鏡映群,コンウェイは無限鏡映群を扱っている.有限鏡映群の基本単体が求まったので,ここでは無限鏡映群の基本単体について考える.
===================================
【1】Bn格子の場合
Pn(1,1/√2,1/√2,・・・,1/√2)
【2】Cn格子の場合
Pn(1,1,1,・・・,1)
【3】Dn格子の場合
Pn(1,0,1/√2,・・・,1/√2,1,0)
Pn(1,0,1/√2,・・・,1/√2,0,1)
Pn(0,1,1/√2,・・・,1/√2,1,0)
Pn(0,1,1/√2,・・・,1/√2,0,1)
【4】F4格子の場合
P4(1,1/√3,1/√6,1/√2)
【5】G2格子の場合
P2(1,1/√3)
===================================