Cardinalities of Sets: Prove |(0, 1)| = |(0, 2)| and |(0, 1)| = |(a, b)|

  • Thread starter Thread starter cxc001
  • Start date Start date
  • Tags Tags
    Sets
AI Thread Summary
The discussion centers on proving that the cardinalities of the open intervals (0,1) and (0,2) are equal, as well as the cardinality of (0,1) to any interval (a,b) where a and b are real numbers with a<b. A bijective function f(x)=2x is constructed to demonstrate that |(0,1)| = |(0,2)|, confirming their equal cardinalities. The participants seek to extend this concept to establish a similar bijection for |(0,1)| and |(a,b)|. The main challenge lies in defining an appropriate function for the general case of (a,b). The conversation emphasizes the importance of constructing linear functions to establish these relationships.
cxc001
Messages
15
Reaction score
0
How to prove the open intervals (0,1) and (0,2) have the same cardinalities? |(0, 1)| = |(0, 2)|

Let a, b be real numbers, where a<b. Prove that |(0, 1)| = |(a, b)|

-----------------------------------
|(0,1)| = |R| = c by Theorem
-----------------------------------

I know that we need to construct a function f: (0,1)->(0,2) and prove f is bijection so that |(0, 1)| = |(0, 2)|

same process of proving |(0, 1)| = |(a, b)|

but how to construct a function f: (0,1)->(0,2)
and how to construct a function g: (0,1)->(a,b) where a<b and a,b are real numbers?

I know how to construct a function f: (0,1)->R
by define a function f(x)=(1-2x)/[x(x-1)] where x cannot be 0 and 1 and when the middle domain(f)=1/2, f(1/2)=0

How can I expand this knowledge and to define a function that the domain(f) is within (0,1) and the range(f) falls into (0,2) or any close interval (a,b)?
 
Physics news on Phys.org
Try constructing a linear function from (0, 1) to (0, 2).
 
Yeah, my bet! a, b are real numbers

I've constructed a linear function f: (0,1)->(0,2) defined by f(x)=2x
such that f(1/2)=1, when x=1/2 (mid point of domain), y=1 (mid point of range)
This linear function is certainly bijection, therefore |(0,1)|=|(0,2)|

But how to prove |(0,1)|=|(a,b)| where a, b are real numbers and a<b?
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
7
Views
1K
Replies
7
Views
2K
Replies
1
Views
2K
Replies
7
Views
2K
Replies
5
Views
2K
Replies
15
Views
2K
Back
Top