Částečně uspořádaná množina

(přesměrováno z Lineární uspořádání)

Částečně uspořádaná množina (též poset z anglického „Partially ordered set“) je jakákoli množina spolu s částečným uspořádáním (někdy též nazvaným neostré uspořádání), neboli binární relací na této množině, která je reflexivní, tranzitivní a antisymetrická. To znamená, že

  • Částečné uspořádání lze definovat na jakékoli množině (které se pak říká nosná množina), protože jde o abstraktní strukturu: částečně uspořádat lze množinu čísel, množinu množin čísel (i množinu množin … množin čísel), množinu funkcí, množinu grafů, uspořádaných seznamů či jakýchkoli dalších struktur.
  • Binární relace pro každou (uspořádanou) dvojici prvků stanoví, zda v relaci jsou nebo ne. Částečné uspořádání je zobecněním relace „je menší nebo rovno“ na přirozených číslech. Definice částečného uspořádání zachycuje některé vlastnosti této relace (např. tranzitivnost), ale částečným uspořádáním je každá množina s jakoukoli relací, která tuto definici splňuje. To, že dvojice prvků z je v relaci, se zapisuje
  • a čte „ předchází “, pokud je vhodné zdůraznit, že se relace může lišit od běžného významu symbolu .
  • Nehrozí-li toto nedorozumění, lze tutéž skutečnost psát a číst „ je menší nebo rovno “.
  • Tranzitivnost: Pokud předchází prvku a předchází , pak předchází . Částečným uspořádáním na přirozených číslech proto není relace .
  • Reflexivnost: Každý prvek předchází sám sobě, neboli „je menší nebo roven“ sám sobě. Proto ostrá nerovnost na přirozených číslech není částečným uspořádáním: neplatí . Takové relace se nazývají ostrá uspořádání. Hrozí-li nejednoznačnost, částečným uspořádáním se též říká „neostrá uspořádání“.
  • Antisymetrie: Uspořádáním není relace, pro niž existují taková, že a zároveň , např. relace na přirozených číslech, která vyjadřuje, že čísla jsou si rovna nebo spolu sousedí.

Uspořádané množiny lze graficky znázornit pomocí Hasseových diagramů.

Příklady

editovat

Všimněte si, že na rozdíl od prvního příkladu nejsou ve třetím a čtvrtém případě každé dva prvky množiny srovnatelné

Další typy uspořádání

editovat

Lineární a dobré uspořádání

editovat

Částečné uspořádání množiny   se nazývá

  • Lineární uspořádání (někdy též: úplné uspořádání v protikladu k „částečnému uspořádání“), pokud pro každé   buď   nebo  , tj. pokud neexistuje dvojice prvků vzájemně nesrovnatelných.
  • Dobré uspořádání, pokud je lineární a každá neprázdná podmnožina  nejmenší prvek  , tj. takový, že pro každé   (ale ne nutně pro ostatní  ) platí  . Ekvivalentně, lineární uspořádání je dobré, pokud v něm neexistuje nekonečná klesající posloupnost, tj. taková, v níž každý prvek je ostře menší než předchozí, tj.  
  • Husté uspořádání, je-li lineární a mezi každými   leží prvek  ; symbol   značí „předchází a není roven.“

Na jedné množině může existovat řada uspořádání různých vlastností, např.

  • Obvyklá nerovnost   je na přirozených číslech lineární uspořádání, ne však husté. Ovšem relace „  je dělitel  “ není lineární (a tedy ani dobrá či hustá), což dosvědčují čísla 2 a 3: jsou navzájem nesrovnatelná.
  • Husté uspořádání nemůže být dobré, je-li   alespoň dvouprvková.
  • Obvyklá nerovnost na racionálních či reálných číslech je lineární a hustá. Není dobrým uspořádáním, neboť nemá nejmenší prvek.
  • Uzavřený interval reálných čísel   není dobrým uspořádáním: sice má nejmenší prvek, ale jeho podmnožina   žádný nejmenší prvek nemá.
  • Na přirozených číslech je běžná nerovnost   dobrým uspořádáním, ale obrácené uspořádání   nikoli.
  • Množina celých čísel není dobře uspořádaná ani obvyklou nerovností, ani obrácenou. Jedna z cest k nalezení dobrého uspořádání je najít takové, aby každému číslu předcházelo jen konečně mnoho jiných. Relace porovnávající absolutní hodnotu , právě když  “ není částečným uspořádáním: není antisymetrická, jak dosvědčují čísla 1 a -1. Částečným a dokonce dobrým uspořádáním je však zúžení této relace tak, aby pro kladné   platilo  , ale nikoli  . Jinými slovy, rozhoduje primárně absolutní hodnota obou čísel a teprve v druhé řadě jejich znaménko:  , právě když buď  , nebo   a  .
  • V informatice, zejména teorii automatů a gramatik, se často pracuje s konečnou množinou formálních (tj. nenesoucích jiný význam, než své jméno) symbolů  , která je zvána abeceda. Jsou pak zkoumány vztahy a přechody mezi jednotlivými slovy, tj. posloupnostmi symbolů (různých konečných délek).
    • Lexikografické uspořádání značí třídění abecedním pořadím, jaké lidé používají ve slovnících a rejstřících. Toto třídění je lineární, ale nikoli dobré, protože existuje ostře klesající posloupnost  
    • I zde lze dobré uspořádání nejsnáze nalézt tak, aby každému slovu předcházelo jen konečně mnoho jiných slov. Vhodným řešením je maximo-lexikografické uspořádání, které porovnává přednostně délku slov a až v druhé řadě jejich abecední (tj. lexikografické) pořadí.

