Applications ouvertes et ferméesEn mathématiques, et plus précisément en topologie, une application ouverte est une application entre deux espaces topologiques envoyant les ouverts de l'un vers des ouverts de l'autre. De même, une application fermée envoie les fermés du premier espace vers des fermés du second. Soit deux espaces topologiques X et Y ; on dit qu'une application f de X vers Y est ouverte si pour tout ouvert U de X, l' f(U) est ouverte dans Y ; de même, on dit que f est fermée si pour tout fermé U de X, l'image f(U) est fermée dans Y.
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.
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.
Théorème de l'invariance du domaineEn mathématiques, et plus précisément en topologie, le théorème de l'invariance du domaine est un résultat dû à L. E. J. Brouwer (1912), concernant les applications continues entre sous-ensembles de Rn. La forme la plus fréquente de ce théorème est : Soit U un sous-ensemble ouvert de Rn et f : U → Rn une injection continue, alors V = f(U) est ouvert et f est un homéomorphisme entre U et V.
FibréEn mathématiques, un espace fibré est, intuitivement, un espace topologique qui est localement le produit de deux espaces — appelés la base et la fibre — mais en général pas globalement. Par exemple, le ruban de Möbius est un fibré de base un cercle et de fibre un segment de droite : il ressemble localement au produit d'un cercle par un segment, mais pas globalement comme le cylindre Plus précisément, l'espace total du fibré est muni d'une projection continue sur la base, telle que la de chaque point soit homéomorphe à la fibre.
Variété différentielleEn mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R.
Revêtement (mathématiques)En mathématiques, et plus particulièrement en topologie et en topologie algébrique, un revêtement d'un espace topologique B par un espace topologique E est une application continue et surjective p : E → B telle que tout point de B appartienne à un ouvert U tel que l' de U par p soit une union disjointe d'ouverts de E, chacun homéomorphe à U par p. Il s'agit donc d'un fibré à fibres discrètes. Les revêtements jouent un rôle pour calculer le groupe fondamental et les groupes d'homotopie d'un espace.
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 .
Étale morphismIn algebraic geometry, an étale morphism (etal) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.
Schéma (géométrie algébrique)En mathématiques, les schémas sont les objets de base de la géométrie algébrique, généralisant la notion de variété algébrique de plusieurs façons, telles que la prise en compte des multiplicités, l'unicité des points génériques et le fait d'autoriser des équations à coefficients dans un anneau commutatif quelconque.
