Théorème
Si est de dimension finie, alors la topologie faible sur et la topologie forte sur sont égales.
Démonstration:La topologie forte est toujours plus fine que la topologie faible (évident au vu des définitions; dans un ouvert (au sens de la topologie faible) , tout point possède un voisinage de la forme
, et pour tout point dans cette intersection on loge une boule ouverte centrée sur de rayon
): il s'agit là d'un ouvert pour la topologie forte.
Réciproquement, soit dans , et un ouvert (pour la topologie forte) contenant . On cherche à construire un ouvert pour la topologie faible qui contienne et qui soit inclus dans . On peut naturellement se restreindre à
, boule ouverte de centre et de rayon .
On fixe
une base de de vecteurs de norme .
On note
la famille des applications telles que
.
On peut alors écrire
.
Il suffit alors d'écrire
pour avoir un ouvert
pour la topologie faible inclus dans et contenant .
On verra en partie que cette propriété est caractéristique de la dimension finie.
suivant:Dans le cas général monter:Liens entre topologie faible précédent:Liens entre topologie faible
  Index
C_antonini,J-F_Quint,P_Borgnat,J_Bérard,E_Lebeau,E_Souche,A_Chateau,O_Teytaud