Čekání na nový webový server Multimediaexpo.cz skončilo !
Motorem našeho webového serveru bude pekelně rychlý
procesor AMD Ryzen Threadripper 7960X (ZEN 4).

Teorie množin

Z Multimediaexpo.cz

Teorie množin je matematická teorie, která se zabývá množinami. Z formálního pohledu jsou veškeré objekty moderní matematiky množiny – číslo je formálně množina, zobrazení je formálně množina, stejně jako všechny ostatní relace.

Zjednodušeně by se dalo říci, že zatímco matematická logika poskytuje moderní matematice nástroje, jak pracovat – jazyk matematických vět a důkazů, teorie množin jí poskytuje potravu - svět objektů, na kterých může tímto nástrojem (jazykem) pracovat. Požadavkem samozřejmě je, aby tento svět byl natolik obsáhlý a rozmanitý, ale zároveň „logický“, aby v něm mohly ostatní matematické teorie (algebra, matematická analýza) smysluplně existovat, a zároveň vnitřně bezesporný z pohledu formální logiky.

Příkladem mohou být přirozená čísla. Z intuitivního pohledu běžné školské matematiky se jedná o „počty“ objektů v jejich konečných (tedy v reálném vesmíru vlastně všech myslitelných) souborech. Na těchto počtech si pak můžu zavést nejrůznější další pojmy a struktury, které mě zajímají – seřadit si je podle velikosti, zavést operace sčítání, odčítání, zavést pojem dělitelnost, kongruence a tak dále.

Z pohledu formalizované teorie množin jsou přirozená čísla množiny – a to množiny, které mají takovou strukturu a vzájemné vztahy, aby na nich bylo možné modelovat všechny vlastnosti, o které se zajímá výše uvedená běžná teorie přirozených čísel. Úlohou teorie množin je tedy zajistit, aby v pokud možno bezesporné formě existovala ve vesmíru matematiky struktura množin modelujících intuitivní chování přirozených čísel – jejich konkrétní vlastnosti jako je dělitelnost pak už přenechává konkrétní matematické disciplíně.

Dodejme ještě, že již na úrovni zdánlivě jednoduché struktury, jako jsou přirozená čísla, klade teorie množin některé netriviální filosofické otázky – například má smysl existence (nekonečné) množiny, která obsahuje všechna přirozená čísla? Většinový názor reprezentovaný Zermelo-Fraenkelovou teorií množin odpovídá kladně tím, že obsahuje axiom nekonečna. Jiné soustavy teorie se s tímto problémem vypořádávají mnohem opatrněji a díky tomu také obtížněji – viz například Vopěnkova Alternativní teorie množin.

O tom, že se jedná o hodně zapeklitý problém, se lze přesvědčit například v Gödelových větách o neúplnosti.

Obsah

Historie teorie množin

Za praotce teorie množin lze považovat Bernarda Bolzana. Ve své knize Paradoxy nekonečna z poloviny 19.století se jako první matematik a filosof věnuje vlastnostem nekonečných objektů (těžko zde ještě mluvit o množinách).
Je-li Bolzano praotcem, pak otcem je bezesporu Georg Cantor, který během druhé poloviny 19. století položil základy teorie množin jako samostatné matematické disciplíny a zveřejnil některé její základní netriviální poznatky - viz například Cantorova diagonální metoda, Cantorova věta, Cantorova-Bernsteinova věta.
Cantorovská teorie množin se specificky zabývala především nekonečnými množinami čísel a pojem množina chápala intuitivně - jako soubor objektů, u kterého lze jednoznačně rozhodnout, které objekty do něj patří a které nikoliv. Často je dnes proto (možná trochu nespravedlivě) nazývána naivní teorií množin.

