Category of topological vector spaces

Last updated May 17, 2021

In mathematics, the category of topological vector spaces is the category whose objects are topological vector spaces and whose morphisms are continuous linear maps between them. This is a category because the composition of two continuous linear maps is again a continuous linear map. The category is often denoted TVect or TVS.

TVect is a concrete category

Like many categories, the category TVect is a concrete category, meaning its objects are sets with additional structure (i.e. a vector space structure and a topology) and its morphisms are functions preserving this structure. There are obvious forgetful functors into the category of topological spaces, the category of vector spaces and the category of sets.

TVect_$K$ is a topological category

The category is topological, which means loosely speaking that it relates to its "underlying category", the category of vector spaces, in the same way that Top relates to Set. Formally, for every K-vector space $V$ and every family $((V_{i},\tau _{i}),f_{i})_{i\in I}$ of topological K-vector spaces $(V_{i},\tau _{i})$ and K-linear maps $f_{i}:V\to V_{i},$ there exists a vector space topology $\tau$ on $V$ so that the following property is fulfilled:

Whenever $g:Z\to V$ is a K-linear map from a topological K-vector space $(Z,\sigma ),$ it holds that

g:(Z,\sigma )\to (V,\tau )

is continuous

\iff

\forall i\in I:f_{i}\circ g:(Z,\sigma )\to (V_{i},\tau _{i})

is continuous.

The topological vector space $(V,\tau )$ is called "initial object" or "initial structure" with respect to the given data.

If one replaces "vector space" by "set" and "linear map" by "map", one gets a characterisation of the usual initial topologies in Top. This is the reason why categories with this property are called "topological".

There are numerous consequences of this property. For example:

"Discrete" and "indiscrete" objects exist. A topological vector space is indiscrete iff it is the initial structure with respect to the empty family. A topological vector space is discrete iff it is the initial structure with respect to the family of all possible linear maps into all topological vector spaces. (This family is a proper class, but that does not matter: Initial structures with respect to all classes exists iff they exists with respect to all sets)
Final structures (the similar defined analogue to final topologies) exist. But there is a catch: While the initial structure of the above property is in fact the usual initial topology on $V$ with respect to $(\tau _{i},f_{i})_{i\in I}$ , the final structures do not need to be final with respect to given maps in the sense of Top. For example: The discrete objects (= final with respect to the empty family) in ${\textbf {TVect}}_{K}$ do not carry the discrete topology.
Since the following diagram of forgetful functors commutes

{\begin{array}{ccc}{\textbf {Vect}}_{K}&\rightarrow &{\textbf {Set}}\\\uparrow &&\uparrow \\{\textbf {TVect}}_{K}&\rightarrow &{\textbf {Top}}\end{array}}

and the forgetful functor from

{\textbf {Vect}}_{K}

to Set is right adjoint, the forgetful functor from

{\textbf {TVect}}_{K}

to Top is right adjoint too (and the corresponding left adjoints fit in an analogue commutative diagram). This left adjoint defines "free topological vector spaces". Explicitly these are free K-vector spaces equipped with a certain initial topology.

Since^{[ clarification needed ]} ${\textbf {Vect}}_{K}$ is (co)complete, ${\textbf {TVect}}_{K}$ is (co)complete too.

Related Research Articles

In mathematics, an associative algebra is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied.

In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms.

In category theory, a branch of mathematics, a universal property is an important property which is satisfied by a universal morphism. Universal morphisms can also be thought of more abstractly as initial or terminal objects of a comma category. Universal properties occur almost everywhere in mathematics, and hence the precise category theoretic concept helps point out similarities between different branches of mathematics, some of which may even seem unrelated.

In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Indeed, this intuition can be formalized to define so-called functor categories. Natural transformations are, after categories and functors, one of the most fundamental notions of category theory and consequently appear in the majority of its applications.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space which is also a topological space, this implies that vector space operations be continuous functions. More specifically, its topological space has a uniform topological structure, allowing a notion of uniform convergence.

