Mohutnost kontinua

Z Wikipedie, otevřené encyklopedie

Mohutnost kontinua je matematický pojem z oblasti teorie množin.

Obsah

1 Definice
2 Význam
3 Historie
4 Vlastnosti
5 Podívejte se také na

[editovat] Definice

Mohutnost kontinua lze definovat mnoha ekvivalentními způsoby, například takto: Mohutnost kontinua je kardinální číslo $c = 2^{\aleph_0}$ (viz funkce alef, kardinální aritmetika)

[editovat] Význam

Mohutnost kontinua obdržela svůj název proto, že je skutečně mohutností každého geometrického kontinua, tj. například úsečky, kruhu, hyperboly.

[editovat] Historie

Autorem pojmu mohutnosti kontinua je Georg Cantor. Ten v prosinci roku 1873 dokázal, že mohutnost množiny reálných čísel je ostře větší než mohutnost množiny přirozených čísel, tedy tato mohutnost je nespočetná.

[editovat] Cantorův důkaz nespočetnosti mohutnosti kontinua

Původní Cantorův důkaz uvedený v dopise Richardu Dedekindovi ze 7. prosince 1873 zní následovně:

Předpokládejme pro spor, že existuje očíslování všech reálných čísel čísly přirozenými a všechna reálná čísla jsou seřazena do posloupnosti $\,(x_n)$ . Vybírejme postupně uzavřené intervaly $\,I_n$ tak, aby $\,I_{n+1}\subseteq I_n$ a $\,x_n\not\in I_n$ . Pak $\bigcap_{n\in\mathbb{N}} I_n$ je průnikem uzavřených do sebe zařazených intervalů, tedy je neprázdný. Zároveň však nemůže obsahovat žádné reálné číslo, neboť každé takové číslo je nějaké $\,x_n$ , což není již v $\,I_n$ a tedy ani v průniku.

[editovat] Nekonstruktivní důkaz existence trascendentních čísel

Díky práci Richarda Dedekinda věděl již Cantor, že všech algebraických čísel je pouze spočetně mnoho (lze je očíslovat přirozenými čísly). Když tedy ukázal, že všech reálných čísel spočetně mnoho není (nelze je očíslovat přirozenými čísly), prokázal tím zároveň, že obory algebraických a reálných čísel nemohou být totožné, tedy existují transcendentní čísla. Cantor dokázal dokonce více: transcendentních čísel je nespočetně mnoho, tedy více než čísel algebraických, a to aniž by jeho důkaz obsahoval jakýkoli náznak konstrukce byť jen jediného transcendentálního čísla. Tento důkaz tedy spadá do kategorie nekonstruktivních důkazů.

[editovat] Hypotéza kontinua

Podrobnější informace naleznete v článku Hypotéza kontinuanaleznete v článcích [[{{{2}}}]] a [[{{{3}}}]]naleznete v článcích [[{{{4}}}]], [[{{{5}}}]] a [[{{{6}}}]]naleznete v článcích [[{{{7}}}]], [[{{{8}}}]], [[{{{9}}}]] a [[{{{10}}}]].

Když se Georg Cantor zabýval zjišťováním mohutností různých podmnožin reálných čísel, uvědomil si, že každá množina, kterou se zabýval, je buď spočetná nebo má již mohutnost kontinua. Postupně nabyl přesvědčení, že podmnožina reálných čísel, která by měla mohutnost různou od těchto dvou neexistuje a tuto svoji domněnku formuloval jako hypotézu kontinua. Nikdy se mu ji však nepodařilo dokázat. A není divu - v roce 1963 publikoval Paul Cohen článek, v němž ukázal, že hypotézu kontinua nelze v teorii množin dokázat.

[editovat] Vlastnosti

Mohutnost kontinua je mohutností následujících množin:

množiny všech podmnožin přirozených čísel
množiny všech reálných čísel
množiny všech iracionálních čísel
množiny všech transcendentních čísel
množiny všech spojitých reálných funkcí
obecněji množiny všech spojitých funkcí z nějakého separabilního metrického prostoru do libovolného metrického prostoru
Cantorova diskontinua
množiny všech otevřených množin v $\mathbb{R}^n$
množiny všech posloupností reálných čísel