8
$\begingroup$

It is known that there exist some isomorphism between $L_\infty$ and $\ell_\infty$, which is not explicit at all.

Could someone tell me whether there exist an isometric isomorphism between $L_\infty$ and $\ell_\infty$?

  • 0
    Side note (sorry): existence of this isomorphism depends essentially on the Axiom of Choice. Which is why you found it to be "not explicit at all".2012-10-05

1 Answers 1

10

They aren't isometric.

We have $\ell_\infty = C(K)$ and $L_\infty = C(L)$ for $K = \beta \mathbb N$ and $L$ the Stone space of the Lebesgue algebra on $[0,1]$. By the Banach-Stone theorem an isometry would involve a homeomorphism between $K$ and $L$. Such a homeomorphism can't exist: For example, $K = \beta\mathbb{N}$ is separable while $L$ isn't separable, being the Stone space of an atomless probability algebra. In fact, every countable subset of $L$ is nowhere dense.


A more explicit and probably more elementary approach is outlined in these two exercises from page 268 in M. Fabian, P. Habala et al. Functional Analysis and Infinite-Dimensional Geometry, Springer 2001, depending on recognizing points of differentiability of the norms:

Exercises 8.30 and 8.31

  • 1
    Where can one find a proof that such $L$ is not separable?2012-10-05
  • 0
    Could you give a reference for separability and non-separability of $K$ and $L$ compactifications. I'm not familiar with Stone-Cech compactification.2012-10-05
  • 0
    @Nate: See e.g. Fremlin, [measure theory](http://www.essex.ac.uk/maths/people/fremlin/mt.htm), volume 3. Combine 322F with 316I to get that every meager set in the Stone space of a probability algebra is nowhere dense. 316L says that atoms correspond to isolated points in the Stone space so that countable unions of points are meager and hence nowhere dense. See also the last paragraph on page 68 of *loc. cit.*2012-10-06
  • 0
    @Norbert: For non-separability of $L$ see my comment to Nate. The separability of the Stone-Cech compactification follows from the definition of a compactification: $\mathbb{N}$ is dense in $\beta\mathbb{N}$.2012-10-06
  • 0
    Sorry, I meant to say: "countable unions of points in the Stone space *of an atomless probability algebra* are meager".2012-10-06
  • 0
    Thanks for the reference. I guess it will take me some work to translate Fremlin's discussion into language that I am familiar with.2012-10-06
  • 0
    @Nate: A more easily accessible reference might be §24 of Halmos's *Lectures on Boolean Algebra* (=chapter 41 of Givant-Halmos *Introduction to BA*) where the statement is Exercise 2 (=Ex. 5). The hardest part is in establishing the regularity property of the measure on the Stone space: $\mu(B) = \sup \mu(F) = \inf \mu(G)$ where $B$ is Borel and $F \subset B \subset G$ with $F,G$ clopen (Lemma 3). Once you have that (strange) property then it follows that taking the closure doesn't increase the measure and thus null sets and meager sets are nowhere dense (Lemmas 4,5,6).2012-10-06
  • 0
    @NateEldredge: I found a nice pair of exercises in Fabian et al. containing a probably more accessible argument. See the second part of the answer.2013-06-29
  • 0
    @commenter thank you this is much more easier approach!2013-06-29