J'ai rencontré un problème concernant la notion d'ouvert.Un ouvert pour moi apparait toujours avec ses bornes ouvertes.Or j'ai rencontré des exos dont les ouverts de ma topo sont de la forme [a;b[.Quelqu'un peut-il m'expliquer?Merci d'avance
-----
23/11/2005, 10h37
#2
Sephi
Date d'inscription
novembre 2004
Localisation
Bruxelles
Âge
40
Messages
1 360
Re : Problème topo
Ça, c'est un intervalle semi-ouvert normalement.
23/11/2005, 10h45
#3
invite35b3dcbe
Date d'inscription
janvier 1970
Messages
5
Re : Problème topo
Oui je connais cette appelation mais je crois pas que ce soit lié à la notion de topologie. Un ouvert d'une topo donnée ne s'écrit pas forcément ]a;b[.Mais je ne sais pas lepourquoi du comment.
23/11/2005, 11h24
#4
matthias
Date d'inscription
février 2005
Localisation
IdF
Messages
4 247
Re : Problème topo
Si tu te places dans l'espace [a;+infini[ muni de la distance classique sur R, alors [a;b[ est bien un ouvert. C'est même la boule ouverte de rayon b-a centrée en a.
Aujourd'hui
A voir en vidéo sur Futura
23/11/2005, 11h25
#5
martini_bird
Date d'inscription
octobre 2004
Localisation
Paris
Âge
43
Messages
6 812
Re : Problème topo
Salut,
une réunion quelconque d'ouverts est un ouvert. Or est de la forme ]a; b[. Cette topologie des intervalles semi-ouverts à droite contient donc la topologie usuelle sur IR (on dit qu'elle est plus fine).
Cordialement.
23/11/2005, 11h38
#6
matthias
Date d'inscription
février 2005
Localisation
IdF
Messages
4 247
Re : Problème topo
Envoyé par steph_
Un ouvert d'une topo donnée ne s'écrit pas forcément ]a;b[.Mais je ne sais pas lepourquoi du comment.
Le pourquoi du comment c'est qu'une topologie sur un ensemble X est un ensemble T de parties de X tel que X et ensemble vide appartiennent à T, et stable par réunion quelconque et par intersection finie. Les éléments de la topologie sont appelés les ouverts.
Donc tu peux choisir n'importe quelle forme pour tes ouverts (et tu complètes pour obtenir une topologie).
Donc pour définir les ouverts il faut déjà dire dans quel espace on est (ce que tu n'as pas fait), et sur quelle topologie on travaille (topo quelconque, topo induite par une métrique ...).