In mathematics, the idea of a free object is one of the basic concepts of abstract algebra. It is a part of universal algebra, in the sense that it relates to all types of algebraic structure. It also has a formulation in terms of category theory, although this is in yet more abstract terms. Examples include free groups, tensor algebras, or free lattices. Informally, a free object over a set A can be thought of as being a "generic" algebraic structure over A: the only equations that hold between elements of the free object are those that follow from the defining axioms of the algebraic structure.

In mathematics, a function space is a set of functions between two fixed sets. Often, the domain and/or codomain will have additional structure which is inherited by the function space. For example, the set of functions from any set X into a vector space has a natural vector space structure given by pointwise addition and scalar multiplication. In other scenarios, the function space might inherit a topological or metric structure, hence the name function space.

In category theory, a branch of mathematics, a monad is an endofunctor, together with two natural transformations required to fulfill certain coherence conditions. Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories.

In category theory, a branch of mathematics, a functor category $is a category where the objects are the functors and the morphisms are natural transformations between the functors. Functor categories are of interest for two main reasons:$

In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is continuous. The study of Top and of properties of topological spaces using the techniques of category theory is known as categorical topology.

In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures allowing one to utilize, as much as possible, knowledge about the category of sets in other settings.

In general topology and related areas of mathematics, the initial topology on a set $, with respect to a family of functions on, is the coarsest topology on X that makes those functions continuous.$

In mathematics, a pointed space is a topological space with a distinguished point, the basepoint. The distinguished point is just simply one particular point, picked out from the space, and given a name, such as $that remains unchanged during subsequent discussion, and is kept track of during all operations.$

In linear algebra, the transpose of a linear map between two vector spaces, defined over the same field, is an induced map between the dual spaces of the two vector spaces. The transpose or algebraic adjoint of a linear map is often used to study the original linear map. This concept is generalised by adjoint functors.

In general topology and related areas of mathematics, the final topology on a set $with respect to a family of functions from topological spaces into is the finest topology on that makes all those functions continuous.$

In mathematics, Tannaka–Krein duality theory concerns the interaction of a compact topological group and its category of linear representations. It is a natural extension of Pontryagin duality, between compact and discrete commutative topological groups, to groups that are compact but noncommutative. The theory is named after Tadao Tannaka and Mark Grigorievich Krein. In contrast to the case of commutative groups considered by Lev Pontryagin, the notion dual to a noncommutative compact group is not a group, but a category of representations Π(G) with some additional structure, formed by the finite-dimensional representations of G.

In category theory, a branch of mathematics, a dual object is an analogue of a dual vector space from linear algebra for objects in arbitrary monoidal categories. It is only a partial generalization, based upon the categorical properties of duality for finite-dimensional vector spaces. An object admitting a dual is called a dualizable object. In this formalism, infinite-dimensional vector spaces are not dualizable, since the dual vector space V^∗ doesn't satisfy the axioms. Often, an object is dualizable only when it satisfies some finiteness or compactness property.

In mathematics, the category of manifolds, often denoted Man^p, is the category whose objects are manifolds of smoothness class C^p and whose morphisms are p-times continuously differentiable maps. This is a category because the composition of two C^p maps is again continuous and of class C^p.

In mathematics, and in particular representation theory, Frobenius reciprocity is a theorem expressing a duality between the process of restricting and inducting. It can be used to leverage knowledge about representations of a subgroup to find and classify representations of "large" groups that contain them. It is named for Ferdinand Georg Frobenius, the inventor of the representation theory of finite groups.

References

Lang, Serge (1972). Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc.CS1 maint: discouraged parameter (link)

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

Category of topological vector spaces

Contents

TVect is a concrete category

TVect_$K$ is a topological category

See also

Related Research Articles

References

Category of topological vector spaces

Contents

TVect is a concrete category

TVectK{\displaystyle K} is a topological category

See also

Related Research Articles

References

TVect_$K$ is a topological category