# Defining a measure on uncountable set

There is an uncountable set $X$ given. There is also a $\sigma$-algebra given:
$$F = \{A \subseteq X: |A| = \aleph_0 \vee |A^c| \le \aleph_0 \}$$

I decided that something like that would be good:
$$\forall A \in F \mu(A) = \begin{cases} 0 &\text{if } |A|\le\aleph_0\\1 &\text{if } |A^c|\le\aleph_0 \end{cases}$$ However there is a problem (I think) with this point in axioms:
$$\mu \bigg(\bigcup_{n=1}^{\infty} A_n \bigg) = \sum_{n=1}^{\infty}\mu(A_n)$$ How can I solve this problem? Maybe the measure is wrong?

• What is the problem? Aren't the $A_n$ supposed to be pairwise disjoint? -- Wait, the main problem is that $F$ is not a $\sigma$ algebra in the first place because $X\notin F$ Commented Nov 2, 2017 at 21:10
• As you've defined it, $F$ is not a $\sigma$-algebra (nor an algebra, for that matter). There ought to be "$\le\aleph_0$" every time you've written "$=\aleph_0$".
– user228113
Commented Nov 2, 2017 at 21:12
• Thanks! That's right. I have corrected that mistake. Commented Nov 2, 2017 at 21:27

If you make your $=\aleph_0$s into $\le \aleph_0$s you do have a $\sigma-$algebra. The measure is fine. The requirement for additivity is only countable unions and only when the $A_n$ are disjoint. If all your $A_n$ are countable, the union of countably many is countable as well, so it has measure zero just like the sum on the right. If one of the $A_n$s is cocountable, the measure is $1$, as is the right hand side. No other one can be cocountable and disjoint from that one, so there will be only one $1$ on the right.
• That is right. It works just like cofinite sets in $\Bbb N$. Two cofinite sets have to have infinite intersection. Similarly in any uncountable set, two cocountable subsets have to intersect in uncountably many points because the points not in their intersection are the union of their complements, which are each countable so their union is as well. Commented Jan 27, 2018 at 21:34