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

Let $(\Omega,\Sigma)$ be a measurable space. Denote by $ba(\Sigma)$ the set of all bounded and finitely additive measures on $(\Omega,\Sigma)$ (see http://en.wikipedia.org/wiki/Ba_space for a definition). Is the set of all probability measures $\mathcal{M}_1(\Sigma)\subseteq ba(\Sigma)$ weak*-closed? The weak*-topology on $ba(\Sigma)$ is the weakest topology such that the maps $l_Z:ba(\Sigma)\rightarrow \mathbb{R}$, mapping $\mu\mapsto \int_\Omega Z d\mu$, are continuous for all bounded and measurable maps $Z:\Omega\rightarrow \mathbb{R}$.

share|improve this question
1  
You really need to put these questions on math.stackexchange. –  Nik Weaver Jun 13 '12 at 14:26

1 Answer 1

up vote 1 down vote accepted

No. The most elementary case is $\Omega=\mathbb N$ and $\Sigma$ the power set. A non-fixed ultrafilter is a good example of a finitely-additive but not countably-additive measure: each set has either measure $0$ or $1$. But such a thing is a limit of fixed ultrafilters, that is, countably additive zero-one measures. Indeed, it is the limit along that very ultrafilter.

Nik seems to think this is too elementary. But there is no reason this should be clear to a non-specialist.

share|improve this answer
1  
It's like asking whether the unit ball of $l^1$ is weak* closed in its double dual. –  Nik Weaver Jun 13 '12 at 15:02
1  
@Nik: since it is weak* sequentially closed, even that is an interesting question. –  Gerald Edgar Jun 13 '12 at 15:46
2  
Nik: yes, it is exactly like that in the sense that neither is clear to a non-specialist. –  Vidit Nanda Jun 13 '12 at 15:47
2  
Annoyingly, this is exactly the same as an answer I gave over at math.stackexchange: math.stackexchange.com/questions/157795/… I had already suggested to Peter (who may or may not also be Andy) that it was polite to point out when you are cross-posting... –  Matthew Daws Jun 13 '12 at 19:25
2  
@Peter: your comment is inappropriate. This is a professional forum and we don't talk that way here. –  Nik Weaver Jun 14 '12 at 13:22

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.