cf(ω0)=ω0
とか
cf(ωn)=ωn(ωnはℵnの順序型)
はいいんだけど
ωω0=sup{ωn:n<ω0}
は
cf(ωω0)=ω0≠ωω0
だから
cf(α)=α
であるαにはωω0は含まれない
いったいどんな順序数が
cf(α)=α
を満たすのかイメージが掴めない
大学学部レベル質問スレ 25単位目
7132人目の素数さん
2026/09/10(木) 19:49:43.68ID:dpTx7B6B8132人目の素数さん
2026/09/10(木) 19:57:31.53ID:dpTx7B6B2026/09/11(金) 13:35:37.77ID:hPHI0EM2
お前はあっちへいけ
2026/09/11(金) 13:40:19.18ID:CWvBs0Al
あっちこっちそっちこっち…
11132人目の素数さん
2026/09/11(金) 13:48:50.23ID:D2tpneaU12132人目の素数さん
2026/09/12(土) 00:34:19.97ID:jHt+xChl 後続順序数に関しては
cf(α+1)=1
ωα+1=min{β∈Ord:ℵα<|β|}
β<ωα+1→|β|≦ℵα
もし
β+1=ωα+1
なら
ℵα=|β|=|β+1|=|ωα+1|=ℵα+1
で矛盾なので
ωα+1
は極限順序数
よって
ωα+1=∪ωα+1
もし
cf(ωα+1)<ωα+1
だとすると
ある
β<ωα+1
と
f:β→ωα+1:cofinal
すなわち
∀γ<ωα+1,∃δ<β:γ≦f(δ)
が存在する
つまり
ωα+1=∪ωα+1=∪{γ:γ<ωα+1}=∪{f(δ):δ<β}
より
ℵα+1=|ωα+1|≦|β|ℵα≦ℵα^2=ℵα
で矛盾
よって
cf(ωα+1)=ωα+1
つまり
cf(ωα)<ωα
でありうるのは
α:limit
のときのみ
cf(α+1)=1
ωα+1=min{β∈Ord:ℵα<|β|}
β<ωα+1→|β|≦ℵα
もし
β+1=ωα+1
なら
ℵα=|β|=|β+1|=|ωα+1|=ℵα+1
で矛盾なので
ωα+1
は極限順序数
よって
ωα+1=∪ωα+1
もし
cf(ωα+1)<ωα+1
だとすると
ある
β<ωα+1
と
f:β→ωα+1:cofinal
すなわち
∀γ<ωα+1,∃δ<β:γ≦f(δ)
が存在する
つまり
ωα+1=∪ωα+1=∪{γ:γ<ωα+1}=∪{f(δ):δ<β}
より
ℵα+1=|ωα+1|≦|β|ℵα≦ℵα^2=ℵα
で矛盾
よって
cf(ωα+1)=ωα+1
つまり
cf(ωα)<ωα
でありうるのは
α:limit
のときのみ
2026/09/12(土) 04:09:59.61ID:YM7DAEdX
レス乞食爺
14132人目の素数さん
2026/09/12(土) 05:52:39.29ID:7rwgmStO ◇殺人組織の話しているエネルギー兵器についての数式が完成した模様で下記のURL先のコメントを読むとわかると思います
渡り鳥の「磁気コンパス」はなぜ機能する? 量子生物学の謎に迫る新たな数学理論 [すらいむ★]
2026/09/11(金) 22:38:00.07
https://egg.5ch.io/test/read.cgi/scienceplus/1789133880/
渡り鳥の「磁気コンパス」はなぜ機能する? 量子生物学の謎に迫る新たな数学理論 [すらいむ★]
2026/09/11(金) 22:38:00.07
https://egg.5ch.io/test/read.cgi/scienceplus/1789133880/
15132人目の素数さん
2026/09/12(土) 07:46:46.32ID:jHt+xChl cf(α)=α
である順序数はωαに限るかな?
cf(α)=min{β∈Ord::∃f:β→α:cofinal}
ここで
f:β→α:cofinal
とは
∀γ<α,∃δ<β:γ≦f(δ)
であること
cf(α)=α
のとき
β<α=cf(α)
で
|β|=|α|
となるものが存在するとすると
(|β|≦|α|は自明)
f:β→α:iso
があるので
∀γ<α,∃δ<β:γ=f(δ)
すなわち
f:β→α:cofinal
なので
df(α)≦β<α
となって矛盾
よって
β<α
であれば
|β|<|α|
則ち
α=|α|(=min{β∈Ord::∃f:β→α:iso})
である順序数はωαに限るかな?
cf(α)=min{β∈Ord::∃f:β→α:cofinal}
ここで
f:β→α:cofinal
とは
∀γ<α,∃δ<β:γ≦f(δ)
であること
cf(α)=α
のとき
β<α=cf(α)
で
|β|=|α|
となるものが存在するとすると
(|β|≦|α|は自明)
f:β→α:iso
があるので
∀γ<α,∃δ<β:γ=f(δ)
すなわち
f:β→α:cofinal
なので
df(α)≦β<α
となって矛盾
よって
β<α
であれば
|β|<|α|
則ち
α=|α|(=min{β∈Ord::∃f:β→α:iso})
16132人目の素数さん
2026/09/12(土) 11:53:12.10ID:jHt+xChl さて
α:limit
のときのωαだけが
cf(ωα)<ωα
で有り得るのだが
確かに
cf(ωω0)=ω0<ωω0
cf(ω(ω0+ω0))=ω0<ω(ω0+ω0)
となるから
もしかして
cf(ωα)=cf(α)
なのかな?
α:limit
のときのωαだけが
cf(ωα)<ωα
で有り得るのだが
確かに
cf(ωω0)=ω0<ωω0
cf(ω(ω0+ω0))=ω0<ω(ω0+ω0)
となるから
もしかして
cf(ωα)=cf(α)
なのかな?
17132人目の素数さん
2026/09/12(土) 11:57:25.96ID:jHt+xChl >>16
>α:limit
>のときのωαだけが
>cf(ωα)<ωα
>で有り得るのだが
ここでは
cf(ωα)<ωα
であるαは極限順序数の場合のみだと言いたかった
cf(β)<β
となるβがωα(α:limit)に限るという意図ではない
(βが後続順序数ならcf(β)=1)
>α:limit
>のときのωαだけが
>cf(ωα)<ωα
>で有り得るのだが
ここでは
cf(ωα)<ωα
であるαは極限順序数の場合のみだと言いたかった
cf(β)<β
となるβがωα(α:limit)に限るという意図ではない
(βが後続順序数ならcf(β)=1)
18132人目の素数さん
2026/09/12(土) 11:58:07.11ID:jHt+xChl なんかだんだん質問じゃなくなってきたから
やっぱり基礎論スレに戻るかな
やっぱり基礎論スレに戻るかな
19132人目の素数さん
2026/09/12(土) 12:03:45.71ID:jHt+xChl そもそもの質問の趣旨は
cf(α)=α
となる順序数とはどう把握できるかってこと
ωβ
でなくてはいけないことが分かり
βが後続順序数ならOKとも分かった
あそうか
それなら
cf(ωα)=cf(α)
は
αが後続順序数の場合は成立してないな
一般論にならなかったが
αが極限順序数の場合はどうなんだろうか
cf(α)=α
となる順序数とはどう把握できるかってこと
ωβ
でなくてはいけないことが分かり
βが後続順序数ならOKとも分かった
あそうか
それなら
cf(ωα)=cf(α)
は
αが後続順序数の場合は成立してないな
一般論にならなかったが
αが極限順序数の場合はどうなんだろうか
20132人目の素数さん
2026/09/12(土) 12:04:23.40ID:jHt+xChl まずいまずい
基礎論スレに戻ります
基礎論スレに戻ります
21132人目の素数さん
2026/09/17(木) 15:36:19.92ID:qtyIGZBj 位相空間論で分離公理をいろいろやるけれど
トポロジーだとほぼハウスドルフ空間T2ばかり
関数解析なら他の分離公理を使うのでしょうか?
他の分野ではどうですか
トポロジーだとほぼハウスドルフ空間T2ばかり
関数解析なら他の分離公理を使うのでしょうか?
他の分野ではどうですか
2026/09/17(木) 15:58:14.72ID:rzGqup86
関数解析では分離公理が問題なることはないよ
23132人目の素数さん
2026/09/19(土) 14:13:39.20ID:tjRtJC1E 数論だとザリスキ位相だよ
T1だけどT2ではない
T1だけどT2ではない
2026/09/19(土) 18:31:14.34ID:Luj29JkC
より一般にはT1でもない
25132人目の素数さん
2026/09/19(土) 18:33:28.36ID:tjRtJC1E え?あそうなん?
どうして?
どうして?
2026/09/19(土) 18:36:23.86ID:Luj29JkC
可換環レベルの話
2026/09/19(土) 18:51:34.59ID:Luj29JkC
なぜって聞いてるのか
本当はやったことないな
生成点とか知らんだろう
本当はやったことないな
生成点とか知らんだろう
2026/09/19(土) 18:53:30.08ID:Luj29JkC
Spec(Z)は数論の一番基本ではないかね
2026/09/19(土) 19:24:15.66ID:Luj29JkC
ちゃっちい自尊心のために数学やってるからちゃんとした本を開くこともなくaiに擦り寄って数学の勉強した気になって5chの噂を鵜呑みにしてるクズのくせに自分に攻撃しなさそうな人間を見つけるや先輩気取りで聞き齧った話をボロが出ないように短く書いてオナニーしてそれでもボロが出る無様晒して平気なふりしてえ?あそうなん?どうして?と相手のボロを引き出すとともに自分の平静を演出して知ったかでしたの一言が出せずそのまま都合が悪くなるや逃げるお前のようなプライドと実態が乖離したセコいガキは根性を治して本当の意味で他人を信頼し信頼され導き合うような成長のチャンスを失い続けて矮小な自尊心が肥大化し続けるしそんな簡単にボロが出るやつはお前の周りの人間全員分かって見て見ぬふりしてくれてるだけだお前はお情けでプライドを守ってもらってるだけの小物だからお前の言葉は本当は誰にも届いてないしお前の存在は誰も気に留めない取り合わない相手にしないそのまま年老いて周りの年上がいなくなったときお前は年下から失望され見放され蔑まれお前は自尊心がボロボロになって引きこもって薄汚いひとりぼっちのプライド肥大化ジジイになって気が狂って死にます
2026/09/19(土) 19:25:04.49ID:Luj29JkC
(狂い鳥)
2026/09/19(土) 19:26:02.64ID:Zwhq1IOg
山月記をオススメしますw
2026/09/19(土) 19:26:29.80ID:Zwhq1IOg
(狂い狼)
33132人目の素数さん
2026/09/19(土) 19:37:07.90ID:Zwhq1IOg 元にする環次第なんじゃないの、知らんけど。
2026/09/19(土) 19:41:20.25ID:Luj29JkC
>>31
お前はもう虎だ
お前はもう虎だ
2026/09/19(土) 19:44:15.19ID:Zwhq1IOg
>>34
やべぇ狼じゃなかった、ニアミスw
やべぇ狼じゃなかった、ニアミスw
36132人目の素数さん
2026/09/19(土) 20:43:42.03ID:EgxyB/gx >>29
長いね
長いね
2026/09/19(土) 20:46:49.29ID:Zwhq1IOg
なろう系
レスを投稿する
ニュース
- 米中は第2次大戦の「同盟国」 会談文書明記、日米離間懸念も―米発表 [蚤の市★]
- 【中国】「米制裁に従わず」とイランに伝達 イラン産原油の輸入を継続する方針 [煮卵★]
- 【eスポーツ】日本協会はぷよぷよ金・栗原悠輝に報奨金を出さない見通し [爆笑ゴリラ★]
- 田中みな実 歯磨き粉も家族とシェアできない潔癖症「鍋も飛沫が…」 片桐仁「子供生まれるんですよ!」に「それはいいの」 [muffin★]
- 自転車で歩道を走っていた男性(86)が単独で転倒 弾みで車道の大型トラックに接触し死亡 [七波羅探題★]
- ナダル、太田光に忠告「若者に昔の漫画、『ドラゴンボール知らんのか』とかハラスメント」「なんやねんドカベンて!誰も知らんわ」 [muffin★]
- 【U-NEXT/地上波ほか】アジア競技大会2026・サッカー競技総合 ★8【愛知・名古屋】
- 【フジテレビ】2026 FORMULA 1【NEXT】Lap97
- 〓たかせん〓 3
- 〓たかせん〓 4
- 【U-NEXT/地上波ほか】アジア競技大会2026・サッカー競技総合 ★9【愛知・名古屋】
- ヤング おっさん不在
- ミセス、カワラボ、M!LK、Chevon、Adoを一斉に叩き出す日本人……いったい何が [462275543]
- 【悲報】高市早苗、米中首脳会談にブチギレてアメリカに説明を求めてしまうwwwwwww [834922174]
- 10月も値上げラッシュキタ━━━━━━(゚∀゚)━━━━━━!!!!! [303493227]
- 【実況】宝鐘マリンのえちえちAzkiとホロ甲🏴‍☠★1 Part2
- 90年代の日本、道ゆく日本人はみんな笑顔で街中に活気が溢れていた… [668024367]
- 【悲報】ぼく「面白い動画投稿したよ!」👈82再生 ぼく「適当な海外の反応動画でも出してネトウヨ釣るか」👈68万再生 [714769305]