[Topologie] Quand le dessin est clair

Aide à la résolution d'exercices de mathématiques de tout niveau scolaire.
[participation réservée aux utilisateurs inscrits]
Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
Minibob59
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 234
Inscription : dimanche 24 janvier 2010, 11:14
Localisation : Palaiseau

[Résolu] [Topologie] Quand le dessin est clair

Message non lu par Minibob59 »

Bonjour à tous !

paspythagore, avec ses soucis de fermés, m'a redonné envie de me plonger dans un cours de topologie. Mais du coup, j'ai moi aussi eu quelques problèmes... ^^

On considère $(X, \mathrm{d})$ un espace métrique et $A,B \subset X$. On suppose que $\bar{A} \cap B = A \cap \bar{B} = \emptyset$. Montrer qu'il existe deux ouverts $U$ et $V$ de $X$ tels que $A \subset U$ et $B \subset V$.

Je précise qu'il s'agit de la 4e question d'un exercice qui porte sur la fonction $f_Y$ définie comme suit : $Y$ est une partie de $X$ et pour tout $x \in X$, $f_Y(x) = \displaystyle\inf_{y\in Y} \mathrm{d}(x,y)$.
On démontre entre autre que $f_Y$ est 1-lipschitzienne, que $y \in \bar{Y} \iff f_Y(y) = 0$, et que l'ensemble des fermés de $X$ est égale à l'ensemble des zéros des fonctions continues à valeurs réelles définies sur $X$.

Mon problème est donc de construire les ouverts $U$ et $V$, sachant que si on fait un dessin avec des patates, on se rend bien compte qu'ils existent...
Dernière modification par Minibob59 le mardi 21 janvier 2014, 09:54, modifié 1 fois.
Minibob59 !
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par balf »

Les ouverts U et V doivent bien entendu être disjoints, je présume ?

B.A.
Minibob59
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 234
Inscription : dimanche 24 janvier 2010, 11:14
Localisation : Palaiseau

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par Minibob59 »

Effectivement, c'est une condition que j'ai oubliée de mentionner... ^^
Minibob59 !
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par balf »

Réflexion, en passant : on peut en tout cas supposer que A et B soient fermés. On est ramené alors à montrer que X est un espace normal, c.-à-d. que deux fermés disjoints possèdent des voisinages ouverts disjoints.

B.A.
Minibob59
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 234
Inscription : dimanche 24 janvier 2010, 11:14
Localisation : Palaiseau

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par Minibob59 »

Je ne pense pas que l'on puisse faire cette hypothèse...
Par exemple, je me place dans le plan $\mathbb{R}^2$. Je considère le carré dont les sommets sont les points de coordonnées $(0,0)$, $(0,1)$, $(-1,1)$ et $(-1,0)$, je note $A$ son intérieur et sa frontière sauf le segment $(0,0) -- (0,1)$. Je note alors $B$ le symétrique de $A$ par rapport à l'axe des ordonnées. Les ensembles $A$ et $B$ ne sont ni des ouverts, ni des fermés, et ils vérifient bien les hypothèses de l'énoncé. On arrive facilement à construire les ouverts $U$ et $V$ (on prend des carrés plus grands simplement).

C'est le cas qui me pose problème en fait : le cas où les ensembles $A$ et $B$ sont collés mais disjoints.
Minibob59 !
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par balf »

On peut faire cette hypothèse en travaillant dans le sous-espace $\mathsf{X' = X \setminus \overline{A}\cap \overline{B}}$ ; on remarque que les ouverts de X' sont aussi des ouverts de X et les adhérences de $\mathsf{A' = A \cap X'}}$ et de $\mathsf{B' = B \cap X}$ dans X' sont disjointes.

B.A.
OG
Modérateur spécialisé
Modérateur spécialisé
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par OG »

Bonsoir

Les dessins en topologie, vu les possibilités psychédéliques des ouverts/fermés/denses/etc, je m'en méfierais tout de même.

Ici je pense que pour construire $U$ de la forme $\cup_{x\in A} B(x,\varepsilon_x)$ il faut choisir un $\varepsilon_x$ qui va bien.
Comme $d(x,\bar{B})>0$ pour tout $x\in A$, prendre $0<\varepsilon_x < d(x,\bar{B})/4$ (ou $/2$) et faire le symétrique pour $V$
fera (je crois) fonctionner la machine à topologie.

O.G.
Minibob59
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 234
Inscription : dimanche 24 janvier 2010, 11:14
Localisation : Palaiseau

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par Minibob59 »

C'est vrai que les dessins sont parfois (souvent ^^) trompeurs en topologie, mais ça donne quand même des idées, et je trouve que c'est bien pour se représenter les choses en première approche.

La solution proposée avec l'union des boules $B(x, \varepsilon_x)$ ne me paraît pas mal du tout. Il faut que je la rédige bien pour en être parfaitement convaincu, mais je pense que ça marche bien avec $\varepsilon_x = \mathrm{d}(x, \bar{B})/2$.

Je ne pense pas assez à cette définition d'un ouvert (par la réunion des boules centrées en les points constituant cet ouvert), mais vu comment était tourné l'exercice, je suis sûr qu'il y a une autre façon de répondre à la question, en utilisant la fonction $f_Y$ où $Y \in \left\lbrace A, B, \bar{A}, \bar{B}, \dots \right\rbrace$. On doit pouvoir définir les ouverts $U$ et $V$ comme quelque chose dépendant d'un $f^{-1}_Y(\left\{ 0 \right\})$, mais il faut trouver le bon $Y$...
Minibob59 !
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par balf »

Il me semble que la réunion des boules ne fournit, dans un premier temps en tout cas, qu'un ouvert U qui contient A et est disjoint de B, mais pas l'ouvert V qui contiendrait B et serait disjoint de U.

B.A.
OG
Modérateur spécialisé
Modérateur spécialisé
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par OG »

Je n'ai pas trop le temps de tout écrire en détails. Si $x$ dans $A$ et $y$ dans $B$, alors $d(x,y)\geq d(x,\bar{B})$ et
$d(x,y)\geq d(y,\bar{A})$. Avec le choix de $\varepsilon_x$ et $\varepsilon_y$ liés aux distances/2, il me semble
que $B(x,\varepsilon_x)$ et $B(y,\varepsilon_y)$ sont bien d'intersection vide.

O.G.
Minibob59
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 234
Inscription : dimanche 24 janvier 2010, 11:14
Localisation : Palaiseau

Re: [Topologie] Quand le dessin est clair mais pas la rédact

Message non lu par Minibob59 »

La solution proposée par OG fonctionne : si on prend $x \in A$ et $y \in B(x, \varepsilon_x)$ où $\varepsilon_x = \mathrm{d}(x, \bar{B})/4$, alors on montre avec des manipulations d'inégalités triangulaires que $\mathrm{d}(y, \bar{B}) \geq 3\varepsilon_x$ (ce qui est assez intuitif). De ce fait, l'ouvert $U$ contient $A$ par construction et vérifie $U \cap \bar{B} = \varnothing$.
La justification apportée par OG dans le post précédent précise que si $x \in U$ et $y \in V$ (ouvert construit symétriquement), on a nécessairement $x \neq y$, d'où $U \cap V = \varnothing$.

Merci pour vos réponses !
Minibob59 !
Répondre
  • Sujets similaires
    Réponses
    Vues
    Dernier message