|
|
Line 1: |
Line 1: |
| In [[mathematics]] an '''asymmetric relation''' is a [[binary relation]] on a set ''X'' where:
| | Friends call him Royal. To maintain birds is 1 of the issues he loves most. I am a cashier and I'll be promoted quickly. Some time in the past he selected to live in Kansas.<br><br>My page extended auto warranty ([http://Zhadui.com/space.php?uid=458546&do=blog&id=1755766 simply click the up coming article]) |
| | |
| *For all ''a'' and ''b'' in ''X'', if ''a'' is related to ''b'', then ''b'' is not related to ''a''.<ref>{{citation|first1=David|last1=Gries|author1-link=David Gries|first2=Fred B.|last2=Schneider|author2-link=Fred B. Schneider|title=A Logical Approach to Discrete Math|publisher=Springer-Verlag|year=1993|page=[http://books.google.com/books?id=ZWTDQ6H6gsUC&pg=PA273 273]}}.</ref>
| |
| | |
| In mathematical notation, this is:
| |
| | |
| :<math>\forall a, b \in X,\ a R b \; \Rightarrow \lnot(b R a)</math>.
| |
| __NOTOC__
| |
| | |
| == Examples ==
| |
| An example is < ([[Inequality (mathematics)|less-than]]): if x < y, then necessarily y is not less than x. In fact, one of [[Tarski's axiomatization of the reals|Tarski's axioms characterizing the real numbers '''R''']] is that < over '''R''' is asymmetric.
| |
| | |
| An asymmetric relation need not be [[total relation|total]]. For example, [[strict subset]] or ⊊ is asymmetric, and neither of the sets {1,2} and {3,4} is a strict subset of the other. In general, every [[strict partial order]] is asymmetric, and conversely, every [[transitive relation|transitive]] asymmetric relation is a strict partial order.
| |
| | |
| Not all asymmetric relations are strict partial orders, however. An example of an asymmetric [[Intransitivity|intransitive]] relation is the [[rock-paper-scissors]] relation: if X beats Y, then Y does not beat X, but no one choice wins all the time.
| |
| | |
| The ≤ (less than or equal) operator, on the other hand, is not asymmetric, because reversing x ≤ x produces x ≤ x and both are true. In general, any relation in which ''x'' R ''x'' holds for some ''x'' (that is, which is not [[reflexive relation|irreflexive]]) is also not asymmetric.
| |
| | |
| Asymmetric is not the same thing as "not [[symmetric relation|symmetric]]": a relation can be neither symmetric nor asymmetric, such as ≤, or can be both, only in the case of the empty relation ([[vacuous truth|vacuously]]).
| |
| | |
| == Properties==
| |
| * A relation is asymmetric if and only if it is both [[antisymmetric relation|antisymmetric]] and [[reflexive relation|irreflexive]].<ref>{{citation|first1=Yves|last1=Nievergelt|title=Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography|publisher=Springer-Verlag|year=2002|page=[http://books.google.com/books?id=_H_nJdagqL8C&pg=PA158 158]}}.</ref>
| |
| * [[Binary_relation#Restriction|Restrictions]] and [[inverse relation|inverses]] of asymmetric relations are also asymmetric. For example, the restriction of < from the reals to the integers is still asymmetric, and the inverse > of < is also asymmetric.
| |
| * A [[transitive relation]] is asymmetric if and only if it is irreflexive:<ref>{{cite book|last1=Flaška|first1=V.|last2=Ježek|first2=J.|last3=Kepka|first3=T.|last4=Kortelainen|first4=J.|title=Transitive Closures of Binary Relations I|year=2007|publisher=School of Mathematics - Physics Charles University|location=Prague|page=1|url=http://www.karlin.mff.cuni.cz/~jezek/120/transitive1.pdf}} Lemma 1.1 (iv). Note that this source refers to asymmetric relations as "strictly antisymmetric".</ref> if ''a'' R ''b'' and ''b'' R ''a'', transitivity gives ''a'' R ''a'', contradicting irreflexivity.
| |
| | |
| ==See also==
| |
| *[[Symmetry in mathematics]]
| |
| *[[Symmetry]]
| |
| *[[Antisymmetric relation]]
| |
| | |
| ==References==
| |
| | |
| {{Reflist}}
| |
| | |
| {{DEFAULTSORT:Asymmetric Relation}}
| |
| [[Category:Mathematical relations]]
| |
Friends call him Royal. To maintain birds is 1 of the issues he loves most. I am a cashier and I'll be promoted quickly. Some time in the past he selected to live in Kansas.
My page extended auto warranty (simply click the up coming article)