■基本単体の二面角(その48)

 (その35)の分類定理より,

[2]分岐点を含み,−のみからなるのは,Dk(k≧4),E6,E7,E8だけである.

            φ

  ・−・−・・・−・−・−・−・・・−・−・

  ε1 ε2    εp-1 | ηq-1    η2 η1

            ・ζr-1

            |

            ・

            ・

            |

            ・ζ1

 すなわち,

[9]どのルート系も,

  ・−・−・−・−・   ・−・−・−・−・−・−・

      |             |

      ・             ・

      |

      ・

  ・−・−・−・−・−・−・−・   ・−・=・−・−・

            |

            ・

を含むことはできない(∵(Σμα)^2=0,線形従属)

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