• Support PF! Buy your school textbooks, materials and every day products Here!

Equivalence class proof

  • Thread starter mossfan563
  • Start date
  • #1
54
0

Homework Statement


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.

Homework 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

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?
 

Answers and Replies

  • #2
392
0
Prove that if (a1, b1) ~ (a2, b2) and (c1, d1) ~ (c2, d2), then (a1, b1) + (c1, d1) ~ (a2, b2) + (c2, d2)
and (a1, b1) * (c1, d1) ~ (a2, b2) * (c2, d2).
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.
 

Related Threads for: Equivalence class proof

  • Last Post
Replies
12
Views
5K
Replies
0
Views
1K
Replies
2
Views
612
  • Last Post
Replies
3
Views
866
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
6
Views
2K
Top