Rychlý rozvoj této matematické disciplíny vedl na přelomu 19. a 20. století k objevení paradoxů teorie množin (Russellův paradox, Burali-Fortiho paradox), které způsobily zásadní krizi ve filosofii matematiky. Tato krize vedla k přísné formalizaci teorie množin (a tím i celé matematiky) — jejím výsledkem byl vznik axiomatických systémů, z nichž největší životnost v průběhu 20.století ukázaly dva dnes nejběžněji používané: Zermelova-Fraenkelova teorie množin a Von Neumannova-Bernaysova-Gödelova teorie množin.

O čem pojednává teorie množin

Pojmy jako množina podmnožina, prvek, sjednocení a průnik tvoří základní aparát teorie množin, který si od ní vypůjčují ostatní matematické teorie. Teorie množin zároveň poskytuje ostatním matematickým teoriím struktury, na kterých pracují — formalizované množiny čísel (přirozená čísla, reálná čísla), aparát pro práci se vztahy (relace).

To, co dělá teorii množin opravdu zajímavou, je zkoumání vztahů mezi nekonečnými množinami — právě sem spadají její nejsilnější výsledky (viz Ordinální čísla, Kardinální čísla, Ramseyovy rozklady). Druhou oblastí, která je specifická pro teorii množin (v úzkém provázání s logikou), je testování (z hlediska bezespornosti a nezávislosti) axiomů — viz Axiom výběru, Axiom konstruovatelnosti.

Jazyk teorie množin

V jednotlivých článcích celé sekce věnované teorii množin je používána řada matematických značek, některé běžné, některé poněkud exotické:

Logické operátory

  • <math>(\forall a)</math> — „pro každou množinu a“
  • <math>(\exist a)</math> — „existuje množina a“
  • <math>V_1 \and V_2</math> — „platí zároveň výroky <math>V_1</math> i <math>V_2</math>“ (Konjunkce)
  • <math>V_1 \vee V_2</math> — „platí výrok <math>V_1</math> nebo <math>V_2</math>“ (Disjunkce)
  • <math>V_1 \implies V_2</math> — „z výroku <math>V_1</math> vyplývá <math>V_2</math>“ (Implikace)
  • <math>V_1 \Leftrightarrow V_2</math> — „výroky <math>V_1</math> a <math>V_2</math> jsou ekvivalentní — platí výhradně zároveň“ (Ekvivalence)

Operátory teorie množin

  • <math>\emptyset</math> — prázdné množina (neobsahující žádné prvky)
  • <math>a \isin b</math> — množina <math>a</math> je prvkem množiny <math>b</math>
  • <math>a = b</math> — množiny <math>a</math> a <math>b</math> jsou shodné (mají stejné prvky — <math>(\forall x)(x \isin a \Leftrightarrow x \isin b)</math>)
  • <math>\{ a,b,c \}</math> — množina obsahujcí vyčtené prvky — v tomto případě obsahuje tři prvky — <math>a,b,c</math>
  • <math>\{ a : V(a) \}</math> — množina obsahujcí právě všechny množiny, pro které platí výrok <math>V</math>
  • <math>a \subseteq b</math> — množina <math>a</math> je podmnožinou množiny <math>b</math> — obsahuje pouze prvky z <math>b</math>
  • <math>a \cup b</math> — sjednocení dvou množin: <math>a \cup b = \{ x: x \isin a \vee x \isin b \}</math>
  • <math>a \cap b</math> — průnik dvou množin: <math>a \cap b = \{ x: x \isin a \and x \isin b \}</math>
  • <math>\bigcup a</math> — sjednocení všech prvků <math>a</math>: <math>\bigcup a = \{ x: (\exist y)(x \isin y \and y \isin a) \}</math>
  • <math>\bigcap a</math> — průnik všech prvků <math>a</math>: <math>\bigcap a = \{ x: (\forall y)(y \isin a \implies x \isin y ) \}</math>

Reference

  • B. Balcar, P. Štěpánek: Teorie množin, Academia, Praha 1986

Související články

Externí odkazy


Citováno z „http://www.multimediaexpo.cz/mmecz/index.php/Teorie_mno%C5%BEin“