Results 1 to 5 of 5

Math Help - Help with relations/partitions

  1. #1
    Member
    Joined
    Nov 2009
    Posts
    79

    Question Help with relations/partitions

    Let A={1....10} and let K=AxA. Define the relation R on K by ((x,y), (z,t)) ∈ R <===> x+y=z+t.
    R induces a partition on K. For each cell of this partition give a representative as well as the cardinality of the cell.

    I really need some help on this. What does it mean by "each cell of the partition"? What is the partition and what exactly is a cell?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,501
    Thanks
    765
    From Wikipedia:
    A partition of a set X is a division of X into non-overlapping and non-empty "parts" or "blocks" or "cells" that cover all of X.
    Thus, "parts" or "cells" are subsets of the set that is being partitioned, K in this case. If a partition is generated by an equivalence relation, as in this case, partition "parts" are also called equivalence classes.

    To understand the relation R better, I suggest drawing a 10 x 10 grid on the coordinate plane and connecting points that are related by R. Note that if two points (x1,y1) and (x2,y2) are related, then they have the same sum of their coordinates. What does it say about their location?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1573
    Awards
    1
    To add a bit more for finite set. All partitions of a set correspond to an equivalence relation. In fact, there is one-to-one correspondence between the partitions of a set and equivalence relations on the set.

    In this case two pairs are related if and only their coordinates add to the same number.
    \{(1,4),(4,1),(2,3),(3,2)\} is one equivalence class.
    We say it the equivalence class determined by any of its members.
    To finish, you need to find all classes. You are done when all 100 pairs are accounted for.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Nov 2009
    Posts
    79
    Will each of my classes contain an even number of members since the relation is about a PAIR of coordinates?

    Also, what is meant by representative?

    I also am not sure I fully understand what a cell is..in Plato's example, is each coordinate listed considered to be a cell?..meaning that the cardinality of that equivalence class is 4? Let me know if this is correct or not
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,501
    Thanks
    765
    Quote Originally Posted by steph3824 View Post
    Will each of my classes contain an even number of members since the relation is about a PAIR of coordinates?
    No, I don't see the connection. Indiviual coordinates are not members of equivalence classes, pairs of coordinates are. For example, {(3,1), (2,2), (1,3)} contains three members.

    Also, what is meant by representative?
    A representative is just a member, or an element.

    I also am not sure I fully understand what a cell is.
    Quote Originally Posted by emakarov
    Thus, "parts" or "cells" are subsets of the set that is being partitioned, K in this case.
    in Plato's example, is each coordinate listed considered to be a cell?
    No, coordinates, which are numbers from 1 to 10, are parts of ordered pairs, such as (1,2), and pairs are elements of cells, or equivalence classes.
    meaning that the cardinality of that equivalence class is 4?
    Yes, though that class, or cell, contains pairs of coordinates, not individual coordinates and certainly not cells.
    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. Set Theory - Partitions and Equivalence Relations
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: December 6th 2010, 09:31 AM
  4. Replies: 12
    Last Post: December 2nd 2010, 11:41 PM
  5. Help with partitions
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: October 7th 2010, 03:36 AM

Search Tags


/mathhelpforum @mathhelpforum