Normes subordonnées et compacité : contrôle de maths en MP
Voici un contrôle de maths en MP sur le thème « normes subordonnées et compacité », avec son barème et un corrigé détaillé.
Ce contrôle de deux heures, au format d’un devoir surveillé, conclut le chapitre de topologie consacré aux compacts, aux parties connexes par arcs et aux applications linéaires continues. Vous calculerez d’abord deux normes subordonnées d’une matrice, puis vous en tirerez l’inversibilité d’une matrice par une série. Ensuite, deux formes linéaires sur les polynômes montreront qu’en dimension infinie la continuité dépend de la norme choisie. Le troisième exercice utilise la compacité pour obtenir une distance atteinte et un point fixe. Vous étudierez aussi la connexité par arcs de parties du plan et d’ensembles de matrices. Enfin, le problème exhibe une norme d’opérateur dont la borne supérieure n’est jamais atteinte, contrairement au cas de la dimension finie.
Ce qu’évalue le contrôle : normes subordonnées et compacité
L’essentiel du sujet
- NiveauMP
- Durée2 heures
- Calculatriceinterdite
- Barèmesur 20
Chapitre : Compacité, connexité et applications linéaires continues (5 exercices)
Ce que ce devoir vérifie :
- Calculer la norme subordonnée d’une matrice pour les normes un et infini et l’exploiter dans une série de Neumann
- Démontrer qu’une forme linéaire n’est pas continue sur un espace de polynômes de dimension infinie
- Prouver l’existence d’une distance minimale ou d’un point fixe grâce à la compacité
- Établir qu’une partie du plan ou de l’espace des matrices est, ou n’est pas, connexe par arcs
- Comparer le comportement d’une norme d’opérateur en dimension finie et en dimension infinie
Avant de commencer le devoir
Pour une norme subordonnée, majorez d’abord le rapport des normes pour un vecteur quelconque, puis exhibez un vecteur qui atteint ce majorant ; sans ce second temps, la réponse reste incomplète. Quand vous invoquez la compacité, précisez toujours pourquoi la partie est compacte et pourquoi la fonction est continue. Pour nier la connexité par arcs, composez un chemin hypothétique avec une fonction continue, puis appliquez le théorème des valeurs intermédiaires. Gardez enfin quarante minutes pour le problème.
Le sujet du contrôle : normes subordonnées et compacité
Exercice 1 – Normes d’une matrice et série de Neumann (4 points)
Sur \(\mathbb{R}^2\), on note \(\|X\|_\infty = \max(|x|, |y|)\) et \(\|X\|_1 = |x| + |y|\) pour \(X = (x, y)\). Pour une matrice \(M\) de taille 2, \(|||M|||_\infty\) et \(|||M|||_1\) désignent les normes subordonnées associées. On pose \(A = \begin{pmatrix} 3 & -1 \\ 2 & 1 \end{pmatrix}\). La figure montre alors la boule unité de \(\|\cdot\|_\infty\) et son image par \(A\).

- Montrer que \(\|AX\|_\infty \leq 4\,\|X\|_\infty\) pour tout \(X\), puis trouver un vecteur qui réalise l’égalité. En déduire \(|||A|||_\infty\).
- Déterminer de même \(|||A|||_1\), en justifiant la majoration et le cas d’égalité.
- Soit \(B = \begin{pmatrix} 1/2 & 1/3 \\ 1/4 & 1/2 \end{pmatrix}\). Calculer \(|||B|||_\infty\), puis justifier que la série \(\sum B^k\) converge et que \(I_2 – B\) est inversible d’inverse \(\sum_{k=0}^{+\infty} B^k\). Calculer enfin cet inverse et vérifier que sa norme \(|||\cdot|||_\infty\) est au plus \(6\).
Exercice 2 – Deux formes linéaires sur les polynômes (4 points)
Pour \(P = \sum_{k=0}^{d} a_k X^k\) dans \(\mathbb{R}[X]\), on pose \(N_1(P) = \sum_{k=0}^{d} |a_k|\) et \(N_\infty(P) = \max_{k} |a_k|\) ; on admet que ce sont deux normes. On considère ensuite les formes linéaires \(\varphi(P) = P^{\prime}(1)\) et \(\psi(P) = \int_0^1 P(t)\,\mathrm{d}t\).
- Prouver que \(\varphi\) n’est pas continue sur \(\left(\mathbb{R}[X], N_1\right)\).
- Établir la continuité de \(\psi\) pour \(N_1\), puis déterminer la valeur exacte de sa norme subordonnée.
- Établir que \(\psi\) n’est pas continue sur \(\left(\mathbb{R}[X], N_\infty\right)\). Que peut-on en conclure pour les normes \(N_1\) et \(N_\infty\) ?
Exercice 3 – Distances atteintes et point fixe (4 points)
On travaille ici dans un espace normé \(E\) dont la dimension est finie.
- On se donne un point \(a\) de \(E\) et un fermé \(F\) non vide. Montrer qu’il existe \(x_0 \in F\) tel que \(\|a – x_0\| = d(a, F)\). On pourra d’abord se ramener à l’intersection de \(F\) avec une boule fermée bien choisie.
- Dans \(\mathbb{R}^2\) muni de la norme euclidienne, on note \(H\) la branche d’hyperbole \(\{(x, y) : x > 0,\ xy = 1\}\), tracée ci-dessous avec quelques segments \([OM]\). Justifier que \(H\) est fermée, puis calculer \(d(O, H)\) sans calcul différentiel.

