Copyright

Difference Between Asymmetric & Antisymmetric Relation

Instructor: Laura Pennington

Laura has taught collegiate mathematics and holds a master's degree in pure mathematics.

We will explore relations that are antisymmetric and asymmetric in both a real-world context and a mathematical context. We will examine properties of each of these types of relations, and determine how best to tell them apart by their differences.

Relations

Suppose that Riverview Elementary is having a father son picnic, where the fathers and sons sign a guest book when they arrive.


asyantirel1


Here's something interesting! This list of fathers and sons and how they are related on the guest list is actually mathematical! In mathematics, a relation is a set of ordered pairs, (x, y), such that x is from a set X, and y is from a set Y, where x is related to y by some property or rule.

If we let F be the set of all fathers at the picnic, and S be the set of all sons, then the guest book list, call it G, is a relation from set F to set S. That is, G consists of all the ordered pairs (f, s), such that f is related to s by the rule that f is the father of s.

Let's consider another example of a relation in the real world that wouldn't seem mathematical at first glance. Consider the relation A that is defined by the rule 'is a relative that came before that individual (an ancestor), or is that individual'. In other words, A is the set of ordered pairs (a, b), such that a is a relative of b that came before b, or is b. Once again, one wouldn't think a list of pairs such as this would be mathematical, but it is!

Asymmetric and Antisymmetric Relations

When it comes to relations, there are different types of relations based on specific properties that a relation may satisfy. Two of those types of relations are asymmetric relations and antisymmetric relations. Ot the two relations that we've introduced so far, one is asymmetric and one is antisymmetric. Let's take a look at each of these types of relations and see if we can figure out which one is which.

An asymmetric relation, call it R, satisfies the following property:

  • If (x, y) is in R, then (y, x) is not in R.

Therefore, if an element x is related to an element y by some rule, then y cannot be related to x by that same rule. In other words, in an asymmetric relation, it can't go both ways.

An antisymmetric relation, call it T, satisfies the following property:

  • If (x, y) and (y, x) are in T, then x = y.

That is, if an element x is related to an element y, and the element y is also related to the element x, then x and y must be the same element. Thus, in an antisymmetric relation, the only way it can go both ways is if x = y.


asyantirel2


Okay, similar names, but we can see that an asymmetric relation is different from an antisymmetric relation in that an asymmetric relation absolutely cannot go both ways, and an antisymmetric relation can go both ways, but only if the two elements are equal.

Examples

Let's think about our two real-world examples of relations again, and try to determine which one is asymmetric and which one is antisymmetric. First, consider the relation G consisting of ordered pairs (f, s), such that f is the father of s. Hmmm…for this relation to be asymmetric, it would have to be the case that if (f, s) is in G, then (s, f) cannot be in G. This makes sense! If f is the father of s, then s certainly can't be the father of f. That would be biologically impossible! Therefore, G is asymmetric, so we know it is not antisymmetric, because the relation absolutely cannot go both ways.

To unlock this lesson you must be a Study.com Member.
Create your account

Register to view this lesson

Are you a student or a teacher?

Unlock Your Education

See for yourself why 30 million people use Study.com

Become a Study.com member and start learning now.
Become a Member  Back
What teachers are saying about Study.com
Try it risk-free for 30 days

Earning College Credit

Did you know… We have over 160 college courses that prepare you to earn credit by exam that is accepted by over 1,500 colleges and universities. You can test out of the first two years of college and save thousands off your degree. Anyone can earn credit-by-exam regardless of age or education level.

To learn more, visit our Earning Credit Page

Create an account to start this course today
Try it risk-free for 30 days!
Create An Account
Support