Otevřít hlavní menu

MotivaceEditovat

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íEditovat

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

Neexistuje Suslinova přímka.

Suslinovy objektyEditovat

Suslinova přímkaEditovat

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:

Suslinův stromEditovat

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 algebraEditovat

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í formulaceEditovat

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.

KonzistenceEditovat

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

OdkazyEditovat

Související článkyEditovat

LiteraturaEditovat

ReferenceEditovat

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