Results 1 to 4 of 4

Math Help - reflexive, anti symmetric etc... for a set

  1. #1
    Newbie
    Joined
    May 2012
    From
    USA
    Posts
    4

    reflexive, anti symmetric etc... for a set

    Let S be any set satisfying |S| >= 2. For any subsets X an Y of S, define a binary relation p on P(S) by:
    XpY if and only if X subset Y.

    for p
    Give an explanation for
    Is it reflexive, anti symmetric, transitive, a partial order, a total order?

    I know what the above mean, but i struggle to make the link/proof to show that they are or aren't...

    Any help would be much appreciated.

    Thanks, Sim.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,527
    Thanks
    773

    Re: reflexive, anti symmetric etc... for a set

    Suppose you have a group of students. All who take physics also take math, and all who take math also take philosophy. Does it follow that all who take physics also take phylosophy? This would answer the question whether p is transitive. Is it true that all students who take music also take theater or vice versa? This would answer whether p is a total order.

    If you know what these type of relations mean, what exactly is your difficulty?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    May 2012
    From
    USA
    Posts
    4

    Re: reflexive, anti symmetric etc... for a set

    Confused about the binary relation...
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,527
    Thanks
    773

    Re: reflexive, anti symmetric etc... for a set

    A binary relation is an oracle that says yes or no when asked if one team will beat another team during their next game. For example, you ask whether Colts will beat Patriots and the oracle says yes, then you ask whether Steelers will beat Broncos and the oracle says no. For every two teams (and it matters which team comes first) the oracle says yes or no. Here the oracle is a binary relation on teams.

    For groups of students, a binary relation says yes or no given two groups. In this problem, the relation says yes if the first group is contained in the second group.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Relation that is 1-1, reflexive, but not symmetric
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: November 16th 2011, 01:13 PM
  2. Symmetric, transitive, not reflexive?
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: February 2nd 2010, 12:32 AM
  3. Reflexive, symmetric, and transitive
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: December 5th 2009, 11:08 AM
  4. Reflexive, Transitive, Symmetric
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: May 20th 2009, 02:24 PM
  5. Reflexive and symmetric
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: March 12th 2009, 04:56 AM

Search Tags


/mathhelpforum @mathhelpforum