Is Rudin wrong? When is a finite dimensional topological vector space homeomorphic to coordinate space? In Rudin's Functional Analysis, Theorem 1.21 states

If $n$ is a positive integer and $Y$ is an $n$-dimensional subspace of a complex topological vector space $X$, then 
(a) every isomorphism of $\mathbb{C}^n$ onto $Y$ is a homeomorphism, and
(b) $Y$ is closed.

In particular this implies that every $n$-dimensional complex topological vector space is homeomorphic to $\mathbb{C}^n$. 
Am I missing something here? I thought that there were some separability axioms that had to hold (see Every finite dimensional topological separated vector space is isomorphic and homeomorphic to $\mathbb{K}^{n}$. for example).
 A: 
Am I missing something here? I thought that there were some separability axioms that had to hold.

In Rudin's definition a topological vector space is always T1, i.e. one-point sets are closed, this implies that $X$ is hausdorff (as proved there). Thus, $X$ with the indiscret topology is not a TVS according to Rudin's definition, because the indiscret topology is not hausdorff.
Note also that we always have a fixed topology on the ground field $\mathbb{C}$ without mentioning it. As usual, $\mathbb{C}$ is always equipped with the standard topology induced by the Euclidean norm. Indirectly, this implies in the finite-dimensional case the separability of $X$. 
If $X$ is a complex topological vector space , then $\mathbb{C} \times X \rightarrow X$ via $(\alpha,x) \mapsto \alpha x$ is continuous in the product topology on $\mathbb{C} \times X$. In particular, for some fixed $x \in X$,  $x \neq 0$ (we can assume $X \neq 0$, otherwise we don't have to show anything), the map $f \colon \mathbb{C} \rightarrow X$ via $f(\alpha) = \alpha x$ is continuous. 
For example, this forces that the topology of $X$ cannot be discret! In this case this map is not continuous, because $f^{(-1)}(\{x\})$ is not open in $\mathbb{C}$. So $X$ is a topological vector space with the discret topology only if $\mathbb{C}$ also carries the discret topology. As already said, implicitly we always consider the Euclidean topology on $\mathbb{C}$.
