■多面体の三角形分割(その7)

 単体的とはn−1次元面がすべてn−1次元単体であること,単純多面体とは0次元面(頂点)を通る1次元面(辺)がn本あることである.各頂点にn個のn−1次元が集まるといっても同じである.これまでの補足をしておきたい.

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

[1]単純多面体に対するデーン・サマービル関係式は,単純多面体であることの検算には役立ったが,単純多面体を構成するのには無効だった.

[2]単体的多面体に対するデーン・サマービル関係式は,そもそもワイソフ構成された多面体には単体的なものは含まれないので,これも無効である.

[3]オイラー関係式は

  Σ(0,n)(−1)^jfj=0

  Σ(0,n-1)(−1)^jfj=1+(−1)^n-1

で与えられる.

[4]有限三角形分割された3次元多面体では,

  2f1=3f2

が成立する.オイラーの関係式f0−f1+f2=2に代入すれば

  f1=3f0−6,f2=2f0−4

ろなる.すなわち,f0のみでf1,f2が決まる.

[5]さらに,

  f0=Σfv

  2f1=3f2=Σvfv

  3f3+2f4+f5=Σ(v−6)fv+12

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