Nekonečná množina

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)
m (Nahrazení textu „<math>“ textem „<big>\(“)
m (Nahrazení textu „</math>“ textem „\)</big>“)
 
Řádka 7: Řádka 7:
__TOC__
__TOC__
== Příklady ==
== Příklady ==
-
Příkladem nekonečné množiny je množina [[přirozené číslo|přirozených čísel]], neboť každému číslu <big>\(n</math> lze jednoznačně přiřadit [[Sudá a lichá čísla|sudé číslo]] <big>\(2n</math>, které je také přirozeným číslem. Mohli bychom také říci, že celá množina je stejně velká jako její část.<br />
+
Příkladem nekonečné množiny je množina [[přirozené číslo|přirozených čísel]], neboť každému číslu <big>\(n\)</big> lze jednoznačně přiřadit [[Sudá a lichá čísla|sudé číslo]] <big>\(2n\)</big>, které je také přirozeným číslem. Mohli bychom také říci, že celá množina je stejně velká jako její část.<br />
Existenci této množiny zajišťuje [[Zermelova-Fraenkelova teorie množin#Axiom nekonečna|axiom nekonečna]].
Existenci této množiny zajišťuje [[Zermelova-Fraenkelova teorie množin#Axiom nekonečna|axiom nekonečna]].
Řádka 13: Řádka 13:
'''Nekonečné množiny''' se podle toho, zda je lze vzájemně jednoznačně zobrazit na výše uvedenou množinu přirozených čísel, dále dělí na [[Spočetná množina|spočetné]] a [[Nespočetná množina|nespočetné]].
'''Nekonečné množiny''' se podle toho, zda je lze vzájemně jednoznačně zobrazit na výše uvedenou množinu přirozených čísel, dále dělí na [[Spočetná množina|spočetné]] a [[Nespočetná množina|nespočetné]].
-
*množina všech [[celé číslo|celých čísel]] je spočetná – lze jí vzájemně jednoznačně zobrazit na množinu přirozených čísel, pokud si celá čísla seřadíme tímto způsobem: <big>\( \{ 0,1,-1,2,-2,3,\ldots \} \,\! </math>
+
*množina všech [[celé číslo|celých čísel]] je spočetná – lze jí vzájemně jednoznačně zobrazit na množinu přirozených čísel, pokud si celá čísla seřadíme tímto způsobem: <big>\( \{ 0,1,-1,2,-2,3,\ldots \} \,\! \)</big>
*množina všech [[reálné číslo|reálných čísel]] je nespočetná – pomocí [[Cantorova diagonální metoda|Cantorovy diagonální metody]] lze dokázat, že neexistuje vzájemně jednoznačné zobrazení mezi množinou přirozených a reálných čísel
*množina všech [[reálné číslo|reálných čísel]] je nespočetná – pomocí [[Cantorova diagonální metoda|Cantorovy diagonální metody]] lze dokázat, že neexistuje vzájemně jednoznačné zobrazení mezi množinou přirozených a reálných čísel
*množina všech přirozených čísel menších než čtyři (tedy 0,1,2,3) je konečná množina – jakýkoliv pokus zobrazit ji vzájemně jednoznačně na některou její vlastní podmnožinu je předem odsouzen k neúspěchu
*množina všech přirozených čísel menších než čtyři (tedy 0,1,2,3) je konečná množina – jakýkoliv pokus zobrazit ji vzájemně jednoznačně na některou její vlastní podmnožinu je předem odsouzen k neúspěchu
Řádka 20: Řádka 20:
Nabízí se otázka, kolik velikostí nekonečných množin existuje. Odpověď na tuto otázku se zásadně liší podle [[axiom]]atické soustavy teorie množin, pomocí které budeme hledat odpověď.
Nabízí se otázka, kolik velikostí nekonečných množin existuje. Odpověď na tuto otázku se zásadně liší podle [[axiom]]atické soustavy teorie množin, pomocí které budeme hledat odpověď.
-
Z pohledu dnes nejrozšířenější [[Zermelova-Fraenkelova teorie množin|Zermelo-Fraenkelovy teorie množin]] je nekonečen nekonečně mnoho. Podle [[Cantorova věta|Cantorovy věty]] totiž [[Potenční množina|potenční množinu]] <big>\( \mathbb{P}(X) \,\! </math> nelze zobrazit na původní množinu <big>\( X \,\! </math>, takže
+
Z pohledu dnes nejrozšířenější [[Zermelova-Fraenkelova teorie množin|Zermelo-Fraenkelovy teorie množin]] je nekonečen nekonečně mnoho. Podle [[Cantorova věta|Cantorovy věty]] totiž [[Potenční množina|potenční množinu]] <big>\( \mathbb{P}(X) \,\! \)</big> nelze zobrazit na původní množinu <big>\( X \,\! \)</big>, takže
-
* množinu <big>\( \mathbb{P}(\omega) \,\! </math> všech podmnožin množiny přirozených čísel nelze vzájemně jednoznačně zobrazit na množinu <big>\( \omega \,\! </math> všech přirozených čísel
+
* množinu <big>\( \mathbb{P}(\omega) \,\! \)</big> všech podmnožin množiny přirozených čísel nelze vzájemně jednoznačně zobrazit na množinu <big>\( \omega \,\! \)</big> všech přirozených čísel
-
* množinu <big>\( \mathbb{P}(\mathbb{P}(\omega)) \,\! </math> všech podmnožin množiny všech podmnožin množiny přirozených čísel nelze vzájemně jednoznačně zobrazit na množinu <big>\( \mathbb{P}(\omega) \,\! </math> všech podmnožin množiny přirozených čísel
+
* množinu <big>\( \mathbb{P}(\mathbb{P}(\omega)) \,\! \)</big> všech podmnožin množiny všech podmnožin množiny přirozených čísel nelze vzájemně jednoznačně zobrazit na množinu <big>\( \mathbb{P}(\omega) \,\! \)</big> všech podmnožin množiny přirozených čísel
-
* množinu <big>\( \mathbb{P}(\mathbb{P}(\mathbb{P}(\omega))) \,\! </math> nelze vzájemně jednoznačně zobrazit na množinu <big>\( \mathbb{P}(\mathbb{P}(\omega)) \,\! </math>
+
* množinu <big>\( \mathbb{P}(\mathbb{P}(\mathbb{P}(\omega))) \,\! \)</big> nelze vzájemně jednoznačně zobrazit na množinu <big>\( \mathbb{P}(\mathbb{P}(\omega)) \,\! \)</big>
-
* <big>\( \ldots \,\! </math>
+
* <big>\( \ldots \,\! \)</big>
Existují i jiné pohledy, které se naopak takto rozsáhlé hierarchii nekonečen brání – příkladem je [[konstruktivismus]] nebo Vopěnkova [[Alternativní teorie množin]].
Existují i jiné pohledy, které se naopak takto rozsáhlé hierarchii nekonečen brání – příkladem je [[konstruktivismus]] nebo Vopěnkova [[Alternativní teorie množin]].

Aktuální verze z 14. 8. 2022, 14:52

Nekonečná množina je matematický pojem z oboru teorie množin.

Definice

V teorii množin je jako nekonečná množina označována taková množina, která není konečná.
Za konečné jsou přitom označovány ty množiny, které nelze vzájemně jednoznačně zobrazit na nějakou jejich vlastní podmnožinu.

Obsah

Příklady

Příkladem nekonečné množiny je množina přirozených čísel, neboť každému číslu \(n\) lze jednoznačně přiřadit sudé číslo \(2n\), které je také přirozeným číslem. Mohli bychom také říci, že celá množina je stejně velká jako její část.
Existenci této množiny zajišťuje axiom nekonečna.

Množina přirozených čísel je v jistém smyslu „nejmenší“ mezi nekonečnými množinami – každá její podmnožina je buď konečná, anebo stejně velká (ve smyslu vzájemně jednoznačného zobrazení) jako celá množina přirozených čísel. Nekonečné množiny se podle toho, zda je lze vzájemně jednoznačně zobrazit na výše uvedenou množinu přirozených čísel, dále dělí na spočetné a nespočetné.

  • množina všech celých čísel je spočetná – lze jí vzájemně jednoznačně zobrazit na množinu přirozených čísel, pokud si celá čísla seřadíme tímto způsobem: \( \{ 0,1,-1,2,-2,3,\ldots \} \,\! \)
  • množina všech reálných čísel je nespočetná – pomocí Cantorovy diagonální metody lze dokázat, že neexistuje vzájemně jednoznačné zobrazení mezi množinou přirozených a reálných čísel
  • množina všech přirozených čísel menších než čtyři (tedy 0,1,2,3) je konečná množina – jakýkoliv pokus zobrazit ji vzájemně jednoznačně na některou její vlastní podmnožinu je předem odsouzen k neúspěchu

Hierarchie nekonečných množin

Nabízí se otázka, kolik velikostí nekonečných množin existuje. Odpověď na tuto otázku se zásadně liší podle axiomatické soustavy teorie množin, pomocí které budeme hledat odpověď.

Z pohledu dnes nejrozšířenější Zermelo-Fraenkelovy teorie množin je nekonečen nekonečně mnoho. Podle Cantorovy věty totiž potenční množinu \( \mathbb{P}(X) \,\! \) nelze zobrazit na původní množinu \( X \,\! \), takže

  • množinu \( \mathbb{P}(\omega) \,\! \) všech podmnožin množiny přirozených čísel nelze vzájemně jednoznačně zobrazit na množinu \( \omega \,\! \) všech přirozených čísel
  • množinu \( \mathbb{P}(\mathbb{P}(\omega)) \,\! \) všech podmnožin množiny všech podmnožin množiny přirozených čísel nelze vzájemně jednoznačně zobrazit na množinu \( \mathbb{P}(\omega) \,\! \) všech podmnožin množiny přirozených čísel
  • množinu \( \mathbb{P}(\mathbb{P}(\mathbb{P}(\omega))) \,\! \) nelze vzájemně jednoznačně zobrazit na množinu \( \mathbb{P}(\mathbb{P}(\omega)) \,\! \)
  • \( \ldots \,\! \)

Existují i jiné pohledy, které se naopak takto rozsáhlé hierarchii nekonečen brání – příkladem je konstruktivismus nebo Vopěnkova Alternativní teorie množin.

Související články


Citováno z „http://ww.multimediaexpo.cz/mmecz/index.php/Nekone%C4%8Dn%C3%A1_mno%C5%BEina“