Teorie množin (NAIL063), LS 2025/2026

Jan Kynčl, KAM (kyncl zavináč kam.mff.cuni.cz)

Přednáška se koná ve čtvrtek v 9:00 v S4 na Malé Straně.
Stránka v SISu, sylabus

K přednášce je letos nepovinné cvičení: Cvičení z teorie množin (NAIL124)

Na případných konzultacích se můžeme domluvit osobně nebo e-mailem.

Doporučená literatura:

• [BS] B. Balcar, P. Štěpánek, Teorie množin, Academia, Praha, 2001 (případně dřívější vydání). K dispozici v Půjčovně skript a učebnic MFF UK v Troji.
  Seznam témat včetně odkazů do knížky od tématu relací je na stránce z roku 2021/2022.
• [T++] Dodatky k teorii množin (hlavně pro samostudium)

• Jakub Smolík, Úvod do teorie množin - skriptíčka k přednášce
• Mirek Olšák, Do nekonečna a ještě dál...... - seriál Matematického korespondenčního semináře, vcelku. Jednotlivé kapitoly:
  • Díl první - Svět nekonečen - neformální úvod: nekonečna, spočetné množiny, dobře uspořádané množiny, indukce, rekurze
  • Díl druhý - Pevné základy - formálnější základy, axiomy, ordinální čísla, přirozená čísla
  • 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 - velmi názorná animovaná videa (mírně odlišná terminologie - axiom existence, axiom nekonečna, uspořádání, ...)
• Karel Hrbacek, Thomas Jech: Introduction to Set Theory, 3. edition, Marcel Dekker, 1999
• Thomas Jech, Set theory, Springer, 2003 (Part I)
• Richard Evan Schwartz, Gallery of the infinite, American Mathematical Society, Providence, RI, 2016 (link)
• Joel David Hamkins: Infinity, Gödel Incompleteness, and the Paradoxes that Broke Mathematics | Lex Fridman Podcast #488

Doporučená cvičení

Témata přednášek:

19.2.

• Úvodní informace
• Stručná historie teorie množin, paradoxy
• Jazyk teorie množin (a logiky): symboly, formule, rozšíření o další symboly
• Příklady logických axiomů z výrokové a predikátové logiky
• Příklady axiomů rovnosti, příklady odvozovacích pravidel (logiku budeme používat intuitivně)

26.2.

• Zermelo–Fraenkelova teorie (ZF)
• Axiom existence množiny
• Axiom extenzionality
• Schéma axiomů vydělení, průnik, rozdíl, prázdná množina
• Axiom dvojice, neuspořádaná dvojice {a,b}, jednoprvková množina {a}, uspořádaná dvojice (a,b), (x,y)=(u,v) implikuje x=u a y=v, uspořádaná n-tice
• Axiom sumy, suma množiny a, sjednocení dvou množin a, b, neuspořádaná n-tice
• Axiom potence, potenční množina množiny a
• Schéma axiomů nahrazení

5.3.

• Axiom fundovanosti (regularity)
• Třídy
• Třídové termy, třída určená formulí ("definovatelný soubor množin"), každá množina je třída, ostatní třídy jsou vlastní třídy
• Rozšíření jazyka teorie množin o třídové termy a třídové proměnné, eliminace třídových termů z atomických formulí
• Binární třídové operace: průnik, sjednocení, rozdíl
• Univerzální třída V, (absolutní) doplněk třídy
• Relace "být podtřídou", "být vlastní podtřídou"
• Unární třídové operace: suma, průnik, potence
• Univerzální třída není množina (cvičení)
• Průnik množiny a třídy je vždy množina
• Kartézský součin tříd, kartézský součin množin je vždy množina
• Kartézská mocnina X^n jako třída všech uspořádaných n-tic

12.3.

• Relace
• (Binární) relace, n-ární relace
• Relace náležení a identity
• Definiční obor (třídy) X, obor hodnot X, obraz třídy Y třídou X, zúžení třídy X na třídu Y
• Je-li x množina, pak jsou také množiny definiční obor x, obor hodnot x, obraz třídy Y množinou x a zúžení množiny x na třídu Y
• Inverzní relace, složení relací
• Zkratka pro kvantifikaci přes třídu (relativizace kvantifikátoru)
• Zobrazení (třídy X do třídy Y, na třídu Y, prosté), třída ^aA všech zobrazení množiny a do třídy A; je-li A množina, je ^aA také množina; je-li a neprázdná a A vlastní třída, je ^aA také vlastní třída
• Uspořádání
• Připomenutí základních vlastností relací (reflexivní apod.) na třídě A, dědičnost

19.3.

• Uspořádání na třídě A, srovnatelné nebo porovnatelné prvky
• Lineární uspořádání, ostré uspořádání, značení
• Majoranta, maximální prvek, největší prvek, supremum; největší prvek je vždy maximální, v lineárním uspořádání je maximální prvek třídy maximálně jeden (a pak už je i největší), největší prvek i supremum jsou jednoznačné a lze psát a=max(X), a=sup(X)
• Shora omezená množina, dolní množina, dolní množina určená prvkem x (hlavní ideál určený x), x≤y implikuje inkluzi dolních množin určených x,y
• Poznámka: Dedekindovy řezy na množině racionálních čísel jako definice reálných čísel - definice a příklady [T++]
• Dobré uspořádání, je to dědičná vlastnost, každé dobré uspořádání je lineární
• Zopakování základních informací o ekvivalencích (definice, třídy, třídy ekvivalence tvoří rozklad)