■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次元で一致しなければ,それ以上の次元では重複する可能性はないのである.
===================================