Branch of mathematical analysis concerned with infinite-dimensional topological vector spaces, often spaces of functions.
Topological vector spaces are a significant concept in functional analysis, which is a branch of mathematics that deals with infinite-dimensional vector spaces. These spaces are equipped with a topology, making it possible to define concepts such as continuity and limit.
A topological vector space is a vector space V over a field F (which is either the field of real numbers or the field of complex numbers) that is equipped with a topology such that vector addition and scalar multiplication are continuous functions.
Examples of topological vector spaces include all normed spaces, Banach spaces, and Hilbert spaces.
In a topological vector space, we can talk about continuous linear operators. A linear operator between two topological vector spaces is said to be continuous if the preimage of every open set is open.
Similarly, a linear functional on a topological vector space is continuous if and only if the preimage of every open set in the field is an open set in the vector space.
The weak topology on a topological vector space is the coarsest topology such that all continuous linear functionals are continuous. It is weaker than the original topology, and sequences that are convergent in the original topology are also convergent in the weak topology.
The weak* topology is a topology on the dual space of a topological vector space, which is the space of all continuous linear functionals on the space. It is the coarsest topology such that all evaluations are continuous.
The Hahn-Banach theorem is a central tool in functional analysis. In the context of topological vector spaces, it states that if a linear functional is defined and continuous on a subspace of a topological vector space, then it can be extended to a continuous linear functional on the entire space.
A topological vector space is said to be reflexive if the canonical map from the space into its double dual (the dual of its dual space) is an isomorphism. Reflexive spaces have the property that the weak and weak* topologies coincide.
The Banach-Alaoglu theorem states that in a normed space, the closed unit ball in the dual space is compact in the weak* topology. This is a fundamental result in functional analysis and has many applications.
In conclusion, topological vector spaces and the concepts related to them, such as continuous linear operators and functionals, the weak and weak* topologies, and the Hahn-Banach theorem, are fundamental to many areas of mathematics and have wide-ranging applications.