ツォルンの補題
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ツォルンの補題(en:Zorn's lemma、Kuratowski-Zorn lemmaともいう)とは、任意の空でない帰納的順序集合（定義は後述）は極大元を持つという定理である。 数学者のen:Max Zornに因みこの名で呼ばれる。この定理は選択公理と同値である。 帰納的順序集合（inductively ordered set）とはある条件をみたす順序集合であるが、もっぱらツォルンの補題の説明に用いられる。 順序集合 (X, ≤) が帰納的順序集合であるとは、X の任意の全順序部分集合が、X の中に上界をもつことを意味する。
抽象的な外観をしているが、大変有用な定理でもある。特に代数学においてしばしば用いられる。この定理から、例えば「全てのベクトル空間は基底を持つ」という定理を以下のようにして簡単に証明することができる。ベクトル空間 V が任意に与えられたとき、V の一次独立な部分集合全体の集合 X は、包含関係 ⊂ を順序と考えて帰納的順序集合である。これの極大元の存在がツォルンの補題で示されるが、この極大元が V の基底と なっている。この証明を選択公理を直接に適用して行うのは難しい。
カテゴリ: 数学関連のスタブ項目 | 集合論 | 代数学 | 数学に関する記事
