子列 基本邻域 弱收敛 半闭区间 线性赋范空间 拓扑空间 正常集 开区间