Point d'accumulation (mathématiques)En mathématiques, un point d'accumulation d'une partie A d'un espace topologique E est un point x de E qui peut être « approché » par des points de A au sens où chaque voisinage de x – pour la topologie de E – contient un point de A distinct de x. Un tel point x n'est pas nécessairement un point de A. Ce concept généralise la notion de limite, et permet de définir des notions comme les espaces fermés et l'adhérence. De fait, pour qu'un espace soit fermé, il faut et il suffit qu'il contienne tous ses points d'accumulation.
Espace topologiqueLa topologie générale est une branche des mathématiques qui fournit un vocabulaire et un cadre général pour traiter des notions de limite, de continuité, et de voisinage. Les espaces topologiques forment le socle conceptuel permettant de définir ces notions. Elles sont suffisamment générales pour s'appliquer à un grand nombre de situations différentes : ensembles finis, ensembles discrets, espaces de la géométrie euclidienne, espaces numériques à n dimensions, espaces fonctionnels plus complexes, mais aussi en géométrie algébrique.
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 quotientEn mathématiques, la topologie quotient consiste intuitivement à créer une topologie en collant certains points d'un espace donné sur d'autres, par le biais d'une relation d'équivalence bien choisie. Cela est souvent fait dans le but de construire de nouveaux espaces à partir d'anciens. On parle alors d'espace topologique quotient. Beaucoup d'espaces intéressants, le cercle, les tores, le ruban de Möbius, les espaces projectifs sont définis comme des quotients.
Partie denseEn topologie, une partie dense d'un espace topologique est un sous-ensemble permettant d'approcher tous les éléments de l'espace englobant. La notion s'oppose ainsi à celle de partie nulle part dense. La densité d'une partie permet parfois d'étendre la démonstration d'une propriété ou la définition d'une application par continuité. Soient X un espace topologique et A une partie de X.
Espace métriqueEn mathématiques et plus particulièrement en topologie, un espace métrique est un ensemble au sein duquel une notion de distance entre les éléments de l'ensemble est définie. Les éléments seront, en général, appelés des points. Tout espace métrique est canoniquement muni d'une topologie. Les espaces métrisables sont les espaces topologiques obtenus de cette manière. L'exemple correspondant le plus à notre expérience intuitive de l'espace est l'espace euclidien à trois dimensions.
Espace totalement discontinuEn 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.
Intervalle unitéEn mathématique, l'intervalle unité est l'intervalle fermé [0,1], c'est-à-dire, l'ensemble de tous les nombres réels qui sont supérieurs ou égaux à 0 et inférieurs ou égaux à 1. Il est souvent noté I. Dans la littérature, le terme "intervalle unité" est parfois appliqué à d'autres intervalles : (0,1], [0,1), et (0,1). Cependant, la notation I est généralement réservée à l'intervalle fermé [0,1]. L'intervalle unité est un espace métrique complet.
Connexité (mathématiques)La connexité est une notion de topologie qui formalise le concept d'« objet d'un seul tenant ». Un objet est dit connexe s'il est fait d'un seul « morceau ». Dans le cas contraire, chacun des morceaux est une composante connexe de l'objet étudié. Soit un espace topologique E. Les quatre propositions suivantes sont équivalentes : E n'est pas la réunion de deux ouverts non vides disjoints ; E n'est pas la réunion de deux fermés non vides disjoints ; les seuls ouverts-fermés de E sont ∅ et E ; toute application continue de E dans un ensemble à deux éléments muni de la topologie discrète est constante.
Espace à bases dénombrables de voisinagesEn mathématiques, un espace topologique X est à bases dénombrables de voisinages si tout point x de X possède une base de voisinages dénombrable, c'est-à-dire s'il existe une suite V, V, V, ... de voisinages de x telle que tout voisinage de x contienne l'un des V. Cette notion a été introduite en 1914 par Felix Hausdorff. Tout espace métrique (donc aussi tout espace métrisable) est à bases dénombrables de voisinages (prendre par exemple V = une boule (ouverte ou fermée) de centre x et de rayon 2).