Inner product space with no ortho-normal basis without choice

2010/09/08 by Saharon Shelah, Shelah, Saharon
Mathematics · #Mathematics and Applications #advanced mathematical theories #math.LO

paper · pdf · doi:10.48550/arxiv.1009.1441

arxiv created 2010/09/08 · arxiv updated 2010/09/09

Abstract

We prove in ZF that there is an inner product space, in fact, nicely definable with no orthonormal basis.

Related

• Orthonormal bases of Hilbert spaces
• Asymptotically Orthonormal Basis and Toeplitz operators
• Pre-Hilbert spaces without orthonormal bases
• On the existence of orthonormal geodesic bases for Lie algebras
• Definable Hamel bases and AC_ω(R)