Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 10-01-2024 14:51:03

Jaber
Invité

Deux distances topologiquement équivalentes

Bonjour ،svp comment montrer que ces deux distances sont équivalentes ?
D(x,y)= l exp(x)-exp(y)l avec la distance usuelle.

Merci pour votre aide.

#2 10-01-2024 15:52:55

bridgslam
Membre Expert
Lieu : Rospez
Inscription : 22-11-2011
Messages : 1 913

Re : Deux distances topologiquement équivalentes

Bonjour,

En utilisant la continuité de l'exponentielle et de sa réciproque (bien connues) , vous pouvez montrer que toute boule ouverte pour l'une des distances en contient une pour l'autre distance (avec le même centre).

A.

Hors ligne

#3 11-01-2024 18:05:11

Jaber
Invité

Re : Deux distances topologiquement équivalentes

Bonjour , il faut montrer que la famille des ouverts pour la première distance est la même famille des ouverts pour l'autre distance,
Donc pour montrer cela , on doit raisonner par double inclusion sur les ouverts et non sur les boules ouvertes ??

Merci.

#4 11-01-2024 19:43:40

bridgslam
Membre Expert
Lieu : Rospez
Inscription : 22-11-2011
Messages : 1 913

Re : Deux distances topologiquement équivalentes

Bonjour ,

Cela suffit pour le montrer, je vous laisse méditer pourquoi.
Indice: qu'est-ce qu'un ouvert vis à vis des boules?

Si O est un ouvert pour D (resp. d) , montrer c' est un ouvert pour d ( resp. D ) est simplissime compte-tenu de la propriété indiquée.
Et bien noter que la double inclusion n'est pas sur les ouverts en soi mais sur leurs topologies respectives.

un exemple de preuve rapide

La fonction $Id_{\mathbb{R}} $est bijective (et égale à sa réciproque).

Cette fonction est continue de $(\mathbb{R}, |.| )$ dans $(\mathbb{R}, D )$ puisque exp est continue
Vu dans l'autre sens en composant par le logarithme népérien, on a la continuité inverse.

Une partie de  $\mathbb{R}$ est un ouvert  pour d ssi elle est un ouvert pour D. Les deux topologies sont égales.

Bonne journée

A.

Dernière modification par bridgslam (13-01-2024 11:27:33)

Hors ligne

#5 11-01-2024 19:59:16

bridgslam
Membre Expert
Lieu : Rospez
Inscription : 22-11-2011
Messages : 1 913

Re : Deux distances topologiquement équivalentes

Sinon vous pouvez aussi montrer que les suites convergentes sont les mêmes pour chaque distance.
En topologie il y a souvent plusieurs voies agréables.
Montrer que l'identité est un homéomorphisme entre les deux espaces en est encore une autre: vous retomberez sur l'idée de continuités déjà évoquées, sous un angle juste psychologique différent ( voir post précédent )

A.

Dernière modification par bridgslam (13-01-2024 11:29:09)

Hors ligne

#6 13-01-2024 19:04:48

Jaber
Invité

Re : Deux distances topologiquement équivalentes

Bonjour, c'est compris les méthodes, mais vous avez dit qu'on doit montrer que toute boule ouverte pour l'une des distances en contient une pour l'autre distance , mais pourquoi avec même centre ???

#7 13-01-2024 19:32:32

bridgslam
Membre Expert
Lieu : Rospez
Inscription : 22-11-2011
Messages : 1 913

Re : Deux distances topologiquement équivalentes

Bonsoir,

Si vous partez d'un ouvert O pour la distance D, vous devez montrer que pour tout x dans O, une boule ouverte au sens de l'autre distance (d) , de centre x ,
est contenue dans O. Or il existe par définition déjà une boule ouverte de centre x au sens de D contenue dans O.
Il ne reste donc qu'à conclure avec l'inclusion de boules de centre x ( à prouver).
Idem en intervertissant les distances...

Alain

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
soixante neuf plus cinquante neuf
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums