设x是线性赋范空间,x中的单位球是列紧集,则x必为有限维。
出自:泛涵分析