Results 1 to 2 of 2

Math Help - Ordered Triple Proof

  1. #1
    Junior Member
    Joined
    Mar 2008
    Posts
    40

    Cool Ordered Triple Proof

    This is how I've defined an ordered triple: ((a,b),c) is the set { {{a,1},{b,2}} , {c,3} }. Based on the fact that I've already proved equality for ordered pairs (a,b) = (c,d) iff a=c, b=d, I'm trying to prove the same for the triples. This is what I've got:

    ((a,b),c) = ((d,e),f) if

    { {{a,1},{b,2}} , {c,3} } = { {{d,1},{e,2}} , {f,3} }

    These sets are equal if:
    i) {{a,1},{b,2}} = {{d,1},{e,2}}, which is true iff a=d, b=e
    and {c,3} = {f,3}, which is true iff c=f.
    Thus, in this case, a=d, b=e, c=f.

    ii) {{a,1},{b,2}} = {f,3} and {c,3} = {{d,1},{e,2}}

    What do I do about this second case? Can I ignore it because it is impossible for them to be equal? I can't figure out how to deal with it. Is there a problem in my definition for an ordered triple? I know my definition for an ordered pair is different from the usual {{a},{a,b}} but that is what my book is using. Any help would be appreciated!

    Thanks,
    Ultros
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Say (a,b,c) = (d,e,f).
    By definition ((a,b),c) = ((d,e),f).
    But you already proved this for pairs.
    Thus (a,b)=(d,e) and c=f.
    Using pairs again a=b and b=e.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: February 17th 2009, 11:40 PM
  2. Ordered triple of a vector
    Posted in the Calculus Forum
    Replies: 1
    Last Post: October 29th 2007, 11:39 PM
  3. Proof 0 < 1 in an ordered field
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: April 10th 2007, 08:24 PM
  4. Another proof using Ordered Field Axioms
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 7th 2007, 06:36 PM
  5. Proof using Ordered Field Axioms
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 7th 2007, 05:51 PM

Search Tags


/mathhelpforum @mathhelpforum