Cardinality using equivalences

  • Thread starter Thread starter SMA_01
  • Start date Start date
  • Tags Tags
    Cardinality
SMA_01
Messages
215
Reaction score
0
I proved that [0,1) has the same cardinality as (0,1], by defining a function and then checking injectivity/surjectivity.
I proved [0,1] has the same cardinality as (0,1), by defining a function and showing it has an inverse.
I now have to prove that (0,1] has the same cardinality as [0,1], and I can use any of the equivalences established above.

What method should I use to do this?

Edit: I know how to prove it using previous methods (defining a function and proving bijection), I just want to know if this can be done another way- using equivalence relations maybe?
 
Last edited:
Physics news on Phys.org
SMA_01 said:
I proved that [0,1) has the same cardinality as (0,1], by defining a function and then checking injectivity/surjectivity.
I proved [0,1] has the same cardinality as (0,1), by defining a function and showing it has an inverse.
I now have to prove that (0,1] has the same cardinality as [0,1], and I can use any of the equivalences established above.

What method should I use to do this?

Edit: I know how to prove it using previous methods (defining a function and proving bijection), I just want to know if this can be done another way- using equivalence relations maybe?

I don't see any way of using equivalence relations.

|A|=|B| ⇔ There exists a bijection f:A→B

*where |A| denotes the cardinality of A*

So maybe you could say something like [0,1)U(0,1]=[0,1]

Then appeal to a theorem about the union of uncountably infinite sets?

Hope this helps
 
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