Dobré uspořádání hraje velkou roli v teorii ordinálních čísel:

  • Každý ordinál je dobře uspořádaná množina. Na druhou stranu jakákoli dobře uspořádaná množina je izomorfní s přesně jedním ordinálem.
  • Na každé konečné množině jsou všechna lineární (a tedy i všechna dobrá) uspořádání navzájem izomorfní. Na nekonečných spočetných množinách existuje dobrých uspořádání (až na izomorfismus, tzn. počítáme-li všechny navzájem izomorfní jako jedno) nespočetně mnoho: každý typ uspořádání odpovídá jednomu spočetnému ordinálu.
  • Otázka, zda na každé množině existuje nějaké dobré uspořádání, je ekvivalentní s axiomem výběru a dotýká se proto základů a axiomatizace celé matematiky. Přidává se jako dodatečný axiom, protože ze základních (Zermelových–Fraenkelových) axiomů matematiky ji nelze rozhodnout (tj. dokázat nebo vyvrátit).
  • Nerozhodnutelná je i otázka, zda vůbec nějaké dobré uspořádání existuje na reálných číslech (i kdyby se naprosto lišilo od běžné nerovnosti). Bez tohoto dodatečného axiomu nelze dokázat významná matematická tvrzení, např. Banachův-Tarského paradox nebo existenci Lebesgueovsky neměřitelné množiny reálných čísel.

Podrobnější informace naleznete v článcích Svaz (matematika), Úplný svaz a Nejmenší a největší prvek.

Částečně uspořádaná množina se nazývá

  • Spojový polosvaz, pokud v ní každá dvojice prvků má supremum, tj. nejmenší mezi horními závorami.
  • Průsekový polosvaz, má-li v ní každá dvojice infimum neboli největší dolní závoru.
  • Svaz, má-li v ní každý dvojice supremum i infimum. Pak lze indukcí ukázat, že v ní má supremum i infimum každá neprázdná konečná množina prvků.
  • Úplný svaz, pokud v ní má supremum a infimum každá (i nekonečná) množina prvků.


Diagram 1
12
6
2 3
Diagram 2
72
24 36
4 6 15
2 5
1

Např. diagram 1 zachycuje poset některých přirozených čísel, kde předcházení   je definováno vztahem „a je dělitel b“. Číslo 12 je největší prvek tohoto svazu. 2 i 3 jsou minimální prvky (tj. nic jim nepředchází), ale poset nemá nejmenší prvek (neboli takový, který by předcházel všem ostatním). Protože čísla 2 a 3 nemají dolní závoru, tento poset není svazem.

V druhém diagramu je číslo 2 největší dolní závora, tj. infimum, prvků 4 a 6. Nejmenší horní závora prvků 4 a 6 (supremum) neexistuje, i když existují dvě minimální horní závory, 24 a 36. Proto daný poset rovněž není svazem. Navíc prvky 2 a 5 nemají vůbec žádnou horní závoru. Jejich jediná (a tedy největší) dolní závora je 1.

Úplný svaz

editovat
Podrobnější informace naleznete v článku Úplný svaz.

Svaz   se nazývá úplný, pokud v něm supremum a infimum mají nejen dvouprvkové podmnožiny   (z čehož plyne, že to platí pro všechny konečné podmnožiny), ale všechny (i nekonečné) podmnožiny.

Např. celá či reálná čísla jsou svazem, ale nikoli úplným svazem. Typičtějším příklad neúplného svazu je množina všech konečných množin celých čísel uspořádaná obvyklou množinovou inkluzí.

