常见例句precompact metric space 準緊度量空間precompact uniformity 預緊一致性precompact subset 準緊子集precompact linear mapping 準緊線性映射precompact mapping 準緊映射 返回 precompact