Bourbaki

Exercice 4, § 2

Espaces vectoriels topologiques, I, p. 25

On désigne par K le corps R\mathbf{R} muni de la valeur absolue p(ξ)=∣ξ∣1/2p(\xi) = |\xi|^{1/2}. Soit E l’espace vectoriel sur K des fonctions numériques réglées dans I=[0,1]I = [0, 1], continues à droite en tout point et nulles au point 1 ; montrer que sur E l’application x↦∥x∥=∫01∣x(t)∣1/2dtx \mapsto \|x\| = \int_0^1 |x(t)|^{1/2} dt est une norme. Montrer que pour toute fonction x≥0x \geq 0 dans E, il existe dans E deux fonctions x1≥0,x2≥0x_1 \geq 0, x_2 \geq 0 telles que x=12(x1+x2)x = \frac{1}{2}(x_1 + x_2) et

∥x1∥=∥x2∥=12∥x∥. \|x_1\| = \|x_2\| = \frac{1}{\sqrt{2}} \|x\|.
En déduire que toute forme linéaire continue sur E est identiquement nulle.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.