实变函数 证明:有限集必为闭集