|
Logika a teorie množin - přednášky
- Přednáška (21. 2. 2012)
Množiny, výroky a výrokové funkce
- výrok, logické spojky a operátory, logické tautologie
- výrokové funkce, kvantifikátory
- Přednáška (28. 2. 2012)
Základní požadavky kladené na axiomatický systém
- nezávislost, úplnost, bezespornost
Zermelův-Fraenkelův axiomatický systém teorie množin
- základní ideje tohoto axiomatického systému
- množina, být prvkem množiny
- jazyk teorie množin
- axiom rovnosti množin
- axiom sjednocení množin
- axiom dvouprvkové množiny
- axiom existence
- Zermelovo schéma separace
- axiom o podmnožinách
- axiom výběru
Operace s množinami
- sjednocení, průnik, rozdíl a symetrický rozdíl množin
Relace
- uspořádaná dvojice, kartézský součin množin
- Přednáška (6. 3. 2012)
- relace
- relace ekvivalence a rozklad množiny
- částečné uspořádání a uspořádání
- zobrazení
Kardinální čísla
- Fraenkelovo schéma substituce
- ekvivalence množin, příklady
- Axiom kardinálních čísel
- kardinální čísla
- Přednáška (13. 3. 2012)
- součet, součin a mocnina kardinálních čísel
Porovnávání kardinálních čísel
- nerovnosti mezi kardinálními čísly
- Cantorova-Bernsteinova věta a její důsledky
- Cantorova věta a její důsledky
- Přednáška (27. 3. 2012)
Množiny konečné a množiny nekonečné, množiny spočetné a množiny nespočetné
- Tarskiho definice konečné množiny
- Existence nekonečné množiny
- model Peanovy aritmetiky množiny N0 všech nezáporných celých čísel v teorii množin
- matematická indukce
- Přednáška (3. 4. 2012)
- Dedekindova definice konečné množiny
- ekvivalence Tarskiho a Dedekindovy definice konečné množiny
- aritmetika celých nezáporných čísel
- Přednáška (4. 4. 2012)
- spočetné množiny
- nespočetné množiny
- Přednáška (10. 4. 2012)
Uspořádané množiny
- základní vlastnosti částečně uspořádaných a uspořádaných množin
- hustě uspořádaná množina
- podobné zobrazení, podobné množiny
- zhora (zdola) ohraničená množina, supremum, infimum
- spojitě uspořádaná množina
- Přednáška (17. 4. 2012)
Dobře uspořádané množiny
- základní vlastnosti dobře uspořádaných množin
- úsek množiny, primitivní interval množiny
- základní věta o dobře uspořádaných množinách
- ordinální čísla, Axiom ordinálních čísel
- součet ordinálních čísel
- Přednáška (24. 4. 2012)
- součin ordinálních čísel
- mocnina ordinálních čísel
- transfinitní posloupnost
- transfinitní indukce
- definice transfinitní indukcí
- Přednáška (15. 5. 2012)
Axiom výběru a jeho ekvivalenty
- Zermelova věta
- Zornovo lemma
- Hausdorffův princip maximality
- důsledky Zermelovy věty pro teorii kardinálních čísel
- hypotéza kontinua, zevšeobecněná hypotéza kontinua
- Hamelova báze reálných čísel
|