搜索结果: 1-1 共查到“计算几何学 Normal”相关记录1条 . 查询时间(0.093 秒)
Inner product space with no ortho-normal basis without choice
Inner product space no ortho-normal basis without choice
2010/12/1
We prove in ZF that there is an inner product space, in fact, nicely definable with no orthonormal basis.
