# Is every completely regular topology induced by some topological vector space?

Every topological vector space is completely regular. My question is, is the converse true? That is, is every completely regular topology induced by some topological vector space?

If not, does anyone know of a counterexample?

• isn't every metric space completely regular? in which case, $\{0,1\}$...... – Dan Rust Feb 19 at 1:55
• So there are obvious counterexamples to the statement "If $X$ is completely regular, then $X$ is a topological vector space". Do you perhaps want a proof/contradiction to the statement "If $X$ is completely regular, then $X$ embeds in a topological vector space"? – Aweygan Feb 19 at 1:59
• @DanRust Well, $\{0,1\}$ is a ($1$-dimensional) topological vector space over the (discrete) topological field $\mathbb{F}_2$. But a discrete space with $6$ points does the trick, since any finite vector space has prime power order. – Alex Kruckman Feb 19 at 2:01
• @AlexKruckman good point. I was just thinking about real/complex coefficients. I think Aweygan's question is maybe more what OP was aiming for though. – Dan Rust Feb 19 at 2:03
• Just in case the question was intended to be as @Aweygan suggested: Every completely regular space embeds into a power of the interval $[0,1]$ with the product topology. (This is the main step in one construction of the Stone-Cech compactification.) So it embeds into a power of $\mathbb R$, which is a topological vector space. – Andreas Blass Feb 19 at 3:12