■トーラス面上のグラフ(その2)

  [参]前原潤,桑田孝泰「絵ときトポロジー,曲面の形」共立出版

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

【1】トーラス面上のK3,3とK5

[1]もし,K3,3が平面的であるならば,v=6,e=9.

  f=e−v=3

また,各面は少なくとも4つの辺をもたなければならないから,

  12=4f≦2e=18

となって矛盾は生じない.

[1]もし,K5が平面的であるならば,v=5,e=10.

  f=e−v=5

また,各面は少なくとも3つの辺をもたなければならないから,

  15=3f≦2e=20

となって矛盾は生じない.

[Q]土地を5つの区域に分ける.どの区域も他の4つの区域と接していなければならない.道路を他の4つの区域に交差しないようにつなぐことはできるか?

[A]平面では実現不可能であるが,トーラス面では可能で,実際,これらのグラフは平面的としてトーラス面上に描くことができる.

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

【2】トーラス面上のK7

[1]もし,K6が平面的であるならば,v=6,e=15.

  f=e−v=9

また,各面は少なくとも3つの辺をもたなければならないから,

  27=3f≦2e=30

となって矛盾は生じない.

[2]もし,K7が平面的であるならば,v=7,e=21.

  f=e−v=14

また,各面は少なくとも3つの辺をもたなければならないから,

  42=3f≦2e=42  (正則)

となって矛盾は生じない.

[3]もし,K8が平面的であるならば,v=8,e=28.

  f=e−v=20

また,各面は少なくとも3つの辺をもたなければならないから,

  60=3f≦2e=56

となって矛盾.

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

【3】球面上のK4

 もし,K4が平面的であるならば,v=4,e=6.

  f=2+e−v=4

また,各面は少なくとも3つの辺をもたなければならないから,

  12=3f≦2e=12  (正則)

となって矛盾は生じない.

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

【4】種数g表面上の正則平面グラフ

 Kvが平面的であるならば,q=v−1,e=v(v−1)/2.

  f=2−2g+e−v=2−2g+v(v−1)/2−v

また,各面は少なくとも3つの辺をもたなければならないから,

  3(2−2g+v(v−1)/2−v)=3f≦2e=v(v−1)

 正則正則平面グラフであるためには

  3(2−2g+v(v−1)/2−v)=v(v−1)

  g=(v−3)(v−4)/12

 この方程式には解が無数にあるが,

  g=0 → K4

  g=1 → K7

  g=6 → K12

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