函数空间(泛函分析)不是有限维。
【证明】有界（闭集，有界紧集 上的连续函数有界）；同胚
同胚
到单位圆内。 p54-p56