Proving something that is equinumerous

  • Thread starter Thread starter ver_mathstats
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving that two sets are equinumerous by establishing a bijection between the interval (0,1) and the real numbers R, utilizing the inverse tangent function, arctan. Participants are exploring the properties of these functions and their relationships to construct a valid proof.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the definition of equinumerous sets and the requirement for a bijection. There is exploration of how to create a bijection between (0,1) and (-π/2, π/2) using the arctan function. Questions arise about the validity of proposed functions and their one-to-one nature.

Discussion Status

Some participants are attempting to formulate a function that maps (0,1) to (-π/2, π/2) and are considering how this function can be combined with the arctan function to demonstrate the bijection. There is a lack of consensus on the correctness of the proposed functions and their implications for the proof.

Contextual Notes

Participants are working under the assumption that the arctan function is bijective without needing to prove it. There is uncertainty regarding the construction of the necessary bijection and the implications of the proposed mappings.

ver_mathstats
Messages
258
Reaction score
21
Homework Statement
Prove that (0,1) ≈ R.
Relevant Equations
arctan: R→(-π/2,π/2)
arctan(x)=y ⇔ tan(y)=x for x∈R and y∈(-π/2,π/2)
I am slightly confused as to how to prove this. I know that two sets are equinumerous if there is a bijection between them. So we are trying to find f: (0,1)→R? It told us that we may assume the inverse tangent function so that would mean
arctan: R→(-π/2,π/2). This satisfies arctan(x)=y ⇔ tan(y)=x for x∈R and y∈(-π/2,π/2). We were also given that we could assume arctan is a bijective without proof. I am having trouble moving forward from this information and how to construct a proof out of all of these.

Thank you.
 
Physics news on Phys.org
ver_mathstats said:
I am slightly confused as to how to prove this. I know that two sets are equinumerous if there is a bijection between them. So we are trying to find f: (0,1)→R? It told us that we may assume the inverse tangent function so that would mean
arctan: R→(-π/2,π/2). This satisfies arctan(x)=y ⇔ tan(y)=x for x∈R and y∈(-π/2,π/2). We were also given that we could assume arctan is a bijective without proof. I am having trouble moving forward from this information and how to construct a proof out of all of these.

Thank you.
Think about how to get a bijection between ##(0,1)## and ##(-\frac \pi 2,\frac \pi 2)## so you can combine it with the given arctan bijection to establish your 1-1 correspondence.
 
LCKurtz said:
Think about how to get a bijection between ##(0,1)## and ##(-\frac \pi 2,\frac \pi 2)## so you can combine it with the given arctan bijection to establish your 1-1 correspondence.
I found f(x)=(1/2)+(x/π). But if we combine with arctan would it then be f(x)=(1/2)+(1/π)arctan(x)?
 
ver_mathstats said:
I found f(x)=(1/2)+(x/π). But if we combine with arctan would it then be f(x)=(1/2)+(1/π)arctan(x)?
Can't you tell me instead of asking? Does that work?
 
LCKurtz said:
Can't you tell me instead of asking? Does that work?
I am slightly confused if it works. When I input my values I get numbers (0,1) or 0<x<1, so yes unless I am not understanding but this is how I interpreted it.
 
You have arctan which is a 1-1 function from R onto ##(-\frac \pi 2,\frac \pi 2)## and a function f which is (you need to prove) one to one from ##(-\frac \pi 2,\frac \pi 2)## onto ##(0,1)##. Then you need to show or have a theorem about the compositions of bijections being a bijection.
 

Similar threads

Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 16 ·
Replies
16
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K