Results 1 to 3 of 3

Thread: Reflexive, symmetric, and transitive

  1. #1
    Senior Member oldguynewstudent's Avatar
    Joined
    Oct 2009
    From
    St. Louis Area
    Posts
    255

    Reflexive, symmetric, and transitive

    I'm not sure I have these concepts down well enough. The following is a problem from my professor:

    Let S = {1,2,3,4,5}. On P(S) define the relation $\displaystyle \rho$ as follows: A$\displaystyle \rho$B iff A$\displaystyle \cap$B = $\displaystyle \emptyset$. Is $\displaystyle \rho$ reflexive? Is $\displaystyle \rho$ symmetric? Is $\displaystyle \rho$ transitive?

    Since there are elements in P(S) that do not equal $\displaystyle \emptyset$ when intersecting themself then $\displaystyle \rho$ is not reflexive.

    If A$\displaystyle \cap$B is empty then B$\displaystyle \cap$A is empty so $\displaystyle \rho$ is symmetric.

    {1,2} $\displaystyle \cap$ {3,4} is empty. And {3,4} $\displaystyle \cap$ {2,5} is empty. But {1,2} $\displaystyle \cap$ {2,5} = {2}. So $\displaystyle \rho$ is not transitive.

    Is the above correct? If not please explain where I've gone wrong.

    Happy KwanzHanukmas!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    21,782
    Thanks
    2824
    Awards
    1
    Quote Originally Posted by oldguynewstudent View Post
    Let S = {1,2,3,4,5}. On P(S) define the relation $\displaystyle \rho$ as follows: A$\displaystyle \rho$B iff A$\displaystyle \cap$B = $\displaystyle \emptyset$. Is $\displaystyle \rho$ reflexive? Is $\displaystyle \rho$ symmetric? Is $\displaystyle \rho$ transitive?

    Since there are elements in P(S) that do not equal $\displaystyle \emptyset$ when intersecting themself then $\displaystyle \rho$ is not reflexive.

    If A$\displaystyle \cap$B is empty then B$\displaystyle \cap$A is empty so $\displaystyle \rho$ is symmetric.

    {1,2} $\displaystyle \cap$ {3,4} is empty. And {3,4} $\displaystyle \cap$ {2,5} is empty. But {1,2} $\displaystyle \cap$ {2,5} = {2}. So $\displaystyle \rho$ is not transitive.
    Yes, they are all correct.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Apr 2005
    Posts
    19,779
    Thanks
    3028
    Quote Originally Posted by oldguynewstudent View Post
    I'm not sure I have these concepts down well enough. The following is a problem from my professor:

    Let S = {1,2,3,4,5}. On P(S) define the relation $\displaystyle \rho$ as follows: A$\displaystyle \rho$B iff A$\displaystyle \cap$B = $\displaystyle \emptyset$. Is $\displaystyle \rho$ reflexive? Is $\displaystyle \rho$ symmetric? Is $\displaystyle \rho$ transitive?

    Since there are elements in P(S) that do not equal $\displaystyle \emptyset$ when intersecting themself then $\displaystyle \rho$ is not reflexive.

    If A$\displaystyle \cap$B is empty then B$\displaystyle \cap$A is empty so $\displaystyle \rho$ is symmetric.

    {1,2} $\displaystyle \cap$ {3,4} is empty. And {3,4} $\displaystyle \cap$ {2,5} is empty. But {1,2} $\displaystyle \cap$ {2,5} = {2}. So $\displaystyle \rho$ is not transitive.

    Is the above correct? If not please explain where I've gone wrong.

    Happy KwanzHanukmas!
    You left out "reflexive" but that is easy. Is $\displaystyle A\cap A$ empty?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. reflexive, symmetric, antisymmetric, transitive?
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: Apr 8th 2011, 05:47 AM
  2. Transitive, Symmetric, Non-Reflexive Relation
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Apr 24th 2010, 07:12 AM
  3. Symmetric, transitive, not reflexive?
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: Feb 2nd 2010, 12:32 AM
  4. Replies: 2
    Last Post: Jan 24th 2010, 07:06 PM
  5. Reflexive, Transitive, Symmetric
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: May 20th 2009, 02:24 PM

Search Tags


/mathhelpforum @mathhelpforum