Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Adhérence (mathématiques)En topologie, l'adhérence d'une partie d'un espace topologique est le plus petit ensemble fermé contenant cette partie. Lorsque l'espace est métrisable, c'est aussi l'ensemble des limites de suites convergentes à valeurs dans cette partie. Dans un espace topologique E, l'adhérence d'une partie X, notée , est le « plus petit » (au sens de l'inclusion) fermé contenant X. L'existence d'un tel fermé est claire : il existe au moins un fermé contenant X, à savoir l'espace E lui-même ; d'autre part, l'intersection de tous les fermés contenant X est un fermé contenant X, et est le plus petit ayant cette propriété.
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.
Boule (topologie)En topologie, une boule est un type de voisinage particulier dans un espace métrique. Le nom évoque, à juste titre, la boule solide dans l'espace usuel à trois dimensions, mais la notion se généralise entre autres à des espaces de dimension plus grande (ou plus petite) ou encore de norme non euclidienne. Dans ce cas, une boule peut ne pas être « ronde » au sens usuel du terme.
Complexe simplicialthumb|Exemple d'un complexe simplicial.En mathématiques, un complexe simplicial est un objet géométrique déterminé par une donnée combinatoire et permettant de décrire certains espaces topologiques en généralisant la notion de triangulation d'une surface. Un tel objet se présente comme un graphe avec des sommets reliés par des arêtes, sur lesquelles peuvent se rattacher des faces triangulaires, elles-mêmes bordant éventuellement des faces de dimension supérieure, etc.
Point isoléEn topologie, un point x d'un espace topologique E est dit isolé si le singleton {x} est un ouvert. Formulations équivalentes : {x} est un voisinage de x ; x n'est pas adhérent à E{x} (x n'est pas un « point d'accumulation »). En particulier, si E est un espace métrique (par exemple une partie d'un espace euclidien), x est un point isolé de E s'il existe une boule ouverte centrée en x qui ne contient pas d'autre point de E. Un espace topologique dans lequel tout point est isolé est dit discret.
Espace localement connexeEn mathématiques, plus précisément en topologie, un espace localement connexe est un espace topologique pouvant être décrit à l’aide de ses ouverts connexes. En topologie, on dit qu’un espace est connexe lorsqu’il est fait « d’une seule pièce ». La question naturelle qui suit est de savoir si tout espace topologique peut être décrit comme la réunion disjointe (dans la catégorie des espaces topologiques) de ses composantes connexes ; en d’autres termes, peut-on considérer que lorsqu’on connait toutes les « pièces » d’un espace topologique, on sait tout de cet espace ? Une condition nécessaire et suffisante pour cela est que toutes les composantes connexes soient ouvertes.
Intérieur (topologie)vignette|Le point x est dans l'intérieur de S car il y a une boule centrée en x entièrement incluse dans S. Le point y n'est pas dans l'intérieur de S. En mathématiques, l'intérieur (abrégé en int) est une notion de topologie appliquée à une partie d'un espace topologique. Soit X un espace topologique et A une partie de X. On appelle intérieur de A le plus grand ouvert de X inclus dans A. Il existe : c'est la réunion de tous les ouverts inclus dans A.
Ensemble maigreEn topologie, dans le contexte des espaces de Baire, un ensemble maigre (on dit aussi de première catégorie) est une partie d'un espace de Baire qui, en un sens technique, peut être considérée comme de taille infime. Un ensemble comaigre est le complémentaire d'un ensemble maigre. Une partie qui n'est pas maigre est dite de deuxième catégorie. Un sous-ensemble d'un espace topologique E est dit maigre lorsqu'il est contenu dans une réunion dénombrable de fermés de E qui sont tous d'intérieur vide.
HomotopieEn mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique. L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.
