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.
Espace σ-compactEn mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).
Espace de Stonevignette|Un ensemble fini de points isolés les uns des autres est un exemple d'espace de Stone. En mathématiques, plus précisément en topologie, un espace de Stone est un espace topologique compact qui est « le moins connexe possible », au sens où l'ensemble vide et les singletons sont ses seules parties connexes. Le concept d'espace de Stone et ses propriétés de base ont été découverts et étudiés par Marshall Stone en 1936. Un espace de Stone est un espace compact totalement discontinu. Tout espace fini discret est de Stone.
Espace polonaisEn mathématiques, un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet. Tout espace compact métrisable, tout sous-espace fermé ou ouvert d'un espace polonais, tout produit dénombrable d'espaces polonais, tout espace de Banach séparable est un espace polonais. Cette terminologie a été introduite par le groupe Bourbaki, dans le volume sur la topologie générale de ses Éléments de mathématique.
Catégorie des espaces topologiquesEn mathématiques, la catégorie des espaces topologiques est une construction qui rend compte abstraitement des propriétés générales observées dans l'étude des espaces topologiques. Ce n'est pas la seule catégorie qui possède les espaces topologiques comme objet, et ses propriétés générales sont trop faibles ; cela motive la recherche de « meilleures » catégories d'espaces. C'est un exemple de catégorie topologique.
Homologie singulièreEn topologie algébrique, l'homologie singulière est une construction qui permet d'associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association est un invariant topologique non complet, c'est-à-dire que si deux espaces sont homéomorphes alors ils ont mêmes groupes d'homologie singulière en chaque degré mais que la réciproque est fausse. Le théorème de Stokes appliqué à des formes fermées donne des intégrales nulles. Cependant, il se fonde sur une hypothèse cruciale de compacité.
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.
Separated setsIn topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different.
Topologie grossièreEn mathématiques et plus précisément en topologie, la topologie grossière (ou topologie triviale) associée à un ensemble X est la topologie sur X dont les seuls ouverts sont l'ensemble vide et X. Cette topologie est la moins fine de toutes les topologies qu'il est possible de définir sur un ensemble ; intuitivement, tous les points de l'espace topologique ainsi créé sont « groupés ensemble » et ne peuvent pas être distingués du point de vue topologique.
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.
Baire spaceIn mathematics, a topological space is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior. According to the , compact Hausdorff spaces and complete metric spaces are examples of Baire spaces. The Baire category theorem combined with the properties of Baire spaces has numerous applications in topology, geometry, analysis, in particular functional analysis. For more motivation and applications, see the article .
Espace complètement régulierEn mathématiques, un espace complètement régulier (ou de Tikhonov) est un espace topologique vérifiant une propriété de séparation plus forte que la séparation usuelle et même que la propriété d'être régulier. Un espace topologique X vérifie la propriété de séparation T si pour tout point x de X et pour tout fermé F de X ne contenant pas x, il existe une application continue de X dans le segment [0, 1] valant 0 en x et 1 sur F (on dit alors que cette application sépare le point du fermé).
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.
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.
Espace uniformeEn mathématiques, la notion d'espace uniforme, introduite en 1937 par André Weil, est une généralisation de celle d'espace métrique. Une structure uniforme est une structure qui permet de définir la continuité uniforme. On peut y parvenir de deux manières différentes, l'une en généralisant la notion de distance, l'autre avec une axiomatique proche de celle des espaces topologiques. On montre que ces deux approches sont équivalentes. Un écart sur un ensemble est une application [0, +∞] telle que pour tout : (symétrie); (inégalité triangulaire).
Dimension topologiqueEn mathématiques, une dimension topologique est une notion destinée à étendre à des espaces topologiques la notion algébrique de dimension d'un espace vectoriel. C'est un invariant topologique, entier ou infini. Les trois principales dimensions topologiques sont les deux dimensions inductives ind et Ind et la dimension de recouvrement dim. Les dimensions Ind et dim coïncident pour tout espace métrisable ; si l'espace est de plus séparable, ses trois dimensions topologiques sont égales.
Variété topologiqueEn topologie, une variété topologique est un espace topologique, éventuellement séparé, assimilable localement à un espace euclidien. Les variétés topologiques constituent une classe importante des espaces topologiques, avec des applications à tous les domaines des mathématiques. Le terme variété peut désigner une variété topologique, ou, le plus souvent, une variété topologique munie d'une autre structure. Par exemple, une variété différentielle est une variété topologique munie d'une structure permettant le calcul différentiel.
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.
Topologie induiteEn 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.
Groupe d'homotopieEn mathématiques, et plus particulièrement en topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures. Il y a plusieurs définitions équivalentes possibles. Première définition Soit X un espace topologique et un point de X. Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension . Le i-ième groupe d'homotopie supérieur est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .
