Results 1 to 7 of 7

Math Help - equivalence relation on a partition..help.

  1. #1
    Junior Member
    Joined
    Feb 2009
    Posts
    48

    equivalence relation on a partition..help.

    Lets A = {1,2,3,4,5,6,7,8,9,10} and let P be the partition of A given by
    P = {{1,2},{3,4,5},{6,7},{8,10},{9}}

    Give the equivalence relation R on A that is induced by P.

    I am not sure if I am doing this write. Can someone tell me if this is correct or let me know if I am missing anything? Thanks.

    R is reflexive iff For all x ͼ A, xRx.

    P={(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7),(8,8) ,(9,9),(10,10)}

    R is symmetric iff For all x,y ͼ A, if xRy then yRx.

    P={(1,2),(2,1),(3,4),(4,3),(4,5),(5,4),(5,3),(3,5) ,(6,7),(7,6),(8,10),(10,8)}

    R is transitive iff For x,y,z ͼ A, if xRy and yRz then xRz.

    (3,4)ͼA, (4,5)ͼA and so (3,5)ͼA.
    (5,4)ͼA, (4,3)ͼA and so (5,3)ͼA.

    I think this is all of the possible transitive possibilities but I also dunno if I have to list them all, I would assume so.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1
    Here is the way it is done.
    Suppose that \mathbb{P} = \{A,B,C\} is a partition of the set \mathcal{X} then the equivalence relation on \mathcal{X} determined by \mathbb{P} is \left( {A \times A} \right) \cup \left( {B \times B} \right) \cup \left( {C \times C} \right).

    Does that help?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Feb 2009
    Posts
    48
    not really...

    I am not 100% what I am suppose to find exactly. It says to give the equivalence relation, so is it asking for the reflexive,symmetric, and transitive relation of this partition? Cause that is how I seemed to have answered it..
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1
    Quote Originally Posted by Kitizhi View Post
    It says to give the equivalence relation, so is it asking for the reflexive,symmetric, and transitive relation of this partition? Cause that is how I seemed to have answered it..
    Any relation is a set of ordered pairs.
    Form each of these cross products.
    \begin{gathered}  \left\{ {1,2} \right\} \times \left\{ {1,2} \right\} \hfill \\  \left\{ {3,4,5} \right\} \times \left\{ {3,4,5} \right\}\;\& \;\left\{ {6,7} \right\} \times \{ 6,7 \hfill \\  \left\{ {8,10} \right\} \times \left\{ {8,10} \right\}\;\& \;\left\{ 9 \right\} \times \left\{ 9 \right\} \hfill \\ <br />
\end{gathered}

    Form the union those five sets of pairs. You will have a set of 22 pairs.
    That set is the equivalence relation that you have been asked for.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Feb 2009
    Posts
    48
    So R={(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7),(8,8) ,(9,9),(10,10),(1,2),(2,1),(3,4),(4,3),(4,5),(5,4) ,(5,3),(3,5) ,(6,7),(7,6),(8,10),(10,8)}

    yes?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1
    Quote Originally Posted by Kitizhi View Post
    So R={(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7),(8,8) ,(9,9),(10,10),(1,2),(2,1),(3,4),(4,3),(4,5),(5,4) ,(5,3),(3,5) ,(6,7),(7,6),(8,10),(10,8)}
    YES!
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Junior Member
    Joined
    Feb 2009
    Posts
    48

    Question Help with equivalence relation of a particition

    Define the equivalence relation S by S = {(x,y)ͼAxA | 5 divides (x^2-y^2)}.
    Determine the partition of A that is induced by S.

    I am not exactly sure how to do this one but from what I gather from my textbook it seems to sorta start like this..

    Given
    <br />
 S \cdot S = \{(x,y) \in AxA | 5 divides (x^2-y^2)\}<br />

    <br />
=\{(x,y) \in A^2 | (x^2-y^2) = 5k, \forall k \in Z\}<br />

    <br />
=\{(x,y) \in A^2 | (x^2 = 5k+y^2, \forall k \in Z\}<br />

    <br />
=\{(x,y) \in A^2 | y^2 = x^2-5k, \forall k \in Z\}<br />

    Am I doing this correctly? On the right track?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: April 6th 2011, 11:46 PM
  2. Partition induced by a relation
    Posted in the Discrete Math Forum
    Replies: 10
    Last Post: May 13th 2010, 06:19 PM
  3. Partition and Equivalence class
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 30th 2010, 12:33 PM
  4. Equivalence relation and order of each equivalence class
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 30th 2009, 09:03 AM
  5. partition for each equivalence relation
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: March 23rd 2009, 07:18 PM

Search Tags


/mathhelpforum @mathhelpforum