探検


お兄さんと一緒にルベーグ積分を勉強しよう!

レス数が950を超えています。1000を超えると書き込みができなくなります。
2026/08/22(土) 21:15:57.71ID:fvgOkMEt
結局マウントかいw
模試で750/900点くらい取れるのなら、まだまだ伸びる可能性はあるかもしれんだろ?
人のことよりもっと色々丁寧に書いた方が良いと思うけどね。
他の人に正しく伝わってないというか、他の人が見ても明瞭に分かるように書くべきだと前から思っていた。
2026/08/22(土) 21:18:28.21ID:fvgOkMEt
綺麗に書いてそれでも伝わらないのなら、周りの理解不足だろう。
適当に書いているから伝わっていない部分もあんじゃないの、知らんけどw
出来た風に誤魔化しているようにも見えてしまっている部分がありそうだからね。
2026/08/22(土) 21:21:16.60ID:fvgOkMEt
とりあえず、私は簡単な内容でも証明を書き殴るような人は好まないってこと。
何でも自明って言っときゃ良いってもんじゃあないよ。
あと、「俺が書いてるから良いスレ」とか、数学板で言わないでねw
主観は数学において忌み嫌われるものだと思うから。
2026/08/22(土) 21:23:26.56ID:YviMZe5F
大学院はお前の意思で行ったんだろう、馬鹿か
2026/08/22(土) 21:27:14.85ID:fvgOkMEt
>>286
別にもう一度人生をやり直しても行ってたと思うから悔いはないんやけど。
勝手に色々と決めつけないでね。
お金の後悔と勉強の意欲は別問題だからね。
大体、他人の人生にズケズケ入り込める精神性を矯正しなよw
2026/08/22(土) 21:28:41.52ID:fvgOkMEt
他人に説教できるほど立派な人間じゃあ無いだろ。
こんなとこでマウント取りまくってる人間がw
289132人目の素数さん
垢版 |
2026/08/22(土) 21:33:38.65ID:Z1REGd6t
同じ時間で現実の人間と話せばいいのに
2026/08/22(土) 21:37:01.08ID:fvgOkMEt
>>286
そういや、貴方は成りすましだったか。
ミジンコが口癖の人だったら、色々と当てはまらないことを喋ってしまったな。
まあ思うところがありすぎるから、これで良いかw
2026/08/22(土) 21:41:08.33ID:fvgOkMEt
>>289
好きでやっているから、心配ご無用w
292132人目の素数さん
垢版 |
2026/08/22(土) 22:11:23.34ID:E2L2ulpE
ゲス爺はどこまで行っても主観でしか語らないゲス爺だな
くだらん
293132人目の素数さん
垢版 |
2026/08/22(土) 22:12:04.34ID:E2L2ulpE
ウザいのが自分のカキコミだとは思わないのがゲス爺
294132人目の素数さん
垢版 |
2026/08/22(土) 22:12:42.48ID:E2L2ulpE
数学を書け数学を
他人にマウントしようとするな
ゲス爺
2026/08/22(土) 22:23:57.34ID:Z1REGd6t
>>294
君も現実の人間と話したら?割とみんな優しいよ
2026/08/22(土) 22:24:35.89ID:Z1REGd6t
3割くらい変な考えの人もいるけど
2026/08/22(土) 22:26:27.73ID:fvgOkMEt
俺が書いてるから良いスレ
↑主観満載の文章ですwww
298132人目の素数さん
垢版 |
2026/08/22(土) 22:31:23.43ID:E2L2ulpE
>>295
普通の人は普通の人と普通に話しているんじゃネ?
勝手に邪推してマウントしようとするゲス爺
性根がねじ曲がっているね
299132人目の素数さん
垢版 |
2026/08/22(土) 22:32:41.97ID:E2L2ulpE
>>297
主観でもなんでも無い
この板で数学をしているのはホボホボ俺だけ
つまり俺が書いている基礎論スレは良スレ
2026/08/22(土) 22:33:54.08ID:fvgOkMEt
100 132人目の素数さん 2026/08/21(金) 23:51:14.13 ID:W0dULf7J
基礎論スレの最後しか見ていないようだが
基礎論スレは実に有益
俺が書いてるからな

恥ずっwww
2026/08/22(土) 22:35:12.94ID:fvgOkMEt
こんな主観満載な文を数学徒が書けるのかね?w
閉口するわwww
302132人目の素数さん
垢版 |
2026/08/22(土) 22:35:14.51ID:E2L2ulpE
このスレは数学の話の無いクソスレ
俺が数学書いていたあたりは良スレだったが
「名誉教授」に移ったからな
ただあそこはスレ立てした彼の人を筆頭に
荒らしだらけだが
303132人目の素数さん
垢版 |
2026/08/22(土) 22:36:34.38ID:E2L2ulpE
>>300,301
読んで理解できてないんですね
実に下らん
管巻かずに数学しろ数学
ゲス爺
2026/08/22(土) 22:37:34.03ID:fvgOkMEt
結局ね、判定する人がいないからどうしようもない訳。
評価されるのを目的とするのは辞めた方が良いんじゃないの?
理解者を作れてないんじゃ、どうしようもないでしょ。
305132人目の素数さん
垢版 |
2026/08/22(土) 22:39:03.84ID:E2L2ulpE
あと
>>268
>俺のことはどうでも良いから、政治か数学に関するまともなことを書いてくれないか?
>何も学びが無く、ただただ不快なだけなんだがw
政治のことを論じたいなら政治板にでも行けば?
この板は数学をする板
政治の話題は無用極まりない
2026/08/22(土) 22:39:14.47ID:fvgOkMEt
>>303
他に理解者を作ってから言ってね。
自分ひとりで悦に入られても困るんですw
2026/08/22(土) 22:40:47.54ID:fvgOkMEt
>>305
政治は場所を守ればね。
普通は雑談スレだが、名誉教授のスレがその代わりなんだろう。
そして俺は寝る。
308132人目の素数さん
垢版 |
2026/08/22(土) 22:41:07.42ID:E2L2ulpE
>>304
あそこに書いていることは読めば理解できる程度のことだが
自分で読みもしないでどうするw
読んで理解できなければ聞けば?
309132人目の素数さん
垢版 |
2026/08/22(土) 22:41:53.67ID:E2L2ulpE
>>306
つまり他人の価値観に依存したいのが君
自分が無いね
数学板に最も不用な人格だろう
ゲス爺
310132人目の素数さん
垢版 |
2026/08/22(土) 22:42:26.68ID:E2L2ulpE
>>307
何時も捨て台詞で許しを請うて逃げるのが
ゲス爺
2026/08/22(土) 22:44:57.28ID:fvgOkMEt
>>308
他に賛同してる人がいんの?
連れてきてくれよw
2026/08/22(土) 22:45:35.30ID:fvgOkMEt
客観性を示さないでどうすんのよ、この板でw
313132人目の素数さん
垢版 |
2026/08/22(土) 22:46:19.76ID:E2L2ulpE
>>311
それは君の勝手な価値観の押しつけ
いつもそれしかしてないのが
ゲス爺
314132人目の素数さん
垢版 |
2026/08/22(土) 22:47:03.83ID:E2L2ulpE
>>312
客観性もなにも全て書いているだろ
キチンと数学をしている基礎論スレを読め
ゲス爺
315132人目の素数さん
垢版 |
2026/08/22(土) 22:47:44.59ID:E2L2ulpE
>>311,312
そして何時も
去る去る詐欺ばかりなのが
ゲス爺
316132人目の素数さん
垢版 |
2026/08/22(土) 22:49:42.05ID:E2L2ulpE
あと
ココで書くのも変ではあるがまだ居るようなので聞こう
大学数学の出題スレの位数96の群の問題の解答は
理解できたのかな?
317132人目の素数さん
垢版 |
2026/08/22(土) 22:51:08.36ID:E2L2ulpE
ベラボウに簡単な解答なので
まあ分かるだろうが
2026/08/22(土) 23:56:24.88ID:Z1REGd6t
>>315
あんまり過剰反応してるとウサギのように見られることがあるよ
寂しがりの小心者という意味だけど
2026/08/22(土) 23:59:17.40ID:Z1REGd6t
そうなると眼中から外されやすい
320132人目の素数さん
垢版 |
2026/08/23(日) 00:02:19.60ID:hShmywX5
>>318,319
つまりそれが君の倫理観てだけ
他人に押しつけるもんじゃない
ゲス爺
321132人目の素数さん
垢版 |
2026/08/23(日) 00:04:19.43ID:hShmywX5
かレス乞食の人かな
数学をヤレ数学を
クダランマウントは不用
322132人目の素数さん
垢版 |
2026/08/23(日) 00:09:11.37ID:hShmywX5
>>240,241
> ID:Z1REGd6t
ちょっと変な倫理観の持ち主かもね
数学板には不用
まあいずれにせよ
数学をヤレ数学を
2026/08/23(日) 00:11:27.44ID:Cce4idSe
>>320
倫理観ってより経験則では
2026/08/23(日) 00:15:55.75ID:Cce4idSe
倫理観って言葉をどういう意味で使ってるのかな
2026/08/23(日) 00:17:16.75ID:Cce4idSe
「価値観」とかもそうだけど
2026/08/23(日) 00:26:20.36ID:Cce4idSe
なんというか、軸から逸れたところで無理のある文言が多いような
327132人目の素数さん
垢版 |
2026/08/23(日) 02:15:15.18ID:hShmywX5
>>323
それが経験則だから?
経験則だとしてそれを受け入れたんだろうから
自分の倫理観価値観行動規範になってるってことだわ
人に押しつけるな
328132人目の素数さん
垢版 |
2026/08/23(日) 02:16:45.19ID:hShmywX5
>>324-326
まあいずれにせよ
数学をヤレ数学を
クダラン倫理観まき散らすな
2026/08/23(日) 02:30:31.18ID:Cce4idSe
>>327
今ひとつ何を言いたいのかよく分からない
論理が繋がってない感じがする
2026/08/23(日) 02:34:14.98ID:Cce4idSe
決まったフレーズを繰り返しているからかな
自分の中で曖昧になってない?
過学習気味というか
331132人目の素数さん
垢版 |
2026/08/23(日) 02:54:48.22ID:hShmywX5
(レス乞食だったか)
332132人目の素数さん
垢版 |
2026/08/23(日) 02:58:12.78ID:Cce4idSe
>>331
もうちょっと自分の殻から出ようよ
2026/08/23(日) 04:48:24.12ID:N7dhXwL5
>>316
明らかに解答が足りていないから詰めたんだよ。
出題スレで出題者を試すような省略解答はマナー違反だろう。
2026/08/23(日) 04:49:56.78ID:N7dhXwL5
>>321
一番のマウント取り乙w
2026/08/23(日) 04:53:44.77ID:N7dhXwL5
>>327
何か批判されたら押し付けるなで片付けようとする。
全然反論になっていないw
押し付けるなって、そんなに万能な言葉ではないよ。
2026/08/23(日) 04:54:45.32ID:N7dhXwL5
>>330
基本的に語彙が少ない人なんだと思うw
2026/08/23(日) 04:55:56.72ID:N7dhXwL5
>>331
これも何回聞いたことやら。
決まったフレーズしか言えないのだろうw
2026/08/23(日) 06:31:18.02ID:Cce4idSe
>>337
あなたも一々熱くなってないでもう少し楽しいものに触れて生きていきなよ
339132人目の素数さん
垢版 |
2026/08/23(日) 06:43:20.55ID:hShmywX5
>>332-338
(レス乞食の熱い熱い自分語りか)
340132人目の素数さん
垢版 |
2026/08/23(日) 06:44:40.97ID:hShmywX5
あいやゲス爺か
341132人目の素数さん
垢版 |
2026/08/23(日) 06:46:26.37ID:hShmywX5
>>333
>出題スレで出題者を試すような省略解答はマナー違反だろう。
しょーもなw
解答用意してないのがマナー違反では?
342132人目の素数さん
垢版 |
2026/08/23(日) 06:49:27.82ID:hShmywX5
>>333
出題もマウントの一種だと思ってたのかな?
解答が分からないならどこ分からないか聞いてくれよ
343132人目の素数さん
垢版 |
2026/08/23(日) 06:51:41.77ID:hShmywX5
分かったんなら君の思う正しい解答に修正してみたら?
でも大して変わらんだろ?
344132人目の素数さん
垢版 |
2026/08/23(日) 07:12:51.37ID:hShmywX5
あと別に>>333
>出題者を試すような
つもりはない
2026/08/23(日) 10:42:07.93ID:QrRKAkUK
>>341
時間ないときくらいあるだろ。
これは仕事じゃなく趣味なんだから。
346132人目の素数さん
垢版 |
2026/08/23(日) 10:58:14.37ID:hShmywX5
>>345
出題してから4日は経ってるだろ
ゲス爺
2026/08/23(日) 11:18:08.27ID:QrRKAkUK
>>346
解答者が答えてからせかすのが早かったろ。
そして、私の解答は書かねぇと言ったw
つまり迷宮入りw
2026/08/23(日) 11:19:00.07ID:QrRKAkUK
そんなにそっちが主張を曲げないのなら、俺も妥協するつもりはないね。
349132人目の素数さん
垢版 |
2026/08/23(日) 11:19:21.12ID:hShmywX5
>>347
長そうだから別に書かなくても良いけどね
正規で無い2-群の置換ですぐだし
350132人目の素数さん
垢版 |
2026/08/23(日) 11:20:28.64ID:hShmywX5
>>348
俺としては
折角解答したのが出題者に理解されてないのは残念なだけ
(残念なのは出題者だけどね)
2026/08/23(日) 11:31:08.37ID:QrRKAkUK
>>349
私が解答を控えているのさは簡潔さの観点もある。
2026/08/23(日) 11:31:33.80ID:QrRKAkUK
控えているのは
2026/08/23(日) 12:55:15.95ID:Cce4idSe
ルベーグ積分論をやる上で、パイラムダ定理という便利なものがある
2026/08/23(日) 12:57:41.83ID:Cce4idSe
伊藤ルベーグにはパイラムダ定理がなかったかもしれない
2026/08/23(日) 13:01:07.55ID:QrRKAkUK
>>350
きちんと書いてくれたやつは別に良いんやけどね。
最初の解答は解答の体をなしていなかったよね。
356132人目の素数さん
垢版 |
2026/08/23(日) 14:23:54.69ID:hShmywX5
>>355
どうでも?
分かったら分かるだろうし
2026/08/23(日) 18:34:26.60ID:Cce4idSe
パイラムダ定理は証明の見通しが非常に良くなるということで評判がいい
2026/08/23(日) 18:42:52.62ID:Cce4idSe
測度論に関連して、数理談話会にある高津さんとか本多さんの動画は面白く見れるかもしれない
359132人目の素数さん
垢版 |
2026/08/23(日) 18:56:32.12ID:MXiIX02u
生産的な話題の流れ
360132人目の素数さん
垢版 |
2026/08/23(日) 19:02:05.12ID:MXiIX02u
よし、今日は無理してでも勉強するかな。
リースの定理をマウント取りが教えてくれそうにないから、自分で勉強しようw
2026/08/23(日) 19:02:52.24ID:Wo19dpaq
163 :132人目の素数さん[]:2026/08/23(日) 08:05:54.56 ID:hShmywX5
w∈W(e)aW(e)a
を網羅するため
w=uv
u,v∈W(e)a
のu,vに何らかの制限をするかな
u∈W(e)a
に対して
v∈W(e)a

