It is well-known that up to topological isomorphism there is exactly one Hausdorff topological vector space (say, over $\mathbb{C}$) of a given dimension $n$, namely $\mathbb{C}^n$ with the euclidean topology. What happens if we drop the Hausdorff condition, can we still classify all topological vector spaces? For example, there is one $\mathbb{C}^n\_{triv}$ with the trivial (indiscrete) topology, and more generally we have $\mathbb{C}^k\_{triv} \times \mathbb{C}^{n-k}$ for $0 \leq k \leq n$. Are these all?


Here is how one might start. If $V$ is a topological vector space of dimension $n$, then we can consider its subspace $K=\overline{\{0\}}$, which has some dimension $k$. The quotient $V/K$ is a topological vector space of dimension $n-k$. But it is also Hausdorff, so that it is isomorphic to $\mathbb{C}^{n-k}$. One checks that $K$ has the trivial topology (if $C \subseteq K$ is closed and $p \in C$, then $C-p \subseteq K$ is closed and contains $0$, so that $C-p=K$ and hence $C=K+p=K$.) But it is not clear a priori if this quotient splits.



Classification of non-Hausdorff topological vector spaces
The quotient actually splits, without any assumption on dimensions of the topological vector space $X$.


Let $Y$ be any algebraic complement subspace of $K:=\overline{\{0\}}$, that is the restriction to $Y\times K$ of the addition map is a bijective (linear) map $s:Y\times K\to X$. I claim it is a homeomorphism, hence a TVS isomorphism.


As you said, $K$ has the trivial (aka indiscrete) topology, that is, $K$ is the only nbd of $0$ in $K$. Also, recall that a TVS $X$ ($T\_0$ or not) always possesses a basis of closed nbd's of $0$. But if $V$ is a closed nbd of $0$ in $X$, $V=V+K$, since the closure of any $x$ is $x+K$. Then also $s((V\cap Y) \times K)=(V\cap Y) + K=V+K=V$, which means that $s$ is a homeomorphism. 


In conclusion, $X$ splits in the TVS direct sum of the (Hausdorff, dense in $X$) subspace $Y$ and the (indiscrete, closed in $X$) subspace $K$. As a consequence, the restriction of the quotient map $\pi:X\to X/K$ to $Y$ is also an isomorphism $\pi\_{|Y}:Y\to X/K$. 


