
En analyse, presque tout repose sur une idée simple : savoir dire que deux objets sont « proches ». Une norme fournit cette notion de proximité dans un espace vectoriel, et la topologie en déduit ce qu’est un voisinage, une limite, une fonction continue. Ce chapitre rassemble les outils indispensables des espaces vectoriels normés : ouverts, fermés, compacité, connexité par arcs, applications linéaires continues et complétude. On note \(\mathbb{K}\) le corps \(\mathbb{R}\) ou \(\mathbb{C}\), et \(E\) un \(\mathbb{K}\)-espace vectoriel.
1. Normes et distances
Une norme sur \(E\) est une application \(N : E \to \mathbb{R}_+\) vérifiant, pour tous \(x, y \in E\) et \(\lambda \in \mathbb{K}\) :
- séparation : \(N(x) = 0 \Rightarrow x = 0\) ;
- homogénéité : \(N(\lambda x) = |\lambda|\,N(x)\) ;
- inégalité triangulaire : \(N(x+y) \le N(x) + N(y)\).
Le couple \((E, N)\) est un espace vectoriel normé (evn). La distance associée est \(d(x,y) = N(x-y)\).
Sur \(\mathbb{K}^n\), trois normes usuelles sont \(N_1(x) = \sum |x_i|\), \(N_2(x) = \sqrt{\sum |x_i|^2}\) et \(N_\infty(x) = \max |x_i|\). Sur l’espace \(\mathcal{C}([0,1])\) des fonctions continues, on utilise \(\|f\|_\infty = \max |f|\), \(\|f\|_1 = \int_0^1 |f|\) et \(\|f\|_2 = \big(\int_0^1 f^2\big)^{1/2}\).
Pour tous \(x, y\) : \(\big|\,\|x\| - \|y\|\,\big| \le \|x - y\|\). En particulier la norme est 1-lipschitzienne.
Pour \(x = (-2, 5, 1)\) : \(N_1(x) = 2+5+1 = 8\), \(N_2(x) = \sqrt{4+25+1} = \sqrt{30}\) et \(N_\infty(x) = 5\). On remarque \(5 \le \sqrt{30} \le 8\).
Dans \(\mathcal{C}([0,1])\), soit \(f(t) = t\) et \(g(t) = t^2\). Alors \(f - g = t(1-t)\) est maximale en \(t = \tfrac12\), de valeur \(\tfrac14\), donc \(\|f - g\|_\infty = \tfrac14\). Pour la norme 1 : \(\|f-g\|_1 = \int_0^1 (t - t^2)\,dt = \tfrac16\). Deux fonctions peuvent donc être « proches » pour une norme et moins pour une autre.
2. Boules, ouverts, fermés
Pour \(a \in E\) et \(r \gt 0\) : boule ouverte \(B(a,r) = \{x : \|x-a\| \lt r\}\), boule fermée \(B_f(a,r) = \{x : \|x-a\| \le r\}\), sphère \(S(a,r) = \{x : \|x-a\| = r\}\).
La forme des boules dépend de la norme. Dans \(\mathbb{R}^2\), la boule unité fermée est un losange pour \(N_1\), un disque pour \(N_2\), un carré pour \(N_\infty\), et on a l’inclusion \(B_f^{N_1} \subset B_f^{N_2} \subset B_f^{N_\infty}\).
Une partie \(U\) est ouverte si pour tout \(x \in U\), il existe \(r \gt 0\) tel que \(B(x,r) \subset U\). Une partie \(F\) est fermée si son complémentaire est ouvert.
Toute réunion d’ouverts est un ouvert ; toute intersection finie d’ouverts est un ouvert. Dualement, toute intersection de fermés est un fermé ; toute réunion finie de fermés est un fermé. Les boules ouvertes sont ouvertes, les boules fermées et les sphères sont fermées.
L’intersection infinie \(\bigcap_{n \ge 1} \left]-\tfrac1n, \tfrac1n\right[ = \{0\}\) n’est pas ouverte. « Ouvert » et « fermé » ne sont pas contraires : \([0,1[\) n’est ni l’un ni l’autre, et \(E\) comme \(\varnothing\) sont à la fois ouverts et fermés.
3. Adhérence et intérieur
Pour \(A \subset E\) : l’intérieur \(\mathring{A}\) est le plus grand ouvert contenu dans \(A\) ; l’adhérence \(\overline{A}\) est le plus petit fermé contenant \(A\) ; la frontière est \(\mathrm{Fr}(A) = \overline{A} \setminus \mathring{A}\).
\(x \in \overline{A}\) si et seulement si \(x\) est limite d’une suite d’éléments de \(A\). Ainsi \(A\) est fermée si et seulement si toute limite d’une suite convergente d’éléments de \(A\) appartient à \(A\). Une partie \(A\) est dense dans \(E\) si \(\overline{A} = E\).
Soit \(A = \,]0,1[\, \cup \{2\} \cup \,]3,4]\) dans \(\mathbb{R}\). Alors \(\overline{A} = [0,1] \cup \{2\} \cup [3,4]\), \(\mathring{A} = \,]0,1[\, \cup \,]3,4[\) et \(\mathrm{Fr}(A) = \{0,1,2,3,4\}\). Le point isolé \(2\) est dans l’adhérence mais pas dans l’intérieur.
4. Limites et continuité
Une suite \((u_n)\) converge vers \(\ell\) si \(\|u_n - \ell\| \to 0\). Pour \(f : A \to F\) entre evn, \(f\) est continue en \(a\) si \(\forall \varepsilon \gt 0,\ \exists \delta \gt 0,\ \|x - a\| \lt \delta \Rightarrow \|f(x) - f(a)\| \lt \varepsilon\).
Pour \(f : E \to F\), il y a équivalence entre : (i) \(f\) est continue sur \(E\) ; (ii) pour toute suite \(u_n \to a\), \(f(u_n) \to f(a)\) ; (iii) l’image réciproque de tout ouvert (resp. fermé) de \(F\) est un ouvert (resp. fermé) de \(E\).
La propriété (iii) sert à montrer qu’une partie est ouverte ou fermée : \(\{(x,y) : x^2 + y^2 \lt 9\}\) est ouvert car image réciproque de \(]-\infty, 9[\) par une fonction continue, tandis que \(\{(x,y) : xy = 1\}\) est fermé comme image réciproque de \(\{1\}\). Toute fonction lipschitzienne est continue.
5. Compacité
Une partie \(K\) de \(E\) est compacte si de toute suite d’éléments de \(K\) on peut extraire une sous-suite qui converge vers un élément de \(K\) (propriété de Bolzano-Weierstrass).
- Un compact est fermé et borné.
- En dimension finie, les compacts sont exactement les fermés bornés.
- L’image d’un compact par une application continue est un compact.
- Une fonction continue \(f : K \to \mathbb{R}\) sur un compact est bornée et atteint ses bornes.
- (Riesz) La boule unité fermée de \(E\) est compacte si et seulement si \(E\) est de dimension finie.
La fonction \(f(x,y) = x + 2y\) est continue sur le cercle unité de \(\mathbb{R}^2\), fermé et borné donc compact : elle y atteint un maximum et un minimum. Par l’inégalité de Cauchy-Schwarz, \(|x + 2y| \le \sqrt{5}\), avec égalité en \(\pm\left(\tfrac{1}{\sqrt5}, \tfrac{2}{\sqrt5}\right)\) : le maximum vaut \(\sqrt5\) et le minimum \(-\sqrt5\).
6. Connexité par arcs
Une partie \(A\) est connexe par arcs si deux points quelconques \(P, Q \in A\) peuvent être reliés par un chemin, c’est-à-dire une application continue \(\gamma : [0,1] \to A\) avec \(\gamma(0) = P\) et \(\gamma(1) = Q\).
Les parties connexes par arcs de \(\mathbb{R}\) sont exactement les intervalles. Toute partie convexe est connexe par arcs. L’image d’une partie connexe par arcs par une application continue est connexe par arcs ; en particulier, l’image d’un connexe par arcs de \(\mathbb{R}\) est un intervalle (théorème des valeurs intermédiaires).
\(\mathbb{R}^2 \setminus \{(0,0)\}\) est connexe par arcs : si le segment \([a,b]\) évite l’origine, il convient ; sinon on choisit un point \(c\) hors de la droite \((ab)\) et on suit \([a,c]\) puis \([c,b]\). En revanche \(\mathbb{R}^* = \,]-\infty,0[\, \cup \,]0,+\infty[\) n’est pas connexe par arcs : un chemin de \(-1\) à \(1\) prendrait la valeur \(0\).
7. Applications linéaires continues
Soit \(T : E \to F\) linéaire. Il y a équivalence entre : (i) \(T\) est continue ; (ii) \(T\) est continue en \(0\) ; (iii) \(T\) est bornée sur la boule unité ; (iv) il existe \(C \ge 0\) tel que \(\|T(x)\| \le C\,\|x\|\) pour tout \(x\). Le plus petit \(C\) est la norme subordonnée \(\|T\| = \sup_{\|x\| \le 1} \|T(x)\|\).
Si \(E\) est de dimension finie, toute application linéaire définie sur \(E\) est continue. Pour des applications composables, \(\|S \circ T\| \le \|S\|\,\|T\|\). L’ensemble \(\mathcal{L}_c(E,F)\) des applications linéaires continues est un espace vectoriel normé par \(\|\cdot\|\).
Sur \((\mathcal{C}([0,1]), \|\cdot\|_\infty)\), la forme \(\varphi(f) = \int_0^1 f(t)\,dt\) vérifie \(|\varphi(f)| \le \|f\|_\infty\), donc \(\varphi\) est continue et \(\|\varphi\| \le 1\). Pour \(f = 1\) on a égalité, donc \(\|\varphi\| = 1\).
En dimension infinie, une application linéaire peut être discontinue. Sur les polynômes munis de \(\|\cdot\|_\infty\) sur \([0,1]\), la dérivation envoie \(X^n\) (de norme \(1\)) sur \(nX^{n-1}\) (de norme \(n\)) : elle n’est pas bornée.
8. Normes équivalentes
Deux normes \(N\) et \(N'\) sur \(E\) sont équivalentes s’il existe \(\alpha, \beta \gt 0\) tels que \(\alpha N \le N' \le \beta N\). Elles définissent alors les mêmes ouverts, les mêmes suites convergentes, les mêmes fonctions continues et les mêmes suites de Cauchy.
Sur un espace de dimension finie, toutes les normes sont équivalentes. Sur \(\mathbb{K}^n\) : \(N_\infty \le N_2 \le N_1 \le \sqrt{n}\,N_2 \le n\,N_\infty\).
Quand on te demande une propriété topologique en dimension finie (convergence, compacité, continuité), choisis la norme la plus commode : le résultat ne dépend pas d’elle.
En dimension infinie, c’est faux. Sur \(\mathcal{C}([0,1])\), les fonctions \(f_n(t) = t^n\) vérifient \(\|f_n\|_\infty = 1\) mais \(\|f_n\|_1 = \tfrac{1}{n+1} \to 0\) : aucune constante \(C\) ne donne \(\|f\|_\infty \le C\|f\|_1\), donc ces deux normes ne sont pas équivalentes.
9. Complétude
Une suite \((u_n)\) est de Cauchy si \(\forall \varepsilon \gt 0,\ \exists N,\ \forall p,q \ge N,\ \|u_p - u_q\| \lt \varepsilon\). Un evn dans lequel toute suite de Cauchy converge est dit complet (espace de Banach).
- Toute suite convergente est de Cauchy ; une suite de Cauchy est bornée.
- Tout evn de dimension finie est complet ; \(\mathbb{R}\) est complet, \(\mathbb{Q}\) ne l’est pas.
- \((\mathcal{C}([0,1]), \|\cdot\|_\infty)\) est complet, mais pas pour \(\|\cdot\|_1\).
- Une partie fermée d’un espace complet est complète.
Soit \(F\) une partie fermée non vide d’un espace complet et \(f : F \to F\) contractante, c’est-à-dire \(k\)-lipschitzienne avec \(k \lt 1\). Alors :
- \(f\) possède un unique point fixe \(\ell\) ;
- toute suite \(u_{n+1} = f(u_n)\) converge vers \(\ell\) ;
- l’erreur vérifie \(\|u_n - \ell\| \le \dfrac{k^n}{1-k}\,\|u_1 - u_0\|\).
La fonction \(f(x) = 1 + \tfrac13 \cos x\) est \(\tfrac13\)-lipschitzienne sur \(\mathbb{R}\) car \(|f'| \le \tfrac13\). L’équation \(f(x) = x\) a donc une unique solution, limite de \(u_{n+1} = f(u_n)\) quel que soit \(u_0\).
À retenir
- Une norme donne une distance ; la forme des boules dépend de la norme.
- Ouvert : chaque point est le centre d’une boule incluse. Fermé : complémentaire d’un ouvert, stable par limites de suites.
- \(f\) continue \(\iff\) l’image réciproque d’un ouvert est un ouvert \(\iff\) caractérisation séquentielle.
- Compact : toute suite a une valeur d’adhérence dans la partie. En dimension finie, compact \(\iff\) fermé borné ; une fonction continue sur un compact atteint ses bornes.
- Connexe par arcs : deux points quelconques sont reliés par un chemin ; dans \(\mathbb{R}\), ce sont les intervalles.
- \(T\) linéaire est continue \(\iff\) \(\|T(x)\| \le C\|x\|\) ; automatique en dimension finie.
- Dimension finie : normes équivalentes, espace complet, boule fermée compacte. En dimension infinie, aucune de ces trois propriétés n’est garantie.
- Application contractante d’un complet : point fixe unique et convergence géométrique.
Entraîne-toi : défi express de Maths Spé
Automatismes Maths Spé : combien de réponses en 60 secondes ?
🚀 Zyro te conseille la suite
✏️ Exercices de mathsTopologie des espaces vectoriels normés : exercices de maths Maths Spé
📝 Contrôles de mathsTopologie des espaces vectoriels normés : contrôle de maths Maths Spé
🎯 QCM de mathsTopologie des espaces vectoriels normés : QCM de maths Maths Spé
✏️ Exercices de mathsCalcul différentiel : exercices de maths Maths Spé
✏️ Exercices de mathsÉquations différentielles linéaires : exercices de maths Maths Spé
📝 Contrôles de mathsCalcul différentiel : contrôle de maths Maths Spé

