En mathématiques, plus précisément en topologie, un espace totalement discontinu est un espace topologique qui est « le moins connexe possible » au sens où il n'a pas de partie connexe non triviale : dans tout espace topologique, l'ensemble vide et les singletons sont connexes ; dans un espace totalement discontinu, ce sont les seules parties connexes. Un exemple populaire d'espace totalement discontinu est l'ensemble de Cantor. Un autre exemple, important en théorie algébrique des nombres, est le corps Qp des nombres p-adiques. Un espace topologique X est totalement discontinu si la composante connexe de tout point x de X est le singleton { x }. Les espaces suivants sont totalement discontinus : tous les espaces totalement séparés (c'est-à-dire dans lesquels deux points distincts peuvent toujours être séparés par un ouvert-fermé), en particulier tous les espaces T0 de dimension zéro (donc réguliers), comme : les espaces discrets ; les parties non vides de R d'intérieur vide ; l'anneau Z des entiers p-adiques, ou plus généralement, tout groupe profini ; la droite de Sorgenfrey (cet espace, contrairement aux précédents, n'est pas localement compact). les deux espaces suivants (totalement séparés mais pas de dimension zéro) : l'espace d'Erdős des suites de carré sommable de rationnels et ses généralisations (dont la dimension est 1) ; le treillis de Roy privé de son sommet. le tipi de Cantor privé de son sommet (totalement discontinu mais pas totalement séparé). Les sous-espaces, espaces produits et coproduits d'espaces totalement discontinus sont totalement discontinus. Un espace totalement discontinu est toujours T1, puisque ses singletons sont fermés. Une image continue d'un espace totalement discontinu n'est pas nécessairement totalement discontinue (par exemple : tout compact métrisable est une image continue de l'espace de Cantor). Un espace localement compact est totalement discontinu si et seulement s'il est de dimension zéro.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (4)
MATH-315: Spaces of non-positive curvature and groups
Non-positive curvature is a fundamental aspect of geometry appearing in Euclidean spaces, hyperbolic spaces, trees, buildings and many more spaces. We study it with the general but powerful tool of CA
MATH-338: Topological groups
We study topological groups. Particular attention is devoted to compact and locally compact groups.
MATH-662: Perfectoid spaces
The course is about defining perfectoid spaces, and possibly presenting some applications.
Afficher plus
Publications associées (10)
Concepts associés (17)
Nombre rationnel
Un nombre rationnel est, en mathématiques, un nombre qui peut s'exprimer comme le quotient de deux entiers relatifs. On peut ainsi écrire les nombres rationnels sous forme de fractions notées où , le numérateur, est un entier relatif et , le dénominateur, est un entier relatif non nul. Un nombre entier est un nombre rationnel : il peut s'exprimer sous la forme . Chaque nombre rationnel peut s'écrire d'une infinité de manières différentes sous forme de fraction, par exemple ...
Ouvert-fermé
En topologie, un ouvert-fermé est un sous-ensemble d'un espace topologique X qui est à la fois ouvert et fermé. Il peut sembler contre-intuitif que de tels ensembles existent, puisqu'au sens usuel, « ouvert » et « fermé » sont antonymes. Mais au sens mathématique, ces deux notions ne sont pas mutuellement exclusives : une partie de X est dite fermée si son complémentaire dans X est ouvert, donc un ouvert-fermé est simplement un ouvert dont le complémentaire est aussi ouvert.
Topologie induite
En mathématiques, la topologie induite est une topologie définie sur toute partie Y d'un espace topologique X : c'est la trace sur Y de la topologie sur X. Autrement dit, l'ensemble des ouverts de Y (muni de la topologie induite) est : {O⋂Y | O ouvert de X}. Ou encore : les voisinages dans Y d'un point sont les traces sur Y de ses voisinages dans X. On dit alors que Y est un sous-espace de X. La topologie induite est souvent sous-entendue dans les énoncés de topologie : par exemple, lorsque l'on a un espace topologique X donné, une partie Y de X sera dite compacte si elle est compacte pour la topologie induite par X sur Y.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.