4
$\begingroup$

There are definitely noncommutative analogues for Lusin's theorem and Egoroff's theorem (found in Blackadar for example). I'm curious if there is a version of the first principle:

Every Lebesgue measurable set is almost an open set.

In this noncommutative setting, we will most certainly have to use the fact that a von Neumann algebra is densely spanned by its projections ... but what precisely is Littlewood's First Principle.

$\endgroup$
2
  • $\begingroup$ While the title sounds interesting to me, I have to admit that I don't have any idea what this "noncommutative setting" you are talking about may be, let alone what an analog of Littlewood's principle may be. $\endgroup$
    – Dirk
    Commented Nov 14, 2014 at 7:24
  • $\begingroup$ Note that it seems easier to generalize the Littlewood's Second Principle ("Every measurable function is nearly continuous") by: "A von Neumann algebra admits a (weakly) dense separable $C^∗$-subalgebra". $\endgroup$ Commented Nov 14, 2014 at 14:57

1 Answer 1

4
$\begingroup$

Here is one half of an answer, but it was too long for a comment. I'll edit if I manage to finish it...

When you have a $C^*$ algebra $C$ included in a von Neumann algebra $B$ ( and you might want to assume that $C$ is weakly dense in $B$) you have a notion of ``open projection" which are essentially the projections of $B$ which are spectral projection of element of $C$ corresponding to open interval of $\mathbb{R}$. (If the $C^*$ algebra is not separable, you might want to replace this definition by "the projections which are supremums of positive elements of $C$")

If the algebra $B$ is well chosen (for example, if $B$ is the enveloping von Neumann algebra of $C$, or its atomic part) then open projections are in bijection with closed left ideal of $C$. In general, this might not be the case, for exemple if $C=B$ every projections is open and they are in bijection with the weakly closed left ideals. In commutative terme, this is because ideals correspond to open subsets while open projection corresponds to open subset modulo equality almost everywhere.

These notions are discussed in detail in Akemann The general Stone-Weierstrass problem

You can formulate the principle as: "for any normal state on $B$, any projection $P \in B$ and any $\epsilon >0$ there is an open projection $P'$ such that $\eta(|P-P'|)<\epsilon$." Or maybe, "every projection can be approximated in the weak topology by open projections."

I'm not claiming that this will holds in general. I have to think more about it first. But maybe someone else will do it first.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .