Exercices corrigés des Mines-Ponts sur le thème « topologie des espaces vectoriels normés », regroupés par filière.
MP–MPI
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que chaque {A_n} est fini, que {A\cup\left\{a\right\}=A'\cup\left\{a\right\}}, puis que {A} est dénombrable.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que la continuité de {f} implique la fermeture de {G_f}.
La réciproque est-elle vraie ?
La montrer lorsque {f} est bornée.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que toute orbite {(f^n(a))} admet {a} pour valeur d’adhérence, puis que {f} est une isométrie bijective.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Établir la décomposition unique {A=OS}, avec {O} orthogonale et {S} symétrique définie positive, pour {A} inversible réelle.
Montrer que {SL_n(\mathbb{R})} est fermé, non borné, d’intérieur vide et connexe par arcs.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
est-il convexe ?
Qu’en est-il de {GL_n(\mathbb{R})} ?
Dans {\mathcal P=\left\{M\in M_n(\mathbb{C}):M^2=M\right\}}, montrer que deux matrices appartiennent à la même composante connexe par arcs exactement si elles ont même rang.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Soit {\theta/\pi\notin\mathbb{Q}}.
Montrer que {\theta\mathbb{Z}+2\pi\mathbb{Z}} est dense et déterminer les valeurs d’adhérence de {(\cos(n\theta))} et {(\cos(\sqrt n\,\theta))}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’on obtient au plus sept parties et donner un exemple où il y en a exactement sept.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que tout fermé est intersection décroissante d’ouverts et tout ouvert union croissante de fermés.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Si {F\ne E}, trouver {u} tel que {d(u,F)=\lVert u\rVert=1}.
En déduire la caractérisation des espaces dont la boule unité fermée est compacte.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Une application continue {\mathbb{R}^n\to\mathbb{R}^n} ayant cette dernière propriété envoie-t-elle les fermés sur des fermés ?
3) La réciproque est-elle vraie ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Déterminer l’adhérence et l’intérieur des suites à support fini.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
En déduire que l’ensemble des familles libres est ouvert dans {E^p}, puis retrouver ce résultat en dimension finie.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
En déduire que toute isométrie {f:K\to K} est surjective.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Que se passe-t-il pour {n=1} ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Donner son intérieur et son adhérence.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Est-ce un sous-espace ?
Quels espaces engendrent {D} et son complément ?
Est-il ouvert ou fermé ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Pour {\theta\ne0}, {\pi/\theta\notin\mathbb{Q}}, montrer la densité de {\left\{p\theta+2\pi q:p,q\in\mathbb{Z}\right\}}.
Déterminer les valeurs d’adhérence de {\cos(n\theta)} et de {\cos(\sqrt n\,\theta)}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {f([0,1])\cap\operatorname{Fr}(A)\ne\varnothing}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que l’adhérence de {\left\{P\in\mathbb{R}[X]:P(x_i)=y_i\text{ pour tout }i\right\}} est {\left\{f\in E:f(x_i)=y_i\text{ pour tout }i\right\}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {X} est connexe par arcs.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {P} est scindé sur {\mathbb{R}} si et seulement si {|\operatorname{Im}z|^n\le|P(z)|} pour tout {z\in\mathbb{C}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {T} est fermé dans {M_n(\mathbb{R})} et que {\overline D=T}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {f} est injective et ne s’annule pas sur {\mathbb{R}^\star}, puis que {f(0)=0}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\left\{e^{if(n)}:n\in\mathbb{N}\right\}} est dense dans le cercle unité.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Même question pour l’ensemble des polynômes scindés à racines simples, sans imposer le degré égal à {n}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
En déduire un point fixe commun à tous.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {X\mapsto u_X} est une bijection de {\mathcal P(\mathbb{N})} sur {\left\{0,1\right\}^{\mathbb{N}}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Pour {b>0} et {X\subset\mathbb{N}}, justifier l’existence de {k_X=\min\left\{k:\lVert u_X-a_k\rVert_\infty\le b\right\}}, puis aboutir à une contradiction.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {f} est surjective si et seulement si elle envoie tout ouvert sur un ouvert.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Quelles sont les isométries de {[0,1]} dans {\mathbb{R}} ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {C} est convexe.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Déterminer l’intérieur, l’adhérence et les composantes connexes par arcs de l’ensemble des matrices de rang {r} dans {\mathcal M_n(\mathbb{C})}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PSI
Poser {d(x)=\inf_{y\in F}\lVert x-y\rVert} et {\Gamma(x)=\left\{y\in F:\lVert x-y\rVert=d(x)\right\}}.
2) Montrer que {d} est {1}-lipschitzienne et que {\Gamma(x)\ne\varnothing}.
3) Pour {y\ne z} dans {\Gamma(x)}, montrer que {\lVert (y+z)/2-x\rVert^2\lt d(x)^2}.
4) En déduire l’unicité, notée {p(x)}.
5) Montrer la caractérisation {\langle x-p(x),y-p(x)\rangle\le0} pour tout {y\in F}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Décrire son domaine ouvert {\Omega}, montrer sa classe {C^1}, comparer {f(1/x,y)} et {f(x,y)} et interpréter pour {x>0}, {0\lt y\lt 1}.
Montrer {2yf+(1-x^2)f_x-(1-y^2)f_y=0}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’il existe {\delta>0} tel que {B(\gamma(t),\delta)\subset U} pour tout {t\in[0,1]}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PC
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’il existe {m>0} et un ouvert dense {\Omega} tels que {\lVert u^{k+1}x\rVert/\lVert u^kx\rVert\to m} pour tout {x\in\Omega}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Si {B\in M_n(\mathbb{C})} a {n} valeurs propres distinctes et {Q} est non constant, montrer qu’il existe {A} tel que {B=Q(A)}.
c) Pour {Q} non constant, montrer que {\left\{Q(A):A\in M_2(\mathbb{C})\right\}} est dense.
Est-il fermé ? borné ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer que le noyau de toute forme linéaire continue est fermé.
3) Montrer que {H=\ker\varphi} est fermé pour la norme associée.
4) Montrer que l’orthogonal de toute partie est fermé.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres