# Do you need the Axiom of Choice to assert that every real vector space has a norm?

Math people:

This question is 95% answered (the first answer) at Does every $\mathbb{R},\mathbb{C}$ vector space have a norm? and Vector Spaces and AC . The questions, answers, and links found there seem to assert that if you assume the Axiom of Choice, then every vector space has a Hamel basis and hence a norm, and conversely, if you assume every vector space has Hamel basis, then AC follows.

But a norm doesn't have to be given by a Hamel basis. For example, on $L^2([0,1])$ you can use the standard norm, which I don't think can be defined using a Hamel basis, though it can be defined using a Schauder basis. So I think the question is still open.

EDIT: I want the underlying field to be the real numbers.

Stefan (STack Exchange FAN)

## 1 Answer

It is consistent that the axiom of choice fails and there is a vector space over the real numbers which cannot be a topological vector space in a nontrivial way, and in particular it means that it cannot be normed, since the norm would induce a nontrivial topology.

The construction is due to Läuchli, from 1963 (and the extension to real vector spaces follows from my masters thesis).

The more interesting question is whether the assertion "every vector space has a norm" implies the axiom of choice. The answer to that, I do not know at this time.

• Thank you for your prompt reply. It seems that your answer is "yes" (?). I'm not sure what you mean by "nontrivial", or for a norm to be discrete. I want the field to be the reals (I edited the question to clarify). I would rather stick to the textbook definition of norm and avoid the term "topological vector space", both for my benefit and anyone else following this question. – Stefan Smith Mar 10 '13 at 19:10
• @Stefan: Norms define metrics, which in turn define a topology. One can show that the topology induced by a norm has to obey certain rules which prevent it from being the discrete topology (i.e. every set is open), if the only topology fitting to a metric space on the vector space is the discrete one, then it cannot possibly be induced by a norm. Therefore there cannot be a norm compatible with the vector space structure. – Asaf Karagila Mar 10 '13 at 19:52
• so essentially, Lauchli and you showed that under ZF (without AC), there exists a vector space without a norm? Did you assume the negation of AC? – Stefan Smith Mar 10 '13 at 20:13
• @Stefan: No, of course not. He showed that it is consistent that the axiom of choice fails and such vector space exists. His proof was limited to countable fields, though. In my thesis I took it up and polished it to allow arbitrary (but fixed, of course) fields. – Asaf Karagila Mar 10 '13 at 20:39
• Thanks. I am not a logician and I find such matters confusing. I only really care about real vector spaces. I'm not sure what you mean by "consistent". Consistent with what? Did you two show that there is a model of set theory in which AC fails and a real vector space without a norm exists? – Stefan Smith Mar 10 '13 at 22:47