G相对乘积空间 半邻域 分离性 半T2空间 半收敛 半开集 半连续映射 G-zadeh型函数