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 Zermelovy-Fraenkelovy teorie množinaxiomem výběru (ZFC), tj. nelze ji v této teorii dokázat ani vyvrátit.

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.

Znění

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

Neexistuje Suslinova přímka.

Suslinovy objekty

Suslinova přímka

Suslinova přímka je hustě lineárně uspořádaný topologický prostor (tj. topologický prostor spolu s hustým lineárním uspořádáním na takovým, že topologie generovaná bází složenou z otevřených intervalů je shodná s původní topologií na ), 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 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 není separabilní (tj. neobsahuje spočetnou hustou podmnožinu).

Suslinův strom

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

  • Pro každé aT je množina 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 (nejmenší nespočetný kardinál; vyjádřeno funkcí alef tedy ).

Suslinova algebra

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

  • Je -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ý).

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.

Konzistence

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

Odkazy

Související články

Literatura

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

Reference

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

Média použitá na této stránce

Venn A intersect B.svg
Venn diagram for the set theoretic intersection of A and B.