■基本単体の二面角(その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)

===================================