大学で習う数学に関する質問を扱うスレ
・質問する前に教科書や参考書を読むなりググるなりして
・質問は正確にすること、教科書で定義を確かめること
・高校生以下の質問はそれぞれのスレへ
・自作問題は禁止
・ただの計算は
http://wolframalpha.com
・数式の表記法は
http://mathmathmath.dotera.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー
※前スレ
大学学部レベル質問スレ 24単位目
https://rio2016.5ch.io/test/read.cgi/math/1724660877/
大学学部レベル質問スレ 25単位目
1代行
2026/08/26(水) 19:21:36.21ID:rWvzYux22026/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
なろう系
レスを投稿する
ニュース
- 「18歳で2500万の差エグい…」こどもNISAスタートで心配される若者の"異常な格差”、「最速で埋めるのが愛♥」という親も [パンナ・コッタ★]
- 日本、核兵器保有・原子力潜水艦保有の議論へ 小泉進次郎防衛相 「我々に対する脅威を拒否する力を持たなければいけない」 ★2 [お断り★]
- 「高市総理はリフレ論者ではない」 米財務長官「リフレ政策やめるべき」発言後、経済閣僚火消し相次ぐ [蚤の市★]
- 「元AKBで1番の勝ち組」東海てつや&峯岸みなみの大豪邸「レベル違いすぎる」「想像をはるか超えてとんでもない」 [ヴァイヴァー★]
- 【アイド】FRUITS ZIPPER仲川瑠夏が体調不良のためコンサート欠席 [ヴァイヴァー★]
- タイムズカー、個人情報最大660万件流出 氏名、住所、生年月日、電話番号、メアド、運転免許情報、学生証などの画像 ★5 [おっさん友の会★]
- ぺこぱ松陰寺「庶民が政治家になっていいわけがない。お金持ちが政治家をやるから日本は救われる」 [592058334]
- 日本人「助けて!物価は上がるのに給料が上がらないの!!」👈いや、転職すればよくない? [838847604]
- 高市政権、将来の経済成長率を予測 [237216734]
- 【高市超悲報】ブラジル人「見て!東京にネズミがいた」なぜか愛国者ブチギレ大発狂 [165981677]
- 国税、新システムKSK2導入!AIも活用「不正は必ずバレる!」日本人絶望の税金地獄へ [511393199]
- 映画館トナラー、炎上wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [398059782]