Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In some textbook I found a statement like, "Asymmetric is stronger than simply not symmetric".

But as I try to perceive this statement, both appear to be same to me.

For example, parentof is an asymmetric property. If $A$ is a parentof $B$, $B$ can not be parentof $A$. We arrive at the same conclusion if we call this property to be not symmetric.

(Liyang Yu. A Developer’s Guide to the Semantic Web. 2nd. Springer, 2014. p 226, last sentence of second paragraph from bottom.)

share|cite|improve this question
4  
Just saying I don't agree this terminology is clear. It's too natural to interchange "a-" and "not" to have distinct meanings for them. – djechlin Jan 27 at 18:24
2  
Also "stronger" would imply that "asymmetric" would imply "not symmetric," which is of course not true for the empty relation, based on the answers below. – djechlin Jan 27 at 21:53
    
Never found this terminology. In fact in my mind asymmetric simply means that lacks the property of symmetry, so the relation may have some symmetric pairs and others that aren't. This is also due to the etymology of the word which actually means this. – Bakuriu Jan 28 at 7:52
up vote 44 down vote accepted

If a property is symmetric then there is a two way arrow, e.g. if someone is a blood relative of me then I HAVE to be a blood relative of them.

If a property is not symmetric then there can be one arrow or two, e.g. if I like someone then they may or may not like me, either case could be true.

If a property is Asymmetric then having one arrow means that there definitely cannot be two, e.g. if someone is my parent then I definitely CANNOT be their parent.

So basically the difference between non-symmetric and asymmetric is that in one we might have two arrows some of the time, but in the other we can NEVER have a second arrow once we have the first.

share|cite|improve this answer
6  
Isn't this antisymmetric ? – MSalters Jan 28 at 10:50
2  
@MSalters No it's not but they are related. Antisymmetric is when there are no two distinct objects with a two way arrow, so two arrows implies the objects are the same. Asymmetry is an example of antisymmetry but it does not cover every possibility so they are distinct relationships. Please see math.stackexchange.com/questions/778164/… for clarification of this point. – EHH Jan 28 at 13:46
    
Very accessible explanation. Thank you. – Nameless Apr 3 at 10:53

It is just the standard negation of quantifiers: Asking that a property is never true is stronger than the negation of the property being always true.

A property being symmetric means that all pairs can be inverted.

The negation of this is that some pairs cannot be inverted.

Asymmetric means that all pairs cannot be inverted.

share|cite|improve this answer

In asymmetric and antisymmetric relationships no two distinct elements can be joined by arrows in the two directions. Moreover in asymmetric relationships there can be no loops.

Partial orders are antisymmetric. Strict orders are asymmetric.

Both conditions are generally different from the negation of symmetry; the latter means that there is at least one pair of distinct elements with an arrow in one direction but not the other.

share|cite|improve this answer
    
This seems exactly what Yu is doing. I'm not really familiar with semantic web stuff to say if this unusual terminology is widespread in that field or confined to Yu. – Fizz Jan 27 at 10:43
2  
There is a difference between the two. See en.wikipedia.org/wiki/Asymmetric_relation , en.wikipedia.org/wiki/Antisymmetric_relation . – Emil Jeřábek Jan 27 at 12:07
    
Definition given in OP is asmmetric. Antisymmetric is weaker. Specifically Asymmetry is Antisymmetry plus irreflexivity. – Taemyr Jan 27 at 13:46
    
True. Corrected. – Justpassingby Jan 27 at 13:51

Let $R$ be some binary relation.

Asymmetric means that: $ \forall x,y \space \space (x,y) \in R \Rightarrow (y,x) \notin R $

Not symmetric means: $ \exists x,y \space \space \space \space (x,y)\in R \space \land (y,x) \notin R $

This means that to prove that a relation is not symmetric, you just have two find two elements for which the property holds. However, proving that a relation is asymmetric means that you have to prove the assymetric property for all possible pairs.

share|cite|improve this answer
    
More directly "not symmetric" means not symmetric: !(forall x,y, (x,y) in R => (y,x) in R) – djechlin Jan 27 at 21:51

One way to see why "not symmetric" isn't the same as "asymmetric" is to look for an example relationship that is neither symmetric nor asymmetric. The relationship $\leq$ is such an example.

That could be the end of my post, but just to clarify:

It is not symmetric because a $\leq$ b does not imply b $\leq$ a. (In other words, you can find values for a and b such that a $\leq$ b and b $\nleq$ a. For example, let a = 1 and b = 2.)

It is not asymmetric because a $\leq$ b does not imply b $\nleq$ a. (In other words, you can find values for a and b such that a $\leq$ b and b $\leq$ a. For example, let a = 1 and b = 1.)

So $\leq$ is not symmetric but isn't asymmetric, which means "not symmetric" and "asymmetric" are not equivalent.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.