Results 1 to 3 of 3

Math Help - equivalence relation proof

  1. #1
    Junior Member
    Joined
    Jul 2006
    From
    Darmstadt, Germany
    Posts
    44

    equivalence relation proof

    Two paths f1:[a1,b1] and f2:[a2,b2] are called equivalent if there exists a strictly isotone surjective function g:[a1,b1]-->[a2,b2] s.t. f1=f2 composed g.

    Prove that this relation is indeed an equivalence relation on the set of all curves in a fixed metric space X.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Jun 2006
    From
    San Diego
    Posts
    101
    Have to show it's reflexive, symmetric, and transitive.

    I'm guessing since you have a question about topology that you possess the techniques to work out the mathematical details I am going to omit.

    Here's a crude outline showing how this can be done:
    (let C1, C2 and C3 be curves in X)

    Obviously a path is equivalent to itself (let g be the identity function), so the relation is reflexive.

    Suppose C1 related to C2 by some mapping as described. The mapping is surjective so we know every point C2 is going to point back somewhere in C1. Since the map is strictly isotone, then no two points in C2 can point back to the same point in C1. So the inverse of the original map is strictly isotone and surjective, and the relation is therefore symmetric.

    Show transitivity using almost exactly the same logic as above. (Suppose C1 relates to C2 and C2 relates to C3, and show that C1 then relates to C3).

    Do that and you're done!
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Jul 2006
    From
    Darmstadt, Germany
    Posts
    44
    Thanks a bunch!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. equivalence relation proof
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 3rd 2011, 06:18 AM
  2. Equivalence relation proof
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: May 17th 2011, 05:30 PM
  3. Equivalence Relation Proof
    Posted in the Number Theory Forum
    Replies: 4
    Last Post: March 25th 2011, 09:32 AM
  4. [SOLVED] Equivalence relation proof?
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 22nd 2010, 12:09 PM
  5. Equivalence Relation Proof
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: August 5th 2009, 01:19 PM

Search Tags


/mathhelpforum @mathhelpforum