Saut de dimension pour les espaces de Banach
Ennoncé
Un Banach de dimension infinie à une dimension non dénombrable.
N.B. la dimension d'un espace vectoriel est le cardinal d'une de ses bases (algébriques).
Preuve
Si

est une base infinie dénombrable du Banach

considéré, alors

peut s'écrire comme une union dénombrable de fermés d'intérieur vide. En effet, pour tout entier

,

est un sous-espace vectoriel strict de

donc il est d'interieur vide ; c'est aussi un espace vectoriel normé de dimension finie donc il est fermé dans

car complet (pour la norme induite).
comparer avec :
SousEspacesVectorielsStricts
Exemple
Il n'existe pas de norme sur
![$\mathbb{R}[X]$](/~twiki/pub/BwataBaire/SautDeDimensionPourLesEspacesDeBanach/latexdab6f467b894a22128ddf7be85f11650.png)
qui en fasse un Banach.
to top