Cartesian Space of Topological Field is Topological Vector Space

Theorem
Let $K$ be a Hausdorff topological field.

Let $K^n$ be the cartesian $n$-th power of $K$, defining scalar multiplication and vector addition component-wise.

Equip $K^n$ with the product topology given by $K$.

Then $K^n$ is a topological vector space.

Proof
From Product of Hausdorff Factor Spaces is Hausdorff, the topology on $K^n$ is Hausdorff.

We just need to show that scalar multiplication and vector addition are continuous.

Vector Addition is Continuous
Let $\pr_i^A : K^n \to K$ be the projection of $K^n$ onto its $i$th factor.

Likewise let $\pr_i^B : K^n \times K^n \to K^n$ be the projection of $K^n \times K^n$ onto its $i$th factor.

Define $f : K^n \times K^n \to K$ by:


 * $\map f {\tuple {x_1, x_2, \ldots, x_n}, \tuple {y_1, y_2, \ldots, y_n} } = \tuple {x_1 + y_1, x_2 + y_2, \ldots, x_n + y_n}$

for each $\tuple {x_1, x_2, \ldots, x_n}, \tuple {y_1, y_2, \ldots, y_n} \in K^n$.

From Continuous Mapping to Product Space, it suffices to show that $\pr_i \circ f$ with:


 * $\map {\paren {\pr_i \circ f} } {\tuple {x_1, x_2, \ldots, x_n}, \tuple {y_1, y_2, \ldots, y_n} } = x_i + y_i$

for each $\tuple {x_1, x_2, \ldots, x_n}, \tuple {y_1, y_2, \ldots, y_n} \in K^n$, is a continuous map.

We can write:

so that:


 * $\pr_i \circ f = \pr_1^B \circ \pr_i^A + \pr_2^B \circ \pr_i^A$

From Projection from Product Topology is Continuous, $\pr_1^B, \pr_2^B$ are continuous and:


 * $\pr_i^A$ is continuous for each $1 \le i \le n$.

So from Composite of Continuous Mappings is Continuous, we have:


 * $\pr_1^B \circ \pr_i^A$ is continuous for each $1 \le i \le n$

and:


 * $\pr_2^B \circ \pr_i^A$ is continuous for each $1 \le i \le n$.

So applying Sum of Continuous Functions on Topological Ring is Continuous to $K$ as a topological vector space over itself, $\pr_i \circ f$ is continuous for each $1 \le i \le n$.

So from Continuous Mapping to Product Space, $f$ is continuous.

Scalar Multiplication of Continuous
Again let $\pr_i^A : K^n \to K$ be the projection of $K^n$ onto its $i$th factor.