ブルバキ・ヴィットの定理
数学においてブルバキ・ヴィットの定理（ブルバキ・ヴィットのていり、）は、半順序集合に関する基本的な不動点定理であり、ニコラ・ブルバキとエルンスト・ヴィットの名に因む。この定理は、formula_1 が空でない半順序集合であって、任意の全順序部分集合に上限が存在するとき、
を満たせば、 は不動点を持つことを述べている。
半順序集合 が有限であれば、定理の主張は簡単に理解でき、それが直接の証明となる。
が定める点列 は単調増加である。 は有限だから、この点列は、
で定常状態に至る。よって、 は の不動点である。
を適当にとって固定し、順序数全体の類 の上の関数 を、
と再帰的に定義する。 が極限順序数のときは、その定義の仕方から
は、 の中の全順序部分集合であるから、
と定義する。 は、単調増加関数である。仮に、 が狭義単調増加であれば、 から集合 の中への単射となり、ハルトークスの補題と矛盾する。順序数 について、 であれば、
とおけば、 である。
ブルバキ・ヴィットの定理には、重要な適用事例が幾つも存在する。選択公理からツォルンの補題を導く証明は、その最もよく知られた適用事案の一つである。ここでは、formula_1 が空でない半順序集合であって、任意の全順序部分集合に上限が存在する場合について示す。
formula_1 が極大元を持たないと仮定する。選択公理により、 の空でない部分集合全体の集合 formula_5 の選択関数 を取ることができる。 だから、
により、関数 を定めることができる。 ならば formula_7 だから、 は不動点を持たないこととなり、定理に反する。
ツォルンの補題のこの特別な場合は、の証明に用いられる。この原理は、任意の半順序部分集合において、任意の全順序部分集合を含む極大全順序部分集合が存在することを述べており、簡単に分かるようにツォルンの補題と同値である。
ブルバキ・ヴィットの定理は、他の適用事例も有する。特に、計算機科学において、計算可能関数の理論で用いる。また、領域理論では、再帰的データ型の定義に用いる。