uv=u'v'
と表せるときに
|u|≦|u'|
であるものに限定とかかな
2026/08/23(日) 19:03:40.14ID:Wo19dpaq
126 :132人目の素数さん[]:2026/08/22(土) 09:10:50.83 ID:E2L2ulpE
>>124
>”Mervyn Stoneのパラドックス”
折角紹介されたことだし
こっちで続けるかな
兎にも角にも求める条件付き確率は
Q(W(a)b)/Q(W(ab))
これはいい
また
W(a)=W(e)aW(e)
W(ab)=W(e)aW(e)bW(e)
とか
W(e)=ΣV(e)^n
とか問題ない
さらに
Q(W(a)b)=Σ{Q(w):w∈W(e)aW(e)b}
までもいいのだが
Q(W(a)bW(e))≠Σ{Q(wW(e)):w∈W(e)aW(e)b}
だわな
複数の
w∈W(e)aW(e)b
について重なってるからな
よって
Q(W(a)b)/Q(W(ab))=1-Q(V(e))
としたのが間違いで分母がもう少し小さくなる(重なりがあるため)
Q(W(a)b)/Q(W(ab))=Q(W(e)aW(e)b)/Q(W(e)aW(e)bW(e))
Q(W(e)aW(e)b)=Σ{Q(w):w∈W(e)aW(e)b}
Q(wW(e))=Q(w)Q(W(e))(マルコフ性)
Q(W(e)aW(e)b)=Σ{Q(wW(e))/Q(W(e):w∈W(e)aW(e)b}=Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e))
Q(W(e))=Q(ΣV(e)^n)=ΣQ(V(e)^n)=ΣQ(V(e))^n=1/(1-Q(V(e)))
Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e))=Σ{Q(wW(e)):w∈W(e)aW(e)b}(1-Q(V(e)))
ここまではいいのだが
Q(W(a)b)/Q(W(ab))(1-Q(V(e)))=Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e)aW(e)bW(e))=?
わからん
1だとしてしまったのは間違いだった
少なくとも
∪{wW(e):w∈W(e)aW(e)b)=W(e)aW(e)bW(e)
は言えるから
Q(W(e)aW(e)bW(e))<Σ{Q(wW(e)):w∈W(e)aW(e)b}
Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e)aW(e)bW(e))>1
ではあるがハテサテ
2026/08/23(日) 19:04:04.88ID:Wo19dpaq
129 :132人目の素数さん[]:2026/08/22(土) 09:34:31.29 ID:E2L2ulpE
もう一度問題設定を書いておくと
R^2の格子点を移動するのに
a=(1,0),b=(0,1),c=(-1,0),d=(0,-1)
とし
原点からの有限ランダムウォーク全体Wを考える
各時点で次にabcdを選ぶ確率は等確率
長さnの特定のウォークwを選ぶ確率は
各時点で終了する確率(マルコフ性を担保するため定数)pによって
P(w)=p((1-p)/4)^n
あるいは
長さnのウォーク全体Wnを選ぶ確率が
P(Wn)=p(1-p)^n
で考えても良い
これにより有限ランダムウォーク全体Wを確率空間として考える
この問題は
f:W→F2(ランク2の自由群:f(ac)=f(ca)=f(bd)=f(db)=f(e)=e:W∋eは空ウォーク)
によって
f(w)=ab
と移されるwの最後の移動が実際にbであるという条件付き確率を求めよというもの
x∈F2
に対して
W(x)=f^-1(x)
とすると
求める確率は
P(W(a)b)/P(W(ab))=Q(W(a)b)/Q(W(ab))
となる
ここで
w∈Wn
に対して
Q(w)=P(w)/P(e)=((1-p)/4)^n
pの値によって変わる話だが
無限ランダムウォークを長さnで打ち切ると見る場合は
p→0
の極限で考えることになる
W(e)=f^-1(e)
が重要な役割を果たすため
Q(W(e))
を求めたいのだがここで
V(e)={w∈W(e):e≠∀u,v∈W(e):w≠uv}
つまり複数のW(e)の元(空ウォークeは除く)の積に分解できないW(e)の元の全体を導入して考えている
2026/08/23(日) 19:22:50.57ID:Wo19dpaq
確率論爺さん解いてやれよ、これがスレ主の数学だそうだ
2026/08/23(日) 19:29:09.23ID:MXiIX02u
誰のことだろう?
新しいあだ名だ。
2026/08/23(日) 19:30:18.39ID:MXiIX02u
スレ主はワタクシこと、お兄たまだよw
367132人目の素数さん
垢版 |
2026/08/23(日) 20:22:03.69ID:MXiIX02u
24講まで終わった。
あたしゃ疲れたよw
368132人目の素数さん
垢版 |
2026/08/23(日) 21:47:06.23ID:MXiIX02u
25講は難しそうなので、いったん群作用の勉強に移ろう。
2026/08/23(日) 21:55:32.01ID:Wo19dpaq
第25講 完全加法的集合関数 か
370132人目の素数さん
垢版 |
2026/08/23(日) 21:57:05.84ID:MXiIX02u
その通り。
ぱっと見が訳分かんないので、気分転換しよ。
2026/08/23(日) 21:57:39.07ID:Wo19dpaq
確率論爺さんはお前の趣味の数学には興味がないようだ
2026/08/23(日) 22:00:26.56ID:MXiIX02u
あぁ、確率論爺さんとはゲス連呼爺さんのことねw
373132人目の素数さん
垢版 |
2026/08/23(日) 22:00:55.42ID:hShmywX5
>>366
スレ主など居ない
スレ立てした者が居るだけ
2026/08/23(日) 22:01:19.29ID:MXiIX02u
私は地に足をつけた数学をする。
地道にやるのだよ。
375132人目の素数さん
垢版 |
2026/08/23(日) 22:01:43.16ID:hShmywX5
>>371
貴奴は数学してないからな
2026/08/23(日) 22:02:33.25ID:MXiIX02u
>>373
それはね、日本語ではないのよ。
ゲス連呼爺さん、残念ながらw
2026/08/23(日) 22:04:09.06ID:MXiIX02u
24講まで頑張ったというのにw
数学をやるの定義が訳分からんのだよ。
2026/08/23(日) 22:15:24.84ID:Wo19dpaq
趣味の数学で作問するだろw
2026/08/23(日) 22:16:13.56ID:Wo19dpaq
群作用は何を読むの?
380132人目の素数さん
垢版 |
2026/08/23(日) 22:17:47.74ID:MXiIX02u
とりあえず、近藤先生の本。
分かるかどうか…。
2026/08/23(日) 22:31:02.00ID:Wo19dpaq
貴奴は数学してないからな
ツマランスレだな
2026/08/23(日) 22:34:52.13ID:MXiIX02u
面白いスレってどこにあんの。
どこ、どこどこ?
ココッココw
2026/08/23(日) 22:35:30.64ID:MXiIX02u
追悼、玉緒さん
2026/08/23(日) 22:35:48.75ID:MXiIX02u
マロニーちゃん
385132人目の素数さん
垢版 |
2026/08/23(日) 22:36:14.98ID:hShmywX5
>>376

スレ主と呼ばれるものは居ない

スレ立てした者が居るだけ

普通の日本語だが?
386132人目の素数さん
垢版 |
2026/08/23(日) 22:37:08.11ID:hShmywX5
>>377
誰にも検証不能だからな
お前はこの板でほとんど数学をしていない
たまにたまたまだけ
ゲス爺
387132人目の素数さん
垢版 |
2026/08/23(日) 22:38:46.89ID:hShmywX5
>>369
>第25講 完全加法的集合関数
肝心要の所なのでは?
(その本のこと)知らんけど
2026/08/23(日) 22:39:22.92ID:MXiIX02u
スレ主という言葉は存在しないらしい。
2ch始まって以来の大発見w
2026/08/23(日) 22:40:26.17ID:MXiIX02u
>>387
もしかするとピークかも。
目次でも読むか…。
390132人目の素数さん
垢版 |
2026/08/23(日) 22:40:45.52ID:hShmywX5
だいたい「日本語で無い」との指摘は大概下らん
「よく分かりませんでした」と正直に書くべき
もしくは訂正指摘
2026/08/23(日) 22:42:06.55ID:MXiIX02u
スレ主の意味
392132人目の素数さん
垢版 |
2026/08/23(日) 22:42:46.92ID:hShmywX5
>>388
スレ主という存在は無いよ
スレ立てした者が居るだけ
393132人目の素数さん
垢版 |
2026/08/23(日) 22:43:45.68ID:hShmywX5
>>391
スレ主の自称は夜郎自大の表明に他ならない
くだらん
2026/08/23(日) 22:43:48.01ID:MXiIX02u
>>390
貴方の国語力に関しては、全くアテにしていないので。
一文ごとに矛盾していくからw
395132人目の素数さん
垢版 |
2026/08/23(日) 22:44:51.57ID:hShmywX5
>>394
指摘もせず思い込みで嘘を書くだけのゲス爺
2026/08/23(日) 22:45:07.19ID:MXiIX02u
別にスレ主とか偉くもなんともないでしょ。
ただ、スレ立てしすぎると無課金では制限がかかるんでないの?
2026/08/23(日) 22:45:55.21ID:MXiIX02u
青焼きの人の存在を否定する嘘w
2026/08/23(日) 22:51:20.59ID:Wo19dpaq
マウント爺
2026/08/23(日) 22:52:27.24ID:Wo19dpaq
いい流れだ
2026/08/23(日) 22:53:17.16ID:MXiIX02u
マウントを心から憎む、尊大なるお兄たまw
401132人目の素数さん
垢版 |
2026/08/23(日) 22:57:07.55ID:hShmywX5
>>397
証明はしていないね
>>398
ゲス爺がね
>>399
数学で無い流れをイイ流れとは下らん
>>400
お前の押しつけマウントは異常
ゲス爺
2026/08/23(日) 22:58:30.21ID:MXiIX02u
マウントとたしなめの違いが分からないから、国語力が無いといってるのよw
403132人目の素数さん
垢版 |
2026/08/23(日) 22:58:51.91ID:hShmywX5
>>396
スレ主が居ないのだから偉くもなんともないも無い
404132人目の素数さん
垢版 |
2026/08/23(日) 22:59:36.11ID:hShmywX5
>>402
「たしなめ」は自分が上の立場から糾弾する行為
まさに「マウント」そのもの
ゲス爺
405132人目の素数さん
垢版 |
2026/08/23(日) 23:00:23.51ID:hShmywX5
>>389
数学をヤレ数学を
その25項のことを書け
2026/08/23(日) 23:01:25.59ID:MXiIX02u
というか、可縮の話は英語で調べりゃ有りそうやけどね。
なんか、それっぽいのが落ちてる気がすんだけども。
407132人目の素数さん
垢版 |
2026/08/23(日) 23:04:19.05ID:hShmywX5
>>406
何の話だ
別のスレの話を持ち込むのも
ゲス爺の悪い癖
他人が自分の知っていることを全て知っているべきとする
傲慢極まりない思考だ
ゲス爺
408132人目の素数さん
垢版 |
2026/08/23(日) 23:06:21.82ID:hShmywX5
>>406
気がするだけではダメ
お前が「気がしても」誰も「気がしない」んだよ
自分の思考が他人にも及ぶべきとする
ゲス爺
2026/08/23(日) 23:07:41.28ID:MXiIX02u
IDが一致しているから貴方が話しているだろ。
infinite dimensional sphere is contractible
と調べれば、何か分かると思うけど。
それらしき記述を見つけたような気がしなくもない。
410132人目の素数さん
垢版 |
2026/08/23(日) 23:09:54.64ID:hShmywX5
>>409
別のスレで離していることを持ち込むなってことだ
アホカ
さすがゲス爺
さすゲス
411132人目の素数さん
垢版 |
2026/08/23(日) 23:11:06.53ID:hShmywX5
>>409
>infinite dimensional sphere is contractible
コレじゃ無いんだよ知りたいのは
S^∞(ω)とR^∞(ω)の同相
412132人目の素数さん
垢版 |
2026/08/23(日) 23:11:57.83ID:hShmywX5
写像
2026/08/23(日) 23:12:03.93ID:MXiIX02u
もう書いたからエエわ。
今さら書きなおしもできないので、このスレで用は済ませた。
2026/08/23(日) 23:13:09.87ID:MXiIX02u
>>411
スレタイ通りなんかと思った。
ふーん、一応覚えとくわ。
2026/08/23(日) 23:16:30.82ID:Cce4idSe
>>410
変化のない刺激に人は慣れてしまうので
そのうち無視されると思うよ
2026/08/23(日) 23:17:26.56ID:MXiIX02u
>>415
その通り。
飽き飽きしているw
2026/08/23(日) 23:18:02.29ID:Cce4idSe
執着しやすいタイプなら別だけど
418132人目の素数さん
垢版 |
2026/08/23(日) 23:19:04.97ID:hShmywX5
>>415
別にどうとも?
2026/08/23(日) 23:19:19.19ID:MXiIX02u
私は良くも悪くも執念深いw
420132人目の素数さん
垢版 |
2026/08/23(日) 23:19:48.41ID:hShmywX5
>>417
なんのこっちゃ>>410と何の関係が?
421132人目の素数さん
垢版 |
2026/08/23(日) 23:20:57.95ID:hShmywX5
>>419
だから永遠とマウントをするわけだ
2026/08/23(日) 23:23:13.73ID:MXiIX02u
永遠のたしなめお兄たまw
423132人目の素数さん
垢版 |
2026/08/23(日) 23:24:10.52ID:hShmywX5
たしなめはマウントそのもの
424132人目の素数さん
垢版 |
2026/08/23(日) 23:25:36.37ID:hShmywX5
>>414
スレを最初から読めば?面白いよ
ちゃんと数学やってる
俺が書いてるからな
425132人目の素数さん
垢版 |
2026/08/23(日) 23:25:58.74ID:Cce4idSe
>>420
のめり込むほどお互い引き下がりにくくなるよね
引き下がったら悔しい気持ちになると思って恐れている
426132人目の素数さん
垢版 |
2026/08/23(日) 23:27:18.14ID:Cce4idSe
そういうのはそもそも粘着質な人同士だと起きやすいのかなと思ったりする
2026/08/23(日) 23:27:46.92ID:MXiIX02u
>>424
最後の一文は不要w
428132人目の素数さん
垢版 |
2026/08/23(日) 23:28:15.17ID:Cce4idSe
執着心の少ないタイプはどこかで脱力が起きるものだ
429132人目の素数さん
垢版 |
2026/08/23(日) 23:29:30.87ID:hShmywX5
>>425-428
そうでもないけどね
430132人目の素数さん
垢版 |
2026/08/23(日) 23:30:14.26ID:Cce4idSe
溺死するネズミもいる
431132人目の素数さん
垢版 |
2026/08/23(日) 23:31:47.02ID:Cce4idSe
休み休み泳げるネズミもいる
2026/08/23(日) 23:35:23.67ID:MXiIX02u
院卒のミジンコもいるw
433132人目の素数さん
垢版 |
2026/08/23(日) 23:36:01.08ID:Cce4idSe
ここでの態度を見るに君達は死ぬ方のネズミだろうからちょっと心配
2026/08/23(日) 23:38:59.24ID:MXiIX02u
数学やって逝く人
435132人目の素数さん
垢版 |
2026/08/23(日) 23:42:03.22ID:hShmywX5
>>430-434
自分(たち)が何の役にも立たないことしか書いてないってことは自覚してないんだろうな
436132人目の素数さん
垢版 |
2026/08/23(日) 23:42:28.16ID:hShmywX5
数学をヤレ数学を
2026/08/23(日) 23:50:55.96ID:MXiIX02u
あんま他の人を巻きこんでやってないから、正直よく分かんないのよね。
数学やってんのか、やってないのか。
2026/08/23(日) 23:55:40.57ID:Cce4idSe
数学やるには無駄なことに時間や頭を使わない
そういう脱力を覚えた方がやりやすいと思う
2026/08/23(日) 23:56:25.01ID:Cce4idSe
まあ数学に限らず何にでも言えることだけど
2026/08/23(日) 23:57:36.75ID:MXiIX02u
シャオリー
441132人目の素数さん
垢版 |
2026/08/23(日) 23:59:11.55ID:hShmywX5
>>437-440
能書きはイイから
25項のことを書け
442132人目の素数さん
垢版 |
2026/08/24(月) 00:01:38.05ID:GGM6A7Zn
大体この板で
数学やってるのは
ホボホボ俺だけ
2026/08/24(月) 00:03:29.73ID:6rWTCw2v
25講は明日やるぜよ。
涼しい内に寝るかなzzz
444132人目の素数さん
垢版 |
2026/08/24(月) 00:14:20.58ID:GGM6A7Zn
「25項を勉強した」と書くのは
数学をやったことに当たらないからな
2026/08/24(月) 00:17:09.25ID:89ZLaz83
そのまま書くのはアレだからね…。
群作用をする可能性も高いzzz
446132人目の素数さん
垢版 |
2026/08/24(月) 00:23:52.06ID:GGM6A7Zn
その本のことは知らんが
σ加法性の話は25講で初めて出るの?
なんぼなんでも遅すぎでは
447132人目の素数さん
垢版 |
2026/08/24(月) 00:25:33.83ID:GGM6A7Zn
あるいは実数から離れて一般化するのがその25講なのかな?
最初から一般化した方が良いような気もするが
448132人目の素数さん
垢版 |
2026/08/24(月) 00:51:04.28ID:rfJIYy1t
ラドンニコディムらへんの話題にしか思えないが
2026/08/24(月) 08:54:54.93ID:ojtDbUZT
成りすまし、類友w
450132人目の素数さん
垢版 |
2026/08/24(月) 10:39:09.41ID:25/94fMA
25講は易しくなさそうだから、作用をしよう。
451132人目の素数さん
垢版 |
2026/08/24(月) 10:39:39.79ID:25/94fMA
群の
2026/08/24(月) 15:11:54.33ID:25/94fMA
スタビライザーってカッチョイイよね。
2026/08/24(月) 15:57:15.47ID:ojtDbUZT
2チャンネルでなりましやって楽しいか、自分の個性を出すんだろw
2026/08/24(月) 17:28:18.85ID:25/94fMA
群作用の勉強はなかなか軌道に乗らないねw
455132人目の素数さん
垢版 |
2026/08/24(月) 19:24:59.91ID:25/94fMA
群作用の勉強は類等式のところで一旦ストップかな。
2026/08/24(月) 20:28:11.95ID:LqOVk+9d
スタコラサッサーみたいなもん
457132人目の素数さん
垢版 |
2026/08/25(火) 00:08:10.94ID:/Ms0B2LD
嘘吐きスレ
数学やるやる詐欺スレ
2026/08/25(火) 03:10:09.65ID:XzuKGpog
青焼き嘘の人かい?w
2026/08/25(火) 03:21:12.04ID:xPR2Z3Oh
京大では「お前みたいな馬鹿は数学やめちまえ」と言われるそうだw
2026/08/25(火) 05:00:01.45ID:CYqJLDZF
その京大に行った青焼きの人を探してるんだけどねw
461132人目の素数さん
垢版 |
2026/08/25(火) 05:28:57.19ID:f22bfUaa
東大でもらった
アーベル論文の青焼きを持って
京大に入りなおした人なら
知っている
2026/08/26(水) 02:08:22.51ID:WYzvyTCX
選挙が近づく中、ネタニヤフはトルコをイスラエルの最新の敵として位置づけている
2026/08/26(水) 02:10:02.52ID:WYzvyTCX
米国はイランと取引を行う国々を厳しく取り締まると述べています。イラン産石油を買っているのは誰ですか?
ある分析によると、テヘランは2025年9月に39億ドルと42億ドル相当の石油を出荷したと推定されています。世界最大のエネルギー消費国である中国が圧倒的多数を買っています。
2026/08/26(水) 02:12:02.64ID:WYzvyTCX
ダウ平均株価
53,477.45 +0.11% (+60.29)
2026/08/26(水) 02:13:08.98ID:WYzvyTCX
ブレント原油先物 取引 11月 2026 (LCOX6)
USD 87.05 -3.49
2026/08/26(水) 02:13:58.00ID:WYzvyTCX
米国債10年
年利回り 4.648
2026/08/26(水) 02:21:23.37ID:WYzvyTCX
米国メディアによると、CIA長官が予告なしの会談のためモスクワへ赴く
2026/08/26(水) 02:23:11.39ID:WYzvyTCX
消費減税、中小零細農家へ給付金 売上高に応じ減収穴埋め
2026/08/27(木) 19:55:39.54ID:GfevvAaB
ねみ~。
今日は頭が回ることだけしよう。
2026/08/27(木) 22:41:41.10ID:GfevvAaB
よし、そろそろルベーグに戻ろう。
471132人目の素数さん
垢版 |
2026/08/28(金) 11:22:21.19ID:J+Y4B3OY
30講の本も苦しくなってきたので、別の本を読もう。
それが終わったら、演習本や院試でも見てみよう。
472132人目の素数さん
垢版 |
2026/08/28(金) 11:38:45.94ID:ZmpI8lCh
ホントゲス婆は数学ヤルヤル詐欺だな
473132人目の素数さん
垢版 |
2026/08/28(金) 11:47:24.31ID:FmzGx63q
ルベーグ? ああ、そんなヤツいたな
2026/08/28(金) 11:55:09.57ID:J+Y4B3OY
マウント取るのなら、ルベーグについて書いてくれれば良いのに。
お兄さんは哀しいよw
2026/08/28(金) 11:58:13.49ID:J+Y4B3OY
グスンw
476132人目の素数さん
垢版 |
2026/08/28(金) 15:10:53.72ID:Rsp1wy8x
>>474
何か疑問でも書いてみたら?
2026/08/28(金) 15:14:38.63ID:e/Eu+QCK
単関数
エゴロフの定理
集合関数
2026/08/28(金) 15:22:25.01ID:e/Eu+QCK
がわかりません
479132人目の素数さん
垢版 |
2026/08/28(金) 15:40:37.61ID:UC8/ARbR
>>477
その中で今詰まっているのは集合関数だね。
2026/08/28(金) 15:44:44.80ID:WxFzz9d/
集合論ではすべての関数が集合関数であり集合である
481132人目の素数さん
垢版 |
2026/08/28(金) 15:47:50.47ID:UC8/ARbR
ルベーグ論を聞きたい。
2026/08/28(金) 16:02:34.40ID:WxFzz9d/
だって測度って集合に値を割り当てることつまり集合関数じゃん
483132人目の素数さん
垢版 |
2026/08/28(金) 16:09:08.44ID:UC8/ARbR
今までは0以上の測度を考えていたが、負の測度も纏めて考えるらしい。
484132人目の素数さん
垢版 |
2026/08/28(金) 17:00:36.17ID:UC8/ARbR
Hahn・Jordan分解
485132人目の素数さん
垢版 |
2026/08/28(金) 19:10:12.73ID:ZmpI8lCh
>>482
集合関数って値が集合なんじゃ無いの?
486132人目の素数さん
垢版 |
2026/08/28(金) 19:14:22.94ID:1WM/GP7/
数学やってたら
疑問、アイデア、まとめ
自然とどれかしらやりたくなってくるものだ
487132人目の素数さん
垢版 |
2026/08/28(金) 19:17:06.89ID:UC8/ARbR
30講と同じ著者の違う本を読んでいる。
2026/08/28(金) 19:17:20.96ID:1WM/GP7/
>>478
「わからない」じゃあ抽象的だから
何がどうわからないのか自己分析したら?
その一つの手段が他人に説明することだけども
2026/08/28(金) 19:18:20.58ID:1WM/GP7/
説明すると理解の穴に気づくことが多い
2026/08/28(金) 19:20:07.82ID:1WM/GP7/
概念がわからないときは、
定義が読めないのか、読めてもモチベがわからないのか、理解したつもりだがその後の論理展開と噛み合わないのか
491132人目の素数さん
垢版 |
2026/08/28(金) 19:23:20.36ID:1WM/GP7/
とにかく明確に、具体的に考えろというのが数学教育の一つ
492132人目の素数さん
垢版 |
2026/08/28(金) 19:24:17.83ID:UC8/ARbR
>>488
その人は私が分からないと言ったことを書き並べているだけだと思うが、私が分からないと言ったときは大抵煽られているときであるw
本当に分からないときは、事細かに書くから。
基本は、今ここをやっているという進捗報告だから宜しく。
493132人目の素数さん
垢版 |
2026/08/28(金) 19:27:05.23ID:1WM/GP7/
>>492
その人は数学やれって言ってるんだから勉強した数学の内容を書けばいいじゃない
2026/08/28(金) 19:30:09.71ID:1WM/GP7/
集合関数の何がどうわからないのか
495132人目の素数さん
垢版 |
2026/08/28(金) 19:31:37.71ID:1WM/GP7/
>>485
それは集合「値」関数だよ
496132人目の素数さん
垢版 |
2026/08/28(金) 19:39:26.98ID:UC8/ARbR
>>494
その質問は取りやめにするw
新しい本でイチから復習を始めるので。
497132人目の素数さん
垢版 |
2026/08/28(金) 19:42:42.73ID:W371dKQU
>>485
その程度でゲスゲス言ってたのかよ
人の足引っ張ることに生き甲斐見出してそう
498132人目の素数さん
垢版 |
2026/08/28(金) 19:42:47.91ID:1WM/GP7/
>>496
集合論?
2026/08/28(金) 19:45:36.41ID:1WM/GP7/
>>497
いや咄嗟に聞かれたら間違える人いると思うよこれは
よく考えれば間違えないけど
2026/08/28(金) 19:48:27.69ID:1WM/GP7/
コメントの趣旨とはずれるけど。
501132人目の素数さん
垢版 |
2026/08/28(金) 19:50:05.90ID:UC8/ARbR
>>498
いや、ルベーグですね。
502132人目の素数さん
垢版 |
2026/08/28(金) 19:53:39.15ID:UC8/ARbR
同じ著者だから復習はスムーズにいくかもしれない。
503132人目の素数さん
垢版 |
2026/08/28(金) 19:55:49.17ID:1WM/GP7/
>>501
測度は集合関数の一種だよ
可測空間上の非負値の完全加法的な集合関数。
504132人目の素数さん
垢版 |
2026/08/28(金) 20:01:13.77ID:UC8/ARbR
>>503
非負値のは大体分かった。
負の値を混ぜたやつが分からないが、一旦はじめから復習するので。
505132人目の素数さん
垢版 |
2026/08/28(金) 20:16:44.03ID:ZmpI8lCh
>>497
(レス乞食か)
506132人目の素数さん
垢版 |
2026/08/28(金) 20:18:38.04ID:ZmpI8lCh
疑問を書くのは教えたがりを引き出す良い方法だったろ?
ゲス爺
507132人目の素数さん
垢版 |
2026/08/28(金) 20:21:23.80ID:1WM/GP7/
>>505
数学でなくても、数学と同じようにあらゆる現実の問題に取り組めると思うよ
接触して分析し、課題を洗い出し、具体的に小さく区切って明確化し、信頼できる文献を漁って調べていく
数学と違って練習のフェーズも必要だと思うけど
508132人目の素数さん
垢版 |
2026/08/28(金) 20:23:44.98ID:1WM/GP7/
>>504
2周目なら別のもう少し高度な本を読んでみてもいいのではないか?
2026/08/28(金) 20:24:56.53ID:1WM/GP7/
整理されすぎて初学者に向かない本というのがよくある
510132人目の素数さん
垢版 |
2026/08/28(金) 20:32:01.05ID:UC8/ARbR
>>506
マウント取られなければ、それ以外は別に良いけどw
511132人目の素数さん
垢版 |
2026/08/28(金) 20:33:34.12ID:UC8/ARbR
>>509
これを考慮して30講をやっていたら、伊藤清三先生のをやれとマウントを取られたw
2026/08/28(金) 20:37:16.11ID:UC8/ARbR
>>506
ランダムウォークも良いけど、横槍来ないでしょ?
俺は周りを巻きこんで勉強したい気持ちもある。
学生時代に熱のある人が周りに少なかったからね。
2026/08/28(金) 20:37:49.87ID:1WM/GP7/
>>511
それ今考える必要ある?
2026/08/28(金) 20:38:29.24ID:1WM/GP7/
考えて何かしら機能するというなら考えればいいけど
2026/08/28(金) 20:42:36.89ID:UC8/ARbR
>>513
>>509みたいな話をするから、そういえばと思って話しただけ。
図書館に行くのもなかなかしんどいからね。
返すときとか億劫だから、慎重に借りている。
516132人目の素数さん
垢版 |
2026/08/28(金) 20:49:08.02ID:1WM/GP7/
家で荒らしに反応してるより疲れないと思うけど
2026/08/28(金) 20:51:00.80ID:1WM/GP7/
図書館ならたいてい岩波数学入門辞典とかの参考図書があるはず
それ家に取り揃えると何万もするから、借りなくてもとりあえず図書館に行くのが合理的だと思う
2026/08/28(金) 20:53:05.32ID:1WM/GP7/
ネット使う時間で参考図書開いた方がよほど生産的だと私は思うがね
2026/08/28(金) 20:58:20.26ID:UC8/ARbR
学生時代に足りなかったものをここで解消しようと思ってるんでね。
2026/08/28(金) 21:02:51.81ID:1WM/GP7/
>>519
stack overflowに意欲のある数学徒がたくさんいるはずだけどダメなのかね
2026/08/28(金) 21:03:17.14ID:1WM/GP7/
Twitterだってあるだろう
522132人目の素数さん
垢版 |
2026/08/28(金) 21:04:23.45ID:rmyJ1ClG
30講のどこがいい?
例えば完全加法性について計算過程が示されているだけ。
正しいことが確認できるだけ。
523132人目の素数さん
垢版 |
2026/08/28(金) 21:05:59.86ID:ZmpI8lCh
>>512
意味ワカランw
524132人目の素数さん
垢版 |
2026/08/28(金) 21:06:53.63ID:ZmpI8lCh
>>512

