The set of all finite subsets of $mathbb{R}_+$ is countable.

Mathematics Asked by simey on September 19, 2020

I’m struggling to figure out how to prove that the set of all finite subsets of $mathbb{R}_+$ is countable. I thought that it wasn’t but a TA told me it was and I need to prove why it’s countable. I don’t even know how to start this proof.
If it helps, I solved this problem with $mathbb{Z}_+$ by saying when writing down first several subsets of $mathbb{Z}_+$, you can clearly see a pattern that can be enumerated.

discrete mathematics

One Answer

It is false. That set contains all the singletons from $R^+$ which is itself uncountable. So the set must be uncountable. Also, if $R^+$ is replaced by $Z^+$ it is still false as the power set of $Z^+$ is still uncountable !

Answered by The73SuperBug on September 19, 2020

The set of all finite subsets of $mathbb{R}_+$ is countable.

One Answer

Add your own answers!

Related Questions

Fourier expansions of Eisenstein series as a Poincare series for the Fuchsian group

Is eigenvalue multiplied by constant also an eigenvalue?

Can someone explain the proof of the following linear differential equation

Matroid induced by a matrix where a circuit’s nullspace is spanned by a non-negative vector

Area between parabola and a line that don’t intersect? 0 or infinity

Positive integer solutions to $frac{1}{a} + frac{1}{b} = frac{c}{d}$

Are all complex functions onto?

Proving Euler’s Totient Theorem

Why is identity map on a separable Hilbert space not compact? False proof.

Finding a general way to construct least degree polynomial having rational coefficient having irrational roots

Checking the MLE is consistent or not in $mathcal{N}(theta,tautheta)$.

Conditions on inequalities $a>b$ and $b<c$ to deduce $a<c.$

Are $mathbb{C}-mathbb{R}$ imaginary numbers?

Show that $|uv^T-wz^T|_F^2le |u-w|_2^2+|v-z|_2^2$

Let $f,g$ be holomorphic function in $mathbb{D}$ that are continuous in $overline{mathbb{D}}$. Show that if $f=g$ on $|z|=1$, then $f=g$

What is the Fourier transform of the bump function $e^{-frac{1}{1-|x|^2}}$?

What is the valus of this integral?

Why are the limits of integration set as they are for the Laplace Transform?

Finding the local extrema of $f(x, y) = sin(x) + sin(y) + sin(x+y)$ on the domain $(0, 2 pi) times (0, 2 pi)$

Sum $sum_{(k_1, k_2, k_3): k_1+k_2+k_3=K, ,, n_1+n_2+n_3=N}k_1^{n_1}times k_2^{n_2} times k_3^{n_3}$

Ask a Question