连续函数压缩映射问题的讨论