举报Strongart教授的博文：

谈无穷维空间内的紧致性问题