Let's say you are given a function $\mu:S\rightarrow(0,1]$ and you can additionally assume $\sum_{s\in S}\mu(s)=1$ Does this imply that $S$ is finite?
Is this set finite?
2
$\begingroup$
elementary-set-theory
infinity
-
0You're right, sry. – 2012-10-09
1 Answers
3
No: let $S=\Bbb N$, and let $\mu(n)=2^{-n}$. Then $\sum_{n\in\Bbb N}\mu(n)=\sum_{n\in\Bbb N}\frac1{2^n}=2\;.$
You can, however, infer that $S$ is countable, as follows. For each $n\in\Bbb N$ let $S_n=\{s\in S:\mu(s)\ge 2^{-n}\}\;;$ then $S=\bigcup_{n\in\Bbb N}S_n$. A countable union of countable sets is countable, so if $S$ were uncountable, then some $S_n$ would be uncountable. But then $\sum_{k\in S_n}\mu(s)\ge\sum_{s\in S_n}2^{-n}=|S_n|\cdot 2^{-n}\;,$ which is clearly not finite. Thus, $S$ must be countable.