- Soit \(K\) un compact non vide de \(E\) et \(f : K \to K\) telle que \(\|f(x) – f(y)\| < \|x – y\|\) pour tous \(x \neq y\) de \(K\). En étudiant le minimum de \(g(x) = \|f(x) – x\|\), prouver que \(f\) admet un unique point fixe.
Exercice 4 – Connexes ou non connexes par arcs (3 points)
On étudie d’abord deux ensembles de matrices, puis deux régions du plan délimitées par l’hyperbole d’équation \(x^2 – y^2 = 1\) : \(\Omega_1 = \{(x, y) : x^2 – y^2 < 1\}\) et \(\Omega_2 = \{(x, y) : x^2 – y^2 > 1\}\).

- Montrer que \(GL_n(\mathbb{R})\) n’est pas connexe par arcs.
- Prouver que l’ensemble des matrices nilpotentes de \(\mathcal{M}_n(\mathbb{R})\) est connexe par arcs.
- Justifier que \(\Omega_1\) est étoilée par rapport à l’origine, donc connexe par arcs.
- Démontrer que \(\Omega_2\) n’est pas connexe par arcs, en considérant les points \((2, 0)\) et \((-2, 0)\).
Exercice 5 – Problème : une borne supérieure jamais atteinte (5 points)
Soit \(E = \mathcal{C}([0, 1], \mathbb{R})\). Pour \(f \in E\), on note \(\|f\|_\infty = \sup_{t \in [0, 1]} |f(t)|\) et \(\|f\|_1 = \int_0^1 |f(t)|\,\mathrm{d}t\). On définit enfin l’application \(T\) qui, à \(f \in E\), associe la primitive \(Tf\) de \(f\) nulle en \(0\) : \(Tf(x) = \int_0^x f(t)\,\mathrm{d}t\).
- Justifier que \(T\) est un endomorphisme de \(E\). Montrer ensuite que \(T\) est continue pour \(\|\cdot\|_\infty\) et que sa norme subordonnée vaut \(1\), cette valeur étant atteinte.
- Prouver que \(\|Tf\|_1 \leq \|f\|_1\) pour tout \(f \in E\).
- Pour \(n \geq 1\), on note \(f_n\) la fonction égale à \(2n(1 – nt)\) sur \(\left[0\,;\frac{1}{n}\right]\) et nulle sur \(\left[\frac{1}{n}\,;1\right]\). Calculer \(\|f_n\|_1\), minorer \(\|Tf_n\|_1\), et en déduire la norme subordonnée de \(T\) pour \(\|\cdot\|_1\).
- Montrer qu’aucune fonction \(f\) non nulle ne vérifie \(\|Tf\|_1 = \|f\|_1\).
- Démontrer que, en dimension finie, la borne supérieure qui définit une norme subordonnée est toujours atteinte. Quelle conséquence la question 4 a-t-elle alors sur la sphère unité de \(\left(E, \|\cdot\|_1\right)\) ?
Réviser normes subordonnées et compacité avant le contrôle
Si un exercice vous a bloqué, relisez le cours compacité, connexité et applications linéaires continues ; entraînez-vous sur les exercices compacité, connexité et applications linéaires continues avant de retenter le sujet.
La page contrôles de maths en MP regroupe les 25 sujets de l’année, et la page maths post-bac permet de changer d’année.
Sujets proches à faire ensuite
Télécharger ou imprimer cette fiche «normes subordonnées et compacité : contrôle de maths en MP» au format PDF afin de pouvoir travailler en totale autonomie.
Ressources de maths en Maths spé (MP)
Cours
Tout voirExercices corrigés
Tout voirContrôles
Tout voirQCM
Tout voir

























