1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Equivalence class proof

  1. May 4, 2009 #1
    1. The problem statement, all variables and given/known data
    Prove that if (a1, b1) ~ (a2, b2) and (c1, d1) ~ (c2, d2), then (a1, b1) + (c1, d1) ~ (a2, b2) + (c2, d2)
    and (a1, b1) [tex]\bullet[/tex] (c1, d1) ~ (a2, b2)[tex]\bullet[/tex] (c2, d2).
    Let [a, b] denote the equivalence class with respect to ~ of (a, b) in Z x (Z-{0}), and define Q to be the set of equivalence classes of Z x (Z-{0}).
    For all [a, b], [c, d] in Q define [a, b] + [c, d] = [(a, b) + (c, d)] and [a, b][tex]\bullet[/tex] [c, d] = [(a, b) (c, d)]; these definitions make sense, i.e., they do not depend on the choice of representatives.

    2. Relevant equations

    (a, b) + (c, d) = (ad + bc, bd) and (a, b) [tex]\bullet[/tex] (c, d) = (ac, bd)
    (a, b) ~ (c, d) if and only if ad = bc

    3. The attempt at a solution
    I tried using those definitions.
    I know you have to assume that (a1, b1) ~ (a2, b2) and (c1, d1) ~ (c2, d2).
    But I get stuck afterwards. Where do I go from there? Do I need something more?
     
  2. jcsd
  3. May 5, 2009 #2
    Are you asking how to prove this?

    Write down what (a1, b1) ~ (a2, b2) means and what (c1, d1) ~ (c2, d2) means; these are given.

    Write down what (a1, b1) + (c1, d1) is, what (a2, b2) + (c2, d2) is, and then what (a1, b1) + (c1, d1) ~ (a2, b2) + (c2, d2) means. This is what you must prove. The proof practically writes itself once you write down what these statements mean.

    Repeat for *, which may require a tiny trick.

    Write out your work for us and ask questions if you get stuck.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Equivalence class proof
  1. Equivalence Class Proofs (Replies: 12)

  2. Equivalence Classes (Replies: 4)

  3. Equivalence Classes (Replies: 6)

  4. Equivalence Classes (Replies: 3)

Loading...