Voir la source de Espaces vectoriels normés/Connexité

{{Chapitre
  | idfaculté = mathématiques
  | précédent = [[../Compacité/]]
  | suivant   = [[../Espaces de Banach - Complétude/]]
  | numéro    = 4
  | niveau    = 15
}}

:Dans ce chapitre nous allons voir une notion centrale de la topologie : la connexité. Nous aborderons un cas particulier dans les e.v.n. : la convexité.
:Dans toute la suite, <math>E</math> désigne un e.v.n. et <math>A</math> est une partie de <math>E</math>
{{clr}}

== Connexité ==
Dans un premier temps, nous allons étudier la notion de connexité. De manière intuitive, <math>A</math> sera une partie connexe si elle est en un seul morceau. Nous n'allons pas rentrer trop loin dans cette notion, qui est délicate à manipuler au premier abord, l'objectif étant d'introduire la notion et de donner une démonstration plus conceptuelle du théorème des valeurs intermédiaires, ainsi qu'une généralisation.
=== Définition ===
Voyons tout d'abord la définition d'une partie connexe :
{{Définition 
 | titre = Définition : Recouvrement ouvert et connexité.
 | contenu = 
:* Un recouvrement ouvert de <math>A</math> est un ensemble <math>\mathcal B</math> d'ouverts de <math>A</math> tel que <math>\underset{O\in \mathcal B}{\cup}O = A</math>. 
:* <math>A</math> est dite connexe si le seul recouvrement ouvert de <math>A</math> en deux ouverts disjoints de <math>A</math> est <math>{\emptyset, A}</math>.
 }}

;Remarque :
*On rappelle que disjoint signifie d'intersection vide.
*On voit, à travers cette définition, que si <math>A</math> est composée de « plusieurs morceaux » alors on va pouvoir trouver un recouvrement de <math>A</math> en deux ouverts disjoints.

;Exemples :
*Nous allons voir, à la fin de ce chapitre, un exemple fondamental : tout e.v.n. est connexe. La preuve utilise la notion de convexité et est donc reportée à la fin du chapitre.
*Nous allons voir que pour <math>\R</math> les parties connexes sont exactement les intervalles. Cela nécessite quelques propositions intermédiaires avant de pouvoir être démontré proprement. 

