Suslinova hypotéza

Suslinova hypotéza je matematické tvrzení nacházející se na pomezí teorie množin, konkrétně nekonečné kombinatoriky, a topologie. Formuloval ji ruský matematik Michail Jakovlevič Suslin na přelomu desátých a dvacátých let 20. století. Suslinova hypotéza je nezávislá na axiomech Zermelo-Fraenkelovy teorie množin s axiomem výběru (ZFC), tj. nelze ji v této teorii dokázat ani vyvrátit.

[editovat] Motivace

Tento odstavec obsahuje zdůvodnění toho, proč matematici projevovali o Suslinovu hypotézu poměrně značný zájem. Pro podrobnější definice používaných pojmů se podívejte do odstavce Suslinova přímka.

Husté lineární uspořádání, které je úplné, nemá nejmenší ani největší prvek a je separabilní, je izomorfní s uspořádáním reálných čísel. Toto tvrzení je snadným důsledkem Cantorovy věty o jednoznačnosti spočetných hustých lineárních uspořádání bez konců. Otázka, kterou si matematici na začátku 20. století položili, byla, zda je možné nahradit podmínku separability podmínkou c.c.c. (čti „sísísí“). Protože c.c.c. vyplývá ze separability, znamenala by záporná odpověď na tuto otázku existenci hustého lineárního úplného uspořádání bez konců, které je c.c.c. a přitom neseparabilní. Takové uspořádání se nazývá Suslinova přímka. Suslinova hypotéza je domněnka, že takový objekt nemůže existovat, tj. jinými slovy, že každé husté lineární úplné uspořádání bez konců, které je c.c.c., je již izomorfní reálné přímce.

[editovat] Znění

Suslinovu hypotézu je možné formulovat následujícím způsobem:

Neexistuje Suslinova přímka.

[editovat] Suslinovy objekty

[editovat] Suslinova přímka

Suslinova přímka je hustě lineárně uspořádaný topologický prostor (tj. topologický prostor $S$ spolu s hustým lineárním uspořádáním $<$ na $S$ takovým, že topologie generovaná bází složenou z otevřených intervalů je shodná s původní topologií na $S$ ), který splňuje:

V uspořádání $<$ neexistuje nejmenší ani největší prvek.
Uspořádání $<$ je úplné (tj. každá neprázdná omezená podmnožina $S$ má supremum).
Uspořádání je c.c.c. (čti „sísísí“) (tj. každý systém po dvou disjunktních otevřených intervalů je nejvýše spočetný).
Prostor $S$ není separabilní (tj. neobsahuje spočetnou hustou podmnožinu).

[editovat] Suslinův strom

Suslinův strom (přesněji Suslinův $ω 1$ -strom, neboť se zavádí obecné Suslinovy $κ$ -stromy) je částečně uspořádaná množina (T,<) splňující

Pro každé a ∈ T je množina $\{s \in T;s\leq T\}$ dobře uspořádaná relací <.
Každá podmnožina T, která je lineárně uspořádaná relací <(tzv. řetězec), je nejvýše spočetná.
Každá podmnožina T, jejíž každé dva prvky jsou v < neporovnatelné (tzv. antiřetězec), je nejvýše spočetná.
Mohutnost T je $ω 1$ (nejmenší nespočetný kardinál; vyjádřeno funkcí alef tedy $\alef_1$ ).

[editovat] Suslinova algebra

Suslinova algebra je bezatomární úplná Booleova algebra, která splňuje

Je $(ω,ω,2)$ -distributivní (tj. každý spočetný systém konečných rozkladů jednotky má společné zjemnění).
Je c.c.c. (tj. každý systém po dvou disjunktních prvků je nejvýše spočetný).

[editovat] Ekvivalentní formulace

Suslinovu hypotézu je možné ekvivalentně formulovat pomocí pojmu Suslinova stromu nebo Suslinovy algebry. Následující tvrzení jsou ekvivalentní^[1]:

Suslinova hypotéza (tj. neexistuje Suslinova přímka).
Neexistuje Suslinův strom.
Neexistuje Suslinova algebra.

[editovat] Konzistence

Následující seznam je stručným výčtem relativních konzistencí a inkonzistencí zahrnujících Suslinovu hypotézu.

Suslinova hypotéza je nezávislá na axiomatice ZFC.
Lze ukázat, že je dokonce nezávislá i na teoriích ZFC+GCH i ZFC+¬GCH (kde GCH je zobecněná hypotéza kontinua).
Z diamantového principu (na $ω 1$ ) plyne negace Suslinovy hypotézy.
Martinův axiom spolu s negací hypotézy kontinua implikuje Suslinovu hypotézu.
Z axiomu konstruovatelnosti plyne negace Suslinovy hypotézy.

[editovat] Odkazy

[editovat] Související články

[editovat] Literatura

BALCAR, Bohuslav; ŠTĚPÁNEK, Petr. Teorie množin. 2. opr. a rozš. vyd. [s.l.] : Academia, 2001. ISBN 80-200-0470-X.

[editovat] Reference

↑ Tomáš Pazák, Exhaustive Structures on Boolean Algebras, disertační práce na MFF UK, str. 14.

Suslinova hypotéza v jiných jazycích: English, Polski

Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „http://cs.wikipedia.org/wiki/Suslinova_hypot%C3%A9za“
Stránka byla naposledy upravena v Stránka byla naposledy editována 5. 1. 2008 v 10:39.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).