Nekonečné množiny (NMAI074), ZS 2020/2021
Jan Kynčl, KAM (kyncl zavináč kam.mff.cuni.cz)
Distanční výuka:
V plánu je streamování a nahrávání přednášek přes zoom.
Přednáška se koná ve čtvrtek v 10:40 v "S5" na Malé Straně.
Záznam v SISu, sylabus, literatura
Přednáška navazuje na úvodní přednášku Teorie množin (NAIL063). V první části se zaměříme na ordinální a kardinální aritmetiku; ve druhé části zejména na kombinatorické vlastnosti nekonečných množin a grafů a důsledky axiomu výběru v kombinatorice a geometrii. Přitom si ukážeme některá kombinatorická tvrzení, jejichž platnost závisí na zvolených axiomech (axiom nekonečna, axiom výběru).
Na případných konzultacích se můžeme domluvit osobně nebo e-mailem.
Doporučená literatura
Další zdroje:
- Do nekonečna a ještě dál...... - seriál Matematického korespondenčního semináře, vcelku. K přednášce je tematicky nejbližší 3. díl:
- Díl třetí - Síla volby - axiom výběru, Zornovo lemma, Cauchyho rovnice, kardinální čísla, příklady na transfinitní rekurzi
- Mirek Olšák, Esence teorie množin - animovaná videa (ordinální čísla, Zornovo lemma, transfinitní rekurze)
- Karel Hrbacek, Thomas Jech: Introduction to Set Theory, 3. edition, Marcel Dekker, 1999
- Thomas Jech, Set theory, Springer, 2003 (Part I)
-
Transfinite recursion as a fundamental principle in set theory - ekvivalence transfinitní rekurze a axiomu nahrazení
-
The axiom of well-ordered replacement is equivalent to full replacement over Zermelo + foundation - axiom nahrazení pro dobře uspořádané množiny implikuje axiom nahrazení i bez AC
- A simple proof of Zorn's lemma, Zorn's lemma - důkazy Zornova lemmatu bez transfinitní rekurze a ordinálních čísel
- Zornovo lemma na proofwiki - 2 důkazy, bez rekurze i s rekurzí
- L. Kirby and J. Paris, Accessible Independence Results for Peano Arithmetic - důkaz věty o Goodsteinových posloupnostech a o hydře, nedokazatelnost v Peanově aritmetice s využitím externích výsledků z logiky
- Will Sladek, The Termite and the Tower: Goodstein sequences and provability in PA - Goodsteinovy posloupnosti, rychle rostoucí hierarchie funkcí, ekvivalence Peanovy aritmetiky a teorie konečných množin
- Hardy Hirarchy Calculator - výpočet hodnot funkcí z Hardyovy hierarchie, používá trochu jinou definici fundamentální posloupnosti
- Cantor's_Attic - encyklopedie nekonečen: velká ordinální a kardinální čísla, hierarchie funkcí
- How to write aleph by hand
- B. Bukh, Walk through Combinatorics: Compactness principle - princip kompaktnosti pro obarvování hypergrafů
- B. Osofsky and S. Adams, Problem 6102 and solution - netriviální kombinace rotací o 180 a 120 stupňů kolem os svírajících úhel 45 stupňů nikdy není identita
Průběh přednášky bude podobný jako loni.
Příklady k procvičení
Témata přednášek:
8.10.
- Úvodní informace, opakování některých pojmů, axiomů a tvrzení z teorie množin
- Důkaz věty o typu dobrého uspořádání
15.10.
- Princip transfinitní indukce (znění)
- Věta o konstrukci transfinitní rekurzí i s důkazem
- Princip dobrého uspořádání (znění), poznámka o zobecnění na třídy
- Princip maximality (Zornovo lemma) i s důkazem transfinitní rekurzí; včetně verze, kde místo řetězců stačí dobře uspořádané podmnožiny
22.10.
- Ordinální aritmetika
- Ordinální funkce (rostoucí, neklesající)
- Rostoucí ordinální funkce roste aspoň tak rychle jako identita
- Ordinální typ podmnožiny B množiny A je menší nebo roven ordinálnímu typu A (i pro vlastní podmnožinu může nastat rovnost typů)
- Uzavřená třída ordinálů, spojitá rostoucí ordinální funkce (normální ordinální funkce)
- Základní vlastnosti normálních funkcí
- Věta o pevných bodech normální funkce
- Ordinální součet a součin, základní vlastnosti, příklady nekomutativnosti
- Monotonie součtu, monotonie součinu, distributivita násobení zleva
- Přehled dalších základních tvrzení o ordinální aritmetice (podrobnosti jako doporučená samostatná četba [BS, str. 155-159, 3.18-3.32])
- Existence rozdílu "zprava"
- Dělení se zbytkem
- Spojitost (normalita) součtu a součinu
- Ordinální mocniny - rekurzivní definice, základní vlastnosti, monotonie, spojitost, násobení a sčítání v exponentu
- Věta o rozvoji ordinálního čísla v mocninách omega, alternativní rozklady ordinálu, rozklady podle libovolného základu
- Ordinál epsilon_0
29.10.
- Hydra a Herkules
- Goodsteinovy posloupnosti, Goodsteinova věta, formální důkaz bez ověření všech vzorečků
5.11.
- Hierarchie rychle rostoucích funkcí: fundamentální posloupnost limitního ordinálu, Hardyova hierarchie, rychle rostoucí hierarchie
- Vyjádření Goodsteinovy funkce pomocí funkcí z rychle rostoucí hierarchie (bez důkazu)
- Kardinální čísla (v ZF)
- Kardinální čísla jako podtřída ordinálních čísel, mohutnosti dobře uspořádaných množin, konečné a spočetné kardinály
- Třída Cn všech kardinálních čísel je uzavřená
- Ke každému kardinálu existuje větší kardinál, a tedy třída Cn je vlastní
12.11.
- Následník a předchůdce kardinálu, limitní kardinál
- Funkce alef číslující nekonečné kardinály
- Mohutnost kartézského součinu alef_alfa x alef_alfa je alef_alfa
- Kardinální součet a součin a jeho výpočet
- Příklady rozkladů kardinálů na podmnožiny, (ne)zobecnitelnost Dirichletova principu
- Kofinální množina, kofinál ordinálního čísla, příklady ordinálů s kofinálem omega
- Poznámka o bezespornosti tvrzení "kofinál každého limitního ordinálu je omega" v ZF
- Kofinál limitního ordinálu alfa splňuje cf(cf(alfa))=cf(alfa)
19.11.
- Kofinál limitního ordinálu je vždy kardinál
- Regulární a singulární kardinál, příklady
- Kofinál limitního ordinálu je tedy regulární kardinál
- Kardinál kappa je singulární právě tehdy, když je sumou méně než kappa množin mohutnosti menší než kappa (doplněn a opraven důkaz zpětné implikace z [BS])
- Důsledek: zobecněný Dirichletův princip pro regulární kardinály
- V ZFC má sjednocení nejvýše alef_alfa množin mohutnosti nejvýše alef_alfa mohutnost nejvýše alef_alfa (důkaz jako cvičení)
- Důsledek: V ZFC je alef_{alfa+1} vždy regulární kardinál
- Slabě nedosažitelný kardinál, je pevným bodem funkce alef (ale ne nejmenším), poznámka o nedokazatelnosti jeho existence v ZFC, nedosažitelný kardinál
- Hypotéza kontinua, poznámka o neomezenosti možných hodnot alfa, pro které je bezesporné tvrzení 2^{alef_0}=alef_alfa
- Zobecněná hypotéza kontinua
- Kardinální aritmetika (v ZFC)
- Kardinální mocnina a její základní vlastnosti
26.11.
- Výpočet kardinální mocniny v jednoduchých případech
- Mohutnost kontinua
- Počet otevřených podmnožin reálných čísel, počet spojitých funkcí mezi reálnými čísly
- (Nekonečný) součet a součin souboru kardinálních čísel
- Mohutnost množiny lambda-prvkových podmnožin a množiny podmnožin mohutnosti menší než lambda
- Výpočet (nekonečného) součtu kardinálních čísel, charakterizace singulárních kardinálů pomocí nekonečného kardinálního součtu
- Nerovnost mezi kardinálním součtem a součinem
- Königova nerovnost
3.12.
- Důsledky Königovy nerovnosti pro kardinální aritmetiku: cf(kappa^lambda)>lambda, lambda^{cf(lambda)}>lambda
- Možné hodnoty funkce 2^{alef_alfa} (informativně)
- Nekonečná kombinatorika
- Strom jako uspořádaná množina, kde množiny předchůdců jsou dobře uspořádané, příklady stromů
- Königova věta (v ZFC): strom výšky omega, jehož každá hladina je konečná, má kofinální větev
- Poznámka o zobecněních Königovy věty na stromy větších výšek a "šířek"
- Princip kompaktnosti pro barevnost nekonečných grafů (zatím jen znění), důsledek pro chromatické číslo roviny
10.12.
- Princip kompaktnosti pro částečné selektory na systému konečných množin, důkaz z principu maximality
- Důsledek pro obarvování nekonečných hypergrafů, nekonečná Hallova věta
- Nekonečné ramseyovské věty
- Homogenní množina pro rozklad množiny r-tic nebo pro funkci z množiny r-tic
- Rozkladová šipka jako zkrácený zápis ramseyovských vět
- Dirichletův princip pro regulární a singulární kardinál jako speciální případ ramseyovské věty
- Konečná Ramseyova věta (znění), nekonečná Ramseyova věta pro spočetné množiny
17.12.
- Věta Parise a Harringtona zesilující Ramseyovu větu, důkaz z nekonečné Ramseyovy věty pomocí principu kompaktnosti
- Důsledek nekonečné Ramseyovy věty pro řetězce a antiřetězce v nekonečných uspořádaných množinách (cvičení)
- Sierpinského věta o neexistenci nespočetné homogenní množiny při obarvování dvojic reálných čísel
- Zobecnění Sierpinského věty pro následníky nekonečných kardinálů (bez důkazu)
- Věta Erdőse a Rada zobecňující Ramseyovu větu pro následníky nespočetných kardinálů (bez důkazu)
- Protipříklad na zobecnění Ramseyovy věty pro obarvování spočetných podmnožin
- Slabě kompaktní kardinál, Ramseyův kardinál, náznak důkazu, že alef_0 není Ramseyův
- Barevnost nekonečných grafů
- Problém určení chromatického čísla roviny
- Spočetný axiom výběru a axiom měřitelnosti
- Náznak definice Lebesgueovy míry na reálných číslech, její vyjádření pomocí pokrytí otevřenými intervaly
- Příklad vzdálenostního grafu G na reálných číslech, který má v ZFC barevnost 2 a v ZF + AC_{alef_0} + LM nespočetnou
7.1.
- Paradoxní rozklady
- Shodnost, přeskládatelnost pomocí n částí, základní vlastnosti
- Zobecnění Cantorovy–Bernsteinovy věty pro přeskládatelnost
- Jednotková sféra lze pomocí 2 částí přeskládat na doplněk své spočetné podmnožiny
- Existence dvou "nezávislých" rotací sféry o 180 a 120 stupňů (bez důkazu)
- Banachův–Tarského paradox: jednotková koule lze pomocí 10 částí přeskládat na dvě disjunktní jednotkové koule