# topological vector space

## Definition

A topological vector space  is a pair $(V,\mathcal{T})$, where $V$ is a vector space  over a topological field $K$, and $\mathcal{T}$ is a topology  on $V$ such that under $\mathcal{T}$ the scalar multiplication $(\lambda,v)\mapsto\lambda v$ is a continuous function  $K\times V\to V$ and the vector addition $(v,w)\mapsto v+w$ is a continuous function $V\times V\to V$, where $K\times V$ and $V\times V$ are given the respective product topologies.

## Finite-dimensional topological vector spaces

A finite-dimensional vector space inherits a natural topology. For if $V$ is a finite-dimensional vector space, then $V$ is isomorphic   to $K^{n}$ for some $n$; then let $f\colon V\to K^{n}$ be such an isomorphism     , and suppose that $K^{n}$ has the product topology. Give $V$ the topology where a subset $A$ of $V$ is open in $V$ if and only if $f(A)$ is open in $K^{n}$. This topology is independent of the choice of isomorphism $f$, and is the finest () topology on $V$ that makes it into a topological vector space.

Title topological vector space TopologicalVectorSpace 2013-03-22 12:16:55 2013-03-22 12:16:55 yark (2760) yark (2760) 22 yark (2760) Definition msc 46A99 TVS linear topological space topological linear space TopologicalRing FrechetSpace