Results 1 to 5 of 5

Math Help - Problem with understanding binary relations

  1. #1
    Newbie
    Joined
    Oct 2010
    Posts
    3

    Problem with understanding binary relations

    Hi there!

    I can't understand an exercise with binary relations, could somebody explain it to me?

    For each of the following binary relations on A={1,2,3,4,5} draw its directed graph. Then by examining the graph decide whether the relation is 1) reflexive, 2) symmetric, 3)antisymmetric, 4) transitive.

    a)SquareOf defined by SquareOf(x,y), when y=x^2

    How do I do it? How do I draw a graph? I'm looking through my notes,but can't find the answer :-( Please help
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,528
    Thanks
    773
    The graph of the relation SquareOf has A as the set of vertices and an arrow from m to n iff n= m^2. So you need to draw five nodes labeled by 1, 2, 3, 4, 5 and for every ordered pair of nodes (including the same node/label taken twice), check if there is an arrow from the first element of the pair to the second. I believe there are only two arrows, one of which is a loop (an arrow from a node to itself).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Oct 2010
    Posts
    3
    Ok, that's what I thought, but then none of the properties is true.....is this normal? Should I just write down "this relation does not have any special properties"?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,528
    Thanks
    773
    First, you are asked only about the four listed properties. This relation may have other properties that someone may deem "special".

    Look carefully at antisymmetry and transitivity and recall that an implication is vacuously true if its premise is false. In particular, if you can't find a, b and c such that SquareOf(a, b) and SquareOf(b, c), then what does it say about transitivity?

    Note, by the way, that SquareOf considered on the set of all natural numbers is not transitive, of course: for example, SquareOf(2, 4) and SquareOf(4, 16) are true, but SquareOf(2, 16) is false.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Oct 2010
    Posts
    3
    Ok,now I understand, thanks very much ;-)
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: September 19th 2011, 01:09 PM
  2. Binary Relations
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: April 25th 2011, 07:16 PM
  3. binary relations help please :)
    Posted in the Algebra Forum
    Replies: 2
    Last Post: February 13th 2010, 08:08 AM
  4. Binary Relations
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: October 8th 2009, 04:20 PM
  5. Binary Relations
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: April 13th 2008, 10:41 AM

Search Tags


/mathhelpforum @mathhelpforum