Warning: include() [function.include]: Unable to access ../../../visiteurs-2.0/include/new-visitor.inc.php3 in /var/www/www.les-mathematiques.sesamath.net/htdocs/c/a/b/node3.php3 on line 1

Warning: include(../../../visiteurs-2.0/include/new-visitor.inc.php3) [function.include]: failed to open stream: No such file or directory in /var/www/www.les-mathematiques.sesamath.net/htdocs/c/a/b/node3.php3 on line 1

Warning: include() [function.include]: Failed opening '../../../visiteurs-2.0/include/new-visitor.inc.php3' for inclusion (include_path='.:/usr/share/php:/usr/share/pear') in /var/www/www.les-mathematiques.sesamath.net/htdocs/c/a/b/node3.php3 on line 1
Les-Mathematiques.net - Cours de mathématiques supérieures Séparation de fermés par des ouverts dans un métrique
 Les-Math�matiques.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
personnes(s) sur le site en ce moment.
A. Grothendieck

Les maths pour l'agreg

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
 
 
 
 
 
next up previous index
suivant: Théorème de Baire monter: Zoologie de la topologie précédent: Zoologie de la topologie   Index

Séparation de fermés par des ouverts dans un métrique

Proposition Soient $ F_1$ et $ F_2$ deux fermés disjoints d'un espace métrique $ (E,d)$. Alors il existe deux ouverts $ U_1$ et $ U_2$ tels que $ F_1\subset U_1$ et $ F_2 \subset U_2$, $ U_1$ et $ U_2$ étant disjoints.

En outre il existe une fonction continue de $ E$ dans $ [0,1]$ dont la restriction à $ F_1$ est égale à 0 et dont la restriction à $ F_2$ est $ 1$ (c'est à dire que $ \chi_{F_2}\leq f \leq \chi_{F_1^c}$).


Démonstration: Considérer la fonction $ f$ définie par

$\displaystyle f(x)=\frac{\sup ( d(x,F_1)-d(x,F_2),0)}{d(x,F_1)}$

si $ x \not \in F_1$ et $ f(x)=0$ sinon. puis $ U_1=f^{-1}([0,0.5[)$ et $ U_2=f^{-1}(]0.5,1])$.$ \sqcap$$ \sqcup$



C.Antonini_JF.Quint_P.Borgnat_J.Bérard_E.Lebeau_E.Souche_A.Chateau_O.Teytaud
 

 
©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
Autres...