極限順序数 α {\displaystyle \alpha } の共終数（きょうしゅうすう、cofinality）とは、 β {\displaystyle \beta } から α {\displaystyle \alpha } への写像で その値域が α {\displaystyle \alpha } の中で非有界になっているようなものが存在するような 最小の β {\displaystyle \beta } のことを言う。 ここで、 α {\displaystyle \alpha } の部分集合 X {\displaystyle X} が非有界であるとは、 全ての γ ∈ α {\displaystyle \gamma \in \alpha } に対して、それよりも大きい X {\displaystyle X} の元が存在することをいう。
極限順序数 α {\displaystyle \alpha } の共終数（きょうしゅうすう、cofinality）とは、 β {\displaystyle \beta } から α {\displaystyle \alpha } への写像で その値域が α {\displaystyle \alpha } の中で非有界になっているようなものが存在するような 最小の β {\displaystyle \beta } のことを言う。 ここで、 α {\displaystyle \alpha } の部分集合 X {\displaystyle X} が非有界であるとは、 全ての γ ∈ α {\displaystyle \gamma \in \alpha } に対して、それよりも大きい X {\displaystyle X} の元が存在することをいう。
出典: Wikipedia「共終数」 · CC BY-SA 4.0
この記事を共有: X · Bluesky