Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I want to find some condition to construct a continuous finitely additive measure on the natural numbers, i.e. $f:P(\mathbb{N})\rightarrow [0,1]$ such that $f(\{n\})=0$, and $f$ is an additive measure.

I know in ZFC we can use an ultrafilter $U$ and define $f$ by $f(A)=1\Leftrightarrow A\in U$, but this is too trival.

How about ZF? or some other condition? like large cardinal.

share|improve this question
    
How do you define whether or not $f$ is continuous? $\:$ –  Ricky Demer May 4 '12 at 5:03
    
What do you mean by 'nature'? –  David Roberts May 4 '12 at 5:47
    
@David: I think this means the set of natural numbers –  Yemon Choi May 4 '12 at 6:15
add comment

2 Answers 2

up vote 11 down vote accepted

In ZF you can't prove that there is a finitely additive measure on $\mathcal P(\mathbb N)$ (giving all singletons measure 0 and $\mathbb N$ measure 1). The existence of such a measure gives you a subset of $\mathbb R$ without the Baire property, and such a set cannot be constructed without some help of the axiom of choice. In other words, there is no explicit "construction" of a non-trivial finitely additive measure.

Since you don't like the ultrafilter measure, here is one that is less trivial:

Instead of $\mathbb N$, we use the integers $\mathbb Z$ as the underlying set. For $n\in\mathbb N$ let $d_n(A)=\frac{|A\cap\{-n,\dots,n\}|}{2n+1}$. The sequence $(d_n(A))_{n\in\mathbb N}$ typically does not converge. We fix this using an ultrafilter $U$ on $\mathbb N$ as follows:

For each $A\subseteq\mathbb Z$ let $\mu(A)$ be the unique element of the set $\bigcap_{S\in U}\mbox{cl}(\{d_n(A):n\in S\})$. Here the closure is taken in $\mathbb R$. Now $\mu$ is a finitely additive measure on $\mathcal P(\mathbb Z)$ that is even translation invariant and hence very different from the ultrafilter measure that you find too trivial.

Notice that I have just proved the well known fact that the integers are an amenable group.

share|improve this answer
    
In ZF,The existence of such a measure gives you a subset of R without the Baire property,is this set ${X\subset N:f(X)=1}$? Can you tell me whether the set is nonmeasure? –  Jialiang He May 4 '12 at 13:20
1  
Jialiang, the collection of sets of full measure might be meager, but if you look instead at the collection of sets with measure at least $1/2$ you get a non-BP set (since complementation is a homeomorphism, it would have to be nonmeager, and it's not hard to show that any nonmeager BP subset of the power set of $\mathbb{N}$ contains three almost disjoint sets). You cannot rule out a measurable fapm on $\mathbb{N}$; in fact ZFC+MA proves that there are universally measurable fapms. –  Clinton Conley May 4 '12 at 14:08
    
Can you tell me why the full measure might be meager ? note,the measure is finitely additive measure ,giving all singletons measure 0 and N measure 1. I think I have a proof,fisrt the full measure set $F$ is a filter,by a theorem of Talagrand(Set theory on the Structure of the real line P206),it engough to prove:for every partition of $\omega$into finite sets$I_n$,there exists $X\in F$such that$\exists^\infty n X\cap I_n=\emptyset$.use a MAD fmmily and ccc of the measure we can get a measure zreo set have infinite interval. –  Jialiang He May 5 '12 at 2:06
add comment

Eric van Douwen constructed a whole slew of finitely additive measures on the set of natural numbers, with various shifting and scaling properties in this paper. He discussed how much `choice' was needed for the constructions; often some version of the Hahn-Banach theorem would suffice.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.