Catalogue Licence
L2 • Topologie
Approfondissement L2

Espaces vectoriels normés et équivalence des normes en dimension finie

Normes, boules, ouverts et fermés, caractérisation séquentielle, continuité des applications linéaires et norme d'opérateur

Point d'entrée intuitif

On peut mesurer la taille d'un vecteur de mille façons différentes. Ces choix changent-ils la géométrie de l'espace, ou n'est-ce qu'une affaire de commodité — et pourquoi la réponse dépend-elle radicalement de la dimension ?

Idée en une phrase :
En dimension finie, changer de norme revient à déformer les distances sans jamais changer ce qui est proche de quoi.
Généalogie historique du concept :

La notion naît de l'analyse fonctionnelle : au début du XX siècle, Fréchet cherche à parler de convergence dans des espaces de fonctions, où les objets ne sont plus des nombres. Riesz, Helly puis Banach dégagent les axiomes de norme entre 1918 et 1922. La motivation est concrète : pour résoudre une équation intégrale par approximations successives, il faut savoir dire que deux fonctions sont proches — et l'on s'aperçoit très vite que différentes notions de proximité donnent des résultats différents, ce qui est impossible en dimension finie.

Pourquoi CETTE définition formelle :

Pourquoi trois axiomes — séparation, homogénéité, inégalité triangulaire — et pas davantage ? Parce que ce sont exactement les propriétés dont on a besoin pour que soit une distance COMPATIBLE avec la structure vectorielle. L'homogénéité est ce qui relie la norme aux dilatations ; sans elle on aurait une distance quelconque, et les boules ne seraient plus des dilatées les unes des autres. C'est précisément l'homogénéité qui rendra possible la réduction à la sphère unité dans la preuve principale.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Deux normes équivalentes sont deux règles graduées différemment : l'une mesure en centimètres, l'autre en pouces. Les longueurs changent, mais un objet petit pour l'une l'est pour l'autre.

Ce qu'elle capture :

L'encadrement traduit exactement un changement d'unité borné dans les deux sens : on ne peut jamais faire tendre une norme vers zéro sans faire tendre l'autre.

⚠️ Où l'analogie ment :

L'image suppose un facteur de conversion FIXE. En dimension infinie, le rapport entre deux normes peut exploser : la fonction sur a une norme uniforme constante égale à alors que sa norme intégrale tend vers zéro. Aucune conversion ne tient.

Modèle #2

Une norme est décrite par la forme de sa boule unité : un disque pour la norme euclidienne, un carré pour la norme infinie, un losange pour la norme .

Ce qu'elle capture :

L'équivalence devient géométrique : deux normes sont équivalentes si chaque boule unité en contient une dilatée de l'autre. En dimension finie, un carré contient toujours un disque et est contenu dans un disque plus grand.

⚠️ Où l'analogie ment :

L'image suggère que toute forme convexe convient. C'est presque vrai — les boules unités sont exactement les convexes bornés symétriques d'intérieur non vide — mais elle ne dit pas que la norme infinie ne provient d'aucun produit scalaire : la forme carrée ne vérifie pas l'identité du parallélogramme.

Modèle #3

La preuve du théorème est un piège tendu sur la sphère : la fonction « norme » y est continue et ne s'annule jamais, donc elle y admet un minimum strictement positif.

Ce qu'elle capture :

La compacité de la sphère unité est le ressort unique : c'est elle qui transforme « ne s'annule pas » en « est minorée par une constante strictement positive ».

⚠️ Où l'analogie ment :

L'image ne dit pas que la sphère unité cesse d'être compacte en dimension infinie — théorème de Riesz. C'est exactement pourquoi le théorème d'équivalence tombe, et le point où l'intuition de dimension finie devient trompeuse.

Les Pièges Conceptuels Classiques

1
Toutes les normes sont équivalentes.

Correction :

Le théorème exige explicitement la DIMENSION FINIE. Sur l'espace des fonctions continues sur , les normes uniforme et intégrale ne sont pas équivalentes : vérifie et . Aucune constante ne peut satisfaire .

2
Toute application linéaire est continue.

Correction :

Faux en dimension infinie. Sur les polynômes munis de la norme uniforme sur , la dérivation est linéaire et discontinue : alors que la dérivée a une norme , non bornée. La continuité d'une application linéaire équivaut à sa bornitude sur la boule unité, ce qui n'est automatique qu'en dimension finie.

3
Un ensemble est soit ouvert, soit fermé.

Correction :

Les deux notions ne sont ni exclusives ni exhaustives. L'intervalle n'est ni ouvert ni fermé dans ; l'ensemble vide et tout entier sont à la fois ouverts et fermés. « Fermé » signifie « de complémentaire ouvert », jamais « non ouvert ».

4
Un sous-espace vectoriel est toujours fermé.

Correction :

Faux en dimension infinie : l'ensemble des polynômes est un sous-espace de l'espace des fonctions continues muni de la norme uniforme, et il est DENSE par le théorème de Weierstrass, donc non fermé — son adhérence est l'espace entier. Ce qui reste vrai est que tout sous-espace de DIMENSION FINIE est fermé, quelle que soit la dimension de l'espace ambiant.

Glossaire des Notations Mathématiques

normes usuelles

somme des modules, racine de la somme des carrés, plus grand module

adhérence de A

plus petit fermé contenant $A$ ; se caractérise par les suites

norme d'opérateur

meilleur coefficient de Lipschitz de $u$ ; vérifie $\lVert u(x)\rVert\le\vertiii{u}\,\lVert x\rVert$