この記事は Mathematical Logic Advent Calendar 2024 の 19 日目の記事です。
今回は de Bruijn-Erdős の定理について解説します。少なくとも 2 つあるようですが、グラフ理論の方の定理を紹介します。
彩色 #
グラフの彩色については以下の記事でも少し触れています。
【月刊組合せ論 Natori】June Huh 氏の業績を解説【2022 年 12 月号】
グラフが 彩色可能とは、頂点を 色のうちのいずれかで塗り、隣り合う 2 頂点は異なる色で塗られているようにできることをいいます。
de Bruijn-Erdős の定理は次のような定理です。
類似の命題 #
de Bruijn-Erdős の定理と似た命題がいくつかあります。
他にも次のような命題があります。
この命題は の元を True, False だと思い、多項式を論理式だと思うことで命題論理のコンパクト性から従います。なお、この命題は一般の有限体上に拡張できますが、実数体などでは成り立ちません。反例を考えてみましょう。
de Bruijn-Erdős の定理の証明 #
命題論理のコンパクト性を用いて de Bruijn-Erdős の定理を証明します。
グラフの頂点 と色 の組に対して、 を変数とします。これは頂点 を色 で塗ることと対応します。そして を、各頂点はちょうど 1 色で塗られており、かつ隣り合う 2 頂点は異なる色で塗られていることを表す論理式の集合とします。 が充足可能であることと、グラフ が 彩色可能であることは同値になります。
いま、 のすべての有限部分グラフは 彩色可能であると仮定します。命題論理のコンパクト性より、 のすべての有限部分集合が充足可能であることを示せばよいです。 の有限部分集合 に対して、 のある有限部分グラフの 彩色可能性と同値になる の部分集合 が存在して となります。仮定より は充足可能なので も充足可能です。
命題論理のコンパクト性の証明 #
命題論理のコンパクト性は超フィルター定理を用いて証明できます。
が 集合 上のフィルターとは、 は のべき集合 の部分集合であり
- と かつ が同値
をみたすものです。 より真に大きいフィルターが存在しないとき、 は超フィルターであるといいます。
特にフィルター に対して、 ならば は空でないことがいえます。この性質を有限交叉性といいます。
超フィルター定理を仮定して命題論理のコンパクト性定理を証明します。集合 上の論理式を考えているとし、 を有限充足可能な論理式の集合、 を付値全体の集合とします。論理式 に対して
とおき、仮定より は空ではありません。よって
は有限交叉性をみたすので、超フィルター定理より をみたす超フィルター が存在します。このような に対して、論理式の集合 を
により定義します。 より です。 に対して、 の有限交叉性から、 をみたす が存在します。すなわち は有限充足可能です。任意の論理式 に対して、 は超フィルターより または をみたします。したがって は極大なので、ある を用いて と表せます。 より、 も充足可能です。(証明おわり)
逆に命題論理のコンパクト性から超フィルター定理を証明することもできます。すなわちこの 2 つの定理は同値です。
超フィルター定理の証明 #
超フィルター定理はツォルンの補題から証明できます。有名っぽいので省略します(嘘で、間に合わなかっただけです)。
この 2 つの命題は同値ではありません。
選択公理を仮定しない場合 #
de Bruijn-Erdős の定理を選択公理あるいはそれよりも弱い命題を仮定して証明しました。ではこれらを仮定しない場合はどうでしょうか。
実は、ZF では成り立ちません。 が任意の有限部分グラフが 2 彩色可能なグラフだとしても、 が 2 彩色可能になるとは限りません。
次のようなグラフを考えてみましょう。
このグラフの有限部分グラフは 2 彩色可能です。しかしこのグラフが 2 彩色可能であるとすると、一方の色で塗られた頂点に着目することで、2 元集合族の選択関数が構成できることになってしまいます。
逆 #
超フィルター定理から de Bruijn-Erdős の定理を証明しましたが、この逆については次のような定理が成り立ちます。
参考文献の “Axiom of Choice” では、定理 4.115, E.4 で 彩色に関する主張と PIT (Boolean Prime Ideal Theorem) との同値性、定理 4.37 で PIT と超フィルター定理の同値性を証明しています。もっと直接的に証明できるかもしれませんが考えていません。
おわりに #
筆者は組合せ論が好きですが、基礎論と組合せ論も関係が深いらしいですね。大学院のときに受けた講義でラムゼー理論が扱われていて、面白そうだと思いました。超フィルター定理もその講義で知りました。もっといろいろ勉強してみたいです。
基礎論の知識はほとんどないので、間違ったことを書いていたらご指摘ください。
参考文献 #
- Csirmaz, Laszlo; Gyenis, Zalán. Mathematical logic, Exercises and solutions, Springer, 2022.
- Herrlich, Horst. Axiom Of Choice. Springer, 2006.