分かった
横槍が来ないとイケナイと思い込んでるんだな
それは悲しいとか勝手な価値観押しつけようとする
ゲス爺
525132人目の素数さん
垢版 |
2026/08/28(金) 21:08:03.55ID:ZmpI8lCh
ゲス爺は
自分の価値観が絶対だとして他人を支配省とするから
ゲス爺
526132人目の素数さん
垢版 |
2026/08/28(金) 21:10:28.36ID:ZmpI8lCh
結局
群の作用の話は理解できたんだろうか
まあどうでもいいんだが
ヤルヤル言ってたから
やってないんだったら
またまた詐欺だったか
2026/08/28(金) 21:11:21.03ID:UC8/ARbR
>>524
一人で書き込んでると、正しいのかどうか分かりにくいからね。
2026/08/28(金) 21:12:48.24ID:UC8/ARbR
>>520
それが良く分からんのよね。
エックスは結構ですねw
2026/08/28(金) 21:14:31.74ID:1WM/GP7/
>>528
ここよりマシだろう
530132人目の素数さん
垢版 |
2026/08/29(土) 01:54:53.71ID:574ZdNZO
>>527
考えれ
531132人目の素数さん
垢版 |
2026/08/29(土) 01:59:53.14ID:574ZdNZO
箱入り無数目も考えれ
何を言わんとしていて
どうして成立するか分かる
2026/08/29(土) 04:47:32.82ID:z3fYpmIQ
私はとりあえずルベーグを済ませる。
533132人目の素数さん
垢版 |
2026/08/29(土) 09:17:12.64ID:5KjULP9E
勝手にしろ
2026/08/29(土) 10:23:26.19ID:xvmuT2/X
ウェ~イ⤴
535132人目の素数さん
垢版 |
2026/08/29(土) 15:04:13.68ID:1W3ROdhG
おにぃは英語で群作用を学びながら、ルベーグの復習をするかな。
一回読んだだけでは身についていないからな。
2026/08/29(土) 15:22:18.90ID:HmBqz4DH
37才、キモー
2026/08/29(土) 15:24:31.29ID:1W3ROdhG
37歳、キモチイイ⤴
2026/08/29(土) 15:24:32.00ID:8CIzy4Rk
仕事しながら1ヶ月で読めるのかはよくわからない
539132人目の素数さん
垢版 |
2026/08/29(土) 15:27:01.15ID:1W3ROdhG
24講で一旦保留にした。
前半のページはいろんな背景とかが書かれているから、まあまあ進みやすい。
2026/08/29(土) 15:29:39.59ID:8CIzy4Rk
>>537
そういうのをミイラ取りがミイラになるとか予言の自己成就とかって言うんだよ
541132人目の素数さん
垢版 |
2026/08/29(土) 15:30:01.20ID:/0VJ6LmB
ルベーグ積分30講、昨日から読み始めて、1日で第11講まで読み終わった。
天才?
2026/08/29(土) 15:31:57.64ID:HmBqz4DH
それでルベーグ積分が使いこなせたらなw
543132人目の素数さん
垢版 |
2026/08/29(土) 15:34:18.59ID:1W3ROdhG
>>541
25講以降に行けたら褒めてあげるよ、お兄たまがw
途中の上限関数で断念しかけたし。
2026/08/29(土) 15:34:25.13ID:8CIzy4Rk
愚者と争うな
人は遠目には、どちらが愚者か区別できない
545132人目の素数さん
垢版 |
2026/08/29(土) 15:35:08.40ID:8CIzy4Rk
私にはどちらが愚者か区別がつかない
経緯知らないから
2026/08/29(土) 15:36:54.64ID:HmBqz4DH
ま、いいじゃないか
人は反応できるものに反応する、上から目線で語れるということ
547132人目の素数さん
垢版 |
2026/08/29(土) 15:37:22.54ID:1W3ROdhG
>>540
言霊という言葉がある。
愛の言霊
548132人目の素数さん
垢版 |
2026/08/29(土) 15:39:20.12ID:/0VJ6LmB
第11講までをまとめると以下のようになる。

ルベーグ外測度
ルベーグ内速度はルベーグ外測度を使って定義される。
ルベーグ外測度を使って、可測を定義。
カラテオドリの意味での可測とルベーグ外測度を使った可測の定義は同値。(ルベーグ ⇒ カラテオドリは第13講で証明される。)

カラテオドリの外測度
カラテオドリの外測度を使って、(カラテオドリの意味での)可測を定義。
可測集合全体の集合はボレル集合体になる。

Xを集合、BをXの部分集合からなるボレル集合体とする。
B上の測度が定義される。
2026/08/29(土) 15:41:32.75ID:HmBqz4DH
Rだけじゃなかったか
550132人目の素数さん
垢版 |
2026/08/29(土) 15:41:35.96ID:1W3ROdhG
内測度は秀逸だったなぁ。
2026/08/29(土) 15:43:02.78ID:8CIzy4Rk
>>548
急に建設的なことしたな
552132人目の素数さん
垢版 |
2026/08/29(土) 15:43:29.63ID:/0VJ6LmB
ちょっと分かりにくいと思ったのは、最初は具体的なルベーグ外測度から始めて、途中で、カラテオドリの外測度が出てきたり、ボレル集合体上の測度が出てきたりするところ。
そして、第12講からはまたルベーグ外測度にもどる。

