搜索结果: 1-1 共查到“几何学 no ortho-normal basis without choice”相关记录1条 . 查询时间(0.046 秒)
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.