当且仅当 连续选择定理 基本问题 定理 度量空间 周期映射 子半群 集值映射