A characterization of inner product spaces     characterization  inner product spaces        font style='font-size:12px;'> 2010/11/26

In this paper we present a new criterion on characterization of real inner product spaces.

存档文本 存档附件 原文地址 文献传递

Inner product space with no ortho-normal basis without choice      Inner product space  no ortho-normal basis without choice        font style='font-size:12px;'> 2010/12/1

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

存档文本 存档附件 原文地址 文献传递