Racionální čísla nejsou úplným svazem; supremum nemá např. množina racionálních čísel menších než zvolené iracionální číslo, např.   nebo Eulerova konstanta. To úzce souvisí i s tím, že racionální čísla nejsou úplný metrický prostor.

Má-li suprema a infima každá podmnožina  , má je i celý svaz  , protože je sám sobě podmnožinou ( ). Proto má každý úplný svaz nejmenší a největší prvek. Svazem není např. žádný otevřený interval reálných čísel, protože nemá nejmenší prvek (ať už je dolní mezí nekonečno nebo konečné číslo) ani největší prvek.

Odstraněním nuly z uzavřeného intervalu   vznikne množina  , která sice nejmenší prvek má, ale nemá je její podmnožina  ; proto není svazem.

Důležitou vlastností reálných čísel je, že v nich má supremum a infimum každá omezená (tj. shora i zdola omezená) podmnožina kromě prázdné. Množina   se nazývá shora omezená, pokud existuje reálné číslo větší než každý její prvek.

Supremum shora neomezené množiny reálných čísel se značí symbolem   (čteno „plus nekonečno“), infimum zdola neomezené pak  . Přidáním těchto dvou hodnot k reálným číslům (a zavedením vhodných operací, jako je sčítání a nerovnost, na této množině) vzniknou rozšířená reálná čísla, která již úplným svazem jsou.

Booleovy algebry

editovat
Podrobnější informace naleznete v článku Booleova algebra.

Booleovou algebrou je takový typ svazu, na němž existují binární operace  ,  , unární operace   a konstanty značené   a  , které splňují axiomy, díky nimž vykazují podobnost s logickými operacemi „a“, „nebo“, „ne“ a logickými konstantami „pravda“ a „nepravda“.

Pojem svaz, tj. částečně uspořádaná množina s konečnými supremy a infimy, má totiž i ekvivalentní definici jako algebraická struktura: svazem je právě taková množina s binárními operacemi zvanými průsek ( ) a spojení ( ), která splňuje následující axiomy:

Asociativita:   
Komutativita:  
Idempotence:  
Absorbce:   

Tyto dvě definice, zdánlivě dost různorodé, jsou ekvivalentní, tj. v důsledku totožné, protože

  • Existují-li na nějaké množině takové operace, tj. je-li svazem v algebraickém smyslu, pak na ní lze částečné uspořádání se supremy a infimy získat takovou definicí relace  , že   právě když  , nebo ekvivalentně  .
  • Naopak každá částečně uspořádaná množina se supremy a infimy je svazem i v algebraickém smyslu, pokud symboly   a   označíme právě suprema a infima.

Svaz se nazývá komplementární, pokud má nejmenší i největší prvek (značí se   a  ) a pro každý prvek   existuje jeho komplement, prvek  , takový, že

 
 

Komplementární svaz se nazývá Booleova algebra, pokud je navíc distributivní, tj. pro libovolné prvky   platí:

  
  

Symboly pro spojení a průsek byly záměrně zvoleny podobné symbolům   a  , protože ve svazech množin se často supremum rovná sjednocení a infimum průniku.

Jejich souvislost s logickými operacemi „nebo“ a „a zároveň“ (které se rovněž značí   a  ) vynikne na dvouprvkové Boolově algebře  , kterou lze chápat jako logickou nulu a jedničku (tj. nepravdu a pravdu).

Nebo na direktním součinu několika dvouprvkových algeber: pro libovolné přirozené číslo   (nebo i pro nekonečnou mohutnost   reprezentované např. kardinálním číslem) lze sestrojit direktní součin   dvouprvkových algeber  , který se někdy značí   :

  • Nosnou množinu tvoří všechny posloupnosti nul a jedniček o délce  .
  • Booleovské operace se na ní definují po složkách, např. 01011   00111 je 00011.
  • Předcházení se definuje rovněž po složkách, tj.  , právě když pro každé   platí  . Např. platí 10100   10101. Nikoli však 00110  10101, protože čtvrtá složka je u prvně jmenované posloupnosti větší.

Např.   lze interpretovat jako informaci, které dny v týdnu má nějaký podnik otevřeno. Úřad otevřený v pondělí a středu je popsán posloupností 1010000, kino otevřené všechny dny kromě pondělí posloupností 0111111. Průsek 1010000   0111111 = 00100000 pak vyjadřuje, které dny je možno zajít na úřad a po něm hned do kina. Podobně   lze použít jako údaj, ve kterých měsících má nějaké středisko otevřeno.

Každá konečná Booleova algebra má právě takovou strukturu, tj. je izomorfní s   pro nějaké  . Jednoprvková Booleova algebra je izomorfní s  , neboť existuje právě jedna posloupnost nulové délky. Toto může působit proti intuici, ale formálně je to pravda a taková algebra exaktně splňuje všechny vlastnosti Booleovy algebry i částečného uspořádání.

