ブルバキ・ヴィットの定理
数学においてブルバキ・ヴィットの定理(ブルバキ・ヴィットのていり、英: Bourbaki–Witt theorem)は、半順序集合に関する基本的な不動点定理であり、ニコラ・ブルバキとエルンスト・ヴィットの名に因む。この定理は、 ( X , ⪯ ) {\displaystyle (X,\preceq )} が空でない半順序集合であって、任意の全順序部分集合に上限が存在するとき、
f: X → X
が
x ∈ X ⟹ f ( x ) ⪰ x {\displaystyle x\in X\implies f(x)\succeq x}
を満たせば、f は不動点を持つことを述べている。