$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Math spé : Exercices sur les espaces vectoriels normés

Boules et normes
Exercice 1 - Translatée d'une boule [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(E,\|\cdot\|)$ un espace vectoriel normé, $x,y\in E$. Démontrer que $x+\bar B(y,r)=\bar B(x+y,r)$.
Indication
Corrigé
Exercice 2 - Inégalités sur les normes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(E,\|\cdot\|)$ un espace vectoriel normé et $x,y,z,t$ des éléments de $E$. Démontrer que $$\|x-y\|+\|z-t\|\leq \|x-z\|+\|y-t\|+\|x-t\|+\|y-z\|.$$
Indication
Corrigé
Exercice 3 - Inégalités sur les normes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(E,\|\cdot\|)$ un espace vectoriel normé.
  1. Démontrer que, pour tous $x,y\in E$, on a $$\|x\|+\|y\|\leq \|x+y\|+\|x-y\|.$$ En déduire que $$\|x\|+\|y\|\leq 2\max(\|x+y\|,\|x-y\|).$$ La constante $2$ peut elle être améliorée?
  2. On suppose désormais que la norme est issue d'un produit scalaire. Démontrer que, pour tous $x,y\in E$, on a $$(\|x\|+\|y\|)^2\leq \|x+y\|^2+\|x-y\|^2.$$ En déduire que $$\|x\|+\|y\|\leq \sqrt 2\max(\|x+y\|,\|x-y\|).$$ La constante $\sqrt 2$ peut elle être améliorée?
Indication
Corrigé
Enoncé
Montrer que si deux boules $\bar B(a,r)$ et $\bar B(a',r')$ d'un espace vectoriel normé $(E,\|\cdot\|)$, $E\neq \{0\}$, sont égales, alors $a=a'$ et $r=r'$.
Indication
Corrigé
Enoncé
Soit $E$ un espace vectoriel normé. Pour $a\in E$ et $r>0$, on note $\bar B(a,r)$ la boule fermée de centre $a$ et de rayon $r$. On fixe $a,b\in E$ et $r,s>0$.
  1. On suppose que $\bar B(a,r)\subset \bar B(b,s)$. Démontrer que $\|a-b\|\leq s-r$.
  2. On suppose que $\bar B(a,r)\cap \bar B(b,s)=\varnothing$. Montrer que $\|a-b\|>r+s$.
