Mohutnost kontinua

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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

Definice[editovat | editovat zdroj]

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)

Význam[editovat | editovat zdroj]

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.

Historie[editovat | editovat zdroj]

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á.

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

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.

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

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ů.

Hypotéza kontinua[editovat | editovat zdroj]

Související informace naleznete také v článku Hypotéza kontinua.

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.

Vlastnosti[editovat | editovat zdroj]

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

Související články[editovat | editovat zdroj]