General topologyIn mathematics, general topology (or point set topology) is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. The fundamental concepts in point-set topology are continuity, compactness, and connectedness: Continuous functions, intuitively, take nearby points to nearby points.
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.
Fiber (mathematics)In mathematics, the term fiber (US English) or fibre (British English) can have two meanings, depending on the context: In naive set theory, the fiber of the element in the set under a map is the of the singleton under In algebraic geometry, the notion of a fiber of a morphism of schemes must be defined more carefully because, in general, not every is closed. Let be a function between sets. The fiber of an element (or fiber over ) under the map is the set that is, the set of elements that get mapped to by the function.
Espace à base dénombrableEn mathématiques, plus précisément en topologie, un espace est dit à base dénombrable si sa topologie admet une base dénombrable. La plupart des espaces usuels de l'analyse et beaucoup d'espaces en analyse fonctionnelle sont à base dénombrable. Tout espace à base dénombrable est à la fois séparable, à bases dénombrables de voisinages et de Lindelöf (en particulier, pour un espace à base dénombrable, les trois propriétés quasi-compact/dénombrablement compact/séquentiellement compact sont équivalentes).
Espace de Hilbertvignette|Une photographie de David Hilbert (1862 - 1943) qui a donné son nom aux espaces dont il est question dans cet article. En mathématiques, un espace de Hilbert est un espace vectoriel réel (resp. complexe) muni d'un produit scalaire euclidien (resp. hermitien), qui permet de mesurer des longueurs et des angles et de définir une orthogonalité. De plus, un espace de Hilbert est complet, ce qui permet d'y appliquer des techniques d'analyse. Ces espaces doivent leur nom au mathématicien allemand David Hilbert.
Groupe topologiqueEn mathématiques, un groupe topologique est un groupe muni d'une topologie compatible avec la structure de groupe, c'est-à-dire telle que la loi de composition interne du groupe et le passage à l'inverse sont deux applications continues. L'étude des groupes topologiques mêle donc des raisonnements d'algèbre et de topologie. La structure de groupe topologique est une notion essentielle en topologie algébrique. Les deux axiomes de la définition peuvent être remplacés par un seul : Un morphisme de groupes topologiques est un morphisme de groupes continu.
Espace vectoriel topologiqueEn mathématiques, les espaces vectoriels topologiques sont une des structures de base de l'analyse fonctionnelle. Ce sont des espaces munis d'une structure topologique associée à une structure d'espace vectoriel, avec des relations de compatibilité entre les deux structures. Les exemples les plus simples d'espaces vectoriels topologiques sont les espaces vectoriels normés, parmi lesquels figurent les espaces de Banach, en particulier les espaces de Hilbert. Un espace vectoriel topologique (« e.v.t.
Projection (mathematics)In mathematics, a projection is an idempotent mapping of a set (or other mathematical structure) into a subset (or sub-structure). In this case, idempotent means that projecting twice is the same as projecting once. The restriction to a subspace of a projection is also called a projection, even if the idempotence property is lost. An everyday example of a projection is the casting of shadows onto a plane (sheet of paper): the projection of a point is its shadow on the sheet of paper, and the projection (shadow) of a point on the sheet of paper is that point itself (idempotency).
Application propreEn mathématiques, une application est dite propre si elle vérifie une certaine propriété topologique. La définition la plus courante, valable pour une application continue d'un espace séparé dans un espace localement compact, est que l'application est propre si l' de toute partie compacte de l'espace d'arrivée est compacte. Cette définition est équivalente, dans ce contexte, à la définition générale : une application (non nécessairement continue et entre espaces topologiques quelconques) est propre si elle est « universellement fermée ».
Théorème de Banach-SchauderEn analyse fonctionnelle, le théorème de Banach-Schauder, également appelé théorème de l'application ouverte, est un résultat fondamental qui affirme qu'une application linéaire continue surjective entre deux espaces de Banach (ou plus généralement : deux espaces vectoriels topologiques complètement métrisables) est ouverte. C'est une conséquence importante du théorème de Baire, qui affirme que dans un espace métrique complet, toute intersection dénombrable d'ouverts denses est dense.