Exercices corrigés - Espaces connexes, connexes par arcs
Connexité par arcs
Exercice 1
- Intérieur, produit, somme et connexité par arcs [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé 

Soit $E$ un espace vectoriel normé et $A$, $B$ deux parties connexes par arcs de $E$.
- Démontrer que $A\times B$ est connexe par arcs.
- En déduire que $A+B$ est connexe par arcs.
- L'intérieur de $A$ est-il toujours connexe par arcs?
Exercice 2 
- Union de connexes par arcs ayant un point commun [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

Soit $(A_i)_{i\in I}$ une famille de parties connexes par arcs de l'espace vectoriel normé $E$ telles que $\bigcap_{i\in I}A_i\neq\varnothing$. Démontrer que $\bigcup_{i\in I}A_i$ est connexe par arcs.
Enoncé 

Soit $I$ un intervalle de $\mathbb R$ et $f:I\to\mathbb R$. On souhaite démontrer à l'aide de la connexité par arcs le résultat classique suivant : si $f$ est continue et injective, alors $f$ est strictement monotone. Pour cela, on pose $C=\{(x,y)\in\mathbb R^2;\ x>y\}$ et $F(x,y)=f(x)-f(y)$, pour $(x,y)\in C$.
- Démontrer que $F(C)$ est un intervalle.
- Conclure.
Enoncé 

On dit que deux parties $A$ et $B$ de deux espaces vectoriels normés $E$ et $F$ sont homéomorphes s'il existe une bijection $f:A\to B$ telle que $f$ et $f^{-1}$ soient continues.
- Démontrer que $\mathbb R^2\backslash\{0\}$ est connexe par arcs.
- Démontrer que $\mathbb R$ et $\mathbb R^2$ ne sont pas homéomorphes.
- Démontrer que $[0,1]$ et le cercle trigonométrique ne sont pas homéomorphes.
Exercice 5 

- Connexité par arcs de la sphère unité [Signaler une erreur] [Ajouter à ma feuille d'exos]



Enoncé 

Soit $E$ un espace vectoriel normé de dimension supérieure ou égale à deux (éventuellement, de dimension infinie). Démontrer que sa sphère unité $\mathcal S_E$ est connexe par arcs.
Enoncé 

Soit $I$ un intervalle ouvert de $\mathbb R$ et soit $f:I\to \mathbb R$ une application dérivable. Notons $A=\{(x,y)\in I\times I;\ x<y\}.$
- Démontrer que $A$ est une partie connexe par arcs de $\mathbb R^2$.
- Pour $(x,y) \in A$, posons $g(x,y) = \frac{f(y)-f(x)}{y-x}$. Démontrer que $g(A)\subset f'(I)\subset \overline{g(A)}$.
- Démontrer que $f'(I)$ est un intervalle.
Exercice 7 


- Application localement constante sur un connexe par arcs [Signaler une erreur] [Ajouter à ma feuille d'exos]




Enoncé 

Soit $A$ une partie d'un espace vectoriel normé $E$, et $f:A\to F$ une application continue, où $F$ est un espace vectoriel normé. On dit que $f$ est localement constante si, pour tout $a\in A$, il existe $r>0$ tel que $f$ est constante sur $B(a,r)\cap A$. Le but de l'exercice est de démontrer que si $A$ est connexe par arcs et $f$ est localement constante, alors $f$ est constante. Pour cela, on fixe $a,b\in A$ et on considère $\phi:[0,1]\to A$ un chemin continu tel que $\phi(0)=a$ et $\phi(1)=b$. On pose $t=\sup\{s\in [0,1];\ f(\phi(s))=f(a)\}$.
- Démontre que $t=1$.
- Conclure.
Exercice 8 


- Parties ouvertes et fermées d'un connexe par arcs [Signaler une erreur] [Ajouter à ma feuille d'exos]




Enoncé 

Soient $A$ une partie connexe par arcs d'un espace vectoriel normé, et soit $B$ une partie de $A$ qui est à la fois ouverte et fermée relativement à $A$. On pose $f:A\to \mathbb R$ définie par $f(x)=1$ si $x\in B$ et $f(x)=0$ si $x\notin B$.
- Démontrer que $f$ est continue.
- En déduire que $B=\varnothing$ ou $B=A$.
Connexité
Enoncé 

Soient $A,B$ deux parties d'un espace vectoriel normé $E$. Les assertions suivantes sont-elles vraies ou fausses?
- Si $A$ est connexe, alors sa frontière est connexe.
- Si $\bar A$ est connexe, alors $A$ est connexe.
- Si $A$ et $B$ sont connexes, alors $A\cap B$ est connexe.
- Si $A$ et $B$ sont convexes, alors $A\cap B$ est connexe.
- Si $A$ et $B$ sont connexes, alors $A\cup B$ est connexe.
- Si $f:A\to F$ est continue, avec $A$ convexe et $F$ espace vectoriel normé, alors $f(A)$ est convexe.
Exercice 10
- Composantes connexes du complémentaire d'un sous-espace vectoriel [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé 

Soit $H$ un sous-espace vectoriel de $\mathbb R^n$, $n\geq 2$, de dimension $n-1$. Démontrer que $\mathbb R^n\backslash H$ admet deux composantes connexes.
Enoncé 

Soit $A$ une partie connexe de $E$ et $B$ une partie telle que $A\subset B\subset \bar A$. Démontrer que $B$ est connexe.
Enoncé 

Soit $(A_i)_{i\in I}$ une famille de parties connexes de $E$ telles que, pour tout $i,j\in I$, alors $A_i\cap A_j\neq\varnothing$. Démontrer que $\bigcup_{i\in I}A_i$ est connexe.
Enoncé 

Soit $E_1$ et $E_2$ deux espaces métriques. Démontrer que $E_1\times E_2$ est connexe si et seulement si $E_1$ et $E_2$ sont connexes.
Enoncé 

On dit qu'une partie $A$ d'un espace vectoriel normé $E$ possède la propriété du point fixe si toute application continue $f:A\to A$ admet un point fixe. Démontrer que si $A$ possède la propriété du point fixe, alors $A$ est connexe. La réciproque est-elle vraie?
Enoncé 

Soient $A$ et $B$ deux parties de $E$.
- Démontrer que la fonction $f$ définie sur $\mathring A\cup \bar A^c$ par $f(x)=1$ si $x\in \mathring A$ et $f(x)=0$ sinon est continue.
- En déduire que si $B$ est connexe, si $B\cap A\neq\varnothing$ et si $B\cap A^c\neq\varnothing$, alors $B$ coupe la frontière de $A$.
Enoncé 

Démontrer que les composantes connexes d'un ouvert de $\mathbb R^n$ sont ouvertes. En déduire que tout ouvert de $\mathbb R$ est réunion d'une famille finie ou dénombrables d'intervalles ouverts deux à deux disjoints.
Enoncé 

Soit $(E,d)$ un espace métrique et $x,y\in E$. On dit qu'il existe une $\veps$-chaine reliant $x$ à $y$ s'il existe $x=x_1,x_2,\dots,x_n=y$ un nombre fini de points de $E$ tels que $d(x_i,x_{i+1})<\veps$ pour tout $i=1,\dots,n-1$. On dit que $E$ est bien enchaîné si, pour tout $\veps>0$ et tous $x,y\in E$, il existe une $\veps$-chaine reliant $x$ à $y$.
- Pour $x\in E$ et $\veps>0$, on pose $A(x,\veps)=\{y\in E;$ il existe une $\veps$-chaine reliant $x$ à $y\}$. Démontrer que $A$ est ouvert et fermé.
- En déduire que si $E$ est connexe, alors $E$ est bien enchainé.
- La réciproque est-elle vraie?
- On suppose que $E$ est compact et bien enchaîné. Démontrer que $E$ est connexe.
Exercice 18 


- Connexité de l'ensemble des valeurs d'adhérence [Signaler une erreur] [Ajouter à ma feuille d'exos]




Enoncé 

Soit $E$ un espace vectoriel normé de dimension finie. On dit qu'une suite $u=(u_n)$ de $E$ est à évolution lente si
$$\lim_{n\to+\infty}\|u_{n+1}-u_n\|=0.$$
Pour une suite $u$ de $E$, on note $V(u)$ l'ensemble de ses valeurs d'adhérence, dont on rappelle que c'est un fermé de $E$. Le but de l'exercice est de démontrer que si une suite $u$ est bornée et à évolution lente, alors l'ensemble $V(u)$ est connexe. On effectue un raisonnement par l'absurde et on suppose que $V(u)$ n'est pas connexe.
- Démontrer qu'il existe deux compacts $K_1$ et $K_2$ vérifiant $$\left\{ \begin{array}{rcl} K_1\cap K_2&=&\varnothing\\ K_1\cup K_2&=&V(u). \end{array}\right.$$
- Démontrer que la distance entre $K_1$ et $K_2$ est strictement positive. Elle sera notée $a$.
- On note $\Omega_1=\{x\in E;\ d(x,K_1)<a\}$ et $\Omega_2=\{x\in E;\ d(x,K_2)<a\}$. On considère $M$ un majorant de la suite $\|u\|=(\|u_n\|)_n$. Démontrer que $$K=\overline{B(0,M)}\backslash (\Omega_1\cup\Omega_2)$$ est un compact.
- Démontrer qu'il existe une suite extraite de $u$ à valeurs dans $K$ et conclure.
Exercice 19 


- Un exemple d'ensemble connexe et non connexe par arcs [Signaler une erreur] [Ajouter à ma feuille d'exos]




Enoncé 

On note $A=\{(x,\sin(1/x);\ x>0\}$.
- Démontrer que $A$ est connexe.
- Démontrer que $\bar A=(\{0\}\times [-1,1])\cup A$.
- Démontrer que $\bar A$ est connexe.
- On souhaite démontrer que $\bar A$ n'est pas connexe par arcs. On raisonne par l'absurde et on suppose qu'il existe un chemin continu $\gamma:[0,1]\to\bar A$ avec $\gamma(0)=(0,0)$ et $\gamma(1)=(1,\sin 1)$. On note $\gamma(t)=(u(t),v(t))$ de sorte que, si $u(t)\neq 0$, alors $v(t)=\sin(1/u(t))$. Enfin, on note $t_0=\sup\{t>0;\ u(t)=0\}$ (l'instant où le chemin quitte l'axe des ordonnées).
- Démontrer que $u(t_0)=0$.
- On pose $a=v(t_0)$. Justifier qu'il existe $\veps>0$ tel que, si $t_0\leq t\leq t+\veps$, alors $|v(t)-a|<1/2$.
- Soit $n\in\mathbb N$ tel que $\frac{1}{2n\pi-\frac\pi 2}<u(t_0+\veps)$. Justifier qu'il existe $t_1,t_2\in [t_0,t_0+\veps]$ avec $u(t_1)=\frac 1{2n\pi-\frac \pi 2}$ et $u(t_2)=\frac{1}{2n\pi+\frac \pi2}$.
- Conclure.