Results 1 to 2 of 2

Math Help - (Discrete Mathmatics) Defining a relational set

  1. #1
    Newbie
    Joined
    Mar 2009
    Posts
    16

    (Discrete Mathmatics) Defining a relational set

    The problem is this:

    Let A be the set of integers and let n be a fixed positive integer. Define a relation on A be saying xRy if n divides x - y or x + y.

    Just giving an example, if n = 5 we know 3R7 since 5 divides 3 + 7 = 10. Also it works with 12R2 12 - 2 = 10. Prove R is an equivalence relation.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,971
    Thanks
    1635
    Quote Originally Posted by BSC hiBi View Post
    The problem is this:

    Let A be the set of integers and let n be a fixed positive integer. Define a relation on A be saying xRy if n divides x - y or x + y.

    Just giving an example, if n = 5 we know 3R7 since 5 divides 3 + 7 = 10. Also it works with 12R2 12 - 2 = 10. Prove R is an equivalence relation.
    A relation is an equivalence relation if and only if it has these three properties:
    1)Reflexive: xRx for every x in the set.
    x- x= 0 so that is easy

    2)Symmetric: if xRy then yRx.
    If xRy then either x- y is a multiple of n or x+ y is a multiple of n. For the first of those, you need the fact that y- x= -(x- y).

    3)Transitive: if xRy and yRz then xRz.
    If xRy then either x- y is a multiple of n or x+ y is a multiple of n. If yRz then either y- z is a multiple of n or y+ z is a multiple of n. You really need to look at 4 cases:
    a) x- y is a multiple of n and y- z is a multiple of n. What is (x-y)+ (y- z)?
    b) x- y is a multiple of n and y+ z is a multiple of n. What is (x-y)+ (y+ z)?
    c) x+ y is a multiple of n and y- z is a multiple of n. What is (x+y)- (y- z)?
    d) x+ y is a multiple of n and y+ z is a multiple of n. What is (x+y)- (y+z)?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 8
    Last Post: March 16th 2010, 03:12 PM
  2. Defining a Discrete Random Variable - Maple
    Posted in the Math Software Forum
    Replies: 0
    Last Post: February 14th 2010, 06:18 AM
  3. relational algebra
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 16th 2009, 12:49 PM
  4. Relational proof
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: March 16th 2009, 12:38 PM
  5. Survey of Mathmatics Question
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: June 10th 2007, 08:14 PM

Search Tags


/mathhelpforum @mathhelpforum