Indication
Corrigé
Exercice 6 - Norme invariante par conjugaison [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
  1. Donner un exemple de matrice $A$ non-nulle de $\mathcal M_2(\mathbb R)$ qui soit semblable à $2A$.
  2. Existe-t-il sur $\mathcal M_n(\mathbb R)$ une norme $\|\cdot\|$ telle que, pour tout $A\in\mathcal M_n(\mathbb R)$ et pour tout $P\in GL_n(\mathbb R)$, on a $\|PAP^{-1}\|=\|A\|$?
Indication
Corrigé
Exemples de normes
Exercice 7 - CNS pour avoir une norme [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient $a_1,\dots,a_n$ des réels et $N:\mathbb R^n\to\mathbb R$ définie par $$N(x_1,\dots,x_n)=a_1|x_1|+\dots +a_n |x_n|.$$ Donner une condition nécessaire et suffisante portant sur les $a_k$ pour que $N$ soit une norme sur $\mathbb R^n$.
Indication
Corrigé
Enoncé
Soient $N_1$ et $N_2$ deux normes sur un espace vectoriel $E$. On pose $N=\max(N_1,N_2)$. Démontrer que $N$ est une norme sur $E$.
Corrigé
Exercice 9 - Condition nécessaire et suffisante pour avoir une norme [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(E,\|\cdot\|)$ un espace vectoriel normé et soit $f$ un endomorphisme de $E$. Pour $x\in E$, on pose $N(x)=\|f(x)\|$. Déterminer une condition nécessaire et suffisante portant sur $f$ pour que $N$ soit une norme sur $E$.
Indication
Corrigé
Enoncé
Soit $a,b>0$. On pose, pour tout $(x,y)\in\mathbb R^2$, $N(x,y)=\sqrt{a^2x^2+b^2y^2}$.
  1. Prouver que $N$ est une norme.
  2. Dessiner la boule de centre 0 et de rayon 1.
  3. Déterminer le plus petit nombre $p>0$ tel que $N\leq p\|.\|_2$ et le plus grand nombre $q$ tel que $q\|.\|_2\leq N$.
Indication
Corrigé
Enoncé
On définit une application sur $\mathcal M_n(\mtr)$ en posant $$N(A)=n\max_{i,j}{|a_{i,j}|}\textrm{ si }A=(a_{i,j}).$$ Vérifier que l'on définit bien une norme sur $\mathcal M_n(\mtr)$, puis qu'il s'agit d'une norme d'algèbre, c'est-à-dire que $$N(AB)\leq N(A)N(B)\textrm{ pour toutes matrices }A,B\in \mathcal M_n(\mtr).$$
Indication
Corrigé
Exercice 12 - Norme non issue d'un produit scalaire [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Montrer que, pour $n\geq 2,$ les normes $\|\cdot\|_1$ et $\|\cdot\|_\infty$ ne sont pas issues d'un produit scalaire.
Indication
Corrigé
Exercice 13 - Avec une racine carrée [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Pour tout $x=(a,b)\in\mathbb R^2$, on définit $$N(x)=\sqrt{a^2+2ab+5b^2}.$$ Démontrer que $N$ est une norme sur $\mathbb R^2$.
Indication
Corrigé
Exercice 14 - Sup sur les polynômes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $A$ une partie non vide de $\mathbb R$. Pour tout polynôme $P\in\mathbb R[X]$, on pose $$\|P\|_A=\sup_{x\in A}|P(x)|.$$ Quelles conditions $A$ doit-elle satisfaire pour que l'on obtienne une norme sur $\mathbb R[X]$?
Indication
Corrigé
Exercice 15 - Inégalités de Hölder et de Minkowski [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $x,y\in\mtr_+^*$, $p,q\in[1,+\infty[$ tels que $1/p+1/q=1$, et $a_1,\dots,a_n,b_1,\dots,b_n$ $2n$ réels strictement positifs.
  1. Montrer que $$xy\leq \frac{1}{p}x^p+\frac{1}{q}y^q.$$
  2. On suppose dans cette question que $\sum_{i=1}^n a_i^p=\sum_{i=1}^n b_i^q=1.$ Montrer que $\sum_{i=1}^n a_ib_i\leq 1$.
  3. En déduire la splendide inégalité de Hölder : $$\sum_{i=1}^n a_ib_i\leq\left(\sum_{i=1}^n a_i^p\right)^{1/p}\left(\sum_{i=1}^n b_i^q\right)^{1/q}.$$
  4. On suppose en outre que $p>1$. Déduire de l'inégalité de Hölder l'inégalité de Minkowski : $$\left(\sum_{i=1}^n (a_i+b_i)^p\right)^{1/p}\leq\left(\sum_{i=1}^na_i^p\right)^{1/p}+\left(\sum_{i=1}^n b_i^p\right)^{1/p}.$$
  5. On définit pour $x=(x_1,\dots,x_n)\in \mathbb R^n$ $$\|x\|_p=(|x_1|^p+\dots+|x_n|^p)^{1/p}.$$ Démontrer que $\|\cdot\|_p$ est une norme sur $\mathbb R^n$.
Indication
Corrigé
Normes équivalentes
Exercice 16 - Normes classiques sur les polynômes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E=\mtr[X]$ l'espace vectoriel des polynômes. On définit sur $E$ trois normes par, si $P=\sum_{i=0}^p a_iX^i$ : $$N_1(P)=\sum_{i=0}^p |a_i|,\ N_2(P)=\left(\sum_{i=0}^p |a_i|^2\right)^{1/2},\ N_\infty(P)=\max_i |a_i|.$$ Vérifier qu'il s'agit de 3 normes sur $\mtr[X]$. Sont-elles équivalentes deux à deux?
Indication
Corrigé
Exercice 17 - Normes classiques sur les fonctions continues [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E=\mathcal C([0,1],\mathbb R)$. On définit les normes $\|\cdot\|_1$, $\|\cdot\|_2$ et $\|\cdot\|_\infty$ par $$\|f\|_1=\int_0^1|f(t)|dt,\ \|f\|_2=\left(\int_0^1|f(t)|^2dt\right)^{1/2}\textrm{ et }\|f\|_\infty=\sup_{x\in [0,1]}|f(x)|.$$ Démontrer que ces trois normes ne sont pas équivalentes deux à deux.
Indication
Corrigé
Exercice 18 - Un exemple simple de deux normes équivalentes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E=\mathcal C^1([0,1],\mathbb R)$ et $N_1,$ $N_2$ les applications de $E$ dans $\mathbb R$ définies respectivement, pour tout $f\in E,$ par \begin{align*} N_1(f)&=|f(0)|+2\int_0^1 |f'(t)|dt\\ N_2(f)&=2|f(0)|+\int_0^1 |f'(t)|dt. \end{align*} Démontrer que $N_1$ et $N_2$ sont deux normes sur $E$, puis qu'elles sont équivalentes.
Corrigé
Enoncé
Sur $E=\mathbb R[X]$, on définit $N_1$ et $N_2$ par $$N_1( P)=\sum_{k=0}^{+\infty}|P^{(k)}(0)|\textrm{ et }N_2( P)=\sup_{t\in [-1,1]}|P(t)|.$$
  1. Démontrer que $N_1$ et $N_2$ sont deux normes sur $E$.
  2. Étudier pour chacune des deux normes la convergence de la suite $(P_n)$ définie par $P_n=\frac 1nX^n$.
  3. Les deux normes sont-elles équivalentes?
Corrigé
Exercice 20 - Deux normes équivalentes sur $\mathcal C^1$ [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E=\mathcal C^1([0,1],\mathbb R)$. On définit $$N(f)=|f(0)|+\|f'\|_\infty,\ N'(f)=\|f\|_{\infty}+\|f'\|_\infty.$$
  1. Démontrer que $N$ et $N'$ sont deux normes sur $E$.
  2. Démontrer que $N$ et $N'$ sont équivalentes.
  3. Sont-elles équivalentes à $\|\cdot\|_\infty$?
Indication
Corrigé
Exercice 21 - Normes sur les polynômes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $a\geq 0$. Pour $P\in\mathbb R[X]$, on définit $$N_a(P)=|P(a)|+\int_0^1 |P'(t)|dt.$$
  1. Démontrer que $N_a$ est une norme sur $\mathbb R[X]$.
  2. Soit $a,b\geq 0$ avec $a< b$ et $b>1$. Démontrer que $N_a$ et $N_b$ ne sont pas équivalentes.
  3. Démontrer que si $(a,b)\in [0,1]^2$, alors $N_a$ et $N_b$ sont équivalentes.
Indication
Corrigé
Exercice 22 - Norme intégrale sur les fonctions $C^1$. [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E=\mathcal C^1([0,1],\mathbb R)$. Pour $f\in E$, on pose $$N(f)=\left(f^2(0)+\int_0^1 (f'(t))^2dt\right)^{1/2}.$$
  1. Démontrer que $N$ est une norme sur $E$.
  2. Démontrer que, pour tout $f\in E$, $\|f\|_\infty\leq \sqrt 2 N(f)$.
  3. Les deux normes $N$ et $\|\cdot\|_\infty$ sont elles équivalentes?
Indication
Corrigé
Enoncé
Soit $E=\mathcal C([0,1],\mathbb R)$. Pour $f,g\in E$, on pose $N_g(f)=\|gf\|_\infty$.
  1. Donner une condition nécessaire et suffisante sur $g$ pour que $N_g$ soit une norme.
  2. Donner une condition nécessaire et suffisante sur $g$ pour que $N_g$ soit équivalente à la norme infinie.
Indication
Corrigé
Suites dans un evn
Exercice 24 - Suites extraites et coordonnées [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Une suite $(u_n)$ de $(\mathbb R^m,\|\cdot\|_\infty)$ telle que chacune des suites composantes admet une valeur d'adhérence admet-elle une valeur d'adhérence?
Indication
Corrigé
Exercice 25 - Suites extraites - pour bien comprendre... [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(u_n)_{n\in\mathbb N}$ une suite réelle.
  1. Parmi les suites ci-dessous, trouver celles qui sont extraites d'une autre : $$(u_{2n})_{n\in\mathbb N},\ (u_{3n})_{n\in\mathbb N},\ (u_{6n})_{n\in\mathbb N},\ (u_{3.2^n})_{n\in\mathbb N},\ (u_{3.2^{n+1}})_{n\in\mathbb N}, (u_{2^n})_{n\in\mathbb N},\ (u_{2^{n+1}})_{n\in\mathbb N}.$$
  2. Soit $(u_{\varphi(n)})_{n\in\mathbb N}$ une suite extraite de $(u_n)_{n\in\mathbb N}$. Montrer que toute suite extraite de $(u_{\varphi(n)})_{n\in\mathbb N}$ est extraite de $(u_n)_{n\in\mathbb N}$.
Indication
Corrigé
Exercice 26 - Convergence des suites extraites [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(u_n)$ une suite de nombres réels.
  1. On suppose que $(u_{2n})$ et $(u_{2n+1})$ convergent vers la même limite. Prouver que $(u_n)$ est convergente.
  2. Donner un exemple de suite telle que $(u_{2n})$ converge, $(u_{2n+1})$ converge, mais $(u_{n})$ n'est pas convergente.
  3. On suppose que les suites $(u_{2n})$, $(u_{2n+1})$ et $(u_{3n})$ sont convergentes. Prouver que $(u_n)$ est convergente.
Indication
Corrigé
Exercice 27 - Suites extraites vérifiant certaines propriétes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(u_n)$ une suite de nombre réels.
  1. On suppose que $(u_n)$ est croissante et qu'elle admet une suite extraite convergente. Que dire de $(u_n)$?
  2. On suppose que $(u_n)$ est croissante et qu'elle admet une suite extraite majorée. Que dire de $(u_n)$?
  3. On suppose que $(u_n)$ n'est pas majorée. Montrer qu'elle admet une suite extraite qui diverge vers $+\infty$.
Indication
Corrigé
Exercice 28 - Exemples de valeurs d'adhérence [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
  1. Quelles sont les valeurs d'adhérence de la suite $(-1)^n$? de la suite $\cos(n\pi/3)$?
  2. Donner un exemple de suite qui ne converge pas et qui possède une unique valeur d'adhérence.
Indication
Corrigé
Enoncé
Soit $(u_n)$ une suite bornée de nombre réels. Pour tout $n\in\mathbb N$, on pose $$x_n=\inf\{u_p;\ p\geq n\}\textrm{ et }y_n=\sup\{u_p;\ p\geq n\}.$$
  1. Pourquoi les suites $(x_n)$ et $(y_n)$ sont-elles bien définies?
  2. Déterminer les suites $(x_n)$ et $(y_n)$ dans les cas suivants : $$\mathbf a.\ u_n=(-1)^n\quad \mathbf b.\ u_n=1-\frac1{n+1}.$$
  3. Démontrer que $(x_n)$ est croissante, que $(y_n)$ est décroissante. En déduire que ces deux suites sont convergentes. On notera $\alpha=\lim_{n\to+\infty} x_n$ et $\beta=\lim_{n\to+\infty}y_n$.
  4. Démontrer que $\alpha\leq \beta$.
  5. Démontrer que si $\alpha=\beta$, alors la suite $(u_n)$ converge.
  6. Démontrer que si $(u_n)$ admet une sous-suite convergeant vers un réel $\ell$, alors $\alpha\leq \ell\leq \beta$.
  7. Démontrer que, pour tout $\veps>0$ et pour tout $n\in\mathbb N$, il existe $p\geq n$ tel que $$y_n-\veps\leq u_p\leq y_n.$$
  8. Démontrer que, pour tout $\veps>0$ et pour tout $p_0\in\mathbb N$, il existe $p\geq p_0$ tel que $$\beta-2\veps\leq u_p\leq \beta+2\veps.$$
  9. En déduire qu'il existe une sous-suite de $(u_n)$ qui converge vers $\beta$.
  10. Quel théorème vient-on de redémontrer?
Indication
Corrigé
Exercice 30 - Suite de rationnels convergeant vers un irrationnel [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
  1. Montrer qu'une suite $(u_n)$ de réels ne tend pas vers $+\infty$ si et seulement si on peut en extraire une suite majorée.
  2. Montrer que, de toute suite $(q_n)$ d'entiers naturels qui ne tend pas vers $+\infty$, on peut extraire une suite constante.
  3. Soit $x$ un irrationnel et $(r_n)$ une suite de rationnels convergeant vers $x$. Pour tout entier $n$, on écrit $r_n=\frac{p_n}{q_n}$ avec $p_n\in\mathbb Z$ et $q_n\in\mathbb N^*$. Démontrer que $(q_n)$ tend vers $+\infty$.
Indication
Corrigé
Enoncé
Une suite $(u_n)$ de nombre réels est appelée suite de Cauchy si, pour tout $\veps>0$, il existe un entier $N$ tel que, pour tout $p,q\geq N$, on a $$|u_p-u_q|<\veps.$$
  1. Montrer que toute suite convergente est une suite de Cauchy.
  2. On souhaite prouver la réciproque à la question précédente. Soit $(u_n)$ une suite de Cauchy.
    1. Montrer que $(u_n)$ est bornée.
    2. On suppose que $(u_n)$ admet une suite extraite convergente. Montrer que $(u_n)$ est convergente.
    3. Conclure.
Indication
Corrigé
Exercice 32 - Valeurs d'adhérence d'une suite dont les différences tendent vers zéro [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
  1. Soit $u$ une suite réelle telle que $\lim_{n\to+\infty}u_{n+1}-u_n=0$. Démontrer que l'ensemble $\textrm{Vad}(u)$ des valeurs d'adhérence de $u$ est un intervalle.
  2. Application : soit $f$ une fonction continue $f:[a,b]\to [a,b]$ et $u$ une suite définie par $u_0\in [a,b]$ et $u_{n+1}=f(u_n)$. Démontrer que $(u_n)$ converge si et seulement si $\lim_{n\to+\infty}(u_{n+1}-u_n)=0$.
Indication
Corrigé
Exercice 33 - Valeurs d'adhérence de la suite $\cos(n)$ [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Pour cet exercice, on rappelle que $\mathbb Z+2\pi\mathbb Z$ est dense dans $\mathbb R$. On fixe $a\in ]-1,1]$ et $\veps>0$ tel que $a-\veps\geq -1$.
  1. Démontrer qu'il existe au moins un entier $n\geq 0$ tel que $\cos(n)\in ]a-\veps,a[$.
  2. En déduire qu'il existe une infinité d'entiers $n\geq 0$ tels que $\cos(n)\in ]a-\veps,a[$.
  3. Quel est l'ensemble des valeurs d'adhérence de la suite $(\cos (n))$?
Indication
Corrigé