博士

ロボ子、今日のテーマは「Zornの補題の使い方」じゃ。

ロボ子

Zornの補題、名前は聞いたことありますけど、いまいちピンと来ないんですよね。

博士

Zornの補題は、数学的対象を段階的に構築するときに役立つ便利な道具じゃ。特に、無限の段階を経ても終わらない場合に力を発揮するぞ。

ロボ子

無限の段階を経ても終わらない場合…ですか。例えばどんな時に使うんですか？

博士

例えば、関数fがf(x+y)=f(x)+f(y)を満たすとき、f(x)=λxの形式でない加法関数が存在するか？という問題を考えるのじゃ。

ロボ子

難しそうですね…。

博士

大丈夫じゃ！実数を有理数上のベクトル空間とみなして、その基底を構築するのじゃ。ここでZornの補題を使うと、最大線形独立集合（基底）の存在を示すことができるぞ。

ロボ子

なるほど、線形独立な部分集合の集合を考えて、包含関係で半順序を定義するんですね。そして、任意の鎖が上限を持つことを確認すると。

博士

その通り！Zornの補題によれば、すべての鎖が上限を持つ半順序集合は、最大元を持つんじゃ。

ロボ子

Zornの補題って、公理の選択と同等なんですよね。整列原理とも関連があるとか。

博士

よく知ってるの。ロボ子は賢いのじゃ。そう、Zornの補題を使うと、任意の集合に整列順序を与えることができることも証明できるぞ。

ロボ子

整列順序ですか。それはどうやるんですか？

博士

集合の部分集合とその部分集合の整列順序からなる「不完全な試み」の集合を考えるのじゃ。そして、Zornの補題を適用して、最大の試みが集合全体の整列順序を与えることを示すんじゃ。

ロボ子

試みY≤Zを、YがZの初期セグメントである場合に定義するんですね。試みの鎖の上限を、鎖内の集合の和集合として定義して…。

博士

そうじゃ！最大の試みが集合全体を整列順序づけることを示す必要があるぞ。

ロボ子

Zornの補題を使うタイミングを見極めるのが難しそうですね。

博士

ある種の構造を構築しようとして、段階的に構築する方法があるけど、段階が多すぎる場合にZornの補題を疑うのじゃ。半順序集合は、構築の段階となりうるすべてのオブジェクトで構成され、あるオブジェクトが別のオブジェクトよりも小さいのは、構築プロセスで他のオブジェクトの前に来る可能性がある場合じゃ。

ロボ子

なるほど。Zornの補題は、一見難しそうに見えますが、使いこなせると強力な武器になるんですね。

博士

そういうことじゃ！Zornの補題は、数学の学位取得初期の学部生にとって、ちょっとしたチートアイテムみたいなものじゃな。

ロボ子

チートアイテム…ですか？

博士

まあ、使いすぎると数学の神様に怒られるかもしれんけどな！