Topologie discrète
- Topologie discrète
-
Pour les articles homonymes, voir
Discret.
En mathématiques, plus précisément en topologie, la topologie discrète sur un ensemble est une structure d'espace topologique où, de façon intuitive, tous les points sont « isolés » les uns des autres.
Définitions
Soit X un ensemble. L'ensemble des parties de X définit une topologie sur X appelée topologie discrète. X muni de cette topologie est alors appelé espace discret.
On dit qu'une partie A d'un espace topologique X est un ensemble discret lorsque la topologie induite sur A est la topologie discrète.
Propriétés
La topologie discrète est la topologie possédant le plus d'ouverts qu'il soit possible de définir sur un ensemble X, en d'autres termes la topologie la plus fine possible. En ce sens, c'est l'opposé de la topologie grossière.
Parmi les autres propriétés d'un espace topologique discret X :
- Tout sous-ensemble de X est à la fois ouvert et fermé.
- Une application de X dans un espace topologique quelconque est toujours continue.
- X est métrisable, par exemple par la distance discrète, i.e. la distance d définie par : d(x,y) = 1 si x ≠ y, et d(x,x) = 0.
- En conséquence, X satisfait à tous les axiomes de séparation. En particulier, X est séparé.
- Si X est précompact pour l'une des distances induisant sa topologie (en particulier si X est compact) alors il est fini.
- Les singletons de X forment une base de sa topologie.
- Tout point de X admet un système fondamental de voisinages dénombrable (et même : fini), donc X est « à bases dénombrables de voisinages » ; X est à base dénombrable d'ouverts si et seulement s'il est dénombrable.
- X est totalement discontinu.
- Si X n'est pas vide, il est « de deuxième catégorie » , i.e. non maigre dans lui-même.
Les propriétés suivantes caractérisent les espaces discrets et les espaces finis discrets :
- Un espace topologique X est discret si et seulement si tous ses singletons sont ouverts.
- Un espace topologique fini X est discret si et seulement s'il est séparé, auquel cas il est même compact.
Enfin :
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Topologie discrète de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Topologie discrete — Topologie discrète En mathématiques, la topologie discrète associée à un ensemble est une topologie où, de façon intuitive, tous les points sont « isolés » les uns des autres. Définitions Soit X un ensemble. L ensemble des parties de X… … Wikipédia en Français
TOPOLOGIE - Topologie générale — Les notions de continuité et de limite ont une origine intuitive et l’on se propose d’analyser ici cette intuition. Considérons, par exemple, la description de la tangente T à une courbe (fig. 1) telle qu’on la trouve dans les manuels classiques… … Encyclopédie Universelle
Topologie grossiere — Topologie grossière En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les… … Wikipédia en Français
Topologie triviale — Topologie grossière En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les… … Wikipédia en Français
Topologie de l'ordre — En mathématiques, la topologie de l ordre est une topologie naturelle définie sur tout ensemble ordonné (E,≤), et qui dépend de la relation d ordre ≤. Lorsque l on définit la topologie usuelle de la droite numérique , deux approches équivalentes… … Wikipédia en Français
discrète — ● discret, discrète adjectif (latin discretus, de discernere, séparer) Qui agit avec réserve dans ses relations avec autrui, qui veille à ne pas gêner les autres : Un garçon discret, qui ne se mêle pas des affaires de ses voisins. Qui n attire… … Encyclopédie Universelle
Topologie grossière — En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les topologies qu il est… … Wikipédia en Français
Topologie cofinie — La topologie cofinie est la topologie que l on peut définir sur tout ensemble X de la manière suivante : l ensemble des ouverts est constitué de l ensemble vide et parties de X cofinies, c est à dire dont le complémentaire dans X est fini.… … Wikipédia en Français
Valeur discrète — Topologie discrète En mathématiques, la topologie discrète associée à un ensemble est une topologie où, de façon intuitive, tous les points sont « isolés » les uns des autres. Définitions Soit X un ensemble. L ensemble des parties de X… … Wikipédia en Français
Topologie cohérente — La topologie cohérente est fréquemment utilisée en topologie algébrique, notamment en lien avec les limites inductives. Ce vocabulaire désigne à la fois une méthode assez générale pour construire une topologie mais aussi une topologie… … Wikipédia en Français
