Lineární uspořádání: Porovnání verzí

Skočit na navigaci Skočit na vyhledávání
Přidáno 10 bajtů ,  před 12 lety
Verze 4877344 uživatele Whush (diskuse) zrušena
({{ověřit}} přepisování faktických informací a žádné zdroje)
(Verze 4877344 uživatele Whush (diskuse) zrušena)
Předpokládejme, že máme relaci <math> R \,\! </math> na [[Množina|množině]] <math> X \,\! </math>, a <math> a,b,c \isin X \,\! </math> jsou nějaké její libovolné prvky. Abychom mohli prohlásit tuto relaci za lineární uspořádání množiny <math> X \,\! </math>, musí být splněny tyto podmínky:
# [[Tranzitivní relace|tranzitivita]]: <math> aRb \and bRc \implies aRc \,\! </math>
# [[ReflexivníAntireflexivní relace|reflexivitaantireflexivita]]: pro každýžádný prvek musínesmí platit <math> aRa \,\! </math>
# [[Antisymetrická relace|antisymetrie]]: <math> aRb \implies \neg bRa \,\! </math>
# [[Trichotomická relace|trichometrie]]: <math> aRb \vee bRa \vee a = b \,\! </math>
Neregistrovaný uživatel

Navigační menu