Proving something that is equinumerous

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

The discussion focuses on proving that the interval (0,1) is equinumerous with the real numbers R by establishing a bijection. Participants discuss using the inverse tangent function, arctan, which is bijective from R to (-π/2, π/2). A proposed function f(x) = (1/2) + (x/π) is suggested to create a bijection between (-π/2, π/2) and (0,1). The key conclusion is that combining this function with arctan will yield a valid bijection, thus proving the equinumerosity of the two sets.

PREREQUISITES
  • Understanding of bijections and equinumerosity in set theory.
  • Familiarity with the properties of the inverse tangent function, arctan.
  • Knowledge of function composition and its implications for bijections.
  • Basic calculus concepts, particularly regarding intervals and mappings.
NEXT STEPS
  • Research how to construct bijections between different intervals, specifically (0,1) and (-π/2, π/2).
  • Study the properties of the arctan function and its applications in set theory.
  • Explore theorems related to the composition of bijections and their proofs.
  • Practice constructing proofs involving equinumerosity using various functions.
USEFUL FOR

This discussion is beneficial for mathematicians, educators, and students interested in set theory, particularly those exploring concepts of bijections and equinumerosity.

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
1K
  • · 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 13 ·
Replies
13
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K