最初から、抽象的に議論して最後にルベーグが出てくればすっきりするのにと思う。
2026/08/29(土) 15:43:54.43ID:8CIzy4Rk
ぶっちゃけ今まで無価値だなぁと思って見てたけど
2026/08/29(土) 15:44:33.13ID:HmBqz4DH
よかったな仲間ができて
2026/08/29(土) 15:45:18.14ID:8CIzy4Rk
>>552
急に真人間みたいなこと言うなよ
556132人目の素数さん
垢版 |
2026/08/29(土) 15:45:25.14ID:1W3ROdhG
30講では外測度の引き算の形で内測度を定義していたと思うが、他の本では有界閉集合を隙間に詰め込んだときの上限で定義されていたかな。
2026/08/29(土) 15:46:38.00ID:8CIzy4Rk
逆に怖いな
2026/08/29(土) 15:50:08.70ID:1W3ROdhG
まあ、権利関係には気をつけてボヤかしながら話そうかな。
数学はそのあたりはまあまあ寛容ではあるが。
2026/08/29(土) 15:51:46.69ID:HmBqz4DH
そんなものみんなそうしてるよw
2026/08/29(土) 15:52:33.36ID:8CIzy4Rk
>>558
コピペしないなら権利関係なんてなくない?
せいぜい参考文献提示するくらいだと思うが違うのか
2026/08/29(土) 15:54:04.22ID:1W3ROdhG
>>560
私はそのあたりは良く分からない…。
まあ、宣伝しとくかなw
良い本だと思いますよ、初学者には特に。
2026/08/29(土) 15:54:17.68ID:8CIzy4Rk
どうでもいいけど
563132人目の素数さん
垢版 |
2026/08/29(土) 15:55:07.40ID:8CIzy4Rk
>>561
それはみんな知ってるよ
564132人目の素数さん
垢版 |
2026/08/29(土) 15:55:52.91ID:8CIzy4Rk
>>561
知らんなら別にいいけど。
2026/08/29(土) 16:00:35.79ID:1W3ROdhG
>>563
口コミは微妙に見たよ。
566132人目の素数さん
垢版 |
2026/08/29(土) 16:22:37.02ID:574ZdNZO
前にココかどこかに書いたけど
R^2のルベーグ測度定義するだけの話
正負の面積がーとかショーも無い話
567132人目の素数さん
垢版 |
2026/08/29(土) 18:06:20.09ID:/0VJ6LmB
p.86の dist(A, B) > 0 ⇒ m^*(A∪B) = m^*(A) + m^*(B) の証明で dist(A, B) = ρ とおくと書いてあるが、これは dist(A, B) = ρ×√k としないといけないと思う。
p.87の「どの2つをとっても共通点がない」というところに関係する。
1辺の長さ ρ/3 の半開区間内の2点の距離をできるだけ大きくすることを考えると、(ρ/3)×√k にいくらでも近づけられる。
568132人目の素数さん
垢版 |
2026/08/29(土) 18:09:07.89ID:/0VJ6LmB
次元 k に関係ない ρ では駄目という話。
569132人目の素数さん
垢版 |
2026/08/29(土) 18:13:53.13ID:/0VJ6LmB
それとp.87で m^*(I) = |I| というp.88で確かめられる結果を先取りして使っているように見える。
2026/08/29(土) 20:24:47.30ID:DIxVajxG
おにぃは眠たい。
これじゃ英語も頭に入らんよw
2026/08/30(日) 10:46:40.30ID:KzSE/W2G
さて、お兄さんは今日頑張るよ。
2026/08/30(日) 14:07:03.94ID:KzSE/W2G
ヨシ、ルベーグの復習をしよう。
ボレル集合体とボレル集合は違うものなのか、はて?
573132人目の素数さん
垢版 |
2026/08/30(日) 14:08:01.40ID:KzSE/W2G
紛らわしい…。
2026/08/30(日) 14:32:56.99ID:eWmsyMIK
50代の独身男性が目指せ小説家と息巻いて三島由紀夫の写経を100回やるライブがあった
私は悲しくなった
575132人目の素数さん
垢版 |
2026/08/30(日) 14:35:16.28ID:eWmsyMIK
なぜなら彼は純に内発的な動機としてそれをやっているわけではない
576132人目の素数さん
垢版 |
2026/08/30(日) 14:37:28.42ID:eWmsyMIK
人間が真にそれをやりたいと思っているならば、自分を見せる必要があるだろうか
2026/08/30(日) 14:49:17.54ID:eWmsyMIK
あるいはより効率的な方法があるとしても、現状にとどまることの意味は何か
2026/08/30(日) 14:49:23.08ID:KzSE/W2G
金閣寺の要約で感動してみたい。
2026/08/30(日) 20:21:22.57ID:z+gLfDgj
おにぃは今日も眠い…。
明日は頑張るか。
580132人目の素数さん
垢版 |
2026/08/31(月) 14:14:52.68ID:3dRQwzyW
最小のボレル集合体とかよくワカンネ…。
うーん
581132人目の素数さん
垢版 |
2026/08/31(月) 17:56:56.27ID:3dRQwzyW
服部先生のサイトを見てみよう。
2026/08/31(月) 18:18:22.70ID:3dRQwzyW
サイトに2chのことが書いてあったw
2026/08/31(月) 18:24:07.21ID:3dRQwzyW
サイトの紹介をしている住人が、先生の自演だと疑われていたw
2026/08/31(月) 18:27:48.30ID:3dRQwzyW
勉強がアレだから過去ログを見てみる。
585132人目の素数さん
垢版 |
2026/08/31(月) 19:16:15.57ID:3dRQwzyW
σ加法族の積集合はσ加法族になるが、和集合はそうなるとは限らないらしい。
勉強になるなぁ。
586132人目の素数さん
垢版 |
2026/08/31(月) 20:23:05.50ID:L97028+g
>>585
{φ,A,Ac,U}と{φ,B,Bc,U}の合併考えたら直ぐ判ろう?
587132人目の素数さん
垢版 |
2026/08/31(月) 20:25:16.86ID:3dRQwzyW
>>586
和集合がダメな反例は理解しましたよ。
まずは手始めに、有限加法族あたりから演習でもしていきますよ。
588132人目の素数さん
垢版 |
2026/08/31(月) 20:29:36.88ID:3dRQwzyW
加法族の定義は、結構自由にできるのかもしれない。
定義に揺れがあると困る。
589132人目の素数さん
垢版 |
2026/09/01(火) 06:56:54.43ID:3BFbFMGl
勝手に勉強してくれ
2026/09/01(火) 08:50:33.80ID:/uXvt/N4
ここはレス乞食の日記スレ
2026/09/01(火) 10:55:01.07ID:TZJ8+0PC
みんなルベーグ分かってんのかね。
592132人目の素数さん
垢版 |
2026/09/01(火) 15:39:42.92ID:XsKWE7sn
σ加法族の考え方にまだあまり慣れていない。
2026/09/01(火) 18:03:13.79ID:/uXvt/N4
考え方もクソも無く定義通りだろ
594132人目の素数さん
垢版 |
2026/09/01(火) 18:09:30.98ID:dBwpBTTP
まあそうだけどw
慣れていないだけ。
595132人目の素数さん
垢版 |
2026/09/01(火) 19:04:35.67ID:dBwpBTTP
最小のσ加法族とかがやはり良く分からんな。
なんとかしなければ…。
2026/09/01(火) 19:46:45.49ID:nbW1YbSa
なぜ大学数学質問スレで聞かないんだ?
597132人目の素数さん
垢版 |
2026/09/01(火) 19:53:32.31ID:cI6c1Gft
あるいは復活した大学学部レベル質問スレで
2026/09/01(火) 19:53:43.42ID:dBwpBTTP
もうちょい時間をくれw
2026/09/01(火) 19:54:53.54ID:dBwpBTTP
ここで回答してくれても良いんだよw
お兄たまは自由人なので、お兄たまのスレは自由につかってちょ。
2026/09/01(火) 19:56:03.55ID:dBwpBTTP
別にルベーグの話に限らなくもないし。
次はお兄たまの自由スレにしても良いしw
2026/09/01(火) 19:59:02.13ID:nbW1YbSa
変な拘りがあるんだ。高校数学の質問には拘ったくせにw
2026/09/01(火) 20:02:56.45ID:dBwpBTTP
この板にルールなんか求めても、守ってくんないでしょ?
だったら縛る方向ではなく、極限まで自由にしていく方向性に決めた。
実に合理的なお兄たまw
2026/09/01(火) 20:04:07.76ID:dBwpBTTP
押してダメなら更に押してみなではダメなんだろうw
604132人目の素数さん
垢版 |
2026/09/01(火) 21:39:30.66ID:/uXvt/N4
「X上のボレル集合体Bは全ての開集合を含む最小の完全加法族である」
のは、BがXの全ての開集合から出発して、完全加法族として閉じるはずの演算操作をすべて行って生成した(且つ余計な追加を行っていない)集合だからだろ。
例えばルベーグ可測集合族はボレル集合体を包含し完備化(ボレル測度0の集合のすべての部分集合を追加)しているから最小ではない。
605132人目の素数さん
垢版 |
2026/09/01(火) 21:41:57.41ID:/uXvt/N4
つまり定義から自明。
2026/09/01(火) 21:45:11.74ID:dBwpBTTP
最小の話に確かに完備化の話は出てきていない。
なんか、共通部分をとったらイケる的なことが書いてあった気がするが、今日は疲れすぎていて全く頭が回らないw
明日フレッシュなときにしっかりやるかな。
607132人目の素数さん
垢版 |
2026/09/01(火) 23:22:06.05ID:kScyJX3Z
>>599,600
レス乞食の本性露わにしたな
彼の人の辿った途では無いかね
2026/09/01(火) 23:24:30.52ID:dBwpBTTP
とにかく今日はねみ~。
頭を使わない雑務だけして寝ることにしよう。
2026/09/01(火) 23:31:12.03ID:dBwpBTTP
お兄たまのスレでは別に間違えたって良いんだよ。
ただ、守ってあげるのは無理かもしれないw
ビブンの身はビブンで守るのがこの板の掟…哀しいかな。
610132人目の素数さん
垢版 |
2026/09/01(火) 23:33:22.34ID:kScyJX3Z
自分の価値観を押しつけ
他人からの評価を渇望するゲス爺
寂しくなると死んでしまうらしい
数学に向かない性格だな
2026/09/01(火) 23:46:05.61ID:dBwpBTTP
寂しがり屋の数学者とか探したら見つかるかもw
2026/09/01(火) 23:48:57.18ID:dBwpBTTP
エルデシュは相手が疲れるまでひたすら数学をしていたらしい。
613132人目の素数さん
垢版 |
2026/09/02(水) 04:48:00.95ID:EGNSbaxB
>>609
>お兄たまのスレ
お前の「建てた」スレな
2026/09/02(水) 05:07:51.45ID:/pIULv22
好きにやりたい人が来ればよいさ。
お兄たまはウェルカムだよ。
2026/09/02(水) 11:11:32.33ID:YadPRULn
さあ、おにぃと一緒にルベーグ演習をしよう!
ここは🐣もいる平和なスレだよ。
616132人目の素数さん
垢版 |
2026/09/02(水) 19:30:56.97ID:iQCTOqE3
上極限集合と下極限集合を考えるのは、記号がチカチカして疲れるピヨ🐣
617132人目の素数さん
垢版 |
2026/09/02(水) 22:21:32.49ID:iQCTOqE3
地味な演習をしていてネタ不足であるw
書けそうな内容に出会えることを祈る。
2026/09/03(木) 08:46:19.78ID:uTUVVM/S
複素解析6
rio2016.5ch.io/test/read.cgi/math/1788075594/
619132人目の素数さん
垢版 |
2026/09/04(金) 03:02:53.77ID:cEozJuFu
ルベーグ積分 要点と演習
相川 弘明 (著), 小林 政晴 (著)

第2版
620132人目の素数さん
垢版 |
2026/09/04(金) 07:38:24.69ID:L3ZSj8TB
>>619
これは一度目を通したことがあるかもしれませんね。
621132人目の素数さん
垢版 |
2026/09/04(金) 08:01:58.82ID:nT4if+a5
第2版
2026/09/04(金) 12:18:10.76ID:3pUcaiJw
関数論は専門なんだろ、お前が尊敬する御大もいるのに>>618
623132人目の素数さん
垢版 |
2026/09/04(金) 13:14:21.01ID:71cYyHlu
>>622
自分は何が専門なのか分からないような人間だからねw
あと御大は尊敬というか、数学板でマウントを取らない貴重な存在のお一人だからね。
普通にやり取りが出来る存在は、この板では有難い。
2026/09/04(金) 13:34:46.19ID:3pUcaiJw
お前は「名誉教授」と普通にやり取りできるのか、ある意味すごいw
625132人目の素数さん
垢版 |
2026/09/04(金) 13:53:10.06ID:71cYyHlu
>>624
やり取りできるというか、少なくともマウントはないでしょ。
数学の話は高度すぎて出来ないよw
626132人目の素数さん
垢版 |
2026/09/04(金) 22:26:19.70ID:FFIrIpRp
そのマウントというのが何を意味するのかがよく分からない。
あなたがどう感じるか?という主観でしかないのでは。
名誉教授がマウントしないように感じるというのも主観。
実際には、数学板の変人に過ぎない。自分の著書のTeX打ち
原稿をスレに貼りまくったこともある。自分の専門分野
と関係のあるスレを上げまくったり。受け取りように
よっては、マウントとも迷惑行為とも言える。
627132人目の素数さん
垢版 |
2026/09/04(金) 22:37:37.36ID:FFIrIpRp
名誉教授身バレの瞬間を見ていた。彼は最初、昔の数セミに自分が
投稿した記事の自慢をしてた。そこから「是非、その話をもっと聞きたい」
と罠にかけて、その記事を調べたひとがいた。その結果、本人らしい
とバレた。後に自分でも認めていた。某数学ライターとは、5ちゃんねる
の書き込みを巡ってトラブルになったそうだ。某氏が教授の書き込みを
疑った。そんな大昔から、5ちゃんねるの住人だったということ。
某氏の細君と一緒に喫茶店で話し合いを持ったとか。そんな話は本人
しか知りえない。それにも懲りずに5ちゃんに常駐している、やばい人物。
628132人目の素数さん
垢版 |
2026/09/04(金) 22:57:36.59ID:M3/iARjq
マウントとセクハラ
2026/09/04(金) 23:01:50.41ID:3pUcaiJw
>>627
誰?その書き込み知らない
630132人目の素数さん
垢版 |
2026/09/05(土) 07:02:26.32ID:AFPMquJL
2005年は大変な年だった
2026/09/05(土) 12:17:47.41ID:RaLICDyz
2005年は中3だった。
まだまだ若いおにぃです。
632132人目の素数さん
垢版 |
2026/09/07(月) 09:58:18.17ID:/+ettjxh
limsup_(n→∞)(A_n)^c
=(liminf_(n→∞)A_n)^c
なのか、勉強になる。
2026/09/07(月) 15:03:22.24ID:8SPZUwZ+
おっさんは「名誉教授」に同じ匂いを感じている
2026/09/07(月) 15:05:31.49ID:/+ettjxh
おっさんではない。
スレタイをきちんと見てね。
2026/09/07(月) 15:12:23.83ID:8SPZUwZ+
37才、現実を見よう
2026/09/07(月) 15:20:21.54ID:/+ettjxh
最近お兄さんと言われたんだから、現実なのである。
637132人目の素数さん
垢版 |
2026/09/07(月) 20:40:47.87ID:VSi9+6cs
ゲス爺はゲスでゲス
2026/09/07(月) 20:43:36.36ID:/+ettjxh
もうね、何爺でも良いのよ。
それなりに勉強できればね。
639132人目の素数さん
垢版 |
2026/09/07(月) 22:38:48.45ID:/+ettjxh
明日は図書館に演習の本を見に行こう。
640132人目の素数さん
垢版 |
2026/09/08(火) 03:09:18.27ID:RvXjZZql
今日は401に講演を聴きに行こう
2026/09/08(火) 17:27:20.56ID:tlY30goo
借りてきた。
642132人目の素数さん
垢版 |
2026/09/08(火) 17:35:29.31ID:tlY30goo
E_n↑Eみたいな記号の意味がやっと分かった。
2026/09/08(火) 17:36:40.13ID:tlY30goo
↑スゥゥ、モッチャマ↓w
2026/09/08(火) 17:37:26.36ID:tlY30goo
ポッチャマ
2026/09/08(火) 23:10:11.42ID:OnqnDfIE
単なる捻くれ者w
646132人目の素数さん
垢版 |
2026/09/10(木) 19:15:30.26ID:VZDJ7sey
その集合自身あるいはその補集合が実数上で高々可算である集合族は、σ加法族になるかぁ。
ふむふむ、勉強になる。
647132人目の素数さん
垢版 |
2026/09/10(木) 21:45:57.64ID:iz/pCu5W
件の集合族をΣとする。
1.高だか可算なRの部分集合は存在するからΣは空でない。
2.aが高だか可算ならa^cは「補集合が高だか可算」。a^cについても同じ。よって a∈Σ ならば a^c∈Σ 且つ a^c∈Σ ならば a∈Σ。よってΣは補演算について閉じている。
3.以下、Σは可算和について閉じていることを示す。

高だか可算でない集合は非可算だから、非可算集合の全体は
タイプ1.補集合が高だか可算である非可算集合
タイプ2.補集合が非可算である非可算集合
のふたつのタイプに完全に分類できる。このうちΣの元はタイプ1集合のみ。

「可算和について閉じている」の反例が存在するかという問題は、高だか可算な集合またはタイプ1集合の可算和がタイプ2集合になり得るかという問題に焼き直せる。

高だか可算集合の可算和は高だか可算集合なので、可算和がタイプ2集合になるためには可算和の中に少なくとも一つのタイプ1集合が必要。
しかしそのときタイプ1集合のサイズが大きすぎるがゆえに可算和はタイプ2集合になり得ない。(ドモルガンの法則を使えばきっちり示せる。)
したがってΣの元をどう選んでもその可算和はタイプ2集合になり得ない。従って「可算和について閉じている」の反例は無い。

以上からΣはσ加法族。
648132人目の素数さん
垢版 |
2026/09/10(木) 21:52:02.98ID:VZDJ7sey
ド・モルガンのところが気に入ったので書いてみた次第。
649132人目の素数さん
垢版 |
2026/09/11(金) 01:06:26.10ID:D2tpneaU
>>647
補集合を取ることで閉じた集合族A(B∈A→cB∈A)の元によって生成される完全加法族Σとは
ΠA={∩{An:n∈N}:An∈A}
Σ=ΣΠA={∪{An:n∈N}:An∈ΠA}
のこと
Aの元は有限か補有限
ΠAの元は有限か補有限
ΣΠAの元は有限か補有限
650132人目の素数さん
垢版 |
2026/09/11(金) 01:10:40.50ID:D2tpneaU
>>647
同じ考察を可算で行う
2026/09/11(金) 01:55:30.93ID:YJAxDWss
ここで可算の厳しさがでる
652132人目の素数さん
垢版 |
2026/09/11(金) 03:29:42.37ID:D2tpneaU
出ないよ
Aの元が可算か補可算なら
ΠAの元も可算か補可算
ΣΠAの元も可算か補可算
653132人目の素数さん
垢版 |
2026/09/11(金) 03:52:06.81ID:D2tpneaU
ℵ2のときはさらに
Aの元がℵ1以下か補ℵ1以下なら
ΠAの元もℵ1以下か補ℵ1以下
ΣΠAの元もℵ1以下か補ℵ1以下
ℵ3のときのℵ2以下でも同じだし
ℵ4のときのℵ3以下でも同じ
654132人目の素数さん
垢版 |
2026/09/11(金) 03:59:16.34ID:D2tpneaU
可算というよりℵ1未満というべきかな
有限はℵ0未満だから統一性が出る
ℵ2の集合なら
ℵ0未満ℵ1未満ℵ2未満で同じことが言える
ℵ3の集合なら
ℵ0未満ℵ1未満ℵ2未満ℵ3未満で同じことが言える
655132人目の素数さん
垢版 |
2026/09/11(金) 04:13:37.72ID:D2tpneaU
ああダメか
有限の可算合併は可算だから
むしろ有限については成立しない
ℵ1未満(可算)でしかダメ
ℵ2の集合でも
ℵ1未満とℵ2未満だけ
完全加法族はℵ0加法族だからだな
それをℵ1加法族にした場合は
ℵ1の集合については何も言えず
ℵ2の集合についてはℵ2未満については言えるし
ℵ3の集合についてはℵ2未満ℵ3未満について言える
一般には
ある濃度ℵについてのℵ加法族を考えるとき
ℵより大きな濃度ℵ'の集合について
ℵ未満からℵ'未満までについて言えるか
656132人目の素数さん
垢版 |
2026/09/11(金) 08:40:44.81ID:D2tpneaU
ああそうか
完全加法性をℵ0加法性と呼ばず
ℵ1未満加法性と呼べば
有限加法性をℵ0未満加法性と呼べて
ℵ0未満加法族について
Aがℵ0未満集合とその補集合からなる集合族の場合に
ΠAの元もℵ0未満か補ℵ0未満
ΣΠAの元もℵ0未満か補ℵ0未満
で統一的に扱える
2026/09/11(金) 08:44:47.39ID:CWvBs0Al
濃度の高いカフェオレが好物。
658132人目の素数さん
垢版 |
2026/09/11(金) 08:47:15.71ID:CWvBs0Al
σ加法族 押し出し
659132人目の素数さん
垢版 |
2026/09/11(金) 08:56:21.30ID:D2tpneaU
結局
無限濃度ℵについて
ℵ未満か補ℵ未満集合全体はℵ未満加法族
ってことで統一できるな
2026/09/11(金) 09:01:48.88ID:CWvBs0Al
アレフヌル
661132人目の素数さん
垢版 |
2026/09/11(金) 09:04:27.04ID:CWvBs0Al
べき集合と濃度
662132人目の素数さん
垢版 |
2026/09/11(金) 09:12:30.83ID:D2tpneaU
それは
Aの元がℵ未満の濃度の部分集合(の全部でなくても良い)のとき
CA={cB:B∈A}
は補ℵ未満の集合族で
ℵ未満加法性について
Π(A∪CA)はℵ未満か補ℵ未満集合族
Σ=ΣΠ(A∪CA)もℵ未満か補ℵ未満集合族
このΣがℵ未満加法族となるから
Aがℵ未満の濃度の部分集合全体なら
A∪CAはℵ未満か補ℵ未満部分集合の全体
このときΣがℵ未満か補ℵ未満集合族だから
A∪CA⊂Σ⊂A∪CA
より
Σ=A∪CA
663132人目の素数さん
垢版 |
2026/09/11(金) 09:22:45.38ID:nFSAVrP7
>>649 >>650
あなたがあなたの方法論を述べたければ自由に述べればよいが、>>646の命題に対する証明である>>647をアンカする必要は無い。
方法論は証明について何も語ってないのだから。
2026/09/11(金) 09:29:11.25ID:CWvBs0Al
ワクワク
665132人目の素数さん
垢版 |
2026/09/11(金) 09:38:14.79ID:D2tpneaU
>>663
証明だって判ってないのかな
>>649は有限(ℵ0未満)について完全加法性が成立すると書いてるから正しくなかったが>>650
666132人目の素数さん
垢版 |
2026/09/11(金) 09:42:46.24ID:D2tpneaU
細かいところまで書いて一般化したのが>>662
667132人目の素数さん
垢版 |
2026/09/11(金) 09:45:06.68ID:CWvBs0Al
有限集合なら σ-加法族と有限加法族は一致すると、とあるサイトで見た。
668132人目の素数さん
垢版 |
2026/09/11(金) 09:46:59.36ID:nFSAVrP7
>>665
証明のつもりだったのね? では
>補集合を取ることで閉じた集合族A
なる仮定(=Aの定義)から
>Aの元は有限か補有限
なる結論を導出した推論過程を明示的に書き下してみて

