Topologie discrète

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie 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[modifier | modifier le code]

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[modifier | modifier le code]

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 :

  • Un produit d'espaces discrets est discret si et seulement si tous sauf un nombre fini sont réduits au vide ou à un singleton.

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 :


(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Discrete space » (voir la liste des auteurs)