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

Skočit na navigaci Skočit na vyhledávání
Přidáno 114 bajtů ,  před 15 lety
→‎Definice: - doplnění poznámky pro neostré lineární uspořádání
m (robot: stylistické, typografické a kódové korekce a náhrady přesměrování podle specifikace)
(→‎Definice: - doplnění poznámky pro neostré lineární uspořádání)
Řekneme, že [[uspořádání]] (ať již [[ostré uspořádání|ostré]] nebo [[neostré uspořádání|neostré]]) je '''lineární''', pokud se (kromě ostatních vlastností požadovaných definicí uspořádání) jedná o [[Trichotomická relace|trichotomickou]] [[Binární relace|relaci]].
 
Rozepišme si podrobněji, co všechno musí být splněno, na příkladu ostrého lineárního uspořádání (pro neostré lineární uspořádání musí být antireflexivita nahrazena [[Reflexivní relace|reflexivitou]]):
 
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:
5 102

editací

Navigační menu