\documentclass[11pt]{article} % Packages gestion des caractères, du français et de la mise en page \usepackage[french]{babel} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \renewcommand{\FrenchLabelItem}{\textbullet} \setlength{\parindent}{0pt} % Packages maths \usepackage{mathtools} \usepackage{amsthm} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{stmaryrd} % Packages mise en page \usepackage{comment} \usepackage{enumitem} \usepackage[margin=2.5cm]{geometry} \usepackage{multicol} \usepackage[pdftex,pdfborder={0 0 0},linktoc=all]{hyperref} \usepackage{pdfpages} \usepackage{tabularx} % Packages graphiques \usepackage{subfig} \usepackage{pgf,tikz} \usetikzlibrary{arrows} \usetikzlibrary{cd} \usetikzlibrary{graphs} \usepackage[figurename=Figure]{caption} % Nouveaux environnements \theoremstyle{plain} \newtheorem{thm}{Théorème} \newtheorem{cor}[thm]{Corollaire} \newtheorem{lem}[thm]{Lemme} \newtheorem{prop}[thm]{Proposition} \theoremstyle{definition} \newtheorem{dfn}[thm]{Définition} \newtheorem{ntn}[thm]{Notation} \newtheorem{exo}[thm]{Exercice} \theoremstyle{remark} \newtheorem*{hint}{Indication} \newtheorem*{rem}{Remarque} \newtheorem{ex}[thm]{Exemple} % Commandes et opérateurs utiles \newcommand{\C}{\mathbb{C}} \newcommand{\N}{\mathbb{N}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \renewcommand{\S}{\mathbb{S}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\cC}{\mathcal{C}} \newcommand{\cL}{\mathcal{L}} \newcommand{\cO}{\mathcal{O}} \newcommand{\cP}{\mathcal{P}} \newcommand{\cV}{\mathcal{V}} \newcommand{\BL}{\textbf{(BL)}} \newcommand{\BW}{\textbf{(BW)}} \renewcommand{\bar}{\overline} \renewcommand{\epsilon}{\varepsilon} \renewcommand{\geq}{\geqslant} \renewcommand{\leq}{\leqslant} \renewcommand{\tilde}{\widetilde} \renewcommand{\hat}{\widehat} \newcommand{\dx}{\dmesure\!} \newcommand{\mvert}{\mathrel{}\middle|\mathrel{}} \newcommand{\one}{\mathbf{1}} \DeclareMathOperator{\dmesure}{d} \DeclareMathOperator{\ev}{ev} \DeclareMathOperator{\Id}{Id} \DeclareMathOperator{\Inv}{Inv} \DeclareMathOperator{\Iso}{Iso} \DeclareMathOperator{\vect}{Vect} \DeclarePairedDelimiter{\ang}{\langle}{\rangle} \DeclarePairedDelimiter{\brackets}{\{}{\}} \DeclarePairedDelimiter{\ceil}{\lceil}{\rceil} \DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor} \DeclarePairedDelimiter{\norm}{\lvert}{\rvert} \DeclarePairedDelimiter{\Norm}{\lVert}{\rVert} \DeclarePairedDelimiter{\parentheses}{(}{)} \DeclarePairedDelimiterX{\prsc}[2]{\langle}{\rangle}{#1\,, #2} \DeclarePairedDelimiter{\squarebrackets}{[}{]} \DeclarePairedDelimiterX{\ssquarebrackets}[2]{\llbracket}{\rrbracket}{#1,#2} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Gestion de l'affichage des solutions avec le package comment % Nouveaux compteurs pour avoir une numérotation des équations indépendante dans les solutions \newcounter{aux} \newcounter{soleq} % Définition d'un environnement sol qui peut être commenté à loisir ci-dessous % La numération des équations est indépendantes et en chiffres romains dans les solutions \specialcomment{sol}{ \setcounter{aux}{\value{equation}} \setcounter{equation}{\value{soleq}} \renewcommand{\theequation}{\roman{equation}} \par\begingroup\color{violet} } { \endgroup \setcounter{soleq}{\value{equation}} \setcounter{equation}{\value{aux}} \renewcommand{\theequation}{\arabic{equation}} } % Le contenu des environnements sol est visible par défaut, décommenter la ligne suivante le cache %\excludecomment{sol} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Informations du document \author{Thomas Letendre} \date{Prépa Agreg -- Automne 2024} \title{Exercices de Topologie} \begin{document} \maketitle \begin{exo}[Propriété de la borne inférieure] \label{exo: borne inf} Montrer que $\R$ satisfait la propriété de la borne inférieure: toute partie non-vide et minorée admet une \emph{borne inférieure}, i.e.~un plus grand minorant. \begin{sol} Soit $A \subset \R$ une partie non-vide et minorée. Alors $-A = \brackets*{-a \mvert a \in A}$ est une partie non-vide de $\R$ et majorée. Par construction de $\R$, la partie $-A$ admet une borne supérieure $s$. Pour tout $a \in A$ on a $-a \leq s$ et donc $-s \leq a$. Donc $-s$ minore $A$. Soit $m$ un minorant de $A$, alors $-m$ est un majorant de $-A$ et donc $s \leq -m$. Donc $m \leq -s$. Donc $-s$ est le plus grand minorant de $A$. Ainsi $\R$ a bien propriété de la borne inférieure. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Densité des rationnels] \label{exo: densite Q} \begin{enumerate} \item Montrer que $\R$ est \emph{archimédien}: $\forall x \in \R$, $\exists n \in \N$, $x \leq n$. \begin{sol} Par l'absurde, si c'était faux il existerait $x \in \R$ tel que $\forall n \in \N$, $n < x$. Donc $\N$ serait une partie non-vide et majorée de $\R$, donc admettrait une borne supérieure $s \in \R$. Pour tout $n \in \N$, comme $n+1 \in \N$ on aurait $n+1 \leq s$ et donc $n \leq s-1$. Donc $s-1$ majorerait~$\N$, contredisant la définition de $s$. \end{sol} \item Soient $x,y \in \R$ tels que $x < y$. Montrer qu'il existe $q \in \N^*$ tel que $\frac{1}{q} < y-x$. \begin{sol} Comme $y-x >0$, il existe $q \in \N^*$ tel que $\frac{2}{y-x}\leq q$, c'est-à-dire $\frac{1}{q} \leq \frac{y-x}{2} < y-x$. \end{sol} \item Montrer que $I=\brackets*{k \in \Z \mvert \frac{k}{q}< y}$ admet un maximum. \begin{sol} Comme $I$ est un ensemble d'entiers, il suffit de montrer qu'il est non-vide et majoré. Il existe $n \in \N$ tel que $n \geq -qy$. Alors $n+1 > -qy$, donc $-\frac{n+1}{q}0$ tel que $\gamma_z < \min(\alpha-d(x,z),\beta-d(y,z))$. Par l'inégalité triangulaire, on a $B(z,\gamma_z) \subset B(x,\alpha)$, et de même $B(z,\gamma_z) \subset B(y,\beta)$. Donc $B(x,\alpha) \cap B(y,\beta) = \bigcup_{z \in B(x,\alpha) \cap B(y,\beta)} B(z,\gamma_z) \in \cO$. \end{itemize} \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Topologie et distances équivalentes] \label{exo: distances équivalentes} Soient deux distances $d_1$ et $d_2$ sur $X$, on suppose qu'elles sont \emph{équivalentes}, c'est-à-dire qu'il existe $\alpha$ et $\beta$ strictement positifs tels que: \begin{equation*} \forall x,y \in X, \qquad \alpha d_1(x,y) \leq d_2(x,y) \leq \beta d_1(x,y). \end{equation*} Pour tout $x \in X$ et $R >0$, on note $B_i(x,R)$ la boule ouverte centrée en $x$ de rayon $R$ pour $d_i$. On note aussi $\cO_i$ la topologie métrique sur $X$ associée à $d_i$. \begin{enumerate} \item Montrer que les boules ouvertes pour $d_2$ (resp.~$d_1$) sont ouvertes pour $\cO_1$ (resp.~$\cO_2$). \begin{sol} Soient $x \in X$ et $R >0$, on veut montrer que $B_2(x,R)$ est ouverte pour $\cO_1$. Soient $y \in B_2(x,R)$ et $\gamma>0$ tel que $\gamma < \frac{1}{\beta}(R-d_2(x,y))$. Pour tout $z \in B_1(y,\gamma)$, on a \begin{equation*} d_2(x,z) \leq d_2(x,y) + d_2(y,z) \leq d_2(x,y) + \beta d_1(y,z) \leq d_2(x,y) + \beta\gamma 0$, on a $B_1(x,R) = ]x-R,x+R[$. Réciproquement, si $a0$. Soit $y \in B_2(x,R)$, on a $\norm{\arctan(y)-\arctan(x)}0$ tel que pour tout $n \in \N$ \begin{equation*} n = d_1(0,n) \leq \frac{1}{\alpha} d_2(0,n) \leq \frac{1}{\alpha} \arctan(n) \leq \frac{\pi}{2\alpha}. \end{equation*} \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Stabilité de l'ensemble des voisinages] \label{exo: voisinages} Soient $\parentheses*{X,\cO}$ un espace topologique. Soient $A,B \subset X$ et $x \in X$. \begin{enumerate} \item Si $A \in \cV(x)$ et $A \subset B$, montrer que $B \in \cV(x)$. \begin{sol} Il existe un ouvert $U$ de $X$ tel que $x \in U \subset A$. Donc $x \in U \subset B$ et $B \in \cV(x)$. \end{sol} \item Si $A,B \in \cV(x)$, montrer que $A \cap B \in \cV(x)$. \begin{sol} Il existe $U$ et $V$ ouverts tels que $x \in U \subset A$ et $x \in V \subset B$. Alors $x \in U \cap V \subset A \cap B$ et $U \cap V$ est ouvert. Donc $A \cap B \in \cV(x)$.` \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Boules, adhérence et intérieur] \label{exo: boules} \begin{enumerate} \item Soit $(E,\Norm{\cdot})$ un espace vectoriel normé. Soient $x \in E$ et $R>0$, montrer que $\mathring{B_F(x,R)}=B(x,R)$ et $\bar{B(x,R)}=B_F(x,R)$. \begin{sol} On a $B(x,R)$ ouvert inclus dans $B_F(0,R)$, donc $B(x,R) \subset \mathring{B_F(x,R)}$. Soit $y \in \mathring{B_F(x,R)}$, il existe $\epsilon>0$ tel que $B(y,2\epsilon) \subset \mathring{B_F(x,R)} \subset B_F(x,R)$. Si $y \notin B(x,R)$, alors $\Norm{y-x}=R$. Posons $z= y + \frac{\epsilon}{R}(y-x)$ (faire un dessin). On a $\Norm{z-y} = \frac{\epsilon}{R}\Norm{y-x}=\epsilon$ donc $z \in B(x,2\epsilon)$. Cependant $\Norm{z-x}=(1+\frac{\epsilon}{R})\Norm{y-x}=R+\epsilon$ donc $z \notin B_F(x,R)$. Contradiction, donc $y \in B(x,R)$. D'où $\mathring{B_F(x,R)} \subset B(x,R)$ et l'égalité. On a $B_F(x,R)$ fermé contenant dans $B(0,R)$, donc $\bar{B(x,R)} \subset B_F(x,R)$. Soit $y \in B_F(x,R)$, pour tout $n \in \N^*$ on pose $y_n = x + (1-\frac{1}{n})(y-x)$ (faire un dessin). On a $y_n \xrightarrow[n \to +\infty]{}y$ et $y_n \in B(x,R)$ pour tout $n \in \N^*$. Donc $y \in \bar{B(x,R)}$. D'où $B_F(x,R) \subset \bar{B(x,R)}$ et l'égalité. \end{sol} \item Les relations précédentes sont-elles valables en général dans un espace métrique? \begin{sol} Soit $X$ un ensemble de cardinal au moins $2$ et $d$ la distance discrète sur $X$. Soit $x \in X$, on a $B(x,1) = \brackets{x}$ et $B_F(x,1)=X$. Comme toute partie de $X$ est ouverte et fermée pour la topologie discrète, on a: \begin{equation*} \mathring{B_F(x,1)} = B_F(x,1) = X \neq \brackets{x} = B(x,1) = \bar{B(x,1)}. \end{equation*} Donc, en général, $\mathring{B_F(x,1)} \neq B(x,1)$ et $\bar{B(x,1)}\neq B_F(x,1)$. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Ouvert rencontrant l'adhérence] \label{exo: ouvert rencontrant adh} Soit $A$ une partie d'un espace topologique $X$. Soit $U$ un ouvert de $X$, montrer que $U \cap A \neq \emptyset \iff U \cap \bar{A} \neq \emptyset$. \begin{sol} On a $A \subset \bar{A}$ donc $U \cap A \subset U \cap \bar{A}$, ce qui prouve le sens direct. Pour le sens réciproque, si $A \cap U = \emptyset$ alors $A$ est contenu dans le fermé $X \setminus U$, donc $\bar{A}$ aussi. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % %\begin{exo}[Lemme de Riemann--Lebesgue] %On rappelle que pour tout $f \in L^1(\R)$, la transformée de Fourier $\hat{f}:\xi \mapsto \int_\R f(x)e^{-i x \xi} \dx x$ est bien définie. On note $\cC^1_c(\R)$ l'espace des fonctions $\cC^1$ de $\R$ dans $\R$ à support compact. % %\begin{enumerate} % %\item Soit $f \in \cC^1_c(\R)$, montrer que $\hat{f}(\xi) \xrightarrow[\xi \to +\infty]{}0$. % %\begin{sol} % %Il existe $M>0$ tel que $f$ soit nulle hors de $]-M,M[$. Pour tout $\xi>0$ on a %\begin{align*} %\norm*{\hat{f}(\xi)} &= \norm*{\int_{-M}^M f(x) e^{-ix \xi}\dx x} = \norm*{\squarebrackets*{f(x)\frac{e^{-ix \xi}}{-i \xi}}_{-M}^M + \frac{1}{i\xi} \int_{-M}^M f'(x)e^{-ix \xi} \dx x} \leq \frac{1}{\xi} \int_{-M}^M \norm{f'(x)}\dx x.\\ %&\leq \frac{\Norm{f'}_1}{\xi} \xrightarrow[\xi \to +\infty]{}0. %\end{align*} % %\end{sol} % %\item Montrer que $\hat{f}(\xi) \xrightarrow[\xi \to +\infty]{}0$ pour tout $f \in L^1(\R)$. % %\begin{sol} % %Soit $f \in L^1(\R)$. Pour tout $g \in \cC^1_c(\R)$ et $\xi \in \R$ on a: %\begin{equation*} %\norm*{\hat{f}(\xi)} \leq \norm*{\hat{f}(\xi)-\hat{g}(\xi)}+\norm*{\hat{g}(\xi)} \leq \norm*{\int_\R (f(x)-g(x))e^{-ix\xi}\dx x}+\norm*{\hat{g}(\xi)}\leq \Norm{f-g}_1 + \norm*{\hat{g}(\xi)}. %\end{equation*} % %Soit $\epsilon>0$, comme $\cC^1_c(\R)$ est dense dans $L^1(\R)$, il existe $g \in \cC^1_c(\R)$ tel que $\Norm{f-g}_1 <\epsilon$. La question précédente montre que pour ce $g$ on a $\norm{\hat{g}(\xi)}<\epsilon$ pour tout $\xi$ assez grand. Donc $\norm{\hat{f}(\xi)}<2\epsilon$ pour tout $\xi$ assez grand. % %\end{sol} % %\end{enumerate} % %\end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Ensemble des valeurs d'adhérences] \label{exo: valeurs adherence} Soit $(x_n)_{n \in \N}$ une suite d'un espace topologique~$X$. Montrer que l'ensemble de ses valeurs d'adhérence est $\bigcap_{N \in \N} \bar{\brackets*{x_n \mvert n \geq N}}$. \begin{sol} Soit $x$ une valeur d'adhérence de la suite. Soit $V \in \cV(x)$, l'ensemble $\brackets*{n \in \N \mvert x_n \in V}$ est infini. Soit $N \in \N$, il existe $n \geq N$ tel que $x_n \in V$, i.e. $V \cap \brackets{x_n \mid n \geq N} \neq \emptyset$. Ainsi, pour tout $N \in \N$ et $V \in \cV(x)$ on a $V \cap \brackets{x_n \mid n \geq N} \neq \emptyset$. Donc $x \in \bar{\brackets{x_n \mid n \geq N}}$ pour tout $N \in \N$. Donc $x \in \bigcap_{N \in \N} \bar{\brackets*{x_n \mvert n \geq N}}$. Soit $x \in \bigcap_{N \in \N} \bar{\brackets*{x_n \mvert n \geq N}}$. Soit $V \in \cV(x)$. Pour tout $N \in \N$, comme $x \in \bar{\brackets{x_n \mid n \geq N}}$ il existe $n \geq N$ tel que $x_n \in V$. Donc $V$ contient une infinité de termes de la suite. C'est vrai pour tout voisinage de $x$, donc $x$ est valeur d'adhérence de $(x_n)_{n \in \N}$. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Intérieur et adhérence] \label{exo: interieur et adherence} Soient $X$ un espace topologique et $A \subset X$. \begin{enumerate} \item Montrer que $A$ est ouvert si et seulement si $A = \mathring{A}$. \begin{sol} Si $A = \mathring{A}$ alors il est ouvert par définition de $\mathring{A}$. Si $A$ est ouvert alors $A \subset \mathring{A} \subset A$, d'où l'égalité. \end{sol} \item Montrer que $A$ est fermé si et seulement si $A = \bar{A}$. \begin{sol} Si $A = \bar{A}$ alors il est fermé par définition de $\bar{A}$. Si $A$ est fermé alors $\bar{A} \subset A \subset \bar{A}$, d'où l'égalité. \end{sol} \item Notons $B = X \setminus A$, montrer que $\mathring{B} = X \setminus \bar{A}$ et $\bar{B} = X \setminus \mathring{A}$. \begin{sol} Soit $U$ un ouvert tel que $U \subset B =X \setminus A$. On a $U \cap A = \emptyset$ et donc $U \cap \bar{A}=\emptyset$ d'après l'exercice~\ref{exo: ouvert rencontrant adh}. Ainsi, tout ouvert contenu dans $B$ est contenu $X \setminus \bar{A}$. Donc $\mathring{B}\subset X \setminus \bar{A}$. Inversement, $X \setminus \bar{A}$ est un ouvert contenu dans $B$. Donc $X \setminus \bar{A} \subset \mathring{B}$, d'où l'égalité. En échangeant les rôles de $A$ et $B$, on obtient que $\mathring{A} = X \setminus \bar{B}$ et donc $\bar{B} = X \setminus \mathring{A}$. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Caractérisation sequentielle des fermés] \label{exo: sequentielle fermes} Soit $X$ un espace topologique et $A \subset X$. \begin{enumerate} \item Soit $(a_n)_{n \in \N}$ une suite à valeurs dans $A$ qui converge vers $x \in X$. Montrer que $x \in \bar{A}$. \begin{sol} Soit $V \in \cV(x)$. Comme $a_n \xrightarrow[n \to +\infty]{}x$, il existe $N \in \N$ tel que $\forall n \geq N$, $a_n \in V$. En particulier $A \cap V \neq \emptyset$. Donc tout voisinage de $x$ rencontre $A$, donc $x \in \bar{A}$. \end{sol} \end{enumerate} On suppose désormais que $X$ est métrique. \begin{enumerate}[resume] \item Soit $x \in \bar{A}$, montrer qu'il existe $(a_n)_{n \in \N} \in A^\N$ telle que $a_n \xrightarrow[n \to +\infty]{}x$. \begin{sol} Pour tout $n \in \N^*$, on a $A \cap B(x,\frac{1}{n}) \neq \emptyset$. On choisit donc $a_n \in A \cap B(x,\frac{1}{n})$. Soit $a_0 \in A$ quelconque. Par définition, on a $a_n \xrightarrow[n \to +\infty]{}x$. \end{sol} %\item En déduire que $A$ est fermé si et seulement si: pour toute suite $(a_n)_{n \in \N} \in A^\N$ qui converge dans $X$ on a $\lim_{n \to +\infty} a_n \in A$. % %\begin{sol} % %Si $A$ est fermé, pour tout suite convergente $(a_n)_{n \in \N}$ à valeurs dans $A$ on a $\lim a_n \in \bar{A}=A$. Inversement, supposons que toute suite convergente $(a_n)_{n \in \N}$ à valeurs dans $A$ a sa limite dans~$A$. La question précédente montre alors que $\bar{A}\subset A$. Donc $A = \bar{A}$ et $A$ est fermé. % %\end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Caractérisation séquentielle des valeurs d'adhérences] \label{exo: sequentielle va} Soient $(x_n)_{n \in \N}$ une suite à valeurs dans un espace topologique $X$ et $A$ l'ensemble de ses valeurs d'adhérence. Soit $x \in X$. \begin{enumerate} \item S'il existe une extraction $\varphi$ telle que $x_{\varphi(n)} \xrightarrow[n \to +\infty]{}x$, montrer que $x \in A$. \begin{sol} Soit $V \in \cV(x)$, il existe $N \in \N$ tel que pour tout $n \geq N$, $x_{\varphi(n)} \in V$. Donc \begin{equation*} \brackets*{\varphi(n) \mvert n \geq N} \subset \brackets*{k \in \N \mvert x_k \in V} \end{equation*} ce qui force l'ensemble de droite à être infini. Tout voisinage de $x$ contient donc une infinité de termes de la suite et donc $x$ est valeur d'adhérence. \end{sol} \end{enumerate} On suppose désormais que $X$ est métrique. \begin{enumerate}[resume] \item Si $x \in A$ est valeur d'adhérence, montrer qu'il existe une extraction $\varphi$ telle que $x_{\varphi(n)} \xrightarrow[n \to +\infty]{}x$. \begin{sol} On construit par récurrence une extraction $\varphi$ telle que $x_{\varphi(n)} \xrightarrow[n \to +\infty]{}x$. On pose $\varphi(0)=0$. Soit $n \in \N$, supposons $\varphi(n)$ construit. Comme $B(x,\frac{1}{n+1})$ est un voisinage de $x$, cette boule contient une infinité de termes de la suite. En particulier il existe $k > n$ tel que $x_k \in B(x,\frac{1}{n+1})$. On pose alors $\varphi(n+1)=k>n$. On définit bien $\varphi:\N \to \N$ strictement croissante de la sorte, et $\forall n \in \N^*$, $x_{\varphi(n)} \in B(x,\frac{1}{n})$. Donc $x_{\varphi(n)} \xrightarrow[n \to +\infty]{}x$. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %\begin{exo}[Suites monotones] %\label{exo: suites monotones} % %Montrer qu'une suite monotone de réels admet une limite. % %\begin{sol} % %Soit $(x_n)_{n \in \N}$ une suite croissante de réels. Si la suite n'est pas majorée, pour tout $M \in \R$ il existe $N\in \N$ tel que $x_N \geq M$. Alors pour tout $n \geq N$ on a $x_n \geq x_N \geq M$. Donc $x_n \xrightarrow[n \to +\infty]{}+\infty$. % %Si la suite est majorée, soit $\ell = \sup \brackets{x_n \mid n \in \N}$, qui existe bien par construction de $\R$. Pour tout $\epsilon >0$ il existe $N \in \N$ tel que $\ell-\epsilon \leq x_N \leq \ell$. Alors pour tout $n \geq N$ on a $\ell-\epsilon \leq x_N \leq x_n \leq \ell$. Donc $x_n \xrightarrow[n \to +\infty]{} \ell$. % %Symétriquement, si $(x_n)_{n \in \N}$ est décroissante, alors $x_n \xrightarrow[n \to +\infty]{}-\infty$ si elle n'est pas minorée. Si elle minorée, elle converge vers $\inf \brackets{x_n \mid n \in \N}$. %\end{sol} % %\end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Liminf et limsup] \label{exo: liminf et limsup} Soit $(x_n)_{n \in \N}$ une suite minorée à valeurs dans $\R$. \begin{enumerate} \item Soit $n \in \N$, montrer que $i_n = \inf_{k \geq n} x_k$ est un réel bien défini. \begin{sol} L'ensemble $\brackets{x_k \mid k \geq n}$ est non-vide et minoré. Il admet donc une borne inférieure dans $\R$, qui est $i_n$. \end{sol} \item Montrer que $(i_n)_{n \in \N}$ admet une limite dans $\R \cup \brackets{+\infty}$. La limite de $(i_n)_{n \in \N}$ est appelée la \emph{limite inférieure} de $(x_n)_{n \in \N}$ et est notée $\liminf_{n \to +\infty} x_n$. \begin{sol} Pour tout $n \in \N$, $i_{n+1} = \inf \brackets{x_k \mid k \geq n+1} \geq \inf \brackets{x_k \mid k \geq n}=i_n$. Donc $(i_n)_{n \in \N}$ est une suite croissante de réels, et donc elle admet une limite dans $\R$ ou diverge vers $+\infty$. \end{sol} \item Montrer que $x_n \xrightarrow[n \to +\infty]{}+\infty$ si et seulement si $\liminf_{n \to +\infty} x_n = +\infty$. \begin{sol} Supposons que $x_n \xrightarrow[n \to +\infty]{}+\infty$. Soit $M \geq 0$, il existe $N \in \N$ tel que pour tout $n \geq N$, $x_n \geq M$. Alors pour tout $n \geq N$ on a $i_n \geq M$. Donc $i_n \xrightarrow[n \to +\infty]{}+\infty$. Inversement, pour tout $n \in \N$ on a $i_n \leq x_n$, donc si $i_n \xrightarrow[n \to +\infty]{}+\infty$ alors $x_n \xrightarrow[n \to +\infty]{}+\infty$. \end{sol} \item Si $\liminf_{n \to +\infty} x_n \in \R$, montrer que c'est la plus petite valeur d'adhérence de $(x_n)_{n \in \N}$. \begin{sol} Supposons que $\ell = \liminf_{n \to +\infty} x_n \in \R$. Soit $\epsilon >0$, il existe $N \in \N$ tel que pour tout $n \in \N$, $\ell-\epsilon \leq i_n \leq \ell$. Soit $n \geq N$, il existe $m \geq n$ tel que $\ell-\epsilon < i_n = \inf_{k \geq n}x_k \leq x_m < i_n+\epsilon <\ell +\epsilon$. Donc pour tout $n \geq N$, il existe $m \geq n$ tel que $x_m \in ]\ell-\epsilon,\ell+\epsilon[$. Donc, pour tout $\epsilon >0$, l'intervalle $]\ell-\epsilon,\ell+\epsilon[$ contient une infinité de valeurs de la suite, donc est une valeur d'adhérence. Si $a < \ell$, soit $\epsilon = \frac{\ell-a}{2}>0$. Pour tout $n$ assez grand on a $a + \epsilon < i_n \leq x_n$. Donc $]a-\epsilon,a+\epsilon[$ contient au plus un nombre fini de valeurs de la suite, et $a$ n'est pas valeur d'adhérence. Donc $\ell$ est bien la plus petite valeur d'adhérence de $(x_n)_{n \in \N}$. \begin{rem} Si $(x_n)_{n \in \N}$ a une valeur d'adhérence dans $\R$, alors cette suite ne diverge pas vers $+\infty$ et $\liminf_{n \in \N} x_n \in \R$. \end{rem} \end{sol} \end{enumerate} Symétriquement, si $(x_n)_{n \in \N}$ est majorée alors $s_n = \sup_{k \geq n} x_k$ est bien défini pour tout $n \in \N$. La suite $(s_n)_{n \in \N}$ converge dans $\R \cup \brackets{-\infty}$ vers une quantité appelée la \emph{limite supérieure} de $(x_n)_{n \in \N}$ et notée $\limsup_{n \to +\infty} x_n$. On a $\limsup_{n \to +\infty}=-\infty$ si et seulement si $x_n \xrightarrow[n \to +\infty]{}-\infty$, et dans l'alternative $\limsup_{n \to +\infty} x_n$ est la plus grande valeur d'adhérence de $(x_n)_{n \in \N}$. \begin{enumerate}[resume] \item Soit $(x_n)_{n \in \N}$ une suite réelle. Montrer que $\liminf_{n \to +\infty} x_n = \limsup_{n \to +\infty} x_n$ si et seulement si $(x_n)_{n \in \N}$ converge. Dans ce cas, vérifier que $\liminf_{n \to +\infty} x_n = \limsup_{n \to +\infty} x_n = \lim_{n \to +\infty} x_n$. \begin{sol} Si $(x_n)_{n \in \N}$ converge vers $\ell \in \R$, alors elle est bornée. Donc $\liminf_{n \to +\infty} x_n$ et $\limsup_{n \to +\infty} x_n$ sont bien définies et réelles. Dans ce cas, $\ell$ est la seule valeur d'adhérence de la suite, d'où $\liminf_{n \to +\infty} x_n = \limsup_{n \to +\infty} x_n = \lim_{n \to +\infty} x_n$. Inversement, si $\liminf_{n \to +\infty} x_n = \limsup_{n \to +\infty} x_n = \ell$. Il existe $n \in \N$ tel que \begin{equation*} \ell-1 \leq \inf_{k \geq n}x_k \leq \sup_{k \geq n} x_k \leq \ell+1, \end{equation*} donc la suite est bornée. De plus $\ell$ est l'unique valeur d'adhérence de $(x_n)_{n \in \N}$; c'est à la fois la plus petite et la plus grande. Donc $(x_n)_{n \in \N}$ est à valeurs dans le compact $[\ell-1,\ell+1]$ et admet une unique valeur d'adhérence. Elle converge donc vers cette valeur d'adhérence. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Continuité entre métriques] \label{exo: C0 metriques} Soit $f:X \to Y$ une applications entre deux métriques. Montrer que $f$ est continue si et seulement si l'image réciproque de toute boule ouverte est ouverte. \begin{sol} Par définition, $f$ est continue si et seulement si pour tout ouvert $U$ de $Y$ on a $f^{-1}(U)$ ouvert dans~$X$. Si $f$ est continue, on peut en particulier appliquer cela aux boules ouvertes de $Y$, qui sont ouvertes. Supposons que pour toute boule ouverte $B \subset Y$ on a $f^{-1}(B)$ ouvert dans $X$. Soit $U$ un ouvert quelconque de $Y$. Par définition de la topologie métrique, il existe un ensemble $I$ et des boules ouvertes $(B_i)_{i \in I}$ tels que $U = \bigcup_{i \in I} B_i$. Donc $f^{-1}(U) = \bigcup_{i \in I} f^{-1}(B_i)$ est réunion d'ouverts de $X$, donc est ouvert. Donc $f$ est continue. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo} \label{exo: C0 bijective} Donner un exemple d'application continue bijective qui n'est pas un homéomorphisme. \begin{sol} On considère $f: [0,1[ \to \S^1 = \brackets{z \in \C \mid \norm{z}=1}$ définie par $f:t \mapsto e^{2i\pi t}$. Elle est continue, car on a défini $\exp$ par une série entière de rayon de convergence infini. Elle est aussi bijective, car on a défini $\pi$ pour que ce soit le cas! On a $x_n:=f(1-\frac{1}{n}) =e^{-\frac{2i\pi}{n}}\xrightarrow[n \to +\infty]{}1$ dans $\C$ (par continuité en $0$ de $\exp$) donc dans $\S^1$ pour la topologie induite. Si $f^{-1}:\S^1 \to [0,1[$ était continue, on aurait $1 - \frac{1}{n} =f^{-1}(x_n) \xrightarrow[n \to +\infty]{} f^{-1}(1)= 0$ dans $[0,1[$, ce qui est absurde. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Continuité et topologie induite] \label{exo: topo induite} Soit $f:X \to Y$ continue entre espaces topologiques. On suppose $f$ à valeurs dans $Z \subset Y$. Montrer que $f:X \to Z$ est continue pour la topologie induite. \begin{sol} Soit $O$ un ouvert de $Z$. Il existe $U$ ouvert de $Y$ tel que $O =Z \cap U$. Comme $f(X) \subset Z$, on a $f^{-1}(O)=f^{-1}(U)$. Cet ensemble est ouvert de $X$ par continuité de $f$ (vue à valeurs dans $Y$). Donc $f$ est continue (vue à valeurs dans $Z$). Tout va bien! \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Produit dénombrable d'espaces métriques] \label{exo: espace produit} Soient $\parentheses*{(X_i,d_i)}_{i \in \N}$ une famille d'espaces métriques et $X = \prod_{i \in \N} X_i$. On note $x=(x^{(i)})_{i \in \N}$ un élément générique de $X$, et on définit l'application $d:\parentheses*{x,y} \mapsto \sum_{i \in \N} \frac{1}{2^i} \min\parentheses*{1,d_i(x^{(i)},y^{(i)})}$. \begin{enumerate} \item Montrer que $d$ définit une distance sur $X$. \begin{sol} Soient $x$ et $y \in X$. Pour tout $i \in \N$ on a $0 \leq \frac{1}{2^i} \min\parentheses*{1,d_i(x^{(i)},y^{(i)})} \leq \frac{1}{2^i}$. Donc la série définissant $d(x,y)$ est convergente. Donc $d:X \times X \to [0,+\infty[$ est bien définie. Comme la série est à termes positifs, $d(x,y) =0 \iff \forall i \in \N, d_i(x^{(i)},y^{(i)})=0 \iff x=y$. La symétrie est immédiate. Enfin, soient $x,y,z \in X$, pour tout $i \in \N$ on a \begin{equation*} d_i(x^{(i)},y^{(i)}) \leq d_i(x^{(i)},z^{(i)})+d_i(z^{(i)},y^{(i)}), \end{equation*} donc, en testant les quatre cas possibles pour le terme de droite on obtient: \begin{equation*} \min\parentheses*{1, d_i(x^{(i)},y^{(i)})} \leq \min\parentheses*{1, d_i(x^{(i)},z^{(i)})}+\min\parentheses*{1, d_i(z^{(i)},y^{(i)})}. \end{equation*} Donc $d(x,y) \leq d(x,z)+d(z,y)$. \end{sol} \item Soient $\ell \in X$ et $(x_n)_{n \in \N}$ une suite à valeurs dans $X$. Montrer que $x_n \xrightarrow[n \to +\infty]{}\ell$ dans $(X,d)$ si et seulement si: pour tout $i \in \N$, $x_n^{(i)} \xrightarrow[n \to +\infty]{}\ell^{(i)}$ dans $(X_i,d_i)$. \begin{sol} Supposons que $x_n \xrightarrow[n \to +\infty]{}\ell$ dans $(X,d)$. Soit $i \in \N$, on a \begin{equation*} \min\parentheses*{1, d_i(x_n^{(i)},\ell^{(i)})} \leq 2^i d(x_n,\ell) \xrightarrow[n \to +\infty]{}0. \end{equation*} Donc ce minimum est plus petit que $1$ pour $n$ assez grand, et $d_i(x_n^{(i)},\ell^{(i)}) \xrightarrow[n \to +\infty]{}0$. Donc $x_n^{(i)} \xrightarrow[n \to +\infty]{}\ell^{(i)}$ dans $(X_i,d_i)$ pour tout $i \in \N$. Inversement, supposons que $x_n^{(i)} \xrightarrow[n \to +\infty]{}\ell^{(i)}$ dans $(X_i,d_i)$ pour tout $i \in \N$. Soit $\epsilon>0$, il existe $j \in \N$ tel que $\sum_{i>j}\frac{1}{2^i}<\epsilon$. Pour tout $i \in \ssquarebrackets{0}{j}$, on a $x_n^{(i)} \xrightarrow[n \to +\infty]{}\ell^{(i)}$, donc il existe $N \in \N$ tel que pour tout $i \in \ssquarebrackets{0}{j}$ et tout $n \geq N$, $d_i(x_n^{(i)},\ell^{(i)}) \leq \epsilon$. Ici on a besoin de se ramener à considérer un nombre fini de composantes. Alors, pour tout $n \geq N$, \begin{equation*} d(x_n,\ell) = \sum_{i \in \N} \frac{1}{2^i} \min\parentheses*{1,d_i(x_n^{(i)},\ell^{(i)})} \leq \sum_{i =0}^j \frac{1}{2^i} d_i(x_n^{(i)},\ell^{(i)})+ \sum_{i >j}\frac{1}{2^i} \leq \epsilon\parentheses*{\sum_{i =0}^j \frac{1}{2^i}} + \epsilon\leq 3\epsilon. \end{equation*} Donc $x_n \xrightarrow[n \to +\infty]{}\ell$ dans $(X,d)$. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Un exemple de compact] \label{exo: ex compact} Soit $X$ un espace séparé (par exemple métrique). Soit $(x_n)_{n \in \N}$ une suite de $X$ qui converge vers $x \in X$. Montrer que $K = \brackets{x_n \mid n \in \N} \cup \brackets{x}$ est compact. \begin{sol} Comme $K$ est une partie d'un espace séparé, il suffit de vérifier qu'il satisfait la propriété \BL. Soit $(U_i)_{i \in I}$ une famille d'ouverts de $X$ qui recouvre $K$. Il existe $j \in I$ tel que $x \in U_j$. Alors $U_j$ et un voisinage de $x$, donc il existe $N \in \N$ tel que: $\forall n >N$, $x_n \in U_j$. Pour tout $n \in \ssquarebrackets{0}{N}$, il existe $i_n \in I$ tel que $x_n \in U_{i_n}$. Donc $K \subset U_j \cup \bigcup_{n=0}^N U_{i_n}$. Donc tout recouvrement ouvert de $K$ admet un sous-recouvrement fini. Donc $K$ est bien compact. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Compacts discrets] \label{exo: compacts discrets} Soit $X$ un espace compact et discret, montrer que $X$ est fini. \begin{sol} Comme $X$ est discret, pour tout $x \in X$ on a $\brackets{x}$ ouvert. Donc $X = \bigcup_{x \in X} \brackets{x}$ est un recouvrement ouvert de $X$. On peut donc en extraire un sous-recouvrement fini. Hors, si on supprime l'un des ouverts, on ne recouvre plus $X$. Le recouvrement de départ est donc fini. Donc $X$ est fini. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Compacts et convergence] \label{exo: compacts et convergence} Soit $(x_n)_{n \in \N}$ une suite à valeurs dans un compact~$X$. Montrer que cette suite converge si et seulement si elle a une unique valeur d'adhérence. \begin{sol} Si $(x_n)_{n \in \N}$ converge vers $x$, alors $x$ est valeur d'adhérence de la suite, voir exercice~\ref{exo: sequentielle va}. Soit $y \neq x$, comme $X$ est compact donc séparé, il existe $U \in \cV(x)$ et $V \in \cV(y)$ tels que $U \cap V = \emptyset$. Pour tout $n$ assez grand, on a $x_n \in U$. Donc $\brackets*{n \in \N \mvert x_n \in V}$ est fini. Donc $y$ n'est pas valeur d'adhérence de $(x_n)_{n \in \N}$. Donc $x$ est la seule valeur d'adhérence de la suite. Inversement, supposons que $(x_n)_{n \in \N}$ admette une unique valeur d'adhérence $x$. Si la suite ne converge pas vers $x$, alors il existe $U \in \cV(x)$ ouvert tel que $\brackets{n \in \N \mid x_n \in X \setminus U}$ est infini. En particulier, il existe une extraction $\varphi$ telle que $x_{\varphi(n)} \in X \setminus U$ pour tout $n \in \N$. Comme $U$ est ouvert, $X \setminus U$ est fermé dans $X$ et donc compact. Donc $\parentheses*{x_{\varphi(n)}}_{n \in \N}$ admet une valeur d'adhérence dans $X \setminus U$. En particulier, $(x_n)_{n \in \N}$ admet une valeur d'adhérence différente de $x$. Contradiction. Donc $x_n \xrightarrow[n \to +\infty]{}x$. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Distance à un ensemble] \label{exo: distance a ensemble} Soient $(X,d)$ un espace métrique et $Y$ une partie non-vide de~$X$. Pour tout $x \in X$, on note $d(x,Y)=\inf_{y \in Y}d(x,y)$. \begin{enumerate} \item Soit $x \in X$, montrer que $d(x,Y)$ est bien définie. \begin{sol} Comme $Y \neq \emptyset$, l'ensemble $\brackets{d(x,y)\mid y \in Y} \subset \R$ est non-vide et minoré par $0$. Il admet donc une borne inférieure. \end{sol} \item Montrer que $x \in \bar{Y}$ si et seulement si $d(x,Y)=0$. \begin{sol} Comme $(X,d)$ est métrique, par l'exercice~\ref{exo: sequentielle fermes}, on a $x \in \bar{Y}$ si et seulement si il existe $(y_n)_{n \in \N}$ à valeurs dans $Y$ telle que $y_n \xrightarrow[n \to +\infty]{}x$, i.e.~telle que $d(x,y_n) \xrightarrow[n \to +\infty]{}0$. L'existence d'une telle suite équivaut à $d(x,Y)=0$. \end{sol} \item Montrer que $d(\cdot,Y):X \to \R$ est une application continue. \begin{sol} Soient $x_1$ et $x_2 \in X$, pour tout $y \in Y$ on a $d(x_1,Y) \leq d(x_1,y) \leq d(x_2,y)+d(x_1,x_2)$. En passant à l'inf sur $y$ dans le terme de droite, $d(x_1,Y) \leq d(x_2,Y)+d(x_1,x_2)$. Symétriquement, $d(x_2,Y) \leq d(x_1,Y)+d(x_1,x_2)$, d'où $\norm*{d(x_1,Y)-d(x_2,Y)}\leq d(x_1,x_2)$. Donc $d(\cdot,Y)$ est continue car $1$-lipschitzienne. \end{sol} \item Soient $F$ fermé et $K$ compact tels que $K \cap F = \emptyset$, montrer que $d(K,F)= \inf_{K\times F}d(x,y)>0$. \begin{sol} L'application $d(\cdot,F)$ est continue, donc elle atteint un minimum sur le compact $K$. Il existe donc $x \in K$ tel que $d(K,F)=d(x,F)$. Comme $K \cap F = \emptyset$ on a $x \notin F = \bar{F}$. Donc $d(x,F)>0$. \end{sol} \item Soient $F_1$ et $F_2$ deux fermés disjoints de $X$, est-ce que $d(F_1,F_2)>0$ en général? \begin{sol} Non. Dans $\R^2$ prendre $F_1$ l'axe horizontal et $F_2$ le graphe de $\exp$. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Un exemple de topologie quotient] \label{exo: quotient} Soit $\pi :\R \to \R/\Z$ la projection canonique. Pour tout $x,y \in \R$, on définit $d_0\parentheses*{\pi(x),\pi(y)} = d(x+\Z,y+\Z) = \min_{n \in \Z} \norm{y-x+n}$. \begin{enumerate} \item Montrer que $d_0$ définit une distance sur $\R/\Z$. \begin{sol} Soient $x$ et $y \in \R$, alors \begin{equation*} d(x+\Z,y+\Z) = \inf_{p,q \in \Z} \norm{(y+q)-(x+p)} = \inf_{n \in \Z} \norm{y-x+n} = \min_{n \in \Z} \norm{y-x+n}. \end{equation*} Cette quantité ne dépend que des classes de $y$ et $x$ modulo $1$. Donc $d_0$ définit bien une application de $(\R/\Z) \times (\R/\Z)$ dans $[0,+\infty[$. Soient $\tilde{x},\tilde{y}$ et $\tilde{z} \in \R / \Z$. Soient $x,y,z \in \R$ tels que $\pi(x)=\tilde{x}$, $\pi(y)=\tilde{y}$ et $\pi(z)=\tilde{z}$. Si $d_0(\tilde{x},\tilde{y})=0$ alors $\min_{n \in \Z}\norm{y-x+n}=0$, donc il existe $n \in \Z$ tel que $x=y+n$ et donc $\tilde{x}=\tilde{y}$. Inversement, si $\tilde{x}=\tilde{y}$ alors $x$ et $y$ diffèrent d'un entier et $d_0(\tilde{x},\tilde{y})=0$. La symétrie de $d$ est claire. Enfin pour tout $p,q \in \Z$, \begin{equation*} d_0\parentheses*{\tilde{x},\tilde{y}}\leq \norm*{(y+q)-(x+p)} \leq \norm{y-z+q}+\norm{z-x-p}. \end{equation*} En passant à l'infimum sur $p$ et $q$ dans le terme de droite, on obtient $d_0\parentheses*{\tilde{x},\tilde{y}} \leq d_0\parentheses*{\tilde{x},\tilde{z}}+d_0\parentheses*{\tilde{z},\tilde{y}}$. Finalement, $d_0$ est bien une distance. \end{sol} \item Montrer que $\pi$ est continue et ouverte, c'est-à-dire que l'image de tout ouvert est ouverte. \begin{sol} D'après l'exercice~\ref{exo: C0 metriques}, pour montrer que $\pi$ est continue, il suffit de montrer que l'image réciproque de toute boule ouverte dans $\R/\Z$ est ouverte dans $\R$. Soient $x,y \in \R$ et $R>0$. On a $d_0(\pi(x),\pi(y)) \frac{1}{2}$ alors $B(\pi(x),R) = \R/\Z$. On a donc $\pi^{-1}\parentheses*{B(\pi(x),R)} = \pi^{-1}\parentheses*{\pi\parentheses*{]x-R,x+R[}}=\bigcup_{n \in \Z} ]x+n-R,x+n+R[$, et cet ensemble est bien ouvert pour la topologie usuelle de $\R$. Donc $\pi$ est continue. Soit $U$ un ouvert de $\R$. Soit $x \in U$ il existe $\epsilon>0$ tel que $]x-\epsilon,x+\epsilon[ \subset U$. On a alors $B(\pi(x),\epsilon)=\pi(]x-\epsilon,x+\epsilon[) \subset \pi(U)$. Donc $\pi(U)$ est voisinage de $\pi(x)$. Donc $\pi(U)$ est voisinage de chacun de ses points donc est ouvert. Donc $\pi$ est une application ouverte. \end{sol} \end{enumerate} On note $f:t \to e^{2i\pi t}$ de $\R$ dans $\S^1 = \brackets*{z \in \C \mvert \norm{z}=1}$. Comme $f$ est surjective et $f(x)=f(y)$ si et seulement si $\pi(x)=\pi(y)$, cette fonction induit une bijection $\tilde{f}:\R/\Z \to \S^1$ telle que $f = \tilde{f} \circ \pi$. \begin{enumerate}[resume] \item Déduire de la question précédente que $\tilde{f}$ est continue. \begin{sol} La fonction $f$ est continue, car on connait bien $\exp$., définie par une série entière de rayon de convergence inifini. Soit $U$ un ouvert de $\S^1$, on a $f^{-1}(U)$ ouvert de $\R$ par continuité de $f$. Or, $f^{-1}(U) = \pi^{-1}\parentheses*{\tilde{f}^{-1}(U)}$. Donc $\tilde{f}^{-1}(U) = \pi\parentheses*{f^{-1}(U)}$. Comme on a vu que $\pi$ est ouverte, $\tilde{f}^{-1}(U)$ est ouvert dans $\R/\Z$. Donc $\tilde{f}$ est continue. \end{sol} \item Montrer que $\tilde{f}$ est un homéomorphisme de $\R/\Z$ vers $\S^1$. \begin{sol} On sait déjà que $\tilde{f}$ est une bijection continue. Comme $\pi$ est continue, $\R/\Z$ est métrique et $[0,1]$ compact, on a que $\R/\Z = \pi([0,1])$ est compact. Enfin, comme $\S^1$ est séparé (car métrique), $\tilde{f}$ est un homéomorphisme. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Théorème de Dini] \label{exo: Dini} Soient $(X,d)$ un espace métrique compact et $f :X \to \R$ continue. Soit $(f_n)_{n \in \N}$ une suite de fonctions continues de $X$ dans $\R$ telle que pour tout $x \in X$, la suite $\parentheses*{f_n(x)}_{n \in \N}$ est croissante et converge vers $f(x)$. Montrer que $(f_n)_{n \in \N}$ converge uniformément vers~$f$. \begin{sol} Soit $\epsilon>0$, pour tout $n \in \N$ on définit $U_n = \brackets*{x \in X\mvert f_n(x) > f(x)-\epsilon} = (f-f_n)^{-1}(]-\infty,\epsilon[)$. Comme $f$ et $f_n$ sont continues, $U_n$ est ouvert. Si $x \in U_n$ alors $f_{n+1}(x)\geq f_n(x)>f(x)-\epsilon$ et donc $x \in U_{n+1}$. Donc $U_n \subset U_{n+1}$ pour tout $n \in \N$. Soit $x \in X$, comme $f_n(x) \xrightarrow[n \to +\infty]{}f(x)$, il existe $m \in \N$ tel que $x \in U_m$. Donc $X = \bigcup_{n \in \N} U_n$. Par compacité de $X$, il existe $N \in \N$ tel que $X = \bigcup_{n=0}^N U_n = U_N$. Soit $n \geq N$, pour tout $x \in X$, on a $f(x) \geq f_n(x) \geq f_N(x) > f(x)-\epsilon$. Donc $\Norm{f-f_n}_\infty < \epsilon$. Ainsi $\Norm{f-f_n}_\infty \xrightarrow[n \to +\infty]{}0$. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Fonctions localement constantes sur un connexe] \label{exo: loc constnate} Soit $X$ un espace connexe. \begin{enumerate} \item Soit $f:X \to Y$ une application localement constante, c'est-à-dire que pour tout $x \in X$ il existe $V \in \cV(x)$ tel que $f$ est constante sur $V$. Montrer que $f$ est constante. \begin{sol} Soient $y \in Y$ et $x \in f^{-1}(y)$. Il existe $V \in \cV(x)$ tel que $V \subset f^{-1}(y)$. Donc $f^{-1}(y)$ est voisinage de chacun de ses points, donc est ouvert. Alors $X = \bigsqcup_{y \in Y} f^{-1}(y)$ est une partition ouverte de $X$. Par connexité, il existe $y_0 \in Y$ tel que $X =f^{-1}(y_0)$. Donc $f$ est constante. \end{sol} \item Soient $Z$ un espace discret et $f:X \to Z$ continue, montrer que $f$ est constante. \begin{sol} Soit $z \in Z$, comme $Z$ est discret $\brackets{z}$ est ouvert. Comme $f$ est continue, $f^{-1}(z)$ est donc ouvert. En particulier $f$ est localement constante. Donc $f$ est constante par la question précédente. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Union de connexes] \label{exo: union de connexes} Soient $(C_i)_{i \in I}$ des parties connexes d'un espace topologique $X$. \begin{enumerate} \item On suppose que $\bigcap_{i \in I} C_i \neq \emptyset$. Montrer que $\bigcup_{i \in I} C_i$ est connexe. \begin{sol} Soit $g:\bigcup_{i \in I} C_i \to \brackets{0,1}$ continue. Soit $x \in \bigcap_{i \in I} C_i$, sans perte de généralité on peut supposer que $g(x)=0$. Pour tout $i \in I$, la restriction $g_{\vert C_i}$ est continue, donc constante, donc $C_i \in g^{-1}(0)$. Donc $\bigcup_{i \in I} C_i \subset f^{-1}(0)$ et $f$ est constante. \end{sol} \item Donner un contre-exemple si $\bigcap_{i \in I} C_i = \emptyset$. La condition $\bigcap_{i \in I} C_i \neq \emptyset$ est-elle nécessaire? \begin{sol} Deux singletons distincts dans $\R$ donnent un exemple de deux connexes dont la réunion n'est pas connexe. Cependant, la condition $\bigcap_{i \in I} C_i \neq \emptyset$ n'est pas nécessaire. On peut par exemple considérer les trois côtés d'un triangle non dégénéré dans le plan. Chaque côté est un segment, en particulier connexe. L'intersection des trois côtés est vide, mais leur réunion est connexe (par arcs). \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Produit de connexes] \label{exo: produit de connexes} Soient $(X_i)_{1 \leq i \leq n}$ des connexes. Montrer que $X = \prod_{i=1}^n X_i$ est connexe pour la topologie produit. \begin{sol} Soit $g:X \to \brackets{0,1}$ continue. Soient $x=(x_i)_{1 \leq i \leq n}$ et $y=(y_i)_{1 \leq i \leq n}$, il suffit de montrer que $g(x)=g(y)$. On en déduira que $g$ est constante, et donc la connexité de $X$. Pour tout $k \in \ssquarebrackets{0}{n}$, on note $z_k=(y_1,\dots,y_k,x_{k+1},\dots,x_n)$, en particulier $z_0=x$ et $z_n=y$. Soit $k \in \ssquarebrackets{1}{n}$, considérons $g_k:X_k\to \brackets{0,1}$ définie par $g_k:z\mapsto g(y_1,\dots,y_{k-1},z,x_{k+1},\dots,x_n)$. La fonction $g_k$ est continue sur $X_k$ comme composée de deux applications continues. Elle est donc constante par connexité de $X_k$. On a donc $g(z_k)=g_k(y_k)=g_k(x_k)=g(z_{k-1})$. C'est valable pour tout $k \in \ssquarebrackets{1}{n}$, donc $g(x)=g(z_0)=\dots=g(z_n)=g(y)$. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Théorème de passage des douanes] \label{exo: douanes} Soient $A$ une partie connexe d'un espace topologique $X$. Soit $B \subset X$ tel que $A \cap B \neq \emptyset$ et $A \cap (X \setminus B) \neq \emptyset$, montrer que $A \cap \partial B \neq \emptyset$. \begin{sol} Les deux ensembles $A \cap \mathring{B}$ et $A \cap (X \setminus \bar{B})$ sont des ouverts disjoints de $A$. Comme $X= \mathring{B} \sqcup \partial B \sqcup (X \setminus \bar{B})$, si $A \cap \partial B=\emptyset$ alors la connexité de $A$ impose que $A \cap \mathring{B}=\emptyset$ ou $A \cap (X \setminus \bar{B})=\emptyset$. Dans le premier cas, on aurait $A \cap B \subset (A \cap \mathring{B}) \cup (A \cap \partial B) = \emptyset$. Dans le second on aurait $A \subset \bar{B}$. Dans les deux cas on obtient une contradiction. Donc $A \cap \partial B \neq \emptyset$. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Connexe mais pas par arcs] \label{exo: connexe pas par arcs} Soit $X = \brackets*{\parentheses*{t,\sin\parentheses*{\frac{1}{t}}}\mvert t >0} \sqcup \parentheses*{\brackets{0}\times [-1,1]} \subset \R^2$. \begin{enumerate} \item Montrer que $Y = \brackets*{\parentheses*{t,\sin\parentheses*{\frac{1}{t}}}\mvert t >0}$ est connexe. En déduire que $X$ est connexe. \begin{sol} L'ensemble $Y$ est le graphe de $t \mapsto \sin\parentheses*{\frac{1}{t}}$ sur $]0,+\infty[$. C'est l'image du connexe $]0,+\infty[$ par $t \mapsto \parentheses*{t,\sin\parentheses*{\frac{1}{t}}}$ continue, donc $Y$ est connexe. Donc $\bar{Y}$ est connexe. On va vérifier que $\bar{Y}=X$ dans $\R^2$. Soit $(y_n)_{n \in \N}$ une suite convergente de $Y$. Il existe $(t_n)_{n \in \N}$ telle que $y_n = \parentheses*{t_n,\sin\parentheses*{\frac{1}{t_n}}}$ pour tout $n\in \N$. Comme $(y_n)_{n \in \N}$ converge, $(t_n)_{n \in \N}$ aussi, vers une certaine limite $t$. Si $t>0$, alors $\sin\parentheses*{\frac{1}{t_n}} \xrightarrow[n \to +\infty]{}\sin\parentheses*{\frac{1}{t}}$ par continuité en $t$. Et donc $y_n \xrightarrow[n \to +\infty]{}\parentheses*{t,\sin\parentheses*{\frac{1}{t}}} \in Y$. Si $t=0$, alors $\lim_{n \to +\infty} y_n \in \brackets{0}\times [-1,1]$. Dans les deux cas, la limite de $(y_n)_{n \in \N}$ est dans $X$, donc $\bar{Y} \subset X$. Inversement, soit $\ell \in X$. Si $\ell \in Y$ alors $\ell \in \bar{Y}$. Sinon, il existe $\alpha \in [-1,1]$ tel que $\ell = (0,\alpha)$. Alors $\parentheses*{\parentheses*{\frac{1}{\arcsin(\alpha)+2n\pi},\alpha}}_{n \in \N^*}$ est une suite à valeurs dans $Y$ qui converge vers $\ell$. Donc $\ell \in \bar{Y}$. Donc $X \subset \bar{Y}$ d'où l'égalité. \end{sol} \item Vérifier que $X$ n'est pas connexe par arcs. \begin{sol} Par l'absurde, supposons que $X$ est connexe par arcs. Il existe alors $\gamma:[0,1]\to X$ continu joignant $(0,0)$ à $\parentheses*{1,\sin(1)}$, c'est-à-dire $\gamma(0)=(0,0)$ et $\gamma(1)=\parentheses*{1,\sin(1)}$. L'ensemble $K = \gamma^{-1}\parentheses*{\brackets{0} \times [-1,1]}$ est non-vide, car $0 \in K$, et majoré par $1$. Il admet donc une borne supérieure $s_0 \in [0,1]$. Par ailleurs, $K$ est fermé car $\brackets{0} \times [-1,1]$ est fermé et $\gamma$ est continu. Donc $s_0 \in K$. En particulier $s_0<1$. Le chemin $\gamma$ étant continu sur $[0,1]$, il est uniformément continu par le théorème de Heine. Il existe donc $\epsilon>0$ tel que pour tout $a,b \in [0,1]$ si $\norm{b-a}<\epsilon$ alors $\Norm{\gamma(b)-\gamma(a)}< 1$, où $\Norm{\cdot}$ est la norme euclidienne de $\R^2$. Quitte à réduire, on peut supposer que $s_0+\epsilon \leq 1$. Alors, pour tout $a,b \in ]s_0,s_0+\epsilon[ \subset [0,1]$ on a $\Norm{\gamma(b)-\gamma(a)} < 1$. Notons $p_1$ la projection sur l'axe des abscisse dans $\R^2$. Comme les fonctions $p_1$ et $\gamma$ sont continues, $p_1(\gamma([s_0,s_0+\epsilon]))$ est un intervalle contenant $p_1(\gamma(s_0))=0$ et $p_1(\gamma(s_0+\epsilon))>0$. Pour tout $n \in \N$ assez grand, $\frac{1}{\frac{\pi}{2}+2n\pi} \in ]0,p_1(\gamma(s_0+\epsilon))[$, il existe donc $b \in ]s_0,s_0+\epsilon[$ tel que $p_1(\gamma(b))=\frac{1}{\frac{\pi}{2}+2n\pi}$. Mais $\gamma(b) \in Y$, donc $\gamma(b)=\parentheses*{\frac{1}{\frac{\pi}{2}+2n\pi},1}$. De même, il existe $a \in ]s_0,s_0+\epsilon[$ tel que $p_1(\gamma(a))= \frac{1}{\frac{3\pi}{2}+2n\pi}$, et alors $\gamma(a) = \parentheses*{\frac{1}{\frac{3\pi}{2}+2n\pi},-1}$. On a donc $a$ et $b \in ]s_0,s_0+\epsilon[$ tels que $\Norm{\gamma(b)-\gamma(a)}\geq 2$. Contradiction. Donc $X$ n'est pas connexe par arcs. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Ouverts connexes] \label{exo: ouverts connexes} Soient $\parentheses*{E,\Norm{\cdot}}$ un espace vectoriel normé et $U$ un ouvert connexe de $E$. Montrer que $U$ est connexe par arcs. \begin{sol} Soit $x \in U$, on note $A = \brackets*{y \in U \mvert \exists \gamma:[0,1]\to U \ \text{continu tel que} \ \gamma(0)=x \ \text{et} \ \gamma(1)=y }$ la composante connexe par arcs de $x$ dans $U$. On va montrer que $A$ est ouverte et fermée dans $U$. Comme $A \neq \emptyset$, par connexité de $U$ on en déduira $A=U$ et donc que $U$ est connexe par arcs. Soit $y \in A$, il existe $\gamma$ chemin continu de $x$ à $y$ dans $U$. Comme $y \in U$ et $U$ est ouvert, il existe $\epsilon >0$ tel que $B(y,\epsilon) \subset U$. Pour tout $z \in B(y,\epsilon)$, le segment $[y,z]$ est un chemin continu de $y$ à $z$ dans $U$. En le concaténant avec $\gamma$ on obtient un chemin continu de $x$ à $z$ dans $U$. Donc $B(y,\epsilon) \subset A$. Donc $A$ est voisinage de chacun de ses points, donc ouvert dans $E$, et donc dans $U$. Soit $z \in U$ tel que $z \in \bar{A}$. Comme $U$ est ouvert, il existe $\epsilon>0$ tel que $B(z,\epsilon) \subset U$. Comme $z \in \bar{A}$, il existe $y \in B(z,\epsilon)$ tel que $y \in A$. Comme précédemment, il existe un chemin continu $\gamma$ de $x$ à $y$ dans $U$, et le segment $[y,z]$ est un chemin continu de $y$ à $z$ dans $B(z,\epsilon) \subset U$. En les concaténant on montre que $z \in A$. Donc $A$ est fermé dans $U$. Notons que $A$ n'est pas fermé dans $E$, vu qu'à posteriori $A=U$. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Composantes connexes ouvertes] \label{exo: compo connexes ouvertes} Soient $\parentheses*{E,\Norm{\cdot}}$ un espace vectoriel normé et $U$ un ouvert de $E$. Montrer que les composantes connexes de $U$ sont ouvertes (dans $U$ ou $E$, c'est pareil). \begin{sol} Soit $C$ une composante connexe de $U$. Soit $x \in C$, il existe $\epsilon>0$ tel que $B(x,\epsilon) \subset U$. Alors $C \cup B(x,\epsilon)$ est connexe, donc inclus dans la composante connexe de $x$, qui est $C$. Donc $B(x,\epsilon) \subset C$ et $C$ est voisinage de $x$. Donc $C$ est ouverte. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Description des ouverts de $\R$] \label{exo: ouverts de R} Montrer que tout ouvert de $\R$ est réunion finie ou dénombrable d'intervalles ouverts disjoints. \begin{sol} Soit $U \subset \R$ ouvert, notons $(C_i)_{i \in I}$ ses composantes connexes. Pour tout $i \in I$, on sait que $C_i \subset \R$ est connexe par définition, donc $C_i$ est un intervalle. Par l'exercice~\ref{exo: compo connexes ouvertes}, cet intervalle est ouvert. En particulier, chacun des intervalles $(C_i)_{i \in I}$ contient un rationnel, ce qui donne une surjection de $\Q\cap U$ vers $I$ et montre que $I$ est au plus dénombrable. La conclusion suit alors de $U = \bigsqcup_{i \in I}C_i$. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Composante non ouverte] \label{exo: compo connexe pas ouverte} Donner un exemple de composante connexe non ouverte. \begin{sol} On considère l'ensemble $A = \brackets*{\frac{1}{n}\mvert n \in \N^*} \cup \brackets{0} \subset \R$ muni de la topologie induite par $\R$. Déterminons ses composantes connexes. Soit $n \in \N^*$, on a $B(\frac{1}{n},\frac{1}{10n^2}) \cap A = \brackets{\frac{1}{n}}$, donc $\brackets*{\frac{1}{n}}$ est ouvert et fermé dans $A$. Soit $C \subset A$ connexe tel que $\frac{1}{n} \in C$. Alors $\brackets*{\frac{1}{n}}$ est ouvert et fermé dans $C$, donc $C = \brackets*{\frac{1}{n}}$ par connexité. Donc $\brackets*{\frac{1}{n}}$ est la composante connexe de $\frac{1}{n}$ dans $A$. Comme les composantes connexes forment une partition de $A$, la composante connexe de $0$ ne contient aucun des $\parentheses*{\frac{1}{n}}_{n \in \N^*}$ et est donc $\brackets{0}$. Ainsi, les composantes connexes de $A$ sont toutes des singletons. Elles sont en particulier fermées (dans $A$ et dans $\R$). On a vu que pour $n \in \N^*$, $\brackets*{\frac{1}{n}}$ est aussi ouvert de $A$. Par contre $\brackets{0}$ n'est pas ouvert dans $A$. Si $\brackets{0}$ était ouvert dans $A$, il existerait $U$ ouvert de $\R$ tel que $\brackets{0}=A \cap U$. En particulier, il existerait $\epsilon>0$ tel que $]-\epsilon,\epsilon[ \cap A = \brackets{0}$. Ce n'est pas le cas puisque $\frac{1}{n} \xrightarrow[n \to +\infty]{}0$. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Connexité dans les espaces de matrices] \label{exo: matrices connexite} On munit l'espace vectoriel $M_n(\R)$ de son unique topologie normée, et ses sous-ensembles de la topologie induite. \begin{enumerate} \item Montrer que $SL_n(\R)$ est connexe. On rappelle que les transvections engendrent $SL_n(\R)$. \begin{sol} Une transvection est une application linéaire dont la matrice dans une bonne base $A(1)$, où \begin{equation*} \forall t \in [0,1], \qquad A(t) = \begin{pmatrix} 1 & t & 0 & \dots & 0 \\ 0 & 1 & 0 & \dots & 0 \\ 0 & 0 & 1 & \ddots & \vdots\\ \vdots & \vdots & \ddots & \ddots & 0 \\ 0 & 0 & \dots & 0 & 1 \end{pmatrix}. \end{equation*} Soit $M \in SL_n(\R)$, il existe $m \in \N$ des transvections $T_1,\dots,T_m$ tels que $M = T_1\dots T_m$, voir par exemple Perrin chap.~IV. Pour tout $i \in \ssquarebrackets{1}{m}$, il existe $P_i \in GL_n(\R)$ tel que $T_i = P_i A(1)P_i^{-1}$. Alors $\gamma:t \mapsto P_1 A(t) P_1^{-1} P_2 A(t) P_2^{-1} \dots P_m A(t) P_m^{-1}$ est un chemin continu de $\Id$ à $M$ dans $SL_n(\R)$. Donc $SL_n(\R)$ est connexe par arcs, en particulier connexe. \end{sol} \item Déterminer les composantes connexes de $GL_n(\R)$. \begin{sol} Si $GL_n(\R)$ était connexe, son image par l'application continue $\det$ serait un connexe de~$\R$. Or $\det(GL_n(\R))=\R^*$ n'est pas connexe. Donc $GL_n(\R)$ n'est pas connexe non plus. Soient $C_+ = \brackets*{M \in GL_n(\R) \mvert \det(M)>0}$ et $C_- = \brackets*{M \in GL_n(\R) \mvert \det(M)<0}$. On va montrer que $C_+$ et $C_-$ sont les deux composantes connexes de $GL_n(\R)$. Soit $M \in C_+$, alors $t \mapsto \parentheses*{\begin{smallmatrix} (1-t) + \frac{t}{\det(M)} & & & \\ & 1 & & \\ & & \ddots & \\ & & & 1 \end{smallmatrix}}M$ est un chemin continu dans $C_+$ de $M$ vers une matrice de $SL_n(\R)$. Comme on a vu à la question précédente que $SL_n(\R) \subset C_+$ est connexe par arcs, il existe un chemin continu dans $C_+$ de $M$ vers $\Id$. Donc $C_+$ est connexe par arcs, donc connexe. Par ailleurs, $C_+ = \det^{-1}\parentheses*{]0,+\infty[}$ est ouvert de $M_n(\R)$ et donc de $GL_n(\R)$, et $C_+ = \det^{-1}\parentheses*{[0,+\infty[} \cap GL_n(\R)$ est fermé de $GL_n(\R)$ (mais pas de $M_n(\R)$). Soit $\Gamma$ la composante connexe de $\Id$ dans $GL_n(\R)$. Par ce qui précède, $C_+ \subset \Gamma$. Donc $C_+$ est non-vide, ouvert et fermé dans $\Gamma$ connexe. Donc $C_+ = \Gamma$. Donc $C_+$ est bien une composante connexe de $GL_n(\R)$. L'involution continue $M \mapsto \parentheses*{\begin{smallmatrix} -1 & & & \\ & 1 & & \\ & & \ddots & \\ & & & 1 \end{smallmatrix}}M$ échange $C_+$ et $C_-$. En particulier $C_+$ et $C_-$ sont homéomorphes, et donc $C_-$ est connexe (par arcs), ouvert et fermé dans $GL_n(\R)$. On vérifie comme ci-dessus que $C_-$ est la composante connexe dans $GL_n(\R)$ de $\parentheses*{\begin{smallmatrix} -1 & & & \\ & 1 & & \\ & & \ddots & \\ & & & 1 \end{smallmatrix}}$. Donc $C_-$ est bien une composante connexe de $GL_n(\R)$. Comme $GL_n(\R) = C_+ \sqcup C_-$ on a bien trouvé toutes les composantes connexes de $GL_n(\R)$. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Suites de Cauchy] \label{exo: CV et Cauchy} Soient $(X,d)$ un métrique et $(x_n)_{n \in \N}$ une suite de $X$. \begin{enumerate} \item Si $(x_n)_{n \in \N}$ converge montrer qu'elle est de Cauchy. \begin{sol} Notons $\ell$ la limite de $(x_n)_{n \in \N}$. Soit $\epsilon>0$, il existe $N \in \N$ tel que pour tout $n \geq N$, $d(x_n,\ell)<\epsilon$. Alors pour tout $p,q \geq N$ on a $d(x_p,x_q) \leq d(x_p,\ell)+d(\ell,x_q) < 2\epsilon$. Donc $(x_n)_{n \in \N}$ est de Cauchy. \end{sol} \item Si $(x_n)_{n \in \N}$ est de Cauchy, montrer qu'elle est bornée. \begin{sol} Il existe $N \in \N$ tel que pour, tout $p,q \geq N$, $d(x_p,x_q) \leq 1$. Soit \begin{equation*} R = \max \parentheses*{\brackets*{d(x_N,x_i) \mvert 0 \leq i < N} \cup \brackets{1}}. \end{equation*} Pour tout $n \in \N$, on a $d(x_n,x_N) \leq R$ et donc $x_n \in B_F(x_N,R)$. Donc $(x_n)_{n \in \N}$ est bornée. \end{sol} \item Si $(x_n)_{n \in \N}$ est de Cauchy et admet une valeur d'adhérence, montrer qu'elle converge. \begin{sol} Notons $\ell$ une valeur d'adhérence de $(x_n)_{n \in \N}$. Soit $\epsilon>0$, il existe $N \in \N$ tel que $d(x_p,x_q)<\epsilon$ dès que $p,q \geq N$. On sait que $B(\ell,\epsilon)$ contient une infinité de termes de la suite. En particulier, il existe $p \geq N$ tel que $x_p \in B(\ell,\epsilon)$. Mais alors pour tout $q \geq N$ on a $x_q \in B(\ell,2\epsilon)$. Donc $x_n \xrightarrow[n \to +\infty]{}\ell$. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Calcul approché de racine] \label{exo: proto Newton} Soit $f:[a,b] \to \R$ dérivable telle que $f(a) <0 < f(b)$. On suppose qu'il existe des constantes $m$ et $M$ telle que $0 < m \leq f'(t) \leq M$ pour tout $t \in [a,b]$. \begin{enumerate} \item Montrer qu'il existe un unique $x \in ]a,b[$ tel que $f(x)=0$. \begin{sol} Comme $f$ est continue et $f(a)<0a$ et $\varphi(b)=b-\frac{f(b)}{M}0$ tel que $\forall x \in B(0,\delta)$, $L(x) \in B(0,1)$. Soit $x \in E \setminus \brackets{0}$, on a $\frac{\delta}{2 \Norm{x}_E}x \in B(0,\delta)$ et donc \begin{equation*} 1 > \Norm*{L\parentheses*{\frac{\delta}{2\Norm{x}_E}x}}_F = \frac{\delta}{2\Norm{x}_E}\Norm{L(x)}_F. \end{equation*} Donc $\Norm{L(x)}_F < \frac{2}{\delta}\Norm{x}_E$ pour tout $x \in E \setminus \brackets{0}$. C'est encore valable pour $x=0$, ce qui établit \eqref{item: AL norme}. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Norme d'opérateur] \label{exo: norme d'operateur} Soient $\parentheses*{E,\Norm{\cdot}_E}$, $\parentheses*{F,\Norm{\cdot}_F}$ et $\parentheses*{G,\Norm{\cdot}_G}$ trois espaces normés. \begin{enumerate} \item Montrer que la norme d'opérateur définit bien une norme sur $\cL(E,F)$. \begin{sol} Soit $L \in \cL(E,F)$, si $\Norm{L}=0$, alors pour tout $x \neq 0$, $\Norm{L(x)}_F \leq \Norm{L}\Norm{x}_E=0$. Donc $L=0$. Soit $\lambda \in \R$, pour tout $x \neq 0$ on a $\frac{\Norm{\lambda L(x)}_F}{\Norm{x}_E} = \norm{\lambda} \frac{\Norm{L(x)}_F}{\Norm{x}_E}$. En passant au sup sur $x \in E \setminus \brackets{0}$ on obtient $\Norm{\lambda L} = \norm{\lambda}\Norm{L}$. Soient $L$ et $K \in \cL(E,F)$, on a $\Norm{(L+K)(x)}_F \leq \Norm{L(x)}_F+\Norm{K(x)}_F \leq \parentheses*{\Norm{L}+\Norm{K}}\Norm{x}_E$ pour tout $x \in E$. Donc $\Norm{L+K} \leq \Norm{L}+\Norm{K}$. Ainsi $\Norm{\cdot}$ définit bien une norme sur $\cL(E,F)$. \end{sol} \item Montrer que pour tout $L \in \cL(E,F)$ et $K \in \cL(F,G)$ on a $K \circ L \in \cL(E,G)$ et $\Norm{K \circ L} \leq \Norm{L}\Norm{K}$. \begin{sol} Les applications $L$ et $K$ sont linéaires et continues, donc leur composée aussi. Pour tout $x \in E$ on a $\Norm{K(L(x))}_G \leq \Norm{K}\Norm{L(x)}_F \leq \Norm{K}\Norm{L}\Norm{x}_E$. Donc $\Norm{K\circ L} \leq \Norm{K}\Norm{L}$. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Espace des applications linéaires continues] \label{exo: L(E,F) complet} Soient $\parentheses*{E,\Norm{\cdot}_E}$ un espace vectoriel normé et $\parentheses*{F,\Norm{\cdot}_F}$ un Banach, montrer que $\cL(E,F)$ muni de la norme d'opérateur est un Banach. \begin{sol} Soit $\parentheses*{L_n}_{n \in \N}$ une suite de Cauchy à valeurs dans $\cL(E,F)$. Soit $x \in E$, pour tout $p,q \in \N$ on a \begin{equation} \label{eq: CV L(E,F)} \Norm{L_p(x)-L_q(x)}_F = \Norm{(L_p-L_q)(x)}_F \leq \Norm{L_p-L_q}\Norm{x}_E. \end{equation} Donc $\parentheses*{L_n(x)}_{n \in \N}$ est une suite de Cauchy dans $\parentheses*{F,\Norm{\cdot}_F}$. Elle converge donc vers une limite que l'on note $L(x) \in F$. Pour tout $x,y \in E$ et $\lambda \in \R$ on a \begin{equation*} L(x+\lambda y) =\lim_{n \to +\infty} L_n(x+\lambda y) = \lim_{n \to +\infty} L_n(x) + \lambda L_n(y) = L(x)+\lambda L(y). \end{equation*} Donc $L:E \to F$ est linéaire. Il faut vérifier qu'elle est continue. Comme $\parentheses*{L_n}_{n \in \N}$ est de Cauchy, elle bornée, disons par $M>0$ (voir exercice~\ref{exo: CV et Cauchy}). Alors pour tout $x \in E$ et $n \in \N$ on a $\Norm{L_n(x)}_F \leq \Norm{L}\Norm{x}_E \leq M \Norm{x}_E$. En passant à la limite $n \to +\infty$, on obtient $\Norm{L(x)}_F \leq M \Norm{x}_E$. Donc $L$ est continue, de norme au plus $M$. Il reste à vérifier que $L_n \xrightarrow[n \to +\infty]{}L$. Soit $\epsilon>0$, il existe $N \in \N$ tel que pour tout $p,q \geq N$ on ait $\Norm{L_p-L_q}<\epsilon$. Soient $x \in E$ et $p,q \geq N$, en reprenant~\eqref{eq: CV L(E,F)} on a $\Norm{L_p(x)-L_q(x)} \leq \epsilon\Norm{x}_E$. En passant à la limite $q \to +\infty$, on a donc $\Norm{(L_p-L)(x)}_F \leq \epsilon \Norm{x}_E$ pour tout $x \in E$, donc $\Norm{L_p - L}\leq \epsilon$. Il existe donc $N \in \N$ tel que pour tout $p \geq N$ on ait $\Norm{L-L_p}\leq \epsilon$. Donc $L_n \xrightarrow[n \to +\infty]{}L$. Finalement, $\cL(E,F)$ est complet. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Espace des applications continues] \label{exo: C0 KF complet} Soient $(K,d)$ un compact et $(F,\Norm{\cdot})$ un Banach, montrer que $\cC^0(K,F)$ muni de la norme sup $\Norm{\cdot}_\infty$ est un Banach. \begin{sol} Soit $\parentheses*{f_n}_{n \in \N}$ une suite de Cauchy à valeurs dans $\parentheses*{\cC^0(K,F),\Norm{\cdot}_\infty}$. D'après l'exercice~\ref{exo: CV et Cauchy} elle est bornée, disons par $M>0$. Soit $x \in K$, pour tout $p,q \in \N$ on a $\Norm{f_p(x)-f_q(x)}_F\leq \Norm{f_p-f_q}_\infty$ donc $\parentheses*{f_n(x)}_{n \in \N}$ est de Cauchy dans le Banach $\parentheses*{F,\Norm{\cdot}_F}$. Elle converge donc vers une limite $f(x)$. Cela définit une fonction $f:K \to F$. Soit $\epsilon>0$, il existe $N \in \N$ tel que pour tout $p,q \geq N$ on ait $\Norm{f_p-f_q}_\infty\leq \epsilon$. Alors pour tout $p,q \geq N$ pour tout $x \in K$ on a $\Norm{f_p(x)-f_q(x)} \leq \epsilon$. En passant à la limite $q \to +\infty$, $\Norm{f_p(x)-f(x)}_F \leq \epsilon$. Comme cette estimation est uniforme en $x \in K$, la quantité $\Norm{f_p-f}_\infty = \sup_{x \in K} \Norm{f_p(x)-f(x)}_F$ est bien définie, et inférieure à $\epsilon$. Notons qu'on ne sait pas encore que $f_p-f$ est continue. Donc, pour tout $\epsilon>0$, il existe $N \in \N$ tel que pour tout $n \geq N$, $\Norm{f-f_n}_\infty \leq \epsilon$. C'est-à-dire que $\parentheses*{f_n}_{n \in \N}$ converge uniformément vers $f$. Il reste à vérifier que $f$ est continue. Soient $x,y \in K$ et $n \in \N$, on a \begin{equation*} \Norm{f(y)-f(x)} \leq \Norm{f(y)-f_n(y)} + \Norm{f_n(y)-f_n(x)} + \Norm{f_n(x)-f(x)} \leq 2\Norm{f_n-f}_\infty+\Norm{f_n(y)-f_n(x)}. \end{equation*} Soit $\epsilon>0$, comme $\Norm{f_n-f}_\infty \xrightarrow[n \to +\infty]{}0$, il existe $n \in \N$ tel que $\Norm{f_n-f}_\infty<\epsilon$. Par continuité de $f_n$, il existe $V \in \cV(x)$ tel que pour tout $y \in V$ on ait $\Norm{f_n(y)-f_n(x)}_F<\epsilon$. Alors, pour tout $y \in V$ on a $\Norm{f(y)-f(x)}_F <3\epsilon$. Donc $f$ est continue en $x$, donc sur $K$. Donc $f \in \cC^0(K,F)$. Finalement, $\cC^0(K,F)$ est bien complet. \end{sol} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Quelques contre-exemples] \label{exo: contre ex Banach} \begin{enumerate} \item Donner un exemple concret d'espace normé qui n'est pas de Banach. \begin{sol} Dans l'espace $L^1([0,1])$, muni de la norme définie par $\Norm{f}_1 = \int_0^1 \norm{f(x)}\dx x$ pour tout $f$, on a $\cC^0([0,1]) \subset L^1([0,1])$ dense. En particulier, $\cC^0([0,1])$ n'est pas fermé dans $L^1(\R)$ donc n'est pas complet pour $\Norm{\cdot}_1$. Ainsi $\parentheses*{\cC^0([0,1]),\Norm{\cdot}_1}$ est un espace normé qui n'est pas de Banach. \end{sol} \item Donner un exemple concret d'application linéaire non continue entre espaces vectoriels normés. \begin{sol} Toujours sur $\parentheses*{\cC^0([0,1]),\Norm{\cdot}_1}$, on peut considérer l'application linéaire $\ev:f \mapsto f(0)$. Pour tout $n \in \N$, on note $f_n:x \mapsto e^{-nx}$. On a $f_n \in \cC^0([0,1])$ et \begin{equation*} \Norm{f_n}_1 = \int_0^1 e^{-nx}\dx x = -\frac{1}{n}\squarebrackets*{e^{-nx}}_0^1 = \frac{1-e^{-n}}{n} \xrightarrow[n \to +\infty]{}0 \end{equation*} Donc $f_n \xrightarrow[n \to +\infty]{}0$ pour $\Norm{\cdot}_1$. Si $\ev$ était continue, on aurait $1 = f_n(0) \xrightarrow[n \to +\infty]{}f(0)=0$. C'est absurde, donc $\ev$ n'est pas continue. \end{sol} \end{enumerate} \end{exo} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{exo}[Continuité de l'application inverse] \label{exo: application inverse} Soit $\parentheses*{E,\Norm{\cdot}}$ un Banach. \begin{enumerate} \item Montrer que $GL(E)$ est ouvert dans $\cL(E)$. \begin{sol} Soient $L \in GL(E)$ et $H \in \cL(E)$, on écrit $L+H = L\parentheses*{\Id - K}$ où $K=-L^{-1}H$. Si $\Norm{H} < \frac{1}{\Norm*{L^{-1}}}$ alors $\Norm{K}<1$, donc $\Id-K \in GL(E)$ d'après le lemme de Neumann. Donc le groupe $GL(E)$ contient $L+H$. Donc $GL(E)$ contient la boule ouverte de centre $L$ et de rayon $\frac{1}{\Norm*{L^{-1}}}$. Ainsi $GL(E)$ est voisinage de chacun de ses points, donc est ouvert dans $\cL(E)$. \end{sol} \item Montrer que l'application $\Inv:L \mapsto L^{-1}$ est continue de $GL(E)$ dans lui-même. \begin{sol} Avec les mêmes notations qu'à la question précédente, si $H \in B(L,\frac{1}{\Norm{L^{-1}}})$ on a: \begin{align*} \Norm{\Inv(L+H)-\Inv(L)} &= \Norm*{(L+H)^{-1}-L^{-1}} = \Norm*{\parentheses*{(\Id-K)^{-1}-\Id}L^{-1}}\\ &\leq \Norm*{\sum_{n \in \N}K^n - \Id}\Norm{L^{-1}} \leq \sum_{n \geq 1}\Norm{K}^n \Norm{L^{-1}} = \frac{\Norm{K}\Norm{L^{-1}}}{1-\Norm{K}}\\ &\leq \frac{\Norm{H}\Norm{L^{-1}}^2}{1 - \Norm{H}\Norm{L^{-1}}} \xrightarrow[H \to 0]{}0.\qedhere \end{align*} Donc $\Inv$ est continue en $L$, pour tout $L \in GL(E)$. \end{sol} \end{enumerate} \end{exo} \end{document}