Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
135 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 
Espaces métriques connexes next up previous
suivant: Application continue sur un monter: Espaces métriques connexes précédent: Introduction

Espaces métriques connexes

Dans tout ce chapitre (X,d) et (Y,d') désignent des espaces métriques .
Définition On dira que l'espace métrique (X,d) est connexe s'il vérifie l'une des conditions équivalentes suivantes.
  1. Si X est réunion de deux ouverts disjoints alors l'un de ces deux ouverts est vide et l'autre égale à X.
  2. Si X est réunion de deux fermés disjoints alors l'un de ces deux fermés est vide et l'autre égale à X.
  3. Si l'on considère $\lbrace 0,1 \rbrace$ muni de la topologie discrète et $f: X\longrightarrow \lbrace 0,1 \rbrace$ une application continue , alors $f$ est constante sur X.
  4. Les seuls ensembles à la fois ouverts et fermés de X sont X lui même et l'ensemble vide.
Démonstration $1\Leftrightarrow 2$ est évident par passage au complémentaire.
$1\Rightarrow 3$ : Soit $f$ un application continue de X dans $\lbrace 0,1 \rbrace$. Alors $\lbrace f^{-1}(0);f^{-1}(1) \rbrace $ représente une partition de E en deux ouverts (ou deux fermés) de E. Par conséquent, l'un de ces deux ouverts est vide et l'autre égale à X tout entier, ce qui implique bien que $f$ est constante sur X.
$3\Rightarrow 1$ : Soient $U_1$ et $U_2$ deux ouverts de X qui définissent une partition de X. Soit aussi $f: X\longrightarrow \lbrace 0,1 \rbrace$ définie par $f(U_1)=\lbrace 0 \rbrace$ et $f(U_2)=\lbrace 1 \rbrace$. $f$ est continue et donc constante sur X. Donc l'un des deux ouverts est vide et l'autre égale à X tout entier.Cqfd
$1\Rightarrow 4$ : Soit U un sous ensemble à la fois ouvert et fermé de X. Alors U$^c$ est, lui aussi, un sous ensemble ouvert et fermé de X. Mais U et U$^c$ définissent une partition de X en deux ouverts. X étant connexe U est ou vide ou égale à X tout entier.
$4\Rightarrow 1$ : Supposons que U et V définissent une partition ouverte de X. Le complémentaire de U est alors égale à V et réciproquement V$^c$=U. U étant ouvert , V est alors fermé . De même U est aussi fermé. Mais X ne possède pas de sous ensemble à la fois ouvert et fermé autre que l'ensemble vide et X. Donc l'un des deux, U ou V est vide l'autre égale à X, ce qui nous donne le premier point.
Définition On dira qu'un sous ensemble U de X est un sous espace connexe de X ( ou un connexe de X ) si U est connexe pour la métrique induite de celle de X.
Exemple Un intervalle de IRest connexe dans IR(muni de sa topologie canonique). Les seuls sous ensembles connexes de IRsont d'ailleurs les intervalles.

next up previous
suivant: Application continue sur un monter: Espaces métriques connexes précédent: Introduction
Emmanuel_Vieillard-Baron_pour_les.mathematiques
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page