Cardinality of the Union of Two Sets that have Same Cardinality as Real Numbers

georgetown13
Messages
7
Reaction score
0

Homework Statement


Let U and V both have the same cardinality as R (the real numbers). Show that U\cupV also has the same cardinality as R.

Homework Equations


The Attempt at a Solution


Because U and V both have the same cardinality as R, I that that this means
\exists f: R\rightarrowU that is one-to-one and onto.
\exists g: R \rightarrow V that is one-to-one and onto.

I think I need to show that \exists h: R \rightarrow U \cup V.

But how do I get to that point? Please help! I would greatly appreciate any assistance.
 
Physics news on Phys.org
Do you know that, for example, that (-infinity,0] and (0,infinity) both have the same cardinality as R?
 
Dick said:
Do you know that, for example, that (-infinity,0] and (0,infinity) both have the same cardinality as R?

Yes, but I can't just provide an example to prove the statement, right?

I understand the general concepts behind this proof but am having a difficult time putting it down in mathematical terms.
 
georgetown13 said:
Yes, but I can't just provide an example to prove the statement, right?

I understand the general concepts behind this proof but am having a difficult time putting it down in mathematical terms.

I didn't mean it to be an example. In the nonmessy case where U and V are disjoint, then R maps bijectively to (-infinity,0]U(0,infinity) via the obvious map 'identity' then map (-infinity,0] bijectively to U and (0,infinity) bijectively to V. Compose them and you have a bijective map from R to U union V.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top