Mohutnost kontinua

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

Definice

Mohutnost kontinua lze definovat mnoha ekvivalentními způsoby, například takto: Mohutnost kontinua je kardinální číslo (viz funkce alef, kardinální aritmetika)

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.

Historie

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

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 . Vybírejme postupně uzavřené intervaly tak, aby a . Pak 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é , což není již v a tedy ani v průniku.

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

Hypotéza kontinua

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

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

Související články

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.