テューキーの補題
テューキーの補題(英: Tukey's lemmaあるいは英: Teichmüller–Tukey lemma)とは、ある性質を満たす集合族が包含関係に関する極大元を持つことを保証する命題である。ジョン・テューキーが初めに使用したことからその名前がついた。選択公理やツォルンの補題と同値であることが知られている。
定義 編集
テューキーの補題は、空でない集合族 が有限性(Finite character)を満たすならば、 は包含関係に関する極大元を持つという命題である。 集合族 がFinite characterを満たすとは、次の性質を満たすことを言う。
応用 編集
選択公理から「任意のベクトル空間は基底を持つ」が従うことが知られているが、これはテューキーの補題を経由して以下のように証明される。まず、 を線形独立なベクトルの集合からなる集合族とすると、これはFinite characterを持つ。なぜなら、 を線形独立なベクトルの集合とすると、当然その部分集合も線形独立であり、逆にもし集合 の任意の有限部分が線形独立なら、(線形独立性は有限個のベクトル間の関係だから) も線形独立な集合となるからである。よって、テューキーの補題より、包含関係に関して極大である線形独立なベクトルの集合 が存在する。 が基底であることは、もし の元の線形結合で表せないベクトルが存在したとすると、それをBに加えればBより大きい線形独立なベクトルの集合が得られてしまうことからわかる。
選択公理との同値性 編集
テューキーの補題から選択公理を導くことができる。 を空でない集合の集合族とし、 を の部分集合上の選択関数になっているような関数全体の集合とする。選択関数の部分集合は元の選択関数の定義域を制限した選択関数であることなどから、 はFinite characterを満たす。よってテューキーの補題より には包含関係による極大元が存在する。極大性より、その定義域が 全体になっていることがわかる。
逆に選択公理からテューキーの補題を導くには、ツォルンの補題を経由する。 を空でない集合族でFinite characterを満たすものとする。 を の包含関係に関する任意の鎖とする。 の任意の有限部分集合 を考えると、 の各要素は何らかの に含まれている。 が包含関係について全順序で、Sの要素は有限であることから、 の要素を全て含む が存在する。 は の有限部分集合であるから、Finite characterより は に含まれる。したがって、再びFinite characterより も に含まれる。 は鎖 の上界となっているから、ツォルンの補題より には極大元が存在する。
関連項目 編集
参考文献 編集
- Thomas J. Jech, The axiom of choice, 2008, Dover Publications.