Antisymetrická relace: Porovnání verzí

Smazaný obsah Přidaný obsah
ArthurBot (diskuse | příspěvky)
m Robot: úpravy šablony portálu Matematika
Fcelda (diskuse | příspěvky)
Oprava zásadní chyby.
Řádek 3:
Formálně zapsáno:
 
:<math>(\forall a, b \in X) (a R b \and a \neq b \Rightarrow \neg(b R a))</math>
 
„Je menší“ je antisymetrická relace, jelikož ''a'' < ''b'' a ''b'' < ''a'' je nemožné.
 
Antisymetrie není pravým opakem ''[[symetrická relace|symetrie]]'' (''aRb'' implikuje ''bRa''). Existují relace, které jsou jak symetrické, tak antisymetrické (pouze prázdná relace), existují i relace, které nejsou ani symetrické, ani antisymetrické („je menší nebo rovno“), existují relace, které jsou symetrické, ale nejsou antisymetrické ([[rovnost (matematika)|rovnost]]), a existují relace, které nejsou symetrické, ale jsou antisymetrické („je menší“, „je menší nebo rovno“).
 
Antisymetrická relace, která je zároveň [[Tranzitivní relace|tranzitivní]] a [[antireflexivní relace|antireflexivní]] se nazývá [[ostré uspořádání]].