# Is every vector space a topological space

To clarify the definitions, I will only assume the following:

- $\mathbb K$ and $V$ are topological spaces.
- There are elements $0,1\in\mathbb K$ and ${\bf 0}\in V$.
- There is a continuous function $s\colon \mathbb K\times V\to V$ (where $\mathbb K\times V$ is given the product topology) satisfying $s(0,v)={\bf 0}$ and $s(1,v)=v$ for all $v\in V$.
- $\mathbb K$ is connected.

In particular, when $V$ is a topological vector space over a connected topological field $\mathbb K$ and $s(k,v)$ is the scalar multiplication function, these conditions are satisfied.

I will now show that conditions $(1)$ through $(4)$ force $V$ to be connected as well.

First, observe that for all $v\in V$ the map $\mathbb K\to \mathbb K\times V$ which sends $k\in\mathbb K$ to $(k,v)$ is continuous. (This holds in general for the product topology.) Composing this map with the scalar multiplication $s$, it follows that for all $v\in V$, the set $$ s(\mathbb K,v):=\{s(k,v)\colon k\in\mathbb K\} $$ is the continuous image of a connected space, and hence connected. (Wikipedia calls this the "main theorem of connectedness".)

Since $s(1,v)=v$ for all $v\in V$, we have that $$ V=\bigcup_{v\in V}s(\mathbb K,v). $$ On the other hand, since $s(0,v)={\bf 0}$ for all $v\in V$, the intersection of these sets is non-empty. The union of connected sets with non-empty intersection is connected, as explained here, and therefore (since each $s(\mathbb K,v)$ is connected) so is $V$ itself.

- Can I buy bitcoin in Nepal
- Why do marriages fail after honeymoon
- How do I increase my cheeks
- What is CID salary
- Is the NIFT entrance exam difficult
- Who is smart Lelouch or L Lawliet
- Is hardik naman a correct word
- What does the Tamil word karaalan mean
- Do elite colleges discriminate against Asians 1
- How do I delete WhatsApp status
- Is Yahoo a good search engine
- Where is Pontiac in Michigan
- How is CSE from PEC Chandigarh
- Is China winning the Code War
- Does an expanding universe have Lorentz symmetry