Proving something that is equinumerous

  • Thread starter Thread starter ver_mathstats
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 2K views
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.
 
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)?
 
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.