Fréchet ideal and finitely additive measures

[liwi]

Hi!
For every finitely additive measure \eta on natural numbers, all \eta-null sets obviously form an ideal.
Why there is no finitely additive measure on natural numbers whose null sets form the Fréchet ideal?
Thanks, liwi

 

[AKG]

Just to be clear, you define \eta to be a finitely additive measure iff \eta : P(\mathbb{N}) \to \mathbb{R} is defined for every subset of \mathbb{N} and satisfies:

\eta (\emptyset ) = 0, \eta (\mathbb{N}) = 1

X \subset Y \Rightarrow \eta (X) \leq \eta (Y)

\forall n \in \mathbb{N}\ \eta (\{ n\} ) = 0

X_1, \dots , X_n\ \mbox{pairwise disjoint} \Rightarrow \eta (\cup _{i=1}^n X_i) = \Sigma _{i=1} ^n \eta (X_i)

And the Fréchet ideal is the one consisting of all finite subsets of \mathbb{N}?

 

[AKG]

See Kunen's "Set Theory: An Introduction to Independence Proofs." By I Theorem 1.3 of that text, there is a family \mathcal{A} of 2^{\omega} subsets of N such that for all X, Y in \mathcal{A}, |X \cap Y| < \omega. Define \mathcal{B}_n = \{ X \in \mathcal{A} : \eta (X) > 1/n\}. By a simple counting argument, there exists n such that \mathcal{B} _n is infinite. Fix such n, and take X_1, \dots , X_n \in \mathcal{B} _n. Then it's easy to see that:

1 = \eta (\mathbb{N} ) \geq \eta (\cup X_i) = \Sigma \eta (X_i) > \Sigma 1/n = n(1/n) = 1

1 > 1, contradiction.

 

[liwi]

Thanks a lot!
I don't have Kunen's book, but for example \mathcal{A} = \{ \{f \restriction n; n \in \omega \}; f \in \, ^{\omega}2 \} or \mathcal{A} = \{ s(i); s(i) chosen sequence of rational numbers converging to i, i irrational \} is an uncountable family of subsets of a countable set, having the property you described. Is that correct?
thanks again,
liwi

 

[AKG]

Yes, both are correct. Your first A is perhaps preferable because it doesn't requiring invoking choice, however the second one can be modified to eliminate choice. Just explicitly specify what the sequence s(i) should be for given i, for instance you could specify that it be the decimal expansion approximation sequence, e.g.

s(\pi ) = \{ 3, 3.1, 3.14, 3.141, \dots \}