私はその仮定からその結論は導出できないと思うけど、できると言うなら示してみて、よろしく
669132人目の素数さん
垢版 |
2026/09/11(金) 09:51:25.70ID:nFSAVrP7
>>665
あと、君が証明を書いたと言うならそういうこととして、なぜ何も語ってない>>647をアンカしたの?
間違ってると言いたいの? でも君は証明のギャップを何一つ示してないよね?
2026/09/11(金) 09:52:09.93ID:CWvBs0Al
朝から趣味で数学談義。
なかなか世の中には理解されないかw
2026/09/11(金) 09:53:57.46ID:CWvBs0Al
箱入り無数目スレの続きかな、ファイトw
672132人目の素数さん
垢版 |
2026/09/11(金) 09:56:46.48ID:D2tpneaU
>>669
同じことを別証明書いただけだけど
673132人目の素数さん
垢版 |
2026/09/11(金) 09:58:14.20ID:D2tpneaU
>>668
>>665,666
>細かいところまで書いて一般化したのが>>662
674132人目の素数さん
垢版 |
2026/09/11(金) 09:59:43.74ID:nFSAVrP7
>>672
なんで根掘り葉掘り聞きださないと言わないの?
君が何を考えてるか他人は知り様が無いことを理解しない?
で、その証明とやらは証明になってるの? そうは見えないけど 具体的には例えば>>668
675132人目の素数さん
垢版 |
2026/09/11(金) 10:01:43.49ID:D2tpneaU
>>667
その通り
だから最終的に>>659
に集約される
676132人目の素数さん
垢版 |
2026/09/11(金) 10:05:57.65ID:nFSAVrP7
>>649ってどうみてもΣなる集合の定義しか書いて無くない?
Σがσ加法族であることはどこで示されてるの?
てかそれ示すためにはσ加法族の定義が必須なんだけどそれも書かれてないじゃん

いったい何を証明したつもりなんだろう???
677132人目の素数さん
垢版 |
2026/09/11(金) 10:09:53.17ID:nFSAVrP7
σ加法族であるはずのΣの定義を書いたってこと?
「はず」はあくまで「はず」であって証明ではないよね? 証明は無いの?
馬鹿な私でも分かるような説明希望
678132人目の素数さん
垢版 |
2026/09/11(金) 10:14:36.66ID:D2tpneaU
>>676
Σが完全加法族であることは自明だと思ってた
そうかそれは次のように示される
ΣΣ=ΣΣΠA=ΣΠA=Σ
ΠΣ=ΠΣΠA=ΣΠΠA≒ΣΠA=Σ
CΣ=CΣΠA=ΠCΠA=ΠΣCA=ΠΣA=ΣΠA=Σ
679132人目の素数さん
垢版 |
2026/09/11(金) 10:15:54.06ID:nFSAVrP7
>Σが完全加法族であることは自明だと思ってた
それを証明と称していたのね? 了解 もう何も聞かない
2026/09/11(金) 10:22:41.60ID:CWvBs0Al
燃料投下に勤しむおにぃw
681132人目の素数さん
垢版 |
2026/09/11(金) 10:37:02.96ID:D2tpneaU
>>679
ある集合族から完全加法族を作るにはどうするのか学んだんじゃないのか
682132人目の素数さん
垢版 |
2026/09/11(金) 10:52:37.08ID:D2tpneaU
>>674
面倒くさいから
683132人目の素数さん
垢版 |
2026/09/11(金) 10:53:14.00ID:D2tpneaU
ていうか
数学は戦争なんだから
根掘り葉掘り聞き出せよ
2026/09/11(金) 11:03:26.00ID:CWvBs0Al
戦争ではないと思うが、疑問があったら素直に聞けばよいと思う。
発表して質疑応答で何もないのは悲しい。
685132人目の素数さん
垢版 |
2026/09/11(金) 11:08:56.38ID:nFSAVrP7
実数R上だとΣは補演算で閉じないらしい。
それクリアするためには可算和と可算交差の操作を最小の非可算順序数回まで繰り返す必要があるとのこと。
AIの受け売りだからホントかは知らん。
686132人目の素数さん
垢版 |
2026/09/11(金) 11:09:29.47ID:nFSAVrP7
>>683
その価値があればね
687132人目の素数さん
垢版 |
2026/09/11(金) 11:11:36.21ID:nFSAVrP7
教員でもない
>ああダメか
とか言っちゃう人から根掘り葉掘り聞き出す価値は無いだろう
688132人目の素数さん
垢版 |
2026/09/11(金) 11:24:02.29ID:CWvBs0Al
「その集合自身、あるいはその補集合が実数上で高々可算である集合族は、σ加法族になる。」とググったら、AIがそれなりに回答してくれると思う。
689132人目の素数さん
垢版 |
2026/09/11(金) 11:49:43.55ID:D2tpneaU
>>685
>実数R上だとΣは補演算で閉じないらしい。
実数に限らず
CΣA=ΠCA
だから
A=CA
であっても閉じるわけない
690132人目の素数さん
垢版 |
2026/09/11(金) 12:00:57.70ID:D2tpneaU
>>685
>可算和と可算交差の操作を最小の非可算順序数回まで繰り返す必要
ああそうか確かに
ΣΠA=ΠΣA
が間違ってるか
サンクス>>678
>Σが完全加法族であることは自明だと思ってた
は正しくない
691132人目の素数さん
垢版 |
2026/09/11(金) 12:19:08.20ID:D2tpneaU
Σ0=A(=CA)
Σ1=ΣΠΣ0⊃Σ0
Σ2=ΣΠΣ1⊃Σ1

Σω=∪Σn
としたら
それぞれのΣnは可算または補可算集合族だから
Σωも可算または補可算集合族で
超限帰納的に
Σαも可算または補可算集合族となる
Σ=Σω1も可算または補可算集合族で
これが完全加法性を持つのは
ここから可算個の集合を取り出すと
それはどこかのΣα(α<ω1)に含まれるから
(cf(ω1)=ω1>ω0)
ΣΣα=Σα⊂Σ
ΠΣα⊂ΣΠΣα=Σα+1⊂Σ
CΣα⊂ΣCΣα=Σα+1⊂Σ
692132人目の素数さん
垢版 |
2026/09/11(金) 12:22:18.58ID:D2tpneaU
まあ自明とまでは言えないか
でもホボ自明
サンクス>>685
693132人目の素数さん
垢版 |
2026/09/11(金) 12:30:09.22ID:D2tpneaU
>>659
>無限濃度ℵについて
>ℵ未満か補ℵ未満集合全体はℵ未満加法族
>ってことで統一できるな
これも
Aがℵ未満部分集合全体として
Σ0=A∪CAはℵ未満または補ℵ未満部分集合族
Σ1=ΣΠΣ0もℵ未満または補ℵ未満部分集合族

Σω0=∪Σnもℵ未満または補ℵ未満部分集合族

超限帰納的に
Σαはℵ未満または補ℵ未満部分集合族
ℵの順序型をωとして
Σ=Σω
とすればこれはℵ未満または補ℵ未満部分集合族で
ℵ未満加法族
・・・・
ああだめか
cf(ω)=ω
である必要があるから
ℵ=ℵω0
だとダメだな
694132人目の素数さん
垢版 |
2026/09/11(金) 12:33:37.98ID:D2tpneaU
どんな濃度ℵでもいいわけではないのか
>無限濃度ℵについて
>ℵ未満か補ℵ未満集合全体はℵ未満加法族
共終数が自分自身と一致する
なんてったっけ?
正則基数?に限るわけだな
じゃあ
非正則基数ℵについての
ℵ未満加法族についてはどんなことが言えるだろう?
695132人目の素数さん
垢版 |
2026/09/11(金) 12:34:43.88ID:D2tpneaU
>>687
それはキミの価値観
その価値観勿体ないと思うよ
696132人目の素数さん
垢版 |
2026/09/11(金) 12:38:49.80ID:CWvBs0Al
可算より大きい濃度の加法族を考えることなんてあるのか。
私は初心者だからよく知らない。
697132人目の素数さん
垢版 |
2026/09/11(金) 12:39:15.94ID:D2tpneaU
彼の人に何人もの人がダメ出しするのも
数学は戦争だからだよ
698132人目の素数さん
垢版 |
2026/09/11(金) 12:41:08.39ID:D2tpneaU
>>696
関数解析で出てきたと思ったがどうだったかな
2026/09/11(金) 12:43:17.20ID:CWvBs0Al
>>697
俺はしてないけどw
あと、政治の見解についても批判がおきている。
正しくは、5chが紛争の場であるということだろう。
あまり数学を悪く言ってほしくはない。
700132人目の素数さん
垢版 |
2026/09/11(金) 12:43:41.94ID:CWvBs0Al
>>698
少し調べてみるわ。
701132人目の素数さん
垢版 |
2026/09/11(金) 12:50:20.54ID:D2tpneaU
>>699
それはキミが現実の数学をしてないから
数学は針の筵だしそうあるべき
702132人目の素数さん
垢版 |
2026/09/11(金) 12:57:18.99ID:CWvBs0Al
ここで現実の数学をしたら誰もついてこれないと思うよ。
アマチュアの数学は平和なものだろう。
プロは博士後期から終身雇用に至るまで戦争と表現するのなら分かる。
仕事が絡むと戦争になるだろう。
703132人目の素数さん
垢版 |
2026/09/11(金) 12:57:41.65ID:D2tpneaU
>>694
>非正則基数ℵについての
>ℵ未満加法族についてはどんなことが言えるだろう?
問題ないな
どんな非正則基数ℵについてもそれより大きな正則基数が存在するから
その正則基数の順序型をωとして
Σ=Σω
とすればよい
ここからℵ未満の個数の集合を取り出すと
どこかの
ℵα(α<ω)に含まれるからあとは同じ
てことで
>無限濃度ℵについて
>ℵ未満か補ℵ未満集合全体はℵ未満加法族
はOK
704132人目の素数さん
垢版 |
2026/09/11(金) 12:57:49.12ID:CWvBs0Al
御大はアレだけどねw
705132人目の素数さん
垢版 |
2026/09/11(金) 13:01:27.53ID:nFSAVrP7
>>695
>それはキミの価値観
言うに及ばず

>その価値観勿体ないと思うよ
いや同じ聞くならAIに聞くって話 聞かないとは言ってない
706132人目の素数さん
垢版 |
2026/09/11(金) 13:16:50.79ID:D2tpneaU
>>703
>無限濃度ℵについて
>ℵ未満か補ℵ未満集合全体はℵ未満加法族
ℵ=ℵ1
のときが元のカキコミ>>646,647
ℵ=ℵ0
のときは有限か補有限集合の全体が有限加法族になるということ
ℵ=ℵ2
のときはR(濃度がℵ1だとする)についてなら
ℵ未満または補ℵ未満の部分集合とは結局任意の部分集合なのでP(A)がℵ2未満加法族だと言っても仕方ないが
関数解析(R^Rでの話)でなら何かしらのことは言えそう
2026/09/11(金) 13:35:02.96ID:YJAxDWss
ではΣπAが可算の縛りの上でσ代数になることを証明してください。
708132人目の素数さん
垢版 |
2026/09/11(金) 13:37:37.60ID:CWvBs0Al
Πか
709132人目の素数さん
垢版 |
2026/09/11(金) 13:47:35.55ID:D2tpneaU
>>707
証明間違えていたのでそれは言えない
正しくは>>691,693,694,703
あと>>662の最後の部分は流用
710132人目の素数さん
垢版 |
2026/09/11(金) 13:49:33.61ID:nFSAVrP7
>>707
自明とのこと
非自明な反例があったけど(爆死)
711132人目の素数さん
垢版 |
2026/09/11(金) 13:57:38.66ID:CWvBs0Al
>>710
>>646は分かってんの?
712132人目の素数さん
垢版 |
2026/09/11(金) 13:58:11.15ID:CWvBs0Al
AIばっかり使ってるけど。
2026/09/11(金) 14:33:32.01ID:YJAxDWss
だいたいある集合を含む最小のσ代数がそんな簡単に構成できるなら標準的な教科書で載ってないはずがない。σ代数はそんな簡単に表示できないからいろいろ病的な可測集合が発生する。完全加法族とσ代数の間のこの決定的差異が感じられるようになってなんぼ
714132人目の素数さん
垢版 |
2026/09/11(金) 14:41:46.93ID:nFSAVrP7
>>711
分かってるも何も最初にそれの証明を書いたのは私
ギャップの指摘なら歓迎 但し具体的にね
715132人目の素数さん
垢版 |
2026/09/11(金) 14:43:10.70ID:nFSAVrP7
>>712
何か問題でも?
そこらの似非教員よりよっぽど役立つよ 役立つものを使わないのは〇〇
716132人目の素数さん
垢版 |
2026/09/11(金) 14:45:24.15ID:nFSAVrP7
>>713
>完全加法族とσ代数の間のこの決定的差
差の中身を具体的に
717132人目の素数さん
垢版 |
2026/09/11(金) 14:48:40.05ID:CWvBs0Al
>>714
個人的にはド・モルガンのとこだけ詳しく書いて、あとは自明くらいで良いと感じたw
まあ分かってるのなら良いよ、それ以上は望まない。
2026/09/11(金) 14:52:07.94ID:hPHI0EM2
プッ
>完全加法族とσ代数の間のこの決定的差異
719132人目の素数さん
垢版 |
2026/09/11(金) 14:53:23.64ID:CWvBs0Al
色んなid出るね。
>>716は私も良く分からない。
2026/09/11(金) 16:06:03.98ID:YJAxDWss
Aから初めて たんにいくらでもよい無限和、補集合でとじているなら有限加法族 B をとっておいて Σ[無限]∩[無限]A で完全加法族にできる。しかしσ代数で無限のところが可算無限に制限されるととたんにこれではすまなくなる。一般的にこんなすっきりとはかけない。書きあらわす方法がないという証明はみたことはもちろんないが、具体的にかいてある教科書もみたことない。かけるならかいてる教科書のひとつやふたつあっていいだろうから、ないか、あってもそうとう難しいか、なんだろこれってなっとくいかないような表示かしかないんだろうなとおもってあきらめて表示はできなくても存在証明にきりかえる。
無限に制限があるかないかで全然話がちがう。
721132人目の素数さん
垢版 |
2026/09/11(金) 16:10:21.97ID:nFSAVrP7
>>717
∀n∈N:(an∈Σ ∧ n=0→anはタイプ1集合 ∧ n≠0→anは高々可算集合) とする。
可算和の中に一つのタイプ1集合が含まれるものは ∪{an|n∈N} と書け、これはタイプ2集合ではない。
実際、
(∪{an|n∈N})^c=∩{an^c|n∈N}⊂a0^c。a0^c は定義から高々可算集合。よって (∪{an|n∈N})^c も高々可算集合。よって ∪{an|n∈N} はタイプ2集合でない。
可算和の中のタイプ1集合が二つ以上でも同じ議論が成立するから、結局Σの任意の可算和はタイプ2集合ではない。すなわち「Σは可算和について閉じている」の反例は無い。

君、ドモルガンドモルガン言ってるけど、
>(∪{an|n∈N})^c=∩{an^c|n∈N}
ってだけなんだけど。

尚、タイプ1・2は下記参照。
>高だか可算でない集合は非可算だから、非可算集合の全体は
>タイプ1.補集合が高だか可算である非可算集合
>タイプ2.補集合が非可算である非可算集合
>のふたつのタイプに完全に分類できる。このうちΣの元はタイプ1集合のみ。
722132人目の素数さん
垢版 |
2026/09/11(金) 16:18:19.20ID:CWvBs0Al
f,gが可測関数で f+gが面積確定ならば、f+gは可測関数であるかぁ。
ふーん、そうですか。
723132人目の素数さん
垢版 |
2026/09/11(金) 16:26:23.31ID:CWvBs0Al
>>721
一番書かないといけないことは、可算和集合の中に高々可算でない集合が存在する場合のことだと思った。
それを補集合が共通部分になることに言及して、初めて証明したと私は言うべきだと感じただけ。
飛躍が生じやすいところをケアするのが、私の一番大事にしていること。
724132人目の素数さん
垢版 |
2026/09/11(金) 16:35:40.93ID:D2tpneaU
>>723
可算集合族から始めて
実際に構成していけば
可算か補可算集合しか出てき様が無いことが分かる
可算集合の可算和は可算
1つでも補可算集合を合併したら補可算
補可算集合の可算積は補可算
1つでも可算集合と積を取ると可算
(あと可算の補集合が補可算その補集合は可算もか)
だからね
725132人目の素数さん
垢版 |
2026/09/11(金) 16:38:30.64ID:nFSAVrP7
>>723
>一番書かないといけないことは、可算和集合の中に高々可算でない集合が存在する場合のことだと思った。
元々書いてるけど

