■n次元平行多面体数(その60)

 頂点のみを考えるならば,最大値は

  正単体;(n+1)!

  正軸体;2^nn!

となる・・・などとやっていたら,まったく別の方法で5次元以上では系列間の重複がないことを証明することができた.

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

  (3,3,3,4}(q0,q1,q2,q3,q4)の頂点にできるファセットは{3,3,4}(q1,q2,q3,q4)であるが,これと{3,3,3}(r1,r2,r3,r4)には重複がないことが証明されている.

→したがって,(3,3,3,4}(q0,q1,q2,q3,q4)は5次元正単体系のいずれとも一致しない.

  (3,3,3,3,4}(q0,q1,q2,q3,q4,q5)の頂点にできるファセットは{3,3,3,4}(q1,q2,q3,q4,q5)であるが,これと{3,3,3,3}(r1,r2,r3,r4,r5)には重複がないことになる.→したがって,(3,3,3,3,4}(q0,q1,q2,q3,q4)は6次元正単体系のいずれとも一致しない.

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

[まとめ]5次元で一致しなければ,それ以上の次元では重複する可能性はないのである.

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