Closed Unbounded Set

定义 Definition

闭无界集（closed unbounded set，常简称 club set）是集合论中讨论序数（尤其是正则不可数基数，如 \( \omega_1 \)）时的一类重要子集。对某个序数 \( \kappa \)（常取正则不可数）而言，子集 \(C \subseteq \kappa\) 若同时满足：

闭（closed）：对 \( \kappa \) 内的极限点封闭——直观地说，如果一个递增序列在 \( \kappa \) 中“趋近到”某个极限序数，那么这个极限也在 \(C\) 里；
无界（unbounded）：在 \( \kappa \) 中“任意大”——对每个 \( \alpha<\kappa \)，都能找到 \( \beta\in C \) 且 \( \beta>\alpha \)；

则称 \(C\) 是 \( \kappa \) 上的闭无界集。
（该术语主要用于集合论/基数与序数理论；在一般日常英语中不常见。）

发音 Pronunciation (IPA)

/kloʊzd ʌnˈbaʊndɪd sɛt/

词源 Etymology

该短语由三部分构成：

closed 来自拉丁语 claudere（“关闭、封闭”），在数学里引申为“对极限/极限点封闭”；
unbounded 由 *un-*（否定前缀）+ bounded（有界的）构成，表示“没有上界/无界”；
set 源自较晚期的英语用法，在数学中固定为“集合”。
在集合论传统中，“closed unbounded set”常缩写为 club（取 closed + ubounded 的组合记忆法），因此也常说 club set。

例句 Examples

A closed unbounded set in \( \omega_1 \) is often called a club set.
在 \( \omega_1 \) 中的闭无界集通常称为 club 集。

If \(C\) is a closed unbounded set and \(S\) is stationary in \( \omega_1 \), then \(C \cap S \neq \varnothing\).
如果 \(C\) 是闭无界集且 \(S\) 在 \( \omega_1 \) 中是驻留集（stationary），那么 \(C \cap S \neq \varnothing\)。

文学与著作中的用例 Literary Works

Thomas Jech, Set Theory（《集合论》）
Kenneth Kunen, Set Theory: An Introduction to Independence Proofs（《集合论：独立性证明导论》）
Akihiro Kanamori, The Higher Infinite（《更高的无限》）
Stevo Todorčević, Walks on Ordinals and Their Characteristics（《序数上的行走及其特征》）