>それを補集合が共通部分になることに言及して、
それは今回書いた

>初めて証明したと私は言うべきだと感じただけ。
そもそも普通人が書く証明って述語論理の推論ステップすべてを書く訳じゃないよね? てことは何かしらのアウトラインでは?
726132人目の素数さん
垢版 |
2026/09/11(金) 16:39:56.58ID:CWvBs0Al
>>725
まあ、理解してれば良いのよ。
727132人目の素数さん
垢版 |
2026/09/11(金) 16:43:37.77ID:D2tpneaU
>>662の最後の部分を最初から使うと自明
A:可算部分集合の全体
A∪CA:可算または補可算部分集合の全体
Π(A∪CA):可算または補可算部分集合族すなわち
Π(A∪CA)⊂A∪CA
A∪CA⊂Π(A∪CA)は自明なので
Π(A∪CA)=A∪CA
Σ(A∪CA):可算または補可算部分集合族すなわち
Σ(A∪CA)⊂A∪CA
A∪CA⊂Σ(A∪CA)は自明なので
Σ(A∪CA)=A∪CA
よって
Σ=A∪CA
は完全加法族
ΣΣ=Σ(A∪CA)=A∪CA=Σ
ΠΣ=Π(A∪CA)=A∪CA=Σ
CΣ=CA∪CCA=CA∪A=Σ
728132人目の素数さん
垢版 |
2026/09/11(金) 16:53:13.53ID:CWvBs0Al
スルーしようかと思ったけど、σ代数と完全加法族の違いって何?
729132人目の素数さん
垢版 |
2026/09/11(金) 16:54:14.80ID:nFSAVrP7
>>724
>その集合自身あるいはその補集合が実数上で高々可算である集合族
が指定されているんだけど、君が構成してるものって何? ↑とはどういう関係にある?
730132人目の素数さん
垢版 |
2026/09/11(金) 16:58:34.08ID:CWvBs0Al
集合環や集合代数が違うのは分かるけど。
2026/09/11(金) 16:59:16.11ID:CWvBs0Al
お兄さん、分かんないw
732132人目の素数さん
垢版 |
2026/09/11(金) 17:25:59.68ID:D2tpneaU
>>729
A={B⊂X:|B|<ℵ0}

CA={cB:B∈A}
から始めて
可算積
Π(A∪CA)={∩{An:n∈N}:An∈A∪CA}
には可算または補可算集合しか登場しない
ΣΠ(A∪CA)={∪{An:n∈N}:An∈Π(A∪CA)}
にも可算または補可算集合しか登場しない
てこと
あとはω1までΣΠの構成を繰り返して完全加法像を構成するってこと
ついでに書くと>>727に書いたのは最初からAを可算部分集合の全体にしておけばω1まで繰り返して証明する必要が無いホボ自明なことだってこと
2026/09/11(金) 17:31:54.98ID:hPHI0EM2
>完全加法族とσ代数の間のこの決定的差異
734132人目の素数さん
垢版 |
2026/09/11(金) 17:38:31.45ID:D2tpneaU
>>728
別名よ
σ集合代数も同じもの
オレの書いたℵ0以下加法族やℵ1未満加法族も同じもの
735132人目の素数さん
垢版 |
2026/09/11(金) 17:39:56.60ID:CWvBs0Al
>>734
だよね。
ルベーグ積分では用語が紛らわしくて困る。
736132人目の素数さん
垢版 |
2026/09/11(金) 17:42:03.08ID:CWvBs0Al
まあ、有限加法族と完全加法族は違うだろうけど。
2026/09/11(金) 18:19:53.14ID:hPHI0EM2
猫は高級な話題で釣っていたけど、捻くれたおっさんは誰にも分かる初級の話題で釣る
2026/09/11(金) 18:21:32.52ID:CWvBs0Al
>>737
だったら猫さんの代わりを貴方がしてくれ。
私はリアルタイムでは猫さんを知らないんだよ。
739132人目の素数さん
垢版 |
2026/09/11(金) 18:22:55.57ID:CWvBs0Al
質問スレを見ると、基礎論には精通していないように見えるが。
740132人目の素数さん
垢版 |
2026/09/11(金) 19:53:10.37ID:D2tpneaU
>>732
A⊂{B⊂X:|B|<ℵ0}
だわ
特に
A={{x}:x∈X}
から始めると
1段階目の
Σ1=ΣΠ(A∪CA)
で全ての可算部分集合と補可算部分集合を含むな
じゃあω1まで繰り返すなんてことは全く不用で
Σ1=Σα for 1≦α
かなーんだ
741132人目の素数さん
垢版 |
2026/09/11(金) 20:03:21.31ID:D2tpneaU
>>693
こっちも
A={B⊂X:|B|<ℵ}
なら
ℵ未満加法性に関して
Σ=Π(A∪CA)=Σ(A∪CA)=A∪CA
だから
Σはℵ未満加法族
A⊂{B⊂X:|B|<ℵ}
から始めたら
Σ1=ΣΠ(A∪CA)
がすべてのℵ未満または補ℵ未満の部分集合を含むから
これがℵ未満加法族
>>678の証明は一般論を使おうとして成立しないものを書いてしまったが
A⊂{B⊂X:|B|<ℵ}
から始めたら
Σ=ΣΠ(A∪CA)
がℵ未満加法族
なーんだ
742132人目の素数さん
垢版 |
2026/09/11(金) 20:40:57.16ID:nFSAVrP7
>>732
>その集合自身あるいはその補集合が実数上で高々可算である集合族
を満たす集合族は無数に存在して、そのいずれもσ加法族であるという命題に対して、
>完全加法像を構成する
によって君が構成したのはあるひとつのσ加法族だよね?それって証明になってないのでは?
俺なんか勘違いしてる?
743132人目の素数さん
垢版 |
2026/09/11(金) 20:43:29.76ID:nFSAVrP7
つまり元の命題は∀・・・の形なのに君が示した命題は∃・・・の形じゃないの?
744132人目の素数さん
垢版 |
2026/09/11(金) 20:51:40.03ID:nFSAVrP7
例えば、R上のσ加法族{{},R}も
>その集合自身あるいはその補集合が実数上で高々可算である集合族
を満たしてるよね?でも君が構成した集合族はこれじゃないんでしょ?
745132人目の素数さん
垢版 |
2026/09/11(金) 20:56:40.46ID:nFSAVrP7
つまり君がやったことは
>その集合自身あるいはその補集合が実数上で高々可算である集合族
であり、かつ、σ加法族である集合族のひとつを構成した
ってことじゃないの? それは元の命題の証明になってないと思うけど違う?
746132人目の素数さん
垢版 |
2026/09/11(金) 21:01:17.96ID:D2tpneaU
>>742-745
>>740
>A⊂{B⊂X:|B|<ℵ0}
>だわ
747132人目の素数さん
垢版 |
2026/09/11(金) 21:03:22.15ID:CWvBs0Al
>>722
関数が∞になるときは、不等式の扱いに気をつけなきゃね☆
748132人目の素数さん
垢版 |
2026/09/11(金) 21:04:09.57ID:CWvBs0Al
忘れずにきちんと場合分けをしないと。
749132人目の素数さん
垢版 |
2026/09/11(金) 21:06:29.06ID:CWvBs0Al
有理数も利用して。
750132人目の素数さん
垢版 |
2026/09/11(金) 21:08:46.65ID:nFSAVrP7
あ、途中で変えたのね。>>732を見て言ってた。
つまり君が構成したものは集合族のシリーズであって、そのシリーズには例えば{{},R}も含まれる
という理解でよい? それなら私の疑問は解消。
751132人目の素数さん
垢版 |
2026/09/11(金) 21:11:27.00ID:D2tpneaU
>>646
>その集合自身あるいはその補集合が実数上で高々可算である集合族は、σ加法族になるかぁ。
最初これ読んだとき
A={B⊂X:|B|<ℵ1}
についての
A∪CA
だと思ったが
A⊂{B⊂X:|B|<ℵ1}
については>>741
だけれど
一回はΣΠが必要なのは
A={{x}:x∈R}
について
A∪CA
は完全加法族じゃないから
A⊂{B⊂X:|B|<ℵ1}

A∪CA
という意味であったら
>その集合自身あるいはその補集合が実数上で高々可算である集合族は、σ加法族になるかぁ。
は正しくないね
752132人目の素数さん
垢版 |
2026/09/11(金) 21:12:29.98ID:D2tpneaU
>>750
A={{}}から始めたら
A∪CA={{},R}
753132人目の素数さん
垢版 |
2026/09/11(金) 21:13:40.92ID:nFSAVrP7
でも
>A⊂{B⊂X:|B|<ℵ0}
の書き方も良くないね。これだとAはあるひとつの部分集合なのか任意の部分集合なのか区別が付かないよ。
754132人目の素数さん
垢版 |
2026/09/11(金) 21:14:37.94ID:CWvBs0Al
755132人目の素数さん
垢版 |
2026/09/11(金) 21:16:15.49ID:D2tpneaU
>その集合自身あるいはその補集合が実数上で高々可算である集合

A,B⊂{C⊂X:|C|<ℵ}

A∪CB
からという意味なら
最初に
(A∪CB)∪C(A∪CB)=(A∪B)∪C(A∪B)
にするすなわち
Aの代わりにA∪Bから始める必要があるな
756132人目の素数さん
垢版 |
2026/09/11(金) 21:16:58.93ID:nFSAVrP7
>>752
それは論点のすり替え
修正後の書き方
>A⊂{B⊂X:|B|<ℵ0}
でもAの正体が分からないってことを言ってるの
自然言語でも論理式でもいいんだけど修飾すべきことが欠落してると言ってる
757132人目の素数さん
垢版 |
2026/09/11(金) 21:26:50.03ID:nFSAVrP7
とくに今回の場合は
∃A⊂{B⊂X:|B|<ℵ0}の意味だと非だし
∀A⊂{B⊂X:|B|<ℵ0}の意味だと是だから主張の是非が変わっちゃう、決して重箱の隅じゃないよ
758132人目の素数さん
垢版 |
2026/09/11(金) 21:39:36.43ID:D2tpneaU
じゃ適当に考えて
(自分は限定子書かないときは大概∀だろうなと思って読むがね)
2026/09/11(金) 22:55:04.86ID:hPHI0EM2
捻くれたおっさんには荒らしの才能があるw
760132人目の素数さん
垢版 |
2026/09/12(土) 04:48:33.22ID:AjFNG/SQ
>>759
「高級」な話題を宜しくねw
761132人目の素数さん
垢版 |
2026/09/12(土) 11:36:44.90ID:SkNA+fiS
>>722
f+gの不等式を、fとgの不等式にそれぞれ分解して考えないといけないのは大変だ。
2026/09/12(土) 14:00:52.40ID:YM7DAEdX
かまって爺さんの名言w
>飛躍が生じやすいところをケアするのが、私の一番大事にしていること

あっ、間違えた
763132人目の素数さん
垢版 |
2026/09/12(土) 14:36:42.19ID:ksd3jlIR
どこが証明のポイントなのかを考えるのは大切なことだと思うけどね。
764132人目の素数さん
垢版 |
2026/09/12(土) 17:50:32.02ID:jHt+xChl
ですね
レス乞食はもう少し数学を学ぶべきでしょう
765132人目の素数さん
垢版 |
2026/09/12(土) 17:56:45.97ID:pMZ56zyT
>>764
だったら、ルベーグの良い話題でも提供してくれ。
766132人目の素数さん
垢版 |
2026/09/12(土) 17:59:21.35ID:pMZ56zyT
>>764
>>722とか簡単に分かんの?
767132人目の素数さん
垢版 |
2026/09/12(土) 18:01:57.70ID:jHt+xChl
>>766
典型的な定義のための定義
気になる人が証明付けたら良いだけ
768132人目の素数さん
垢版 |
2026/09/12(土) 18:04:46.09ID:jHt+xChl
ルベーグ積分はね
上手く定義ができた
というだけで十分
あとの細かな話は
知っておくべきこともありの
別にどうでもいいこともアリの
769132人目の素数さん
垢版 |
2026/09/12(土) 18:07:27.82ID:pMZ56zyT
上から目線で言っといて、証明を回避するのは都合が良いなw
770132人目の素数さん
垢版 |
2026/09/12(土) 18:17:18.69ID:jHt+xChl
>>769
付けたい人が付けたら良いだけ
771132人目の素数さん
垢版 |
2026/09/12(土) 18:23:19.92ID:pMZ56zyT
大口叩いてそれかw
772132人目の素数さん
垢版 |
2026/09/12(土) 18:27:32.70ID:jHt+xChl
>>771
大口とは?
773132人目の素数さん
垢版 |
2026/09/12(土) 18:28:28.35ID:pMZ56zyT
>>764
774132人目の素数さん
垢版 |
2026/09/12(土) 18:30:03.28ID:pMZ56zyT
私は煽りではなく、数学の有益な内容を期待している。
ここではとりあえず、ルベーグ積分の内容を欲している。
775132人目の素数さん
垢版 |
2026/09/12(土) 19:32:31.60ID:jHt+xChl
>>773
レス乞食はもっと数学を学ぶべきですよね
776132人目の素数さん
垢版 |
2026/09/12(土) 19:33:00.65ID:jHt+xChl
>>774
勝手に期待してれば?
2026/09/12(土) 19:57:47.31ID:pMZ56zyT
爺さんなんだろう。
だったら若い人にもう少し期待したらどうだろう。
爺さんにもなって素人イビリとは趣味が悪いw
778132人目の素数さん
垢版 |
2026/09/12(土) 20:12:57.64ID:jHt+xChl
>>777
オレのことを言ってる?
39歳なのに
2026/09/12(土) 20:13:39.51ID:pMZ56zyT
マジか、2歳しか違わない…。
2026/09/12(土) 20:19:10.85ID:pMZ56zyT
まあ、センター模試で750/900点くらい取れても、進学校に通えないような人間がいたりすんだから、あまり恵まれた条件を前提にされても困るんだよ。
お金があれば小さい頃にさっさと高校数学まで済ませて、そこからじっくり大学数学をやるはずやったんやから。
2026/09/12(土) 20:20:41.45ID:pMZ56zyT
これを信じない人もいるんやから、どうしようもないw
782132人目の素数さん
垢版 |
2026/09/12(土) 20:38:30.40ID:jHt+xChl
>>780
嘘吐きだね
誰も検証のできない嘘
2026/09/12(土) 20:41:25.44ID:pMZ56zyT
ここが実家ならいくらでも模試の結果を探してやるのにw
784132人目の素数さん
垢版 |
2026/09/12(土) 20:51:50.37ID:jHt+xChl
>>783
実家で探して証拠を示せ
検証可能な形でな
785132人目の素数さん
垢版 |
2026/09/12(土) 21:01:32.78ID:pMZ56zyT
>>784
実家には簡単に帰れんよ。
大体、相続放棄しているところに安易に行って良いのかも知らんしw
786132人目の素数さん
垢版 |
2026/09/12(土) 21:02:23.13ID:pMZ56zyT
田んぼも何もかも放置しているw
787132人目の素数さん
垢版 |
2026/09/12(土) 21:23:17.76ID:jHt+xChl
自分語り下らん
実家で探して検証可能な形で示せないなら嘘
2026/09/12(土) 21:30:50.88ID:pMZ56zyT
喋ってる感じで知性って分からんもんかねぇ。
まあ、信じないならそれで良いけど。
青焼きや交代群の話の指摘から、私が嘘を言うような人間でないことは大体分かると思いからね。
私はハッタリで誤魔化す人間ではないよ。
2026/09/12(土) 21:31:32.35ID:pMZ56zyT
思いからね→思うからね
790132人目の素数さん
垢版 |
2026/09/12(土) 21:36:10.66ID:pMZ56zyT
ルベーグ積分の背景とかは分かってきたから、難しい本も図書館で借りてこよう。
ミジンコの人と揉めた、伊藤先生の本も見てみよう。
(明日は休館日であるが。)
791132人目の素数さん
垢版 |
2026/09/12(土) 21:37:21.66ID:pMZ56zyT
吉田先生のも評判が良かったから、中身を確かめてみよう。
2026/09/12(土) 22:58:29.90ID:YM7DAEdX
15 名前:132人目の素数さん[] 投稿日:2026/07/18(土) 20:16:59.39 ID:5O4CPqZd
>>13
やっぱりなw
どこが良かったの?
自分なりの感想を教えてほしい。
793132人目の素数さん
垢版 |
2026/09/12(土) 23:07:15.66ID:pMZ56zyT
受け売りを言ってもしょうがないからね。
自分の言葉で説明しない人を私は信用しないから。
794132人目の素数さん
垢版 |
2026/09/13(日) 03:08:11.07ID:yneZyhLu
>>793
勝手に信用しなければ良いだけでは?
795132人目の素数さん
垢版 |
2026/09/13(日) 03:09:15.62ID:yneZyhLu
>>788
という嘘
2026/09/13(日) 12:12:54.53ID:alpbRppT
図書館通うことが出来て、一ヶ月程度の時間かけてもまだルベーグ積分勉強してるなら、知性が足りないと言われてもしょうがないと思いますね
2026/09/13(日) 12:29:48.19ID:eCyo97T8
捻くれたおっさんは数学科の修士卒です
2026/09/13(日) 14:08:15.09ID:VLh2/Shu
さて、変な野次馬は放っておきますかw
ルベーグの話をしないで煽ってくる人は、無視しておきましょう。
夕方までは身支度をして、夜はお兄さん頑張るよ。
799132人目の素数さん
垢版 |
2026/09/13(日) 18:00:31.51ID:yneZyhLu
フビニの定理は無制限に使えない
2026/09/13(日) 18:33:47.42ID:eCyo97T8
びびっって自分語りをやめたルサンチマンおっさん
2026/09/13(日) 18:37:29.41ID:smYDLWmL
>>800
コッチも忙しいんだよ。
日曜だったら暇な訳じゃあない。
貴方はミジンコの人か?
煽りは良いからルベーグの内容を書かないと、ただのスレチ荒らしと化してしまうよw
2026/09/13(日) 18:39:48.46ID:smYDLWmL
>>800
完全加法族とσ代数が同じことくらいは、定義を調べれば分かる。
もう少し突っ込んだ話をしてくんないとね。
>>722とか楽勝なのか?
803132人目の素数さん
垢版 |
2026/09/13(日) 18:48:09.24ID:smYDLWmL
ルサンチマンだか北大路魯山人だか知らんけどもw
2026/09/13(日) 19:04:02.41ID:eCyo97T8
>>802
伊藤清三に書いてあるよ、面積確定は意味不明だけどw
2026/09/13(日) 19:09:20.12ID:alpbRppT
可測関数の和が可測とか、たいていの本で書いてあるだろ

