Définition
Un espace topologique est dit connexe si les seuls sous-ensembles de à la fois ouverts et fermés sont et . Une partie d'un espace topologique est connexe si elle est connexe pour la topologie induite.
On utilisera la connexité pour montrer:
certaines formes du théorème des valeurs intermédiaires .
le corollaire sur la dérivabilité d'une limite d'une suite de fonctions.
les lemmes et , utile pour une démonstration du théorème de Jordan
la proposition utilisera la connexité pour définir une distance dans un ouvert connexe d'un espace vectoriel normé
théorème de Runge, .
Tous les résultats basés sur l'indice, par exemple le théorème de Cauchy , et beaucoup de résultats sur les fonctions holomorphes.
L'exercice de la partie , montrant qu'une fonction de
dans
telle que
est polynomiale.
On trouvera diverses autres applications de la connexité plus loin dans ce chapitre.
Proposition
Les assertions suivantes sont équivalentes:
(i) est connexe (ii) Une application de dans continue est constante, avec muni de la topologie discrète.
(iii) Pour tout couple d'ouverts et de , si
et
, alors
ou
(iv) Pareil avec des fermés
(v) Toutes les parties de non triviales (i.e. autres que et ) ont une frontière non vide.
Démonstration:Facile:
(i) (ii) Si est connexe, montrons que toute application continue de dans est constante.
En effet, si une telle application n'était pas constante, on partitionnerait en deux ouverts non vides (
et
); chacun d'eux serait alors à la fois ouvert, fermé, et non trivial.
La réciproque (ii) (i) est non moins simple (raisonner par l'absurde: si ouvert et fermé non vide et différent de , alors prendre la fonction caractéristique de dans ).
(ii) (iii) Facile, en voyant que si et contredisent l'hypothèse, est ouvert et fermé et non trivial.
Le reste est du même niveau de difficulté, je le passe sous silence...
Proposition Si
est connexe et si
, alors est connexe.
Si les sont des parties connexes de et
, alors est connexe.
Si les sont des parties connexes de et pour tout couple il existe
avec et tels que intersecte
, alors est connexe.
Démonstration:
Pour montrer la première assertion on utilise la deuxième des caractérisations des connexes données en .
La deuxième assertion n'est qu'un cas particulier de la troisième.
La troisième assertion là aussi se montre en utilisant la seconde des caractérisations des connexes données en .
Théorème Les connexes de
sont les intervalles.
Démonstration:Facile.
Théorème
L'image d'un connexe par une fonction continue est un connexe.
Démonstration:Facile toujours en utilisant la même caractérisation des connexes.
Théorème
Soit une application continue définie sur un connexe et à valeurs dans
. Alors l'image de est un intervalle.
Démonstration:Facile au vu des deux théorèmes précédents.
Corollaire
Le théorème des valeurs intermédiaires (dans le cas d'une fonction continue, pas dans le cas d'une fonction dérivée) découle immédiatement du théorème ci-dessus.
Théorème des valeurs intermédiaires pour une fonction dérivée, dit aussi théorème de Darboux, .
Théorème [passage à la douane]
Soit un espace topologique et
connexe. Si intersecte à la fois et son complémentaire, alors intersecte la frontière de .
Démonstration:Il suffit de voir que les deux ouverts et ne peuvent recouvrir .
Théorème
Un produit d'ensembles non vides est connexe si et seulement si chacun des facteurs l'est.
Démonstration:Il est facile de voir, via les projections canoniques, que si le produit est connexe, chacun des facteurs l'est. La réciproque est plus difficile. On commence par le cas où le produit est un produit de deux espaces (voir figure ). Pour cela on montre que tous les couples
sont contenus dans un sous-ensemble connexe de
; on utilisera ensuite la proposition . Il suffit pour ce résultat intermédiaire de considérer l'union de
et de
. Par récurrence, on généralise ce résultat à tout produit fini de connexes.
Figure:
Un produit fini d'ensembles est connexe si et seulement si chacun des facteurs l'est. La généralisation à un produit infini se fait par un argument de connexité de l'adhérence d'une partie connexe convenablement choisie (voir le texte).
On considère maintenant un produit quelconques de facteurs connexes non vides.
On considère un élément de , en utilisant l'axiome du choix. Pour fini inclus dans ( est l'index de ), on définit alors le sous-ensemble de défini par
si et seulement si pour tout tel que
. est connexe puisqu'homéomorphe à un produit fini de . On peut vérifier que la réunion des est dense dans (en se rappelant qu'une base d'ouverts d'une topologie produit est l'ensemble des intersections finies d'images d'ouverts par les projections inverses) et connexe (par le deuxième point de la proposition ), et on conclut par le premier point de la proposition .
Théorème
Une fonction localement constante sur un connexe est constante.
Démonstration:Il suffit de voir que l'image réciproque d'un singleton est à la fois ouverte et fermée.
Définition [Composante connexe]
Avec , la composante connexe de , notée , est la réunion de tous les connexes contenant .
Proposition Tout point appartient à sa composante connexe
La composante connexe d'un point est le plus grand connexe contenant ce point
Les composantes connexes sont fermées
Deux composantes connexes sont disjointes ou confondues. En particulier, la famille des composantes connexes forment une partition de l'espace.
Démonstration:Le premier point est trivial, le deuxième aussi par , le troisième découle de la connexité de
, le quatrième point découle du fait que la réunion de deux connexes non disjoints est un connexe (deuxième point de la proposition ).
Définition [Arc ou chemin, ligne brisée]
Un arc ou chemin est une application continue de dans . L'image de 0 et l'image de sont les extrémités de l'arc.
Une ligne brisée entre et est une suite finie de segments
avec
, et .
On appelle longueur d'une ligne brisée la somme des longueurs de ses segments.
Exercice 13Dans un espace normé, l'application qui à associe
est un arc d'extrémités et (on dit aussi un arc entre et ). L'image de cet arc est appelée segment, noté .
D'un arc entre et et un arc entre et on peut déduire un arc entre et .
Définition [Connexe par arcs]
Un espace topologique est dit connexe par arcs si il existe un arc entre toute paire de points.
Une partie d'un espace topologique est dite connexe par arcs si elle est connexe par arcs pour la topologie induite.
Démonstration:Cela découle des exemples ci-dessus.
Proposition
Un connexe par arcs est connexe. La réciproque est fausse.
Démonstration:On fixe dans un espace connexe par arcs. Chaque arc est un connexe, car image d'un connexe () par une fonction continue; la réunion des arcs partant de est connexe (par la proposition ), or par définition cette réunion est l'espace tout entier. Pour la réciproque, considérer la figure .
Figure:
Un connexe qui n'est pas connexe par arcs. La même figure fournit un exemple de connexe qui n'est pas localement connexe. Il s'agit de la courbe des
vers 0 par valeurs inférieures, plus la frontière
. On voit que la figure n'est pas localement connexe en considérant ce qu'il se passe au voisinage du point .
Exercice 14
Soit l'application
, qui à associe . Montrer que la fermeture de son graphe est connexe mais pas connexe par arcs.
Démonstration:On suppose qu'il existe une fonction continue qui à 0 associe et à associe
, et telle que pour tout on ait appartienne au graphe de . On considère le sup de l'ensemble des tels que la première composante de soit nulle. Il suffit ensuite de considérer la limite de la deuxième composante pour tendant vers .
Proposition
Soit une famille de parties connexes par arcs. Si pour toute paire il existe une suite finie
avec
et et , alors la réunion est connexe par arcs.
Démonstration:Facile.
Définition [Composante connexe par arcs]
La composante connexe par arcs de est la réunion de tous les connexes par arcs passant par ; on la note .
Proposition La composante connexe par arcs d'un point est connexe par arcs.
Deux composantes connexes par arcs sont soit disjointes soit confondues.
, car est un connexe contenant , et est le plus grand connexe
contenant par définition.
Définition [Localement connexe (par arcs)]
Un espace est localement connexe (resp. par arcs) si tout point de l'espace
possède une base de voisinage connexes (resp. par arcs).
Attention; un espace peut être connexe sans être localement connexe. Voir par exemple la figure .
Notamment, alors qu'un espace dont tout point possède un voisinage compact (par exemple un espace compact!) est localement compact, un espace dont tout point possède un voisinage connexe n'est pas nécessairement localement connexe.
Théorème
Dans un espace localement connexe (resp. localement connexe par arcs), les composantes connexes (resp. par arcs) des ouverts sont ouvertes.
Démonstration:Facile.
Corollaire
Dans un espace localement connexe (resp. localement connexe par arcs) tout point possède une base de voisinages ouverts et connexes (resp. connexes par arcs).
Démonstration:Il suffit de considérer, étant donné et un voisinage de , un ouvert inclus dans et contenant ,et une composante connexe (resp. par arcs) de dans cet ouvert.
On peut noter le théorème suivant:
Théorème
Dans un espace localement connexe par arcs, les ouverts connexes sont connexes par arcs.
Notamment, les ouverts connexes de
, ou de tout espace vectoriel normé 1.9 sont connexes par arcs.