MathLabs
定理証明済み

平面グラフのオイラーの公式

内容

VV 頂点、EE 辺、FF 面(非有界な外側の面を含む)を持つ任意の連結な平面グラフについて、V−E+F=2V - E + F = 2 が成り立つ。

なぜ正しいのか?

この一つの恒等式が、辺数の上界や K5K_5 と K3,3K_{3,3} の非平面性を含め、平面グラフに関するほぼすべての他の事実の源であり、短く完全に初等的な帰納法で証明される。

証明の概略

基底段階。EE =0= 0 でグラフが連結であれば、それは単一の頂点のみからなり(V=1V=1)、面はちょうど一つ、非有界な平面全体である(F=1F=1)。このとき 1−0+1=21 - 0 + 1 = 2 が成り立つ。

帰納段階、場合1:サイクル上にある辺。公式が EE より少ない辺を持つすべての連結平面グラフで成り立つと仮定し、グラフが EE ≥1\ge 1 本の辺を持つとする。ある辺 ee がサイクル上にあれば、ee を除いてもグラフは連結のままである(サイクルの残りの部分がその両端点をまだつないでいる)。ee を除くとその両側の2つの面が一つの面に統合されるので、より小さいグラフは VV 個の頂点、E−1E - 1 本の辺、F−1F - 1 個の面を持つ。帰納法の仮定より V−(E−1)+(F−1)=2V - (E-1) + (F-1) = 2 であり、これは V−E+F=2V - E + F = 2 に簡単化される。

帰納段階、場合2:どの辺もサイクル上にない。このときすべての辺が橋であり、グラフには全くサイクルがない、すなわち木である。平面上に描かれた木はちょうど一つの面を持ち(F=1F = 1、唯一の非有界な領域。閉じ込めるべき有界な領域を作るサイクルがないため)、木に関する標準的な事実として、VV 頂点の木はちょうど E=V−1E = V - 1 本の辺を持つ。代入すると V−E+F=V−(V−1)+1=2V - E + F = V - (V - 1) + 1 = 2 となる。

結論。すべての場合が公式の成立に帰着するか、(一辺を除くことで)帰納法によって成り立つより小さいグラフに帰着するので、任意の連結な平面グラフについて V−E+F=2V - E + F = 2 が成り立つ。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Kazimierz Kuratowski (1930). Sur le problème des courbes gauches en Analysis Situs
  2. Reinhard Diestel (2017). Graph Theory