最近在家重读泛函分析,写了一点自己粗浅的理解。我的参考书是Peter D.Lax的Functional Analysis
泛函分析的一部分内容,是在探讨无限维线性空间和有限维线性空间的异同点。其中有限维的赋范线性空间我们在数学分析和线性代数中学的差不多了,泛函分析主要考虑无限维赋范线性空间。
回忆数学分析讲过,在有限维赋范线性空间中,列紧集就是简简单单的有界闭集,但现在无限维里有界闭并不列紧了(即无限维赋范线性空间中的单位闭球不列紧)。注意,我没说有界闭不能推出列紧,而是有界闭推出不列紧。所以,单位球列紧和空间维数有限互相成为了充分必要条件。
这是一个很有趣的结论,说明无限维空间并不像有限维那样致密。拿