度量空间,泛函分析,实变函数,赋范空间,共鸣定理等等