基本解释准紧同根派生 英汉例句precompact metric space 准紧度量空间precompact uniformity 预紧一致性precompact subset 准紧子集precompact linear mapping 准紧线性映射precompact mapping 准紧映射