Twierdzenie Bourbakiego-Witta o punkcie stałym – twierdzenie teorii porządków mówiące, że jeżeli jest zbiorem częściowo uporządkowanym w którym każdy łańcuch ma kres górny, to każda funkcja spełniająca warunek dla każdego
ma punkt stały, to znaczy istnieje taki element w zbiorze że
Korzystając z twierdzenia Bourbakiego-Witta (i aksjomatu wyboru), można udowodnić twierdzenie Hausdorffa o łańcuchu maksymalnym i lemat Kuratowskiego-Zorna. Twierdzenie to udowodnili niezależnie Nicolas Bourbaki i Ernst Witt.
Przypisy
Bibliografia
Kategoria:Twierdzenia o punkcie stałym Kategoria:Twierdzenia teorii porządku