Results 1 to 6 of 6

Math Help - reflexive, symmetric, antisymmetric, transitive?

  1. #1
    Newbie
    Joined
    Apr 2011
    Posts
    3

    reflexive, symmetric, antisymmetric, transitive?

    For each of these binary relations, determine whether they are reflexive, symmetric,
    antisymmetric, transitive. Give reasons for your answers and state whether or not they
    form order relations or equivalence relations.

    On the set {audi, ford, bmw, mercedes}, the relation
    {(audi, audi), (audi, bmw), (bmw, bmw), (ford, ford), (mercedes,mercedes),
    (audi, mercedes), (audi, ford), (bmw, ford), (mercedes, ford) }.

    Let F be the set of all possible filenames consisting of character strings of at
    least one character. The relation R contains all pairs of names (name1, name2)
    where the first eight characters of name1 are the same as the first eight
    characters of name2, or if name1 and name 2 have fewer than eight characters
    and are exactly the same.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor FernandoRevilla's Avatar
    Joined
    Nov 2010
    From
    Madrid, Spain
    Posts
    2,162
    Thanks
    44
    What have you tried so far?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2011
    Posts
    3
    I don't really know were to start
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor FernandoRevilla's Avatar
    Joined
    Nov 2010
    From
    Madrid, Spain
    Posts
    2,162
    Thanks
    44
    Quote Originally Posted by jander1 View Post
    I don't really know were to start

    Start with the reflexive. A binary relation R on a set S is said to be reflexive iff aRa for all a\in S .

    Are those relations reflexive?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4
    Quote Originally Posted by jander1 View Post
    I don't really know were to start
    For this kind of thing, usually you start with the definitions.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member Sambit's Avatar
    Joined
    Oct 2010
    Posts
    355
    Suppose the parent set is \{a_1,a_2,a_3,a_4\}. A relation defined on this set is reflexive if the relation-set contains the element (a_i,a_i) for all i=1,2,3,4. Is it the case here?

    A relation defined on this set is symmetric if for any (a_i,a_j) belonging to the relation-set, the element (a_j,a_i) is also present in the relation-set. Is it the case here for all i,j=1,2,3,4?

    A relation defined on this set is transitive if for two elements (a_i,a_j) and (a_j,a_k) belonging to the relation-set, the element (a_i,a_k) is also present in the relation-set. Is it the case here for all i,j,k=1,2,3,4?

    Proceed step by step; realize the concept and tell what you get.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Symmetric, transitive, not reflexive?
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: February 2nd 2010, 12:32 AM
  2. Replies: 2
    Last Post: January 24th 2010, 07:06 PM
  3. Reflexive, symmetric, and transitive
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: December 5th 2009, 11:08 AM
  4. proving reflexive, antisymmetric and transitive
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: November 24th 2009, 09:58 AM
  5. Reflexive, Transitive, Symmetric
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: May 20th 2009, 02:24 PM

Search Tags


/mathhelpforum @mathhelpforum