Théorème. L’espace \(L^{\infty}(\mathbb{R}^{n})\) n’est pas séparable.
Le but de cet exercice est de démontrer ce théorème.
1
Soit $E$ un espace de Banach. On suppose qu'il existe une
famille $(O_{i})_{i\in I}$ telle que
2
Pour tout \(i\in I\), \(O_i\) est un ouvert non vide de \(E\).
3
\(O_i \cap O_j = \emptyset\) si \(i\neq j\).
4
$I$ n'est pas d\'enombrable. Montrer que $E$ n'est pas s\'eparable. (On pourra raisonner par l'absurde).
5
Pour tout \(a\in \mathbb{R}^{n}\), on pose \(f_{a} = \mathbf{1}_{\mathcal{B}(a, 1)}\) où \(\mathcal{B}(a, 1)\) est la boule de \(\mathbb{R}^n\) de rayon \(1\) centrée en \(a\). Montrer que la famille \[O_a = \{ f\in L^{\infty}(\mathbb{R}^n), ~ \|f - f_a \|_{\infty} < \frac{1}{2}\},\] où \(a\) parcourt les points de \(\mathbb{R}^n\), satisfait (a), (b) et (c). Conclure.