Wstęp    7

§1. Wprowadzenie do zagadnień teorii mnogości       7

 

Rozdział 1. Aksjomatyka ZFC i podstawowe pojęcia teoriomnogościowe             11

§1. Aksjomaty teorii mnogości         11

§2. Inkluzja zbiorów            15

§3. Zbiór pusty     17

§4. Zbiór potęgowy danego zbioru 18

§5. Suma zbioru   20

§6. Para zbiorów, zbiór jednoelementowy    21

§7. Suma dwóch zbiorów  22

§8. Zbiór n-elementowy    23

§9. Iloczyn dwóch zbiorów               23

§10. Różnica zbiorów, dopełnienie zbioru    24

§11. Przekrój zbioru niepustego     26

§12. Ciało zbiorów              27

§13. Algebra Boole’a          31

 

Rozdział 2. Zbiory nieufundowane. Aksjomat regularności      33

§1. Zbiory niemające elementu minimalnego              33

§2. Zbiory nieufundowane i ufundowane     36

§3. Dwie istotne własności zbiorów ufundowanych    41

§4. Aksjomat regularności i jego konsekwencje          42

 

Rozdział 3. Relacje binarne               45

§1. Para uporządkowana. Produkt kartezjański dwóch zbiorów               45

§2. Pojęcie relacji binarnej               47

§3. Operacje na relacjach binarnych             48

§4. Relacje porządkujące  51

§5. Tranzytywne domknięcie relacji binarnej               53

 

Rozdział 4. Funkcje             57

§1. Funkcja jako relacja binarna. Złożenie funkcji        57

§2. Bijekcja, funkcja odwrotna         58

§3. Obraz i przeciwobraz zbioru      61

§4. Rodziny indeksowane  63

 

Rozdział 5. Zbiory częściowo uporządkowane              65

§1. Pojęcie zbioru częściowo uporządkowanego, elementy największy i najmniejszy oraz maksymalny i minimalny   65

§2. Zbiór liniowo uporządkowany, lemat Kuratowskiego-Zorna               68

§3. Pojęcie kraty 70

§4. Izomorfizm zbiorów częściowo uporządkowanych               74

 

Rozdział 6. Relacje równoważnościowe         79

§1. Krata relacji równoważności      79

§2. Klasa abstrakcji, zbiór ilorazowy, podział zbioru    82

§3. Relacje równoważności a podziały           85

§4. Relacje równoważności a funkcje             88

 

Rozdział 7. Liczby naturalne             91

§1. Arytmetyka elementarna           91

§2. Arytmetyka liczb naturalnych z dodawaniem i mnożeniem                93

§3. Pewne metalogiczne własności arytmetyk liczb naturalnych             96

§4. Operacja następnika w teorii ZFC             99

§5. Interpretacji arytmetyki elementarnej w teorii ZFC             102

 

Rozdział 8. Pojęcie liczby porządkowej          107

§1. Liczby naturalne a liczby porządkowe     107

§2. Zbiory tranzytywne      110

§3. Liczba naturalna jako liczba porządkowa 112

§4. Warianty definicyjne dla pojęcia liczby porządkowej          113

§5. Twierdzenie o indukcji pozaskończonej  118

§6. Spójność relacji Î oraz relacja inkluzji dla liczb porządkowych         119

§7. Najmniejsza liczba porządkowa x taka, że φ(x)       122

 

Rozdział 9. Zbiory liczb porządkowych. Liczby porządkowe izolowane i graniczne              125

§1. Kresy względem Í dowolnego zbioru liczb porządkowych                125

§2. Kresy względem Î dowolnego zbioru liczb porządkowych                127

§3. Suma następnika i następnik sumy dowolnego zbioru liczb porządkowych 130

§4. Liczby porządkowe izolowane i graniczne              132

§5. Niepuste liczby porządkowe graniczne   140

 

Rozdział 10. Ciągi pozaskończone. Aksjomat wyboru 143

§1. Ciąg pozaskończony     143

§2. Funkcja definiowana przez indukcję pozaskończoną           144

§3. Aksjomat wyboru, funkcja wyboru           151

§4. Funkcja definiowana przez indukcję pozaskończoną wyznaczona przez funkcję wyboru dla dowolnego zbioru    156

§5. Funkcja definiowana przez indukcję pozaskończoną wyznaczona przez funkcję wyboru zbioru liczb porządkowych           161

 

Rozdział 11. Liczby kardynalne         163

§1. Równoliczność zbiorów              163

§2. Liczba kardynalna zbioru            164

§3. Liczby kardynalne liczb porządkowych    172

§4. Liczby kardynalne większe od ω               176

 

Bibliografia           179

• Title: Elementy teorii mnogości
• Author: Marek Nowak
• ISBN: 978-83-8142-521-6, 9788381425216
• Date of issue: 2019-09-04
• Format: Ebook
• Item ID: e_17ms
• Publisher: Wydawnictwo Uniwersytetu Łódzkiego