Array ( [0] => 15494630 [id] => 15494630 [1] => cswiki [site] => cswiki [2] => Uspořádání [uri] => Uspořádání [3] => [img] => [4] => [day_avg] => [5] => [day_diff] => [6] => [day_last] => [7] => [day_prev_last] => [8] => [oai] => [9] => [is_good] => [10] => [object_type] => [11] => 0 [has_content] => 0 [12] => [oai_cs_optimisticky] => ) Array ( [0] => {{Různé významy|tento=[[matematika|matematickém]] pojmu|stránka=Uspořádání (rozcestník)|druhý=}} [1] => [2] => '''Uspořádání''' (přesněji '''neostré částečné uspořádání''') je [[matematika|matematický]] pojem z [[teorie uspořádání]]. Jde o [[binární relace|binární]] [[reflexivní relace|reflexivní]], [[slabě antisymetrická relace|slabě antisymetrickou]] a [[Tranzitivní relace|tranzitivní]] [[Relace (matematika)|relaci]], tj. relaci, pro kterou platí následující podmínky: [3] => * ( \forall x \isin a)(xRx) – reflexivita (každý prvek je v relaci R sám se sebou) [4] => * ( \forall x,y,z \isin a)((xRy \land yRz) \implies xRz) – tranzitivita (pokud je prvek množiny v uspořádání mezi jinými dvěma prvky, jsou tyto dva rovněž srovnatelné) [5] => * ( \forall x,y \isin a)((xRy \land yRx) \implies x = y) – slabá antisymetrie (neexistují cykly v uspořádání) [6] => [7] => Množina, na které je definováno uspořádání, se nazývá ''uspořádaná'' (nebo též ''poset'' z anglického ''p''artially ''o''rdered ''set''). Uspořádané množiny lze graficky znázornit pomocí [[Hasseův diagram|Hasseových diagramů]]. [8] => [9] => == Příklady == [10] => * Relace ≤ je uspořádání na [[přirozené číslo|přirozených]], [[celé číslo|celých]], [[racionální číslo|racionálních]] i [[reálné číslo|reálných]] [[číslo|číslech]]. [11] => * Relace \subseteq ("být [[podmnožina|podmnožinou]]") je uspořádání na [[třída (matematika)|třídě]] všech [[množina|množin]] (na [[univerzální třída|univerzální třídě]]). [12] => * Relace dělitelnosti | (a dělí b) je uspořádáním na [[přirozené číslo|přirozených]] číslech. [13] => * [[Konsekvent|Sémantický důsledek]] ⊨ je uspořádáním logických formulí ve [[Výroková logika|výrokové logice]] i [[Predikátová logika prvního řádu|logice prvního řádu]]. [14] => [15] => Naopak relace na množině osob „být potomkem“ '''není''' neostrým uspořádáním, protože nesplňuje vlastnost reflexivity. Relace je ireflexivní, asymetrická a tranzitivní, jedná se tedy o [[ostré uspořádání]]. [16] => [17] => == Související články == [18] => * [[ostré uspořádání]] [19] => * [[uspořádaná množina]] [20] => * [[dobře uspořádaná množina]] - dobré uspořádání [21] => * [[husté uspořádání]] [22] => * [[kvaziuspořádání]] [23] => * [[nutná a postačující podmínka]] [24] => [25] => == Externí odkazy == [26] => * {{Wikicitáty|téma=Uspořádání}} [27] => * {{Wikislovník|heslo=uspořádání}} [28] => [29] => {{Pahýl}} [30] => {{Autoritní data}} [31] => [32] => {{Portály|Matematika}} [33] => [34] => [[Kategorie:Teorie uspořádání]] [35] => [[Kategorie:Binární operátory]] [36] => [[Kategorie:Binární operace]] [] => )
good wiki

Uspořádání

Uspořádání (přesněji neostré částečné uspořádání) je matematický pojem z teorie uspořádání. Jde o binární reflexivní, slabě antisymetrickou a tranzitivní relaci, tj.

More about us

About

Expert Team

Vivamus eget neque lacus. Pellentesque egauris ex.

Award winning agency

Lorem ipsum, dolor sit amet consectetur elitorceat .

10 Year Exp.

Pellen tesque eget, mauris lorem iupsum neque lacus.

You might be interested in

,'přirozené číslo','ostré uspořádání','Kategorie:Binární operátory','nutná a postačující podmínka','husté uspořádání','uspořádaná množina','Predikátová logika prvního řádu','racionální číslo','Výroková logika','univerzální třída','množina','třída (matematika)'

Množina