Results 1 to 3 of 3

Math Help - Equivalance Relations (congruences)

  1. #1
    Newbie
    Joined
    Feb 2010
    Posts
    1

    Equivalance Relations (congruences)

    Hello everyone! How's it going ?

    Could someone help me out with these equivalent relations questions? I'm kind of stuck.

    For each of the following relations, determine whether it is reflexive, symmetric, and transitive and explain why in each case.

    (1) Let G be the integers Z and let aRb if and only if |a − b| >= 5.
    (2) Let G be the real numbers R and let xRy if and only if |x| + |y| = 1.
    (3) Let G be the collection of all subsets of the set {0, 1, 2}, and let aRb if and only if each of a and b has the same number of members as the other.

    Thank you!!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by clairepeterson View Post
    Hello everyone! How's it going ?

    Could someone help me out with these equivalent relations questions? I'm kind of stuck.

    For each of the following relations, determine whether it is reflexive, symmetric, and transitive and explain why in each case.

    (1) Let G be the integers Z and let aRb if and only if |a − b| >= 5.
    (2) Let G be the real numbers R and let xRy if and only if |x| + |y| = 1.
    (3) Let G be the collection of all subsets of the set {0, 1, 2}, and let aRb if and only if each of a and b has the same number of members as the other.

    Thank you!!

    What've you done so far?

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Mar 2009
    Posts
    90
    Maybe to refresh your memory:
    \rho is reflexive means: (\forall x)(x \in S \rightarrow (x,x) \in \rho)
    \rho is symmetric means: (\forall x)(\forall y)(x \in S \wedge y \in S \wedge (x, y) \in \rho \rightarrow (y, x) \in \rho)
    \rho is transitive means: (\forall x)(\forall y)(\forall z)(x \in S \wedge y \in S \wedge z \in S \wedge (x, y) \in \rho \wedge (y, z) \in rho \rightarrow (x, z) \in \rho)

    So, now you just have to use the formulars to check the relations:
    1. reflexivity: 5 \in G \rightarrow (5, 5) \in \rho or in other words for reflexivity \Vert 5 - 5 \Vert \neq 5.
    symmetry: for example, \Vert 5 - 10 \Vert = \Vert 10 - 5 \Vert, but how do you show it for the whole set?
    transitivity: \Vert 5 - 10 \Vert = \Vert 10 - 15 \Vert \rightarrow \Vert 5 - 15 \Vert ??
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Relations and Functions - Inverse Relations Question
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 13th 2011, 12:20 PM
  2. Replies: 1
    Last Post: September 19th 2011, 01:09 PM
  3. Replies: 2
    Last Post: September 4th 2011, 07:13 PM
  4. [SOLVED] Equivalance Relations
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: April 10th 2009, 02:10 AM
  5. need help w/ equivalance relations
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: April 9th 2008, 09:29 PM

Search Tags


/mathhelpforum @mathhelpforum