Results 1 to 6 of 6

Math Help - Antisymmetric Relations

  1. #1
    Newbie
    Joined
    Feb 2010
    Posts
    5

    Antisymmetric Relations

    I am having a little trouble wrapping my head around this. I understand
    the Reflexive, Symmetric, and Transitive properties just fine but do not understand the Antisymmetric examples my textbook gives.

    Consider the following relations on {1,2,3,4}

    R5={(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3 ),(3,4),(4,4)}
    R6={(3,4)}

    If anybody could help explain why the above satisfy the Antisymmetric property I would really appreciate it.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by JazzGuitarist01 View Post
    I am having a little trouble wrapping my head around this. I understand
    the Reflexive, Symmetric, and Transitive properties just fine but do not understand the Antisymmetric examples my textbook gives.

    Consider the following relations on {1,2,3,4}

    R5={(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3 ),(3,4),(4,4)}
    R6={(3,4)}

    If anybody could help explain why the above satisfy the Antisymmetric property I would really appreciate it.
    If it's anti-symmetric then if x\leqslant y and y\leqslant x then x=y.

    So, does that happen here?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Feb 2010
    Posts
    5
    I'm not sure I follow you correctly.

    So example R6 is Antisymmetric because it follows
    if and then

    But how does R6 satisfy that? In that example isn't x not equal to y?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by JazzGuitarist01 View Post
    I'm not sure I follow you correctly.

    So example R6 is Antisymmetric because it follows
    if and then

    But how does R6 satisfy that? In that example isn't x not equal to y?
    R6 satisfies this vacuously. We only have that 3\leqslant 4. There is no other info to check.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Feb 2010
    Posts
    5
    Oh ok.

    I still feel a little unsure, so I am gonna ask about example R5.
    In R5 there is (2,3)
    2<=3 but 3 is not <=2
    What would be the other info to check that R5 is antisymmetric?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Junior Member
    Joined
    Oct 2006
    Posts
    71
    Quote Originally Posted by JazzGuitarist01 View Post
    I am having a little trouble wrapping my head around this. I understand
    the Reflexive, Symmetric, and Transitive properties just fine but do not understand the Antisymmetric examples my textbook gives.

    Consider the following relations on {1,2,3,4}

    R5={(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3 ),(3,4),(4,4)}
    R6={(3,4)}

    If anybody could help explain why the above satisfy the Antisymmetric property I would really appreciate it.
    R6 is vacuously antisymmetric, because the matrix of the statement defining the property is a material conditional, and the antecedent can not be satisfied.

    You can show that R5 is antisymmetric by simply considering all those cases where the antecedent is satisfied,
    and establishing that the consequent is also satisfied.

    You can just grind it out, if you like.
    E.g., if (1,1) in R5 and (1,1) in R5, then (1,1) in R5. ... .
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. When R is antisymmetric, R inverse is antisymmetric
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 1st 2010, 08:05 AM
  2. antisymmetric relations
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: November 24th 2009, 11:09 AM
  3. antisymmetric
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: March 13th 2009, 05:03 PM
  4. Relations - antisymmetric
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: June 6th 2008, 03:03 PM
  5. antisymmetric
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 27th 2008, 08:07 PM

Search Tags


/mathhelpforum @mathhelpforum