761のように面倒ではある
806132人目の素数さん
垢版 |
2026/09/13(日) 19:17:14.82ID:smYDLWmL
>>804
積分確定の間違いだったわ。
∞−∞にならないようにするやつのこと。
2026/09/13(日) 19:47:44.13ID:wjdtihxY
suffix の集合をすべての i について共通にとりなおしたとして分配則をつかってΣと∩交換しようとすると
Σ[i∈I]∩[j∈J] A[ij]
=
∩[f:J→I] Σ[i∈I] A[i f(i)]
にしかならん、逆もしかり
それが測度の制限がはいるとなにが困るのかわからん
あったまわるいねぇ
無能
808132人目の素数さん
垢版 |
2026/09/13(日) 19:50:55.57ID:yneZyhLu
>>807
可算の儘で交換できないからだよ
2026/09/13(日) 19:52:33.40ID:smYDLWmL
ままよ
810132人目の素数さん
垢版 |
2026/09/13(日) 19:53:28.42ID:yneZyhLu
Σ(ℵ0)Π(ℵ0)=Π(ℵ1)Σ(ℵ0)
逆も同様
2026/09/13(日) 19:58:18.29ID:wjdtihxY
まぁから A_0 = A からはじめて A_{k+1} = ∑∩ A_k として ∪_k A_k とかするしかない。
いっぱんにはどこからか先で増大が停止などしてくれないんやろ。
証明はみたことないけど実際むりなんやろな。
あったらさすがになんかに書いてるやろ。
みたことないし。
一回目でいきなりとまるとかw
あほかww
2026/09/13(日) 20:12:57.44ID:eCyo97T8
16 名前:132人目の素数さん[] 投稿日:2026/07/18(土) 20:18:00.46 ID:5O4CPqZd
勉強したという証拠を見せてほしいんだ。
2026/09/13(日) 20:17:59.90ID:smYDLWmL
>>812
あいも変わらず、過去の私の発言をコピペするというw
ただいま測度空間の必要十分条件の問題を考え中。
814132人目の素数さん
垢版 |
2026/09/13(日) 20:19:18.88ID:smYDLWmL
数学ゼロ・煽り100の書き込みをするくらいなら、数学板に居る意味はないよw
2026/09/13(日) 20:23:12.90ID:eCyo97T8
>俺はセンター模試で750点とか取ったことがあるが、家庭が貧乏すぎて進学校にすら通えなかった。
>この苦悩が分かるかい?
>このコンプレックスを昇華するためにこの板にいる。
816132人目の素数さん
垢版 |
2026/09/13(日) 20:35:42.17ID:smYDLWmL
>>815
他人の発言をコピペして楽しいすか?
おにぃはコツコツと勉強をしているというのに。
817132人目の素数さん
垢版 |
2026/09/13(日) 21:21:34.02ID:yneZyhLu
>>811
>一回目でいきなりとまるとかw
A={{x}::x∈R}
から始めたら
Σ=ΣΠ(A∪CA)
が求める完全加法族
818132人目の素数さん
垢版 |
2026/09/13(日) 21:22:18.76ID:yneZyhLu
>>816
勝手にコツコツ勉強してろよ
2026/09/13(日) 21:32:17.59ID:smYDLWmL
小さなことからコツコツと
2026/09/13(日) 21:38:53.48ID:eCyo97T8
レス乞食のプロフィール
家庭に恵まれず、中高一貫校を出て、共通一次で750点取って、理科教師やって数学科に入って、兄弟に自死されて、御大を尊敬
2026/09/13(日) 21:42:41.14ID:smYDLWmL
要らんことインプットしなくて良いから、ルベーグの楽しそうな話をプリーズ。
2026/09/14(月) 00:23:29.09ID:xH7bXfMn
ここまでいわれてわからんかw
アホ乙wwww
823132人目の素数さん
垢版 |
2026/09/14(月) 00:32:28.09ID:Z+TYtJmM
>>822
>>722の証明に有理数が出て来たけど何でなの?
2026/09/14(月) 00:36:50.62ID:xH7bXfMn
なんで俺にきくん?
2026/09/14(月) 00:39:10.68ID:xH7bXfMn
そもそも f,g が可測なら f+g が可積分であろうがなかろうが f+g は可測やし
826132人目の素数さん
垢版 |
2026/09/14(月) 00:39:48.77ID:Z+TYtJmM
>>822
貴方は>>811か。
2026/09/14(月) 00:40:53.55ID:xH7bXfMn
そう。
828132人目の素数さん
垢版 |
2026/09/14(月) 00:52:01.67ID:Z+TYtJmM
可測関数は非負のものと、一般のものがあるみたいだね。
2026/09/14(月) 00:56:18.77ID:xH7bXfMn
やね。
830132人目の素数さん
垢版 |
2026/09/14(月) 00:56:59.56ID:Z+TYtJmM
>>804
この人も積分確定なしの証明を見ているのかな。
2026/09/14(月) 00:59:14.34ID:xH7bXfMn
そじゃね?>>722みたらだれでもそう思うわな
832132人目の素数さん
垢版 |
2026/09/14(月) 01:00:13.85ID:Z+TYtJmM
>>829
一般のやつには積分確定の条件がいるんじゃないの?
わざわざ不要なことは書かないでしょ、おそらく。
貴方が見たやつは、多分非負のやつなんじゃない?
∞−∞が出ると、>>761の作業で問題が出るんだと思うよ。
833132人目の素数さん
垢版 |
2026/09/14(月) 01:01:35.00ID:Z+TYtJmM
伊藤清三先生の本は非負可測関数の証明かも。
2026/09/14(月) 01:06:44.55ID:xH7bXfMn
いらんよ
俺も教科書は伊藤清三やった。もう手元にないけどな。
まぁまちがってると思うなら反例さがしてみたら?
835132人目の素数さん
垢版 |
2026/09/14(月) 01:09:39.77ID:Z+TYtJmM
>>834
とりあえず、伊藤先生のは目次から推測できそうか見る。
色々な資料を比較してみるわ。
836132人目の素数さん
垢版 |
2026/09/14(月) 01:13:53.70ID:Z+TYtJmM
こうやって書いておけば、誰か調べるかもしれない。
2026/09/14(月) 01:21:04.83ID:xH7bXfMn
有理数 r に対して
{x | f(x) + g(x) > r } = ∪_{a,b∈Q, a+b>r }{ x | f(x)>a, g(x)>b }
など
2026/09/14(月) 01:25:07.40ID:xH7bXfMn
r が有理数いらんなw まちがいじゃないがいらん一手増えるわ
839132人目の素数さん
垢版 |
2026/09/14(月) 01:27:17.46ID:Z+TYtJmM
積分確定の条件がない資料は、値域が有界ぽかった。
840132人目の素数さん
垢版 |
2026/09/14(月) 01:29:37.64ID:Z+TYtJmM
私の本にはRの上にバーがあるから、値域が±∞になるやつ。
2026/09/14(月) 01:35:22.65ID:xH7bXfMn
いらんて
いるなら反例あげてみたらいい
842132人目の素数さん
垢版 |
2026/09/14(月) 01:36:27.94ID:Z+TYtJmM
f+g>α
f>α−g
f>r>α−g
のように有理数は稠密性を利用して、隙間に入れると思う。
843132人目の素数さん
垢版 |
2026/09/14(月) 01:37:51.67ID:Z+TYtJmM
まあこれだけ書いたら、誰かが茶々入れてくれるだろうから、待っておけば良いよ。
明日になれば多分何か分かるよ、きっと。
2026/09/14(月) 01:44:24.51ID:xH7bXfMn
もちろん入れる。そして入れることに f+g の可積分性など一ミリも必要ない。あとで r を走らせる部分でも f+g の有界性も可積分性も必要ない。
初学者向きの教科書なら必要のない仮定をいれて証明の手間へらすときがないこともないだろうけど f+g が有界とか可積分とかの仮定いれて減らせる手間なんかなさそうだけどな
まぁええか
845132人目の素数さん
垢版 |
2026/09/14(月) 01:48:22.56ID:Z+TYtJmM
他に詳しい人がいるかもしれないから、ゆっくり待っておこう。
2026/09/14(月) 09:09:05.41ID:XkQkR0UA
ダボハゼ爺さんが食いつくよ
2026/09/14(月) 09:25:37.16ID:Xh5n4zWg
数学の内容を語ってくれるのなら、お兄さんは誰でも歓迎するよ!
2026/09/14(月) 09:27:43.33ID:Xh5n4zWg
おにぃは寄せ餌を撒いて待つw
849132人目の素数さん
垢版 |
2026/09/14(月) 10:10:07.49ID:Xh5n4zWg
実数の集合で、可算でないすべての閉集合と交わるが、可算でない閉集合をひとつも含まない集合は非可測らしい。
850132人目の素数さん
垢版 |
2026/09/14(月) 10:27:06.64ID:Xh5n4zWg
まあ、これがベルンシュタイン集合らしいですけどね。
2026/09/14(月) 10:42:39.24ID:XkQkR0UA
ダボハゼ爺さんも無駄な知識を習得して自慢してる
2026/09/14(月) 10:52:06.32ID:Xh5n4zWg
政治ばっかり語ってないで、少しは数学したら?w
853132人目の素数さん
垢版 |
2026/09/14(月) 11:19:56.74ID:Xh5n4zWg
しかし、具体的にどうやってベルンシュタイン集合を作るのか謎だ。
英語で調べるしかないかな…。
2026/09/14(月) 11:30:05.75ID:XkQkR0UA
御大はガチ左翼だけどお前はパヨクか?
2026/09/14(月) 11:34:28.13ID:Xh5n4zWg
私は自民党以外には政権を任せられないと思っている。
まあ、激浅の一意見だから気にしないでくれ。
私は基本的に政治を語る趣味はないから。
856132人目の素数さん
垢版 |
2026/09/14(月) 11:40:22.66ID:6JNQZLMn
オレが書かないとドンドン百済無くなるスレです
857132人目の素数さん
垢版 |
2026/09/14(月) 11:43:27.43ID:Xh5n4zWg
>>856
だったら、>>844やベルンシュタイン集合の構成法でも教えてくんないか?w
858132人目の素数さん
垢版 |
2026/09/14(月) 11:46:35.48ID:6JNQZLMn
>>857
人に頼るな
2026/09/14(月) 11:47:41.72ID:Xh5n4zWg
煽っておいて大事なことはしないというw
2026/09/14(月) 15:42:53.28ID:XkQkR0UA
おにいさんといっしょ(BL漫画)大枡はざめによるボーイズラブ漫画作品です。
歌のお兄さんと体操のお兄さんの代役を務める青年を描いた作品。
861132人目の素数さん
垢版 |
2026/09/14(月) 17:02:35.67ID:X5X5zrwB
反抗挑発症は、周囲の利害関係にある他者からの冷ややかで評論家的な、そして一貫しない態度に振り回された人がしばしば陥る。
とくに親や教師からの影響が大きい。
他の要因としては、社会の捉え方が(ネガティブで敵対的な方に)偏っているとか、コミュニケーションに難があるとか、生まれ持った障害の二次災害として排除を受けてきたとか。
862132人目の素数さん
垢版 |
2026/09/14(月) 17:04:14.73ID:X5X5zrwB
子供の場合は暖かい環境に身を置くとよく、大人の場合は適応に向けてアップデートを重ねるのが有効
2026/09/14(月) 17:06:45.96ID:X5X5zrwB
ちなみにエスカレートしていくので早めに対応しないと戻れなくなる
864132人目の素数さん
垢版 |
2026/09/14(月) 17:07:07.53ID:X5X5zrwB
治りが悪くなる。場合によっては死ぬまで治らない。
2026/09/14(月) 18:01:30.33ID:Yt6Klm25
雪兎さんと桃矢お兄さん
さて、数学をやりますか。
866132人目の素数さん
垢版 |
2026/09/14(月) 18:05:50.63ID:X5X5zrwB
測度は超関数の一種。
867132人目の素数さん
垢版 |
2026/09/14(月) 18:15:12.88ID:X5X5zrwB
ところでディンキン族、単調族定理は使ってるのか?
便利なのだが
868132人目の素数さん
垢版 |
2026/09/14(月) 18:33:38.14ID:Yt6Klm25
ディンキン族は乗法族と合わせれば、πλ定理ってのが使えるらしいね。
まだ、そんな話なんて1ミリもしていないけどw
869132人目の素数さん
垢版 |
2026/09/14(月) 18:36:15.11ID:Yt6Klm25
単調族定理は有限加法族に関することらしいが、私はまだまだ基本的な勉強をする。
870132人目の素数さん
垢版 |
2026/09/14(月) 18:38:38.50ID:X5X5zrwB
>>862
大人に対するそれをもう少し詳しくいうと、
今やってる行動と同じ目的を、より疲れることなく、より社会的に妥当なやり方で満たす方法を考えて、実践していく。
変えるのは行動に限る必要はなく、環境や考え方、知識、習慣など何でも変えてよい。
871132人目の素数さん
垢版 |
2026/09/14(月) 18:41:01.58ID:Yt6Klm25
とりあえず、>>844を解決してもらえると有難いんやけどね。
ベルンシュタイン集合は敷居が高そうだから、別に良いけど。
今ある問題を片付けながら進まないと…。
872132人目の素数さん
垢版 |
2026/09/14(月) 18:41:50.06ID:X5X5zrwB
これを効率的に回すには、体験主義や具体主義が重要。
それらが欠けると不安に閉じ込められたり、思考が飽和したり、誤った確信に辿り着いたりしてしまう。
2026/09/14(月) 18:43:36.96ID:Yt6Klm25
スレももうすぐ900か。
新しいスレタイを考えないとな。
「おにぃのルベーグ積分勉強スレ」とかにでもするかw
2026/09/14(月) 18:44:20.83ID:Yt6Klm25
スレタイを募集しても良い。
875132人目の素数さん
垢版 |
2026/09/14(月) 18:47:15.04ID:X5X5zrwB
普通にルベーグ積分勉強スレじゃダメか?
876132人目の素数さん
垢版 |
2026/09/14(月) 18:48:58.32ID:X5X5zrwB
お兄お兄と挑発を繰り返してると、それこそ反抗挑発症になるのではないかね
2026/09/14(月) 19:09:56.98ID:Yt6Klm25
数学以外の話は特にどうでも良い。
なんかルベーグについて知っていることがあったら書いてくれ。
あまりにも上辺だけ掬ったようなことよりも、ある程度理解している内容を求む。
2026/09/14(月) 19:14:11.34ID:XkQkR0UA
上辺を括ったような話、お前確率論をやってた人に対して失礼だろw
2026/09/14(月) 19:14:43.94ID:XkQkR0UA

