常见例句precompact metric space 准紧度量空间precompact uniformity 预紧一致性precompact subset 准紧子集precompact linear mapping 准紧线性映射precompact mapping 准紧映射 返回 precompact