Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
88 personne(s) sur le site en ce moment
E. Cartan

Les maths pour l'agreg

A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 
Application aux espaces vectoriels normés next up previous index
suivant: Espaces métriques compacts monter: Compacité - liens entre précédent: Le théorème de Tykhonov   Index

Application aux espaces vectoriels normés

Théorème Toutes les normes sur un $ \mathbb{R}$- ou $ \mathbb{C}$- espace vectoriel de dimension finie sont équivalentes.

Démonstration: On considère une base, et la norme qui a un élément de $ E$ associe la somme des valeurs absolue de ses composantes. On montre qu'une norme quelconque est équivalente à cette norme. Il suffit pour cela de noter que la sphère unité (pour notre norme) est compacte, par compacité de la même sphère dans $ R^n$ et continuité des opérations algébriques, et de vérifier que toute norme est continue et donc atteint sur cette sphère un minimum et un maximum (NB: toute norme est continue car $ K$-lipschitzienne pour $ K$ le max des normes d'images d'éléments d'une base orthonormale).$ \sqcap$$ \sqcup$

Corollaire Un sous-espace vectoriel (de dimension finie) d'un espace normé est fermé.

Application(s)... Une application se trouve juste après le théorème de Baire [*]: un espace de Banach de dimension infinie ne possède pas de base dénombrable.

Démonstration: Nous avons tout d'abord besoin d'un lemme:
Lemme Un sous-espace vectoriel de dimension finie d'un espace vectoriel de dimension finie est fermé.

Démonstration: On considère la même norme que dans le théorème précédent. Pour cette norme notre espace est clairement fermé (au vu des équations le définissant). Plus précisément, on considère une base de notre espace vectoriel $ E$, telle que $ F$ soit engendré par les $ k$ premiers éléments de cette base (c'est possible grâce au théorème de la base incomplète). Alors $ F$ est l'intersection d'hyperplans fermés d'équations $ x_i=0$.$ \sqcap$$ \sqcup$
On peut maintenant finir notre preuve; soit $ x \in \overline F$, avec $ F$ de dimension finie; alors on se place dans l'espace généré par une base de $ F$ plus le vecteur $ x$, et on utilise le lemme ci-dessus.$ \sqcap$$ \sqcup$

Exercice 12   Toute application linéaire d'un espace normé de dimension finie dans un espace normé est continue.

Démonstration: Il suffit de considérer une base et la norme définie plus haut.$ \sqcap$$ \sqcup$

Théorème [Théorème de Riesz] Un espace normé est de dimension finie si et seulement si sa boule unité fermée est compacte.

Application(s)... On verra une application amusante avec le corollaire [*], une autre (utilisant aussi le théorème d'Arzéla-Ascoli et le théorème d'isomorphisme de Banach) avec le théorème [*].

Démonstration: Supposons $ E$ de dimension finie, alors toutes les normes sont équivalentes, on peut se ramener à $ E=\mathbb{R}^n$; comme la boule unité est fermée bornée, elle est compacte. Réciproquement (voir figure [*]), supposons la boule unité fermée compacte, alors on peut la recouvrir par des boules ouvertes de diamètre $ 0.5$ en nombre fini. On considère alors l'espace $ F$ engendré par les centres de ces boules, et on montre que l'on peut approcher tout point de la boule arbitrairement bien avec des points de $ F$; ensuite on utilise le fait que $ F$ est de dimension finie et donc est fermé.$ \sqcap$$ \sqcup$

Figure: Le théorème de Riesz. On approxime $ x$ de la boule par le centre du cercle le plus proche, et on réitère avec le double de la distance entre $ x$ et ce centre.
\begin{figure}\begin{displaymath}
\epsfxsize =7cm
\epsfbox{riesz.eps}\end{displaymath}\end{figure}

Théorème [Théorème de Banach-Alaoglu]Soit $ E'$ le dual d'un espace normé, alors sa boule unité fermée est compacte pour la topologie faible * (ie la topologie engendrée par les applications qui à $ \phi\in E'$ associent $ \phi(x)$ pour un certain $ x\in E$.

La boule unité fermée est l'ensemble des formes linéaires $ \phi$ telles que $ {\parallel}\phi(x) {\parallel}\leq {\parallel}x {\parallel}$.

Démonstration: (voir figure [*]) On identifie $ E'$ à une partie du produit $ \mathbb{K}^E$, en identifiant $ \phi$ à $ (\phi(x))_{x \in E}$. La topologie faible * est alors la topologie induite sur $ E'$ par la topologie produit sur $ \mathbb{K}^E$. La boule unité $ \overline {B_{E'}}$ est contenue dans $ \Gamma = \Pi_{x\in E} \overline B(0,\parallel x \parallel) \subset \mathbb{K}^E$. Par le théorème de Tykhonov ce produit est compact. Il suffit donc maintenant de montrer que $ \overline B_{E'}$ est fermé comme sous-ensemble de $ \Gamma$ muni de la topologie produit, ce qui se fait aisément en considérant les équations définissant $ \overline B_{E'}$ (qui sont simplement les équations définissant les fonctions linéaires).$ \sqcap$$ \sqcup$

Application(s)... Voir la proposition [*] par exemple.

Figure: Schéma explicatif de la preuve du théorème de Banach-Alaoglu.
\begin{figure}\begin{displaymath}
\epsfxsize =8cm
\epsfbox{alaoglu.eps}\end{displaymath}\end{figure}

Proposition La boule unité fermée du dual d'un espace séparable est métrisable pour la topologie faible *.

Démonstration: On considère une suite $ x_n$ dense dans $ E$, à valeurs non nulles; la topologie faible sur la boule unité fermée peut être définie par la métrique

$\displaystyle d(\phi,\psi)=\sum_{n\geq 0} \frac{\vert\phi(x_n)-\psi(x_n)\vert}{\parallel x_n \parallel.2^n}$

Cette (courte) vérification étant faite, le résultat est acquis.$ \sqcap$$ \sqcup$

Corollaire On peut en outre extraire de toute suite de la boule unité fermée du dual d'un espace séparable une suite convergeant faiblement.

Démonstration: Laissée au lecteur...$ \sqcap$$ \sqcup$


next up previous index
suivant: Espaces métriques compacts monter: Compacité - liens entre précédent: Le théorème de Tykhonov   Index
C.Antonini_JF.Quint_P.Borgnat_J.Bérard_E.Lebeau_E.Souche_A.Chateau_O.Teytaud
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page
Autres...