7
votes
3answers
341 views

Which Sigma-Ideals in a Sigma-Algebra are Ideals of Null Sets?

My question is motivated, to be somewhat vague, by an attempt to see how much a measure space is defined by the set of null sets. In other words, assume we are not given a concrete measure on a space ...
1
vote
0answers
78 views

two concepts of positivity for elements of $C(X)$ when $X$ is hyper-stonean

Suppose that $X$ is a compact space. Let $M(X)=C(X)^*$ denote the Banach space of regular measures. Is the following statement true: $F:M(X)\to\mathbb{C}$ is a positive functional if and only if the ...
8
votes
3answers
290 views

reference request : constructive measure theory

As the title said, I would like to know if constructive measure theory has been developed somewhere ? I am more precisely interested in the (constructive) theory of completely continuous valuation on ...
2
votes
1answer
384 views

When does a $W^*$-algebra have a standard Borel spectrum?

EDIT: André Henriques has commented below that the correct separability condition is not weak-* separability as I have written below, but separability of the predual. This post came out a bit long, ...
6
votes
2answers
408 views

Is there an inclusion of $L_\infty(G)$ into $C_0(G)^{**}$?

This is probably a silly question with which I am stuck however. Let $G$ be a locally compact group. It seems to me that there is a canonical map of $L_\infty(G)$ into $M=C_0(G)^{**}$ (the latter is ...
13
votes
0answers
505 views

Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?

Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra. Moreover, a morphism of commutative von Neumann algebras induces a continuous morphism of the corresponding ...
9
votes
4answers
872 views

What kind of completion is this?

Let $X$ be a compact Hausdorff space, and $C(X)$ the unital commutative C*-algebra of continuous functions on it. The double Banach dual $C(X)^{**}$ is a commutative von Neumann algebra and hence has ...
1
vote
2answers
524 views

Decomposition of an abelian von Neumann algebra

Hi, I came across the statement below and I couldn't figure out why it is true. I was hoping someone could explain it or give me a good reference. Thank you in advance. "Let $\pi$ be a non-degenerate ...
25
votes
4answers
2k views

Reference for the Gelfand-Neumark theorem for commutative von Neumann algebras

The Gelfand-Neumark theorem for commutative von Neumann algebras states that the following three categories are equivalent: (1) The opposite category of the category of commutative von Neumann ...