Proving equivalence classes bijective to the set of points on the unit circle

[ams2990]

Homework Statement

Define a relation on R as follows. Two real numbers x, y are
equivalent if x - y \epsilon Z . Show that the set of equivalence classes of this relation is bijective to the set of points on the unit circle.

Homework Equations

N/A? I don't think there are any special equations that are needed for this problem.

The Attempt at a Solution

A part of the problem that I've omitted asked us to prove that the relation is an equivalence one -- I've done that. I've also defined the set of points on the unit circle, which is \{ a,b \epsilon R | \sqrt{x^{2}+y^{2}} \} Damned if I know where to go from here, though.

 

[tiny-tim]

Welcome to PF!

Hi ams2990! Welcome to PF!

Define a relation on R as follows. Two real numbers x, y are
equivalent if x - y \epsilon Z . Show that the set of equivalence classes of this relation is bijective to the set of points on the unit circle.

How would you label each class?

(in other words, what are the classes?)

 

[ams2990]

How would you label each class?

(in other words, what are the classes?)

Not really sure what you're asking...the equivalence class of a \in A is [ a ], which is the set of all elements equivalent to a.

 

[tiny-tim]

Not really sure what you're asking...the equivalence class of a \in A is [ a ], which is the set of all elements equivalent to a.

ok, and what is that?

 

[jambaugh]

Bijective means there exists a bijection. You need to construct the bijection (one-to one and onto mapping.)

(Consider ways to iterate over all the points on the unit circle).

To index your equivalence classes it is sufficient to refer to representative elements. Can you think of a good set of representative elements one element for each equivalence class?

 

[ams2990]

ok, and what is that?

Uh, really vague question, but I'm assuming you're asking what the contents of the class are. For any a and b \in Z, the contents will be a + b, for all b. Stated another way, the class will be a + every integer value. So if a = 1.5, [a] will be \{...,-1.5,-.5,.5,1.5,2.5,3.5,4.5,...\}

 

[tiny-tim]

ok, so how would you label that class (what name would you give it, to distinguish it from any different class)?

 

[ams2990]

Bijective means there exists a bijection. You need to construct the bijection (one-to one and onto mapping.)

(Consider ways to iterate over all the points on the unit circle).

To index your equivalence classes it is sufficient to refer to representative elements. Can you think of a good set of representative elements one element for each equivalence class?

I was thinking about a good way to traverse the points. The obvious solution of choice are sine and cosine. I'm not sure how to create a function from what would seem like R \times R when the relation is only defined on R. Can I "pretend" it's R \times R because I have a,b \in R?
[EDIT]That was extremely poorly worded. Let me try to rephrase. The function as I see it would be from R \times R to R. Is there a distinction between a function based on R \times R and one based on two elements from R? Are these the same thing?

Also, how do I enforce "bounds checking" on my function? (i.e., not traverse the circle more than once) Do I even want this? [/EDIT]

As to the indices, obviously the name of the class would be the element for which the equivalence is true...so for [a], it would be a, right?

ok, so how would you label that class (what name would you give it, to distinguish it from any different class)?

[a]?

 

[tiny-tim]

ah, now I see you write R x R, I can see what's confused you.

You're making this especially complicated by defining the unit circle with two parameters (a and b or x and y), as if it were part of the (2D) plane.

The unit circle is 1D … find a way of defining it with one parameter.

 

[ams2990]

ah, now I see you write R x R, I can see what's confused you.

You're making this especially complicated by defining the unit circle with two parameters (a and b or x and y), as if it were part of the (2D) plane.

The unit circle is 1D … find a way of defining it with one parameter.

Sorry if I'm being incredibly dense, but if you only had one parameter, then it would be R \Rightarrow R \times R, right? Like a parametric function?

 

[tiny-tim]

Sorry if I'm being incredibly dense, but if you only had one parameter, then it would be R \Rightarrow R \times R, right? Like a parametric function?

Forget R x R …

you're only interested in the unit circle for itself, not for anything it's related to.

The unit circle is a 1D line, just like the unit interval is a 1D line (you wouldn't insist on using two parameters for the unit interval, would you, even though you can embed in in 2D?) …

we normally label it with a parameter going from 0 to 2π.

 

[jambaugh]

Forget R x R …

you're only interested in the unit circle for itself, not for anything it's related to.
...

Yea, remember its only points themselves not the shape. Imagine you can cut the circle and bend it however you like ... or even [red herring] chop it into pieces if necessary. [\red herring]