23
$\begingroup$

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.)

$\endgroup$
  • 4
    $\begingroup$ 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. $\endgroup$ – djechlin Jan 27 '16 at 18:24
  • 2
    $\begingroup$ 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. $\endgroup$ – djechlin Jan 27 '16 at 21:53
  • $\begingroup$ 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. $\endgroup$ – Bakuriu Jan 28 '16 at 7:52
46
$\begingroup$

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.

$\endgroup$
  • 6
    $\begingroup$ Isn't this antisymmetric ? $\endgroup$ – MSalters Jan 28 '16 at 10:50
  • 3
    $\begingroup$ @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. $\endgroup$ – EHH Jan 28 '16 at 13:46
  • $\begingroup$ Very accessible explanation. Thank you. $\endgroup$ – MY_G Apr 3 '16 at 10:53
6
$\begingroup$

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.

$\endgroup$
5
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ 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. $\endgroup$ – Fizz Jan 27 '16 at 10:43
  • 2
    $\begingroup$ There is a difference between the two. See en.wikipedia.org/wiki/Asymmetric_relation , en.wikipedia.org/wiki/Antisymmetric_relation . $\endgroup$ – Emil Jeřábek 3.0 Jan 27 '16 at 12:07
  • $\begingroup$ Definition given in OP is asmmetric. Antisymmetric is weaker. Specifically Asymmetry is Antisymmetry plus irreflexivity. $\endgroup$ – Taemyr Jan 27 '16 at 13:46
  • $\begingroup$ True. Corrected. $\endgroup$ – Justpassingby Jan 27 '16 at 13:51
4
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ More directly "not symmetric" means not symmetric: !(forall x,y, (x,y) in R => (y,x) in R) $\endgroup$ – djechlin Jan 27 '16 at 21:51
1
$\begingroup$

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. And that means "not symmetric" and "asymmetric" are not equivalent.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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