Razlika između inačica stranice »Relacija potpunog uređaja«
Redak 29: | Redak 29: | ||
|klasifikacija= | |klasifikacija= | ||
|definicija=A [[:en:relation|relation]] $\leq$ is a total order on a set $S$ ("$\leq$ totally orders $S$") if the following properties hold.<br /> | |definicija=A [[:en:relation|relation]] $\leq$ is a total order on a set $S$ ("$\leq$ totally orders $S$") if the following properties hold.<br /> | ||
− | 1. [[:en:Reflexivity]]: $a\leq a$ for all $a \in S$.<br /> | + | 1. [[:en:reflexivity|Reflexivity]]: $a\leq a$ for all $a \in S$.<br /> |
− | 2. Antisymmetry: $a\leq b$ and $b\leq a$ implies $a=b$.<br /> | + | 2. [[:en:antisymmetry|Antisymmetry]]: $a\leq b$ and $b\leq a$ implies $a=b$.<br /> |
− | 3. Transitivity: $a\leq b$ and $b\leq c$ implies $a\leq c$.<br /> | + | 3. [[:en:transitivity|Transitivity]]: $a\leq b$ and $b\leq c$ implies $a\leq c$.<br /> |
− | 4. Comparability (trichotomy law): For any $a,b \in S$, either $a\leq b$ or $b\leq a$. | + | 4. Comparability ([[:en:trichotomy law|trichotomy law]]): For any $a,b \in S$, either $a\leq b$ or $b\leq a$. |
|cite=Weisstein, Eric W. "Totally Ordered Set." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/TotallyOrderedSet.html | |cite=Weisstein, Eric W. "Totally Ordered Set." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/TotallyOrderedSet.html | ||
|napomena=The first three are the axioms of a partial order, while addition of the trichotomy law defines a total order. | |napomena=The first three are the axioms of a partial order, while addition of the trichotomy law defines a total order. | ||
|see_also=Order Isomorphic, Order Type, Partial Order, Relation, Total Order, Trichotomy Law, Well Ordered Set | |see_also=Order Isomorphic, Order Type, Partial Order, Relation, Total Order, Trichotomy Law, Well Ordered Set | ||
|primjeri=}} | |primjeri=}} |
Inačica od 07:40, 8. prosinca 2015.
Skraćeni oblik: potpuni uređaj
Definicija: Relacija parcijalnog uređaja "\(\leq\)" je relacija potpunog uređaja ako za svaki \(x,y\in S\) vrijedi \(x\leq y\) ili \(y\leq x\)
Dopušteni nazivi: totalni uređaj, relacija totalnog uređaja
Engleske istovrijednice: total order
Struna "light" ID: 13069
Obrađivač: Goran Igaly
Vrsta riječi: imenica Rod: ženski Broj: jednina
Cilj projekta "Hrvatsko nazivlje u matematici" je na jednom mjestu prikupiti i obraditi sve hrvatske nazive koji na izravan ili neizravan način imaju veze s matematikom. Ako želite na bilo koji način doprinijeti ostvarenju ciljeva ovog projekta, molim javite se voditelju projekta na adresu goran.igaly@math.hr
WMW definicija: A relation \(\leq\) is a total order on a set \(S\) ("\(\leq\) totally orders \(S\)") if the following properties hold.
1. Reflexivity\[a\leq a\] for all \(a \in S\).
2. Antisymmetry\[a\leq b\] and \(b\leq a\) implies \(a=b\).
3. Transitivity\[a\leq b\] and \(b\leq c\) implies \(a\leq c\).
4. Comparability (trichotomy law): For any \(a,b \in S\), either \(a\leq b\) or \(b\leq a\).
WMW napomena: The first three are the axioms of a partial order, while addition of the trichotomy law defines a total order.
WMW See also: Order Isomorphic, Order Type, Partial Order, Relation, Total Order, Trichotomy Law, Well Ordered Set
Izvor: Weisstein, Eric W. "Totally Ordered Set." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/TotallyOrderedSet.html
Struna ID: 13069