Share to: share facebook share twitter share wa share telegram print page

 

Twierdzenie Tarskiego o ultrafiltrze

Twierdzenie Tarskiego o ultrafiltrzetwierdzenie 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

  1. a b Aleksander Błaszczyk, Sławomir Turek, Teoria mnogości, Wydawnictwo Naukowe PWN, Warszawa 2015, ISBN 978-83-01-15232-1, s. 212
  2. 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
Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya