Results 1 to 2 of 2

Thread: Decide whether or not the relation is an equivalent relation. Help please?

  1. #1
    Junior Member
    Feb 2010

    Question Decide whether or not the relation is an equivalence relation. Help please?

    Equivalence relations are relations for which it is possible to see related elements as "similar" in some or other sense. Decide for each of the following relations whether or not it is an equivalent relation. Give full reasons. If it is an equivalence relation, give the equivalence classes. Also say if the equivalence classes are all infinite, whether some are finite or all are finite.

    (a) Let A be all functions from N to N. Define f Rg if there exists a k is an element of N such that f(n)<=g(n) for all n>=k. (Where <= indicates bigger than or equal to etc)

    (b) Let A = {x : x is an element of R;x >= 0}. Define a Rb if and only there exists a k is an element of N such that a = kb.

    (c)Let A be the set of all finite sets of natural numbers. Define s Rt if and only if "s intersect t" = empty set.

    (d) Let A = [0, 1]. Define a Rb if ab < min {a, b}. (e.g. (1/2 , 1/2) is an element of R but (3/4 , 1) is not an element of R.

    I know that for a relation to be equivalent it needs to be reflexive, transitive and symmetric, but I'm not quite sure how to actually set up the relation in (a) and (b) and determine the properties of all of them.

    Like for (b) if a=kb then b=a/k and not ka so this relation is not symmetric.I don't think my reasoning is correct here and I don't know how to show transitivity or symmetry.

    Then for (c) if "s intersect t"=empty set then "t intersect s"=empty set so the relation is symmetric. Is this correct? But s intersect s = s so the relation is irreflexive? I'm having real trouble showing transitivity.

    For (d) ab=ba so if aRb then bRa so it's symmetric but not reflexive because 1*1 is not smaller than 1? Once again what about transitivity.

    I have no clue what to do about (a).

    I know how to set up an equivalence class when I have all elements of R, but what if I don't as in the above?

    Any input would be greatly appreciated

    Thanks in advance.
    Last edited by chocaholic; Mar 1st 2010 at 06:10 AM. Reason: misspelt
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Jan 2009
    An equivalence relation is defined to be

    1. Reflexive
    IE given a relation, R, it is reflexive iff $\displaystyle \forall a \in A, aRa$

    2. Symmetric

    IE, given a relation R, it is symmetric iff $\displaystyle \forall a, b \in A, aRb \implies bRa $

    3. Transitive

    IE, given a relation R, it is transitive iff $\displaystyle \forall a, b, c \in A, aRb$ and $\displaystyle bRc \implies aRc$

    Make sure these 3 properties hold. If one does not, it's not an equivalence relation.

    so, say, the first one, for example.

    $\displaystyle f R g \iff \exists k \in N $ such that $\displaystyle f(n) <= g(n) \forall n => k$

    So f is in relation with g so that if f(n) is less than or equal to g(n) for all n bigger than some natural number, say, k.

    Well, is it reflexive?

    $\displaystyle f R f \iff \exists k \in N $ such that $\displaystyle f(n) <= f(n) \forall n => k$

    It holds because f(n) = f(n) for all n, no matter what k you choose.
    Last edited by Math Major; Mar 1st 2010 at 07:48 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: Apr 6th 2011, 11:46 PM
  2. Isotropy Group and equivalent relation
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Oct 24th 2010, 06:59 AM
  3. relation between x and y
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: Jun 3rd 2010, 09:41 PM
  4. Less than Relation
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: May 27th 2010, 12:42 PM
  5. Relation ( Equivalence Relation)
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: Dec 5th 2008, 08:55 AM

Search Tags

/mathhelpforum @mathhelpforum