Nekonečné Booleovy jsou různorodější; u některých je možné každý prvek vyjádřit jako spojení některých atomů. Atomem v Booleově algebře   je takový prvek  , pod kterým již nic není, tj. pro žádné   neplatí ostrá nerovnost  . Takové jsou obvykle úplné, takže má smysl mluvit i o spojení nekonečně mnoha atomů, tzn. nekonečných podmnožin množiny všech atomů.

Jiné jsou naopak husté, tj. mezi každými prvky   existuje další prvek:  . Všechny husté Booleovy algebry (kromě jednoprvkové) jsou nekonečné a bezatomární - nemají žádné atomy.

Ostré a neostré uspořádání

editovat
Na tuto kapitolu jsou přesměrována hesla Ostré uspořádání a Neostré uspořádání.

Každé uspořádání je možno vyjádřit „neostrou“ relací, v níž pro každé   platí  , tak i „ostrou“, která se značí   a vztah   neplatí pro žádné  . Zatímco   se čte „  předchází  “ (případně „  je menší nebo rovno  “), vztah   se čte „  ostře předchází  “, případně (nehrozí-li nedorozumění) „  je menší než  “.

Jde o dva popisy téhož vztahu; rozdíl je jen technický, protože někdy při je matematických konstrukcích potřeba ostrá varianta. Vztah mezi   a   v jakékoli částečně uspořádané množině je obdobný vztahu mezi   a  , tedy ostrou a neostrou nerovností na přirozených číslech.

Přesná definice: Zatímco „částečné uspořádání“ standardně znamená „neostré částečné uspořádání“ z úvodu článku, neboli antisymetrickou tranzitivní binární relaci, která je reflexivní, pojem ostré částečné uspořádání značí antisymetrickou tranzitivní binární relaci, která je ireflexivní, což znamená, že   neplatí pro žádné  .


Ke každému ostrému uspořádání lze zkonstruovat neostré, a to přidáním „reflexivních“ dvojic. Stejně tak k neostrému lze vytvořit ostré jejich odebráním.

Ostré částečné uspořádání se nazývá „ostré lineární uspořádání“ nebo „ostré dobré uspořádání“, splňuje-li obdobné podmínky, jako lineární uspořádání nebo dobré uspořádání. Například na každém ordinálním číslu je náležení   ostrým dobrým uspořádáním, zatímco množinová inkluze   je neostrým dobrým uspořádáním.

Souvilost s acyklickými grafy

editovat
Související informace naleznete také v článku Orientovaný graf.
Množina   uspořádaná dělitelností.
12
4
3
2
1
Množina   uspořádaná dělitelností.
4
3 5
2

Pojem „orientovaný graf   s množinou uzlů   a množinou hran  “ přesně splývá s pojmem „binární relace   na množině  “, a to jak formálním zápisem jako uspořádaná dvojice, tak i v tom, jakých podob mohou tyto struktury nabývat. Orientovaný graf je, stejně jako částečné uspořádání, příkladem abstraktní struktury, takže za množinu vrcholů (tj. „nosnou množinu struktury“) lze zvolit libovolné matematické objekty.

Označíme-li proto pojmem „tranzitivní graf“ takový orientovaný graf, který s každou hranou   (tj. šipkou z vrcholu   do vrcholu  ) a hranou   obsahuje i „tranzitivní hranu“  , pak „ostré částečné uspořádání“ je přesně totéž, co „tranzitivní acyklický orientovaný graf“. I jako „tranzitivní ireflexivní orientovaný graf“, protože existuje-li cyklus jakékoli délky z   do  , díky tranzitivitě graf obsahuje i  , takže není ireflexivní.

  • Každou ostře částečně uspořádanou množinu lze chápat jako graf, v němž do každého vrcholu vedou šipky z vrcholů, které mu ostře předchází. Hrany, které z ostatních vyplývají díky tranzitivitě, se pro přehlednost často neznázorňují, např. šipka 1→4, 2→12 a 1→12 na diagramu vpravo.
  • Naopak každému orientovanému grafu (tj. množině vrcholů a šipek), který neobsahuje cyklus, lze doplnit „tranzitivní“ hrany, a tak získat ostré částečné uspořádání, doplněním též „reflexivních“ hran pak neostré částečné uspořádání.

Z toho plyne, že jakákoli acyklická množina vrcholů a šipek popisuje částečné uspořádání. To ilustruje, jak mnoha podob mohou nabývat částečná uspořádání na konečných i nekonečných množinách.

Externí odkazy

editovat