Voyons tout d'abord d'autres caractérisations de la continuité. Le lecteur ne doit pas hésiter à relire la partie [[Espaces_vectoriels_normés/Définitions_-_Éléments_de_Topologie#Introduction_à_la_topologie|« Introduction à la topologie »]] pour aborder la démonstration ainsi que les suivantes.
{{Propriété
 | contenu =
On a équivalence entre les trois points suivants :
# <math>A</math> est connexe.
# Le seul recouvrement de <math>A</math> en deux fermés disjoints de <math>A</math> est <math>{\emptyset, A}</math>.
# Les seules parties à la fois ouvertes et fermées de <math>A</math> sont <math>\emptyset</math> et <math>A</math>.
 }}

{{Démonstration déroulante 
| contenu = 
:Les deux premières propriétés sont équivalentes par passage au complémentaire dans la définition de la connexité.
:Montrons que 2. implique 3.. 
:Soit <math>O</math> une partie à la fois ouverte et fermée de <math>A</math>
:Alors <math>O \cup A\backslash O</math> est un recouvrement de <math>A</math> en deux fermés, donc soit <math>O=\emptyset</math> soit <math>O=A</math>.
:Finalement, montrons que 3. implique 1..
:Soit <math>O,\ O'</math> deux ouverts disjoints de <math>A</math> tels que <math>O\cup O' =A</math>. 
:Alors, <math>O=A\backslash O'</math> est à la fois ouvert et fermé, et on a : <math> O=\emptyset</math>  et <math>O'=A</math> ou l'inverse, ce qui prouve que <math>A</math> est connexe.
}}

;Remarque :
*On utilise souvent le point 3. de cette propriété de la façon suuivante : pour montrer qu'une propriété est vraie sur une partie connexe, on montre que l'ensemble des points tels que la propriété est vraie est une partie non vide, ouverte et fermée. Ceci implique alors que la propriété est vraie sur l'ensemble de la partie.

Remarquons que l'union de deux parties connexes n'est pas forcément connexe, prendre par exemple <math>A_1=]0,1[,\ A_2=]2,5[</math> alors l'union des deux n'est pas connexe, car les connexes de <math>\R</math> sont les intervalles (ce qui reste encore à démontrer). La proposition suivante nous donne une condition pour que cela soit le cas :

{{Proposition
|titre = Proposition : Union de partie connexe
|contenu =
Soit <math>(A_i)_{i\in I}</math> une famille de parties connexes de <math>E</math>. Si <math>\underset{i\in I}{\cap}A_i\neq \emptyset </math> alors <math>A=\underset{i\in I}{\cup}A_i</math> est connexe.
}}
{{Démonstration déroulante 
| contenu = 
:On va revenir à la définition d'une partie connexe. Soient <math>U,\ V</math> des ouverts disjoints de <math>A</math> qui recouvrent <math>A</math>.
:On pose alors : <math>\forall i \in I,\ V_i=A_i\cap V ,\ U_i=A_i\cap U</math>. Pour tous les <math>i\in I</math>, les ouverts <math>V_i,\ U_i</math> forment un recouvrement en deux ouverts disjoints de <math>A_i</math>, partie connexe par hypothèse, on a donc soit <math>V_i=\emptyset</math>, soit <math>U_i=\emptyset</math>.
:Supposons que <math>\underset{i\in I}{\cap}A_i</math> rencontre <math>U</math>, alors on a <math>\forall i\in I,\ U_i\neq \emptyset</math>, d'où <math>V_i=\emptyset</math>, et <math>V=\emptyset</math>.
:Si <math>\underset{i\in I}{\cap}A_i</math> rencontre <math>V</math>, alors le même raisonnement prouve que <math>U=\emptyset</math>.
:Ceci prouve la connexité de <math>A</math>.
}}

Avant de caractériser les connexes de <math>\R</math>, nous énonçons le résultat suivant qui peut paraître technique mais dont nous avons besoin pour la démonstration, et qui est souvent utile en pratique.
{{Proposition
|contenu=Soit <math>A</math> une partie de <math>E</math>, et <math>B</math> une partie de <math>E</math> qui vérifie <math>A\subset B\subset \bar{A}</math>. Alors <math>B</math> est connexe.
}}

{{Démonstration déroulante 
| contenu = 
:On va utliser le fait qu'une partie est connexe si et seulement si les seules parties à la fois ouvertes et fermées sont la partie elle-même et l'ensemble vide.
:Soit <math>C</math> une partie non vide à la fois ouverte et fermée de <math>B</math>, montrons que <math>C=B</math>.
:Par définition des ouverts d'une partie, on peut écrire : <math>C=B\cap O=B\cap F</math> avec <math>O,\ F</math> des parties ouvertes et fermées de <math>E</math> respectivement.
:Posons <math>C'=C\cap A</math>. Alors, <math>C'=O\cap A =F\cap A</math> donc <math>C'</math> est à la fois ouvert et fermé dans <math>A</math> qui est connexe, donc <math>C'=A</math> ou <math>C'=\emptyset</math>
:Or, comme <math>C=O\cap B \subset O\cap \bar{A}</math> on a <math>O\cap \bar{A}\neq \emptyset</math>. Donc, par définition de l'adhérence tout ouvert contenant un point de <math>\bar{A}</math> est non vide, <math>C'</math> est non vide et donc <math>C'=A</math>.
:On en déduit que <math>A\subset C</math>. Et comme <math>C</math> est fermé dans <math>B</math> et <math>C\subset B</math>, on a <math>C=\bar{C}\cap B</math>, et comme <math>A\subset C \subset \bar{A}</math> on a <math>\bar{C}=\bar{A}</math> et finalement <math>C=\bar{A}\cap B =B</math>. Ce qui finit de montrer que <math>B</math> est connexe.
:Notez que ci-dessus <math>\bar{C}</math> désigne l'adhérence de <math>C</math> dans <math>E</math>. Cette remarque est fondamentale (ainsi que la preuve) si l'on veut bien comprendre la connexité ainsi que les raisonnements en topologie.
}}

;Remarque :
*Si <math>A</math> est connexe alors son adhérence l'est aussi.
*Si <math>E</math> contient une partie dense connexe alors <math>E</math> est connexe.

Venons-en maintenant à la propriété plusieurs fois annoncée :
{{Théorème
|contenu =
Les connexes de <math>\R</math> sont exactement les intervalles.
}}

{{Démonstration déroulante 
| contenu = 
:Montrons tout d'abord qu'une partie connexe de <math>\R</math> est forcément un intervalle.
:Soit <math>A\subset \R</math> n'est pas un intervalle, il existe deux réels <math>x,\ y\in A</math> avec <math>x\neq y</math> tels que <math>]x;y[</math> ne soit pas inclus dans <math>A</math>.
:Soit <math>t\in ]x;y[\backslash A</math>. Alors <math>A \subset]-\infty;t[\cup]t;+\infty[</math>, donc il existe un recouvrement de <math>A</math> en deux ouverts disjoints non vides, et <math>A</math> n'est pas connexe.
:Montrons maintenant qu'un intervalle est toujours connexe.
:Soit <math>A=]a;b[\subset \R</math> (<math>a</math> et <math>b</math> peuvent être plus ou moins l'infini). Soit <math>B\subset A</math> une partie ouverte et fermée non vide. Nous allons montrer que <math>B=A</math>.
:Soit <math>x\in B</math>, et soit <math>C=\{y\in A | y\geq x,\ [x,y]\subset B\}</math>.
:On a <math>C\neq \emptyset</math>, donc <math>\beta =\sup C</math> existe. Supposons <math>\beta < b</math>. <math>B</math> étant un fermé de <math>A</math>, on a <math>\beta \in B</math>. Comme <math>B</math> est un ouvert de <math>A</math> qui est ouvert, il existe <math>\epsilon >0</math> tel que <math>]\beta - \epsilon;\beta + \epsilon[\subset B</math>. Mais cela contredit la définition de <math>\beta</math> donc <math>\beta=b</math>. On montre de manière similaire que <math>]a;x[ \subset B</math> donc <math>A=B</math>, et <math>A</math> est connexe.
:Finalement, <math>A</math> est un intervalle fermé ou semi-ouvert, alors son intérieur est un intervalle ouvert, donc connexe. La proposition précédente permet alors de conclure que <math>A</math> est connexe.
}}

;Remarque :
*Pour montrer qu'une partie est un intervalle, il est possible de montrer qu'elle est connexe. Même si cela n'est pas forcément le plus courant, cela peut s'avérer utile.
*À l'aide de la notion de connexité par arcs, on peut donner une démonstration plus simple de ce résultat, mais moins fondamentale.

=== Continuité et connexité ===
Commençons cette partie par une nouvelle caractérisation de la connexité à l'aide des fonctions continues.

{{Proposition
|titre= Proposition : Caractérisation de la connexité par les fonctions continues.
|contenu =
<math>A</math> est connexe si et seulement si toute fonction continue <math>f\ :\ A\ \to \{0;1\}</math> est constante.
}}
{{Démonstration déroulante
|contenu =
#Supposons tout d'abord que <math>A</math> est connexe.
#:Soit <math>f\ :\ A\ \to \{0;1\}</math> une fonction continue. Alors, on a <math>A=f^{-1}(\{0\}) \cup  f^{-1}(\{1\})</math> qui est une union de fermés (car <math>f</math> est continue et <math>\{0\},\ \{1\}</math> sont des fermés de <math>\{0;1\}</math>) manifestement disjoints.
#:Ainsi, <math>f</math> est constante car soit <math>f^{-1}(\{0\})=A</math> soit<math>f^{-1}(\{1\})=A</math>.
#Supposons maintenant que <math>A</math> ne soit pas connexe.
#:On sait alors qu'il existe deux fermés non vides <math>F,\ G</math> de <math>A</math> tels que <math>A=F\cup G</math>, et <math>F\cap G = \emptyset</math>.
#:On peut alors définir une fonction :
#:<math>\begin{array}{ccccc}
f & : & E & \to & F \\
 & & x & \mapsto & \begin{cases}
   0                &\text{si } x \in F\\
   1  &\text{si } x\in G
\end{cases}
\end{array}</math>
#:On vérifie alors que la fonction <math> f</math> est continue car les images réciproques des fermés de <math>\{0;1\}</math>  (<math>\emptyset,\ \{0\},\ \{1\},\ \{0;1\}</math> sont des fermés de <math>A</math> (<math>\emptyset,\ F,\ G,\ A</math>). Or, <math>f</math> n'est pas constante, ce qui termine la preuve.
}}

;Remarque :
*On voit encore apparaître le fait que si <math>A</math> est composée d'une union disjointe d'ouverts, on va pouvoir définir des fonctions dans <math>\{0;1\}</math> qui prennent des valeurs différentes sur chaque ouvert, et qui seront continues.


Étudions maintenant la propriété fondamentale reliant la connexité et la continuité. Le théorème suivant est l'un des premiers résultats montrant l'intérêt de la connexité : il nous dit que l'image d'une partie connexe par une application continue est connexe. Ceci permet de montrer assez facilement que certaines parties sont connexes. Il va également nous permettre d'obtenir sans efforts le théorème des valeurs intermédiaires.

{{Théorème
|contenu =
:Soient <math>A</math> une partie connexe de <math>E</math>, et <math>f\ :\ E \to \ F</math> une application continue.
:Alors, <math>f(A)</math> est une partie connexe de <math>F</math>.
}}
{{Démonstration déroulante
|contenu =
:Soit <math>U\cup V</math> un recouvrement en deux ouverts disjoints de <math>f(A)</math>. La continuité de <math>f</math> implique immédiatement que <math>f^{-1}(U)\cup f^{-1}(V)</math> est un recouvrement en deux ouverts disjoints de <math>A</math> qui est connexe.
:On a donc l'un des deux ouverts qui est vide. Si par exemple <math>f^{-1}(U)=\emptyset </math>, alors <math>U=f(f^{-1}(U))=\emptyset</math>.
:Ce qui prouve la connexité de <math>f(A)</math>.
}}

Pour insister sur le fait qu'il s'agit d'un résultat de topologie utilisant la connexité, rappelons le théorème des valeurs intermédiaire. La preuve est immédiate à partir du théorème précédent si l'on se souvient que les connexes de <math>\R</math> sont les intervalles.

{{Corollaire
| titre = Corollaire : Théorème des valeurs intermédiaires.
|contenu =
:Soit <math>f\ :\ [a;b]\subset \R \to \R</math> une fonction continue. 
:Alors, <math>f([a;b])</math> est un intervalle de <math>\R</math>, en particulier si <math>\alpha,\ \beta</math> sont dans <math>f([a;b])</math> alors tout <math>c \in [\alpha;\beta]</math> est dans <math>f([a;b])</math>.
}}

== Connexité par arcs ==
Nous allons maintenant nous  intéresser à une notion un peu plus forte : la connexité par arcs. On introduit pour cela la notion d'arc, qui est une courbe reliant deux points pour faire simple. Une partie est alors connexe par arcs si, étant donnés deux points dans cette partie, on peut trouver une courbe reliant ces deux points sans sortir de cette partie. Cette propriété est souvent plus simple à démontrer que la connexité, mais la connexité par arcs d'une partie implique sa connexité, la réciproque étant fausse mais les contre-exemples sont assez délicats à manipuler au premier abord. Intuitivement, si l'on peut toujours joindre deux points par une courbe, alors la partie considérée ne peut pas être en plusieurs morceaux.

{{Définition
 | titre = Définition : Arc, connexité par arcs.
 | contenu =
:* On appelle arc à valeurs dans <math> A</math> une application continue de <math>[0,1]</math> dans <math>A</math>.
:* On dit que <math>A</math> est connexe par arcs si pour tous points <math>x,y \in A</math>, il existe un arc <math>\gamma</math> à valeurs dans <math>A</math> tel que <math>\gamma(0)=x</math> et <math>\gamma(1)=y</math>.
}}

;Remarque :
*Concernant les arcs, il est important de distinguer d'une part l'arc qui est une application, et d'autre part son image qui est une partie de l'espace. De nombreux auteurs font l'abus de notation de noter encore <math>\gamma</math> l'image de l'arc, en particulier lorsque l'on aborde l'analyse complexe.


Voyons maintenant la propriété fondamentale des espaces connexes par arcs qui fait leur intérêt dans ce cours.
{{Propriété
| contenu =
Si <math>A</math> est connexe par arcs alors <math>A</math> est connexe.
}}

{{Démonstration déroulante 
|contenu =
:On va utiliser ici la caractérisation de la connexité à l'aide des fonctions continues.
:Soit <math>f\ :\ E\ \to \ \{0;1\}</math> une application continue, et <math>x\in E</math>.
:Pour tout <math>y \in E</math>, soit <math>\gamma_y</math> un arc joignant <math> x</math>et <math> y</math>.
:Ainsi, la composition <math>f \circ \gamma_y</math> est une application continue de <math>[0;1]</math> dans <math>{0;1}</math>. Par la connexité de <math>[0;1]</math> on sait que la fonction <math>f \circ \gamma_y</math> est constante, et donc que <math>f(y)=f(x)</math>.
:Le résultat étant vrai pour tout <math>y\in E</math>, on obtient que <math>f</math> est constante, et donc que <math>E</math> est connexe.
}}
;Remarque :
Nous insistons sur ce point mais la réciproque de cette propriété est fausse : il existe des espaces connexes non connexes par arcs, nous en verrons un exemple en exercice. Ceci étant dit, la grande majorité des exemples de parties connexes que nous aurons à traiter seront connexes par arcs, mais cela ne doit pas faire oublier la différence entre les deux notions.

== Convexité ==
Les notions de connexité et de connexité par arcs dépassent largement le cadre des e.v.n.. Cependant la structure algébrique d'espace vectoriel va nous permettre d'introduire une autre notion peut-être plus simple pour le lecteur débutant : la convexité.
Géométriquement, <math>A</math> est convexe si tous les segments que l'on peut constituer à partir de point de <math>A</math> sont inclus dans <math>A</math>. Les intérêts des parties convexes sont multiples, que ce soit en géométrie ou en optimisation par exemple, mais dans notre cadre elles nous serviront à démontrer que des parties sont connexes/connexes par arcs.<br />
Concrètement, l'idée ci-dessus se traduit dans la définition suivante :

{{Définition
 | titre = Définition : Segment, convexité.
 | contenu ={{Wikipédia|Ensemble convexe}}
* On appelle segment entre <math>x,y \in E</math> l'ensemble <math>[x,y]=\{tx+(1-t)y\mid t\in [0,1]\}</math>.
* On dit que <math>A\subset E</math> est convexe si pour tous points <math>x,y \in A</math>, le segment <math>[x,y]</math> est inclus dans <math>A</math>.
 }}

;Remarques :
:*Dans <math>\R^2</math>, le lecteur peut vérifier que la définition donnée pour les segments correspond à un paramétrisation du segment naturelle.
:*Tout e.v.n. est convexe.

La propriété suivante nous fournit d'autres exemples de parties convexes :
{{Propriété
|contenu =
* Toute boule ouverte ou fermée est convexe.
* Une intersection de partie convexe est convexe.
}}

{{Démonstration déroulante
| contenu=
Montrons la première affirmation pour des boules ouvertes ; le raisonnement est identique pour les boules fermées.

Soit <math>B(a,R)</math> une boule ouverte, et <math>x,y \in B(a,R)</math>.

En utilisant les propriétés des normes et des boules, on a : <math>\|tx+(1-t)y-a\| = \|t(x-a)+(1-t)(y-a)\|\leq t\|x-a\|+(1-t)\|y-a\|\leq R</math>.

La seconde partie de la propriété est évidente.
}}

La proposition suivante est quasiment immédiate à partir de la définition, la démonstration ne figurant qu'à titre d'exemple.
Cependant, le résultat est très important pour démontrer qu'un espace est connexe par arcs ; en effet la convexité est souvent plus facile à démontrer et à visualiser géométriquement. Elle constitue également notre principale application de la connexité ici.

{{Propriété
|contenu =
Si <math>A</math> est convexe alors <math>A</math> est connexe par arcs (et donc connexe).
}}

{{Démonstration déroulante
|contenu =
Soit <math>x,y \in A</math>.

Prendre pour arc <math>\begin{align}\gamma\ :\ &[0,1] &\to &\ \ A & \\& t &\mapsto & x+(1-t)y& \end{align}</math> qui est bien un arc de <math>A</math> par définition de la convexité.
}}

Ce résultat nous prouve que tout e.v.n. est connexe, ce qui justifie la première remarque de ce chapitre.

{{Bas de page
  | idfaculté = mathématiques
  | précédent = [[../Compacité/]]
  | suivant   = [[../Espaces de Banach - Complétude/]]
}}