PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: Very high
antisymmetric (Definition)

A relation $\mathcal{R}$ on $A$ is antisymmetric iff $\forall x, y \in A$ $(x\mathcal{R}y \land y\mathcal{R}x)\rightarrow (x=y)$ For a finite set $A$ with $n$ elements, the number of possible antisymmetric relations is $2^n 3^{\frac{n^2-n}{2}}$ out of the $2^{n^2}$ total possible relations.

Antisymmetric is not the same thing as ``not symmetric'', as it is possible to have both at the same time. However, a relation $\mathcal{R}$ that is both antisymmetric and symmetric has the condition that $ x\mathcal{R}y \Rightarrow x=y $ There are only $2^n$ such possible relations on $A$

An example of an antisymmetric relation on $A = \{\circ, \times, \star\}$ would be $\mathcal{R} = \{(\star,\star),(\times,\circ),(\circ,\star),(\star,\times)\}$ One relation that isn't antisymmetric is $\mathcal{R} = \{ (\times,\circ), (\star, \circ), (\circ,\star) \} $ because we have both $\star \mathcal{R} \circ$ and $\circ \mathcal{R} \star$ but $\circ \not = \star$



"antisymmetric" is owned by aoh45. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: reflexive relation, symmetric relation, exterior algebra, skew-symmetric matrix

Other names:  antisymmetry

Attachments:
example of antisymmetric (Example) by Algeboy
Log in to rate this entry.
(view current ratings)

Cross-references: symmetric, number, finite set, iff, relation
There are 26 references to this entry.

This is version 10 of antisymmetric, born on 2002-02-02, modified 2005-02-28.
Object id is 1666, canonical name is Antisymmetric.
Accessed 14199 times total.

Classification:
AMS MSC03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)