>単調族定理は有限加法族に関することらしい
880132人目の素数さん
垢版 |
2026/09/14(月) 19:18:40.31ID:X5X5zrwB
単調族定理とかディンキン族定理は、完全加法族であることを直接証明しづらいときに使う
確率論で頻出
881132人目の素数さん
垢版 |
2026/09/14(月) 19:20:42.27ID:X5X5zrwB
ちなみに測度論で出るとしたら最初の方でやるよ
そうすると後々の議論が楽になるから
つまり(何読んでるか知らないけど)その本には出ないようだ
2026/09/14(月) 19:21:02.97ID:Yt6Klm25
>>878
いやいや、無数目メンバーにはマウントに関することと繰り返すのをやめてほしいだけ。
2026/09/14(月) 19:24:20.89ID:Yt6Klm25
>>880
こういう風に書けば、表面上ではないのかと疑うこともない。
ミジンコの人とかは、上辺だけ掬ったような話しかしないからねw
そして、今ある>>844の問題とかの流れを汲んでもらえると助かる。
倫理的な話はし尽くしたから、今更言ってもしょうがないからね。
884132人目の素数さん
垢版 |
2026/09/14(月) 19:24:41.37ID:X5X5zrwB
>>844がなんの話かは知らないけど
とりあえず符号が変わる関数のルベーグ積分の定義を言うと、
可測関数をmax{f(x),o}とmin{f(x),0}に分けて(どちらも可測)、少なくとも片方のルベーグ積分が有限のとき、二つのルベーグ積分を足し合わせたものをfのルベーグ積分というよ
2026/09/14(月) 19:28:07.29ID:Yt6Klm25
>>884
>>844はf+gの可測性の証明に、積分確定の条件があるものとないものが存在するという話だよ。
そこの違いは何なのかが分かると有難い。
2026/09/14(月) 19:31:45.57ID:XkQkR0UA
オウム返しのおっさんとルベーグ積分勉強しようよw
887132人目の素数さん
垢版 |
2026/09/14(月) 19:32:02.68ID:X5X5zrwB
>>883
つまり、「上辺だけ掬ったような」というのは、相手を威圧したくて言ったんだね?
2026/09/14(月) 19:34:06.39ID:Yt6Klm25
>>886
こんなスレタイがあってたまるかw
俺のオリジナルな発言も普通にあるだろ、全くプンプン。
2026/09/14(月) 19:35:50.89ID:Yt6Klm25
>>87
ミジンコ中身ゼロ発言には困っているのだよ。
それよりも数学の話が大事なんだよ。
いちいち倫理の話をしていても脱線するだくだよ、この板はw
2026/09/14(月) 19:36:13.83ID:Yt6Klm25
>>887
2026/09/14(月) 19:37:15.93ID:Yt6Klm25
だくだよ→だけだよ
892132人目の素数さん
垢版 |
2026/09/14(月) 19:43:04.45ID:Yt6Klm25
図書館へ行ったら、伊藤先生の本のf+gの可測性の証明を読もう。
893132人目の素数さん
垢版 |
2026/09/14(月) 19:44:12.89ID:X5X5zrwB
>>889
ある困った人に対して身につけた態度が
それ以外の人にも反射的に出るのはリスキーだと思うよ
894132人目の素数さん
垢版 |
2026/09/14(月) 19:44:47.43ID:X5X5zrwB
あとf+gの可測性に積分可能性は全く関係ないよ
2026/09/14(月) 19:49:10.22ID:Yt6Klm25
>>893
ディンキンや単調族から怪しいと感じたんだよ。
適当にルベーグ積分を調べて、あんま知らなさそうな定理でも貼っておくかという感じなのかと思っただけ。
しかし、貴方の発言で数学の内容が出て来たのをあまり覚えていないから、例えばこのスレでなんか残してくれると助かる。
この板で言動の批判をしても、全く響かないから時間の無駄だよw
896132人目の素数さん
垢版 |
2026/09/14(月) 19:50:17.00ID:Yt6Klm25
>>894
そうなのか。
まあ、明日図書館に行けそうだから行くわ。
2026/09/14(月) 19:53:50.31ID:X5X5zrwB
>>895
IDは毎日変わるよ
2026/09/14(月) 19:59:29.46ID:Yt6Klm25
>>897
知らないところで、何か数学のことを言っていたのかもしれないね。
まあ、どうでも良いようなマウントが起こるのは、この板に人材が足りていないのが一番の原因なのかもしれない。
政治のことを話す人の割合が結構多いしw
5chの過疎に歯止めをかけるため、お兄さんは頑張るわ。
899132人目の素数さん
垢版 |
2026/09/14(月) 20:05:45.38ID:X5X5zrwB
別に正当化しろって言ってないよ
2026/09/14(月) 20:09:09.11ID:X5X5zrwB
そもそも反抗挑発症のことは一般的に煽るという行為に関する話をしただけだもの
901132人目の素数さん
垢版 |
2026/09/14(月) 20:16:24.22ID:Yt6Klm25
私は精神は健全なつもりなのでw
ベルンシュタイン集合は、実数上で非可算の閉部分集合である2^ωをいじくって出来るのかもしれない。
アマチュアの人が書いてそうだから、よく分からん。
2026/09/14(月) 20:21:42.86ID:XkQkR0UA
>>898
頑張れミジンコ荒らし
2026/09/14(月) 20:30:12.03ID:Yt6Klm25
>>879
こんなこと書くのなら、細かく書きゃ良いのにw
904132人目の素数さん
垢版 |
2026/09/14(月) 20:34:17.57ID:X5X5zrwB
言葉を見るときは、論理と動機に分けて考えると整理しやすい
2026/09/14(月) 20:43:06.81ID:XkQkR0UA
大学院は好きに選んだのか
>俺は大学を自由に選べなかったからねぇ。
>色々あんのよ。
2026/09/14(月) 20:44:50.21ID:XkQkR0UA
目的がないのにゴールが分からないw
ルベーグ測度を知ってる俺ってかっこいいw
907132人目の素数さん
垢版 |
2026/09/14(月) 20:46:40.74ID:X5X5zrwB
と、こんなふうに挑発を行うのには、
色々な背景が考えられる
2026/09/14(月) 20:48:59.89ID:Yt6Klm25
>>905
俺はとにかくお金を掛けない方向でいったから、自分の偏差値と大学の偏差値は合っていないと思うよ。
センター本番では700/900点だったが、そんな点数の人が行くような大学ではないと思う。
だが、国立大なら個人の努力で如何ようにも大学生活を充実できるとは思う。
親が何もしてくんないから、とにかく不安だったってこと。
2026/09/14(月) 20:50:55.75ID:Yt6Klm25
>>907
ミジンコの人の背景とか考えたくないw
顕微鏡で見れば良いのかい?
2026/09/14(月) 21:10:45.80ID:X5X5zrwB
だからよくある背景を上に書いといたよ
911132人目の素数さん
垢版 |
2026/09/15(火) 00:39:03.82ID:6V4qerep
トコトン下らんスレに成り下がる
2026/09/15(火) 03:36:03.73ID:riC9HV58
ちゃうちゃう、IUT自体はどうでも良くて、自分が理解していないことを批判するのは、数学の精神に相反する行為なのではないかということ。
まともな数学徒なら、そんなことはしないと思うけど。
2026/09/15(火) 03:36:32.87ID:riC9HV58
数学を自分の限界まで勉強する、それだけ。
死ぬまで続けられたら格好良くない?
2026/09/15(火) 03:37:06.08ID:riC9HV58
研究者じゃないんだからw
趣味でやる数学の良いところ。
2026/09/15(火) 04:39:09.46ID:YwU7xJbP
ランダムウォークを独り言でやっていてもねぇw
916132人目の素数さん
垢版 |
2026/09/15(火) 07:33:22.64ID:6V4qerep
(自分というものの無いレス乞食も居る)
2026/09/15(火) 08:21:25.69ID:riC9HV58
「ランダムウォーク」のツッコミどころ
ランダムウォークは遷移確率次第でいろんな解を持つ。つまり質問乞食爺さんは無駄な計算を延々とつけたわけだ。
無知は罪w
918132人目の素数さん
垢版 |
2026/09/15(火) 10:26:31.52ID:bWiHigPX
地頭の悪い者の考えることは分からん。
919132人目の素数さん
垢版 |
2026/09/15(火) 10:29:31.75ID:bWiHigPX
遷移確率がどうであろうが、グラフ上のランダムウォークの場合
グラフの構造というのは絶対的に効いてくるわけで、彼が調べていたのは
それだったのでは。
920132人目の素数さん
垢版 |
2026/09/15(火) 10:56:53.62ID:6V4qerep
(レス乞食はもうちょっと数学を勉強しないと)
2026/09/15(火) 11:22:03.36ID:7DpHlO/P
独り言でやっていたら、ある意味検証不能と言えるのかもしれない。
私に嘘吐きというのなら、他の人も出来るだけ巻き込んでやってほしいところ。
2026/09/15(火) 11:23:29.17ID:7DpHlO/P
まあ、ランダムウォークを分かる人が、この板では少ないのなら話しようがないのかもしれない。
923132人目の素数さん
垢版 |
2026/09/15(火) 11:41:30.86ID:6V4qerep
>>921
勝手に期待してろよ
お前は数学をヤレ数学を
924132人目の素数さん
垢版 |
2026/09/15(火) 11:42:36.88ID:6V4qerep
>>922
>ランダムウォークを分かる人
というか
数え上げなんだから
高尚な理論は不用な様な
アイデア歓迎
2026/09/15(火) 11:49:32.40ID:riC9HV58
ランダムウォークでがなくグラフ上の場合の数を数えただけw
2026/09/15(火) 11:55:07.48ID:riC9HV58
グラフ理論w
927132人目の素数さん
垢版 |
2026/09/15(火) 14:45:44.74ID:bWiHigPX
>高尚な理論

当然だが、ある程度高尚な理論はありますよ。
グラフ上の解析学なんだから。フーリエ解析とか球函数が
構成できて、スペクトルが関係してくるとかね。
遷移確率とはまた別の話。
928132人目の素数さん
垢版 |
2026/09/15(火) 14:52:30.01ID:bWiHigPX
自由群のケーリーグラフ上なら、この本が定番らしい。
Harmonic Analysis on Free Groups
By Alessandro Figa-Talamanca
Copyright 1983
929132人目の素数さん
垢版 |
2026/09/15(火) 14:57:13.45ID:bWiHigPX
Q.
グラフ上のランダムウォークを考えたとき、ラマヌジャングラフはどう特徴付けられる?

A.
ラマヌジャングラフ(Ramanujan graph)は、グラフ上のランダムウォークの観点から見ると
「究極のミキシング(混ざりやすさ)を持つ最強のグラフ」として特徴づけられます。

1. スペクトルギャップの最大化(最速のミキシング)
ランダムウォークがどれくらい速く均等(一様分布)に広がるかは、グラフの遷移確率行列
(または隣接行列)の固有値のギャップ(スペクトルギャップ)に大きく依存します。

k-正則グラフ(すべてのノードから k 本の枝が出ているグラフ)において、最大の固有値と、
2番目に大きい固有値の絶対値の差が大きいほど、ランダムウォークは素早く拡散します。

ラマヌジャングラフは、数学的な限界(Alon-Boppanaの限界)のギリギリまで2番目の
固有値を小さく抑え込んだグラフです。

その結果、「どんな場所から出発しても、わずか数ステップ(ノード数の対数オーダー)
でグラフ全体に一様に拡散する」という、理想的なランダムウォークの挙動を示します。
930132人目の素数さん
垢版 |
2026/09/15(火) 14:58:11.95ID:bWiHigPX
2. 無限の木(ツリー)に近い局所構造
先ほど話題に出た F_2のケーリーグラフ(無限の木構造)とも深い関係があります。

ラマヌジャングラフは有限のグラフでありながら、局所的には無駄な短いループ
(三角形や四角形など)が極限まで排除され、まるで無限の木構造のように均一に広がっています。

これにより、偏りが生じにくく、効率的な情報伝達が可能になります。

3. なぜこの性質が重要なのか?
ネットワーク設計: データセンターのサーバー間網や通信トポロジーにおいて、
一部が故障しても全体の通信が滞らない「堅牢性」と「低遅延」を両立できます。

情報科学・暗号: 偏りのない「良質なランダム性」をグラフ構造だけで実現できるため、
誤り訂正符号やアルゴリズムの分野で重宝されています。

ラマヌジャングラフは、まさに「最も効率よくさまよえる究極の舞台」と言えますね。

このスペクトルギャップが、ランダムウォークの収束スピードにどう直結するのか、さらに詳しく見てみますか?
2026/09/15(火) 17:16:02.31ID:riC9HV58
御大が「マウント」しないのは別世界にいるから。つまりお前は相手にされていないだけ
932132人目の素数さん
垢版 |
2026/09/15(火) 17:21:54.51ID:o3UXIvbk
>>931
じゃあ貴方がその世界へ行って、マウントされてきて下さいw
そんなこと言うのなら出来るんだよね?
責任を持ってマウントされてきて下さいw
2026/09/15(火) 17:24:34.42ID:o3UXIvbk
いやぁ、どんなマウントを取られるのか見物だわぁw
2026/09/15(火) 17:26:02.17ID:o3UXIvbk
おっ、そろそろスレ立ての頃合いだ。
どうしよっかな~w
2026/09/15(火) 17:28:27.86ID:riC9HV58
オウム返しw
2026/09/15(火) 17:32:32.90ID:riC9HV58
>>908
金が無いのに私立へ行ったのか?
2026/09/15(火) 17:35:56.55ID:riC9HV58
国立なら北大、東北大、名大、九州大と好きなことに行けんだろ
2026/09/15(火) 17:40:35.61ID:o3UXIvbk
>>936
俺は国立。
ただ、北大とか九大は場所が気になるだろ。
本州じゃないからな。
2026/09/15(火) 17:41:11.94ID:o3UXIvbk
引っ越しの金もばかにならないからな。
2026/09/15(火) 17:43:46.58ID:riC9HV58
引っ越しなんかどうにでもなるだろ、荷物なんかないんだし
2026/09/15(火) 17:48:23.41ID:o3UXIvbk
親なしの生活を甘く見すぎだね。
18歳から親の援助なしの暮らしをよくよく想像してみるが良い。
まあ、マウント取りに想像力を期待してもしょうがないかw
2026/09/15(火) 17:50:58.03ID:o3UXIvbk
私は高卒公務員を1年半やって、貯金を130万くらい作った。
それと親父の生命保険金でようやくなんとかなったのだよ。
943132人目の素数さん
垢版 |
2026/09/15(火) 17:59:25.08ID:yaLGLLpB
>>927
それはまた別の話?
俺がやりたいのは数え上げ
2026/09/15(火) 18:35:35.50ID:riC9HV58
>>942
保険金があれば大卒出ていい会社につとめればよかったじゃん、アホか
2026/09/15(火) 18:53:59.43ID:v963f4e1
>>908
本当にそれぐらいの学力があるなら
防衛大を卒業できる根性がないことを呪うべき
2026/09/15(火) 19:53:31.82ID:Y40WBNBy
>>945
俺に防衛大なんか行ける訳ないだろw
まともな飯食わせてもらってないのに。
2026/09/15(火) 19:54:46.83ID:Y40WBNBy
まあ、なんとでも言えば良い。
批判しかできない残念な人達乙w
2026/09/15(火) 19:55:22.53ID:Y40WBNBy
世の中まともな親ばっかりじゃあないからな。
2026/09/15(火) 19:59:39.96ID:Y40WBNBy
>>944
ちなみに保険金は殆ど母親が使った。
借金が300万あったが、俺が言わないと返す気もない親であった。
950お兄たま
垢版 |
2026/09/15(火) 20:02:52.47ID:Y40WBNBy
ヨシ。
新スレも立てたし、引き続き頑張るかな。
2026/09/15(火) 20:39:36.98ID:riC9HV58
趣味で数学をやってるおっさんが他人の趣味を批判する、おかしくね
2026/09/15(火) 20:45:02.63ID:Y40WBNBy
政治の話のことか。
別にそれは良いのだが、マウントは取るなということ。
何か言われたら、数学板だから数学しろよと言っても良いはず。
2026/09/15(火) 20:48:27.38ID:riC9HV58
一度精神医にカウンセリングしてもらったほうがいいよw
2026/09/15(火) 20:50:27.93ID:Y40WBNBy
>>953
ランダムウォークにケチつけるのなら、君が書けば?
二人で仲良くやれば良いじゃん。
2026/09/15(火) 20:51:09.59ID:Y40WBNBy
偉そうなことを言って、数学の内容は乏しくないかい?
2026/09/15(火) 20:56:00.97ID:riC9HV58
質問乞食爺さんに言ったんじゃねくてミジンコおっさんに言ったw
2026/09/15(火) 21:04:47.05ID:Y40WBNBy
>>956
いやいや、>>917で批判しとるやんw
2026/09/15(火) 22:23:43.54ID:riC9HV58
それでカウンセリング受けろとは言わんだろ、被害妄想はあるかもね
959132人目の素数さん
垢版 |
2026/09/15(火) 22:27:55.28ID:Y40WBNBy
とりあえず、批判するのならきちんと最後までやり通してね。
批判だけして逃げてるよね、いつもw
960132人目の素数さん
垢版 |
2026/09/15(火) 22:29:17.24ID:Y40WBNBy
ランダムウォークを批判するのなら、きちんとやれば?
961132人目の素数さん
垢版 |
2026/09/16(水) 00:31:14.62ID:6KCyZZLL
>>943
回帰ウォークの数え上げを、F_2上の解析学を使って導出できる。
理論的には面白いと思う。
F_2上のデルタ函数(原点特性函数)を、球固有函数の
連続スペクトル上の積分であらわす形で、公式が得られる。

勿論、素朴な数え上げで導出することもできる。
カタラン数の公式の導出が参考になるだろう。
あなたがやっていた、F_1上の数え上げから始める
やり方を、「王道であり、スジがいい」とAIが言っていた。

わたしは、母函数を用いる方法がもっとも分かりやすかった。
これは、コンボリューション(畳み込み)分解が
基礎となっている。
https://i.imgur.com/JBSLjtz.jpeg
https://i.imgur.com/ffzJQlT.jpeg
2026/09/16(水) 04:58:11.55ID:PkJBp3eQ
>>959
お前の興味を他人に押しつるなよ、それだけ
2026/09/16(水) 05:02:17.57ID:shOkBIOs
批判を押し付けて逃げるミジンコの人w
2026/09/16(水) 05:02:38.59ID:shOkBIOs
だったら最初から批判しなければ良い。
2026/09/16(水) 05:08:26.16ID:PkJBp3eQ
過去のことであっても、今なお深く傷つき、苦しまれているのは本当に耐えがたいことだと思います。子どもの頃に安心できる居場所がなかった経験は、大人になってからも生きづらさや、ふとした瞬間の強いネガティブな感情として残ることが多いです。
過去の家庭環境によるトラウマや傷を、少しずつ癒やしていくための具体的なアプローチを整理しました。
1. 傷ついた「過去の自分」をケアする
・感情の肯定:当時は出せなかった「怖かった」「悲しかった」「怒りたかった」という感情を、今のあなたが「本当につらかったよね」と認めてあげてください。
・自分のせいではないと認識する:子どもの頃の家庭環境が悪かったのは、100%親や大人の責任です。あなたが未熟だったからでも、悪かったからでもありません。
・現在の安全を確認する:心が過去に戻って苦しくなったときは、周りを見渡して「今はもうあの場所にはいない」「私は安全な場所にいる」と声に出して、脳に現在を教え込みます。
2. 専門家の力を借りて安全に処理する過去の深い傷(トラウマ)は、1人で向き合おうとすると当時の記憶に飲み込まれて体調を崩してしまうことがあります。専門のケアを受けるのが一番安全です。
・臨床心理士・公認心理師:カウンセリングを通じて、過去の記憶を整理し、今を生きやすくするためのサポートを受けられます。
・トラウマ専門の外来:心療内科や精神科のなかには、認知行動療法やEMDR(眼球運動による脱感作と再処理)など、過去のトラウマを軽減する専門的な治療を行っている病院もあります。
3. 「今の自分の人生」に集中する
・自分軸で生きる:親の価値観や「親に認められたい」という願いから離れ、「自分がどうしたいか」「何が好きか」を基準に選択を重ねていきます。
・自分を縛るルールを緩める:「〜しなければならない」という厳しいルールが家庭内で植え付けられていた場合、それに気づき、少しずつ手放していきます。
2026/09/16(水) 05:13:30.06ID:H/BxJnla
変な煽りをしなければ、身の上話をする必要もない。
良い加減やめてくれるか?
数学の話だけしてほしいんやけど。
2026/09/16(水) 05:14:57.89ID:H/BxJnla
変なカウンセリング話も必要ない。
ここでそんな話をしても何も解決しない板だから。
2026/09/16(水) 05:16:56.86ID:PkJBp3eQ
お前にカウンセリングを勧めてるんだよ
レスを投稿する

レス数が950を超えています。1000を超えると書き込みができなくなります。

ニューススポーツなんでも実況