# Existence of discontinuous linear functional on arbitrary infinite dimensional normed vector space without Axiom of Choice

The title says it all. Given an arbitrary infinite dimensional normed vector space $X$, can you show there exists a discontinuous (perhaps unbounded) linear functional on $X$ without resorting to Axiom of Choice/Hamel basis techniques? I know similar questions have been asked an answered with these methods, but I know they are not necessary if the space is not Banach.

• Your question is unclear. Knowing nothing about $X$ it need not be possible even with the axiom of choice to present a discontinuous (which means the same as being unbounded (not perhaps)) linear functional on $X$. In particular, all linear functionals of finite dimensional real (or complex) vector spaces are continuous (i.e., are bounded). – Ittay Weiss Sep 20 '15 at 22:20
• I wasn't asking for a presentation, just an existence. EDIT: Sorry, I forgot to say infinite dimensional! – Toeplitz Sep 20 '15 at 22:21
• It is probably compatible with ZF that all linear functionals are continuous. – Mariano Suárez-Álvarez Sep 20 '15 at 22:24

It is consistent with $ZF$ that every linear function from $\mathbb{R}$ (viewed as a vector space over $\mathbb{Q}$) to $\mathbb{R}$ is continuous; see https://mathoverflow.net/questions/57426/are-there-any-non-linear-solutions-of-cauchys-equation-fxy-fxfy-wit. So the answer to your question is that some amount of choice is required, even for not-too-nasty vector spaces.