Complete topological vector spaceIn functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by or , which are generalizations of , while "point towards which they all get closer" means that this Cauchy net or filter converges to The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces.
Polar topologyIn functional analysis and related areas of mathematics a polar topology, topology of -convergence or topology of uniform convergence on the sets of is a method to define locally convex topologies on the vector spaces of a pairing.
Mackey topologyIn functional analysis and related areas of mathematics, the Mackey topology, named after George Mackey, is the finest topology for a topological vector space which still preserves the continuous dual. In other words the Mackey topology does not make linear functions continuous which were discontinuous in the default topology. A topological vector space (TVS) is called a Mackey space if its topology is the same as the Mackey topology.
Espace de MontelEn topologie des espaces vectoriels, on appelle espace de Montel un espace vectoriel topologique localement convexe séparé, tonnelé et dont tout fermé borné est compact. Le nom provient du mathématicien Paul Montel. Tout espace de Montel est réflexif et quasi complet. Son dual fort est un espace de Montel. Le quotient d'un espace de Fréchet-Montel par un sous-espace fermé peut n'être pas réflexif, et a fortiori ne pas être un espace de Montel (en revanche, le quotient d'un espace de Fréchet-Schwartz par un sous-espace fermé est un espace de Fréchet-Montel).
Strong dual spaceIn functional analysis and related areas of mathematics, the strong dual space of a topological vector space (TVS) is the continuous dual space of equipped with the strong (dual) topology or the topology of uniform convergence on bounded subsets of where this topology is denoted by or The coarsest polar topology is called weak topology. The strong dual space plays such an important role in modern functional analysis, that the continuous dual space is usually assumed to have the strong dual topology unless indicated otherwise.
Espace réflexifEn analyse fonctionnelle, un espace vectoriel normé est dit réflexif si l'injection naturelle dans son bidual topologique est surjective. Les espaces réflexifs possèdent d'intéressantes propriétés géométriques. Soit un espace vectoriel normé, sur ou . On note son dual topologique, c'est-à-dire l'espace (de Banach) des formes linéaires continues de dans le corps de base. On peut alors former le bidual topologique , qui est le dual topologique de . Il existe une application linéaire continue naturelle définie par pour tout dans et dans .
Bornological spaceIn mathematics, particularly in functional analysis, a bornological space is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of sets and linear maps, in the same way that a topological space possesses the minimum amount of structure needed to address questions of continuity. Bornological spaces are distinguished by the property that a linear map from a bornological space into any locally convex spaces is continuous if and only if it is a bounded linear operator.
Espace nucléaireEn mathématiques, et plus précisément en analyse, un espace nucléaire est un espace vectoriel topologique possédant certaines propriétés analogues à celles des espaces de dimension finie. Leur topologie peut être définie par une famille de semi-normes dont la taille des boules unités décroit rapidement. Les espaces vectoriels dont les éléments sont « lisses » en un certain sens sont souvent des espaces nucléaires ; un exemple typique est celui des fonctions régulières sur une variété compacte.
