大学学部レベル質問スレ 25単位目

大学で習う数学に関する質問を扱うスレ

・質問する前に教科書や参考書を読むなりググるなりして
・質問は正確にすること、教科書で定義を確かめること
・高校生以下の質問はそれぞれのスレへ
・自作問題は禁止
・ただの計算は
http://wolframalpha.com
・数式の表記法は
http://mathmathmath.dotera.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー

※前スレ
大学学部レベル質問スレ 24単位目
https://rio2016.5ch.io/test/read.cgi/math/1724660877/

スレ復活か

こんなんあったのね、知らなんだ。

ここに質問してみよっと
順序数αの共終（順序）数cf(α)とは
順序数βからαへのcofinalな写像fが存在する最小の順序数βのこと
すなわち
cf(α)=min{β∈Ord:∃f:β→α:cofinal}
ここで
f:β→α:cofinal
とは
∀γ<α,∃δ<β:γ≦f(δ)
が成り立つことで
Id:α→α
は
明らかにcofinalだから
α∈{β:∃f:β→α:cofinal}≠φ
よりcf(α)が定義しうることが分かる

さて
cf(α)=α
すなわち
∀β<α,∀f:β→α,∃γ<α,∀δ<β:f(δ)<γ
が成立するαのイメージが掴めない

cf(ω0)=ω0
とか
cf(ωn)=ωn（ωnはℵnの順序型）
はいいんだけど
ωω0=sup{ωn:n<ω0}
は
cf(ωω0)=ω0≠ωω0
だから
cf(α)=α
であるαにはωω0は含まれない
いったいどんな順序数が
cf(α)=α
を満たすのかイメージが掴めない

>>7
>ωω0=sup{ωn:n<ω0}
これは
ℵ0,ℵ1,…
より大きい基数（濃度）の中で最小の基数
ℵ0,ℵ1,…<ℵω0
の順序型