Precompact

释义 Definition（中文）

Precompact（预紧的 / 相对紧的）：指一个集合在某种拓扑或度量意义下“几乎是紧的”，通常表示它的闭包是紧的，或等价地说：对任意精度都能用有限个“小邻域/小球”覆盖。该词多用于数学（拓扑学、泛函分析、度量空间理论）。
（在一些语境中也称 relatively compact / totally bounded，但具体等价关系取决于所处空间的性质。）

发音 Pronunciation（IPA）

/ˌpriːkəmˈpækt/

例句 Examples

A precompact set is almost compact in a useful way.
预紧集在一个很有用的意义上“几乎是紧的”。

In a complete metric space, a set is precompact if it is totally bounded, which ensures that every sequence has a Cauchy subsequence.
在完备度量空间中，集合若是全有界则是预紧的，这保证任意序列都存在一个柯西子序列。

词源 Etymology（中文）

pre- 表示“在……之前/预先”，compact 在数学中对应“紧的（compact）”。因此 precompact 字面含义是“紧之前的状态”，引申为“离紧性只差一步”：集合本身未必紧，但其闭包具有紧性，或能被有限覆盖在任意精细尺度下成立。

相关词 Related Words

• Compact
• Relatively Compact
• Totally Bounded
• Bounded
• Complete
• Closure
• Sequentially Compact

文学与经典著作 Literary Works（出现示例）

• Walter Rudin, Functional Analysis（泛函分析教材中常用“relatively compact / precompact”讨论算子与集合的紧性性质）
• John B. Conway, A Course in Functional Analysis（讨论相对紧集、紧算子等）
• Erwin Kreyszig, Introductory Functional Analysis with Applications（以较入门方式出现预紧/相对紧相关概念）
• Nicolas Bourbaki, General Topology（在拓扑学框架下使用与“precompactness”相关的术语与性质）