Twierdzenie Tarskiego o ultrafiltrze
twierdzenie teorii mnogości
Twierdzenie Tarskiego o ultrafiltrze – twierdzenie matematyczne z zakresu teorii mnogości stworzone przez Alfreda Tarskiego w 1930 roku[1].
Treść twierdzenia Tarskiego:
- Każdy zbiór scentrowany zawiera się w pewnym ultrafiltrze[2].
Ponieważ każdy filtr jest zbiorem scentrowanym, to z twierdzenia Tarskiego można wywnioskować, że każdy filtr zawiera się w pewnym ultrafiltrze[1].
Przypisy
edytuj- ↑ a b Aleksander Błaszczyk, Sławomir Turek, Teoria mnogości, Wydawnictwo Naukowe PWN, Warszawa 2015, ISBN 978-83-01-15232-1, s. 212
- ↑ Aleksander Błaszczyk, Sławomir Turek, Teoria mnogości, Wydawnictwo Naukowe PWN, Warszawa 2015, ISBN 978-83-01-15232-1, s. 212, Twierdzenie 10.8