A topological vector space X is a vector space over a topological field K (most often the real or complex numbers with their standard topologies) which is endowed with a topology such that vector addition X × X → X and scalar multiplication K × X → X are continuous functions (where the domains of these functions are endowed with product topologies).
Some authors (e.g., Rudin) require the topology on X to be T0; it then follows that the space is Hausdorff, and even Tychonoff. The topological and linear algebraic structures can be tied together even more closely with additional assumptions, the most common of which are listed below.
The category of topological vector spaces over a given topological field K is commonly denoted TVSK or TVectK. The objects are the topological vector spaces over K and the morphisms are the continuous K-linear maps from one object to another.
Read more about Topological Vector Space: Examples, Topological Structure, Local Notions, Types of Topological Vector Spaces, Dual Space
Famous quotes containing the word space:
“But alas! I never could keep a promise. I do not blame myself for this weakness, because the fault must lie in my physical organization. It is likely that such a very liberal amount of space was given to the organ which enables me to make promises, that the organ which should enable me to keep them was crowded out. But I grieve not. I like no half-way things. I had rather have one faculty nobly developed than two faculties of mere ordinary capacity.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)