探検


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

レス数が1000を超えています。これ以上書き込みはできません。
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
お前にカウンセリングを勧めてるんだよ
2026/09/16(水) 09:23:32.65ID:PkJBp3eQ
捻くれたおっさんが他のスレに自由に書き込むように、他人もお前のスレに自由に書き込む、自業自得
2026/09/16(水) 10:24:54.61ID:fmx2DL4l
認知行動療法では、古い心理療法と違って、過去を悲劇的には取り扱わない。
淡々と学習理論の枠組みで捉える。
すなわち、過去に身につけた対処法が、その場面では有効だったが今の状況には合っていないとする。
だから現状に合った(悪いループを抜け出せる)習慣にアップデートしていく。
このとき無力感や、いつもやってる対処をしないことの不安、非合理な予測が邪魔をする。
そこで、階段を作って負荷を減らし、体験主義によって予測するより精度高くチューニングする。
2026/09/16(水) 10:32:27.79ID:fmx2DL4l
認知行動療法では、古い心理療法と違って、過去を悲劇的には取り扱わない。
淡々と学習理論の枠組みで捉える。
すなわち、過去に身につけた対処法が、その場面では有効だったが今の状況には合っていないとする。
だから現状に合った(悪いループを抜け出せる)習慣にアップデートしていく。
このとき無力感や、いつもやってる対処をしないことの不安、非合理な予測が邪魔をする。
そこで、階段を作って負荷を減らし、体験主義によって予測するより精度高くチューニングする。
972132人目の素数さん
垢版 |
2026/09/16(水) 11:00:18.17ID:fmx2DL4l
あとはマインドフルネスを取り入れたりする。
悩みを抱えていてもふと頭が冷静になる時がたいていはあるので、そのときの頭の動きを学んでいく方針。
悩んでるときの思考を見ると、
・注意が一つのことに偏ってる。自動的に言葉が出てきて、枠組みがどんどん組み上がってしまう。
・特定の場面で自分がこう振る舞うだろうという(必ずしも正確でない)予測をしがちになる。
などが挙げられる。そこで、
・家事や趣味、仕事、交流などで注意を分散する。
・言葉で作られたバーチャルな世界と現実の世界を区別する。また、実際の自分と予測の自分も区別する。これらの区別の実感を養う。
といったことが試みられる。
973132人目の素数さん
垢版 |
2026/09/16(水) 11:03:25.55ID:fmx2DL4l
自分の思考と一つ距離をとったところに自分を置くことが推奨される。
ときには思考が騒いでいるのを放置して動くという意味で。
2026/09/16(水) 11:12:31.65ID:mgFuqdF6
>>968
俺に>>936とかの話を振っておいて、身の上話をするなとか滅茶苦茶だ。
言ってることが一貫してなくて支離滅裂だから、数学以外の話をしなくて良いよ。
自分が何を喋ったかとかを忘れているような話し方をしている自覚が無いんやね。
2026/09/16(水) 11:14:17.71ID:mgFuqdF6
>>969
お前は数学以外の話をするな。
話がややこしくなるから。
批判した問題をすぐ放置するなら、最初からすんな。
2026/09/16(水) 11:15:12.93ID:PkJBp3eQ
>>974
お前が言ってることにレスしてるだけだがw
2026/09/16(水) 11:16:02.52ID:mgFuqdF6
まともな会話ができないんやからどうしようもない。
数学をやる前に、最低限の会話方法を学べよw
2026/09/16(水) 11:17:58.47ID:mgFuqdF6
>>976
単純に君は会話が下手というか、批判することしか考えていないから、話の辻褄が合っていない。
批判する前に、会話に矛盾が出ないことを意識すべきだよ。
2026/09/16(水) 11:22:08.14ID:PkJBp3eQ
>>977
お前が言うな、かまって爺さん
2026/09/16(水) 11:28:20.74ID:PkJBp3eQ
百済、高句麗と新羅、唐に攻められて
2026/09/16(水) 11:29:41.83ID:PkJBp3eQ
あっ、間違えたw
2026/09/16(水) 11:34:49.39ID:mgFuqdF6
>>979
俺は煽られなけりゃ、数学の話だけすんのよ。
マウントがあるとふざけたり、身の上話をする必要が出てくる。
加羅・伽耶
KARA・伽椰子
2026/09/16(水) 12:18:18.73ID:PkJBp3eQ
(捻くれたおっさんとかまって爺さんは似た者同士、仲良くね)
2026/09/16(水) 12:20:35.79ID:mgFuqdF6
(かまって爺さんとランダムウォークアラフォーは似た者同士、仲良くね。)
2026/09/16(水) 12:40:17.56ID:PkJBp3eQ
質問乞食のじいさんはQualifying Examinationの問題でも解いてればいいじゃん
2026/09/16(水) 12:48:01.46ID:fmx2DL4l
性格はパーソナリティ障害のほかはビッグファイブという5要素で計測されるが、このうち協調性は他者への強引さや批判、攻撃、冷たさ、利己性に関連する。
ミラーニューロンの働きや社会の理解度、社会的地位と関係する。
一般的には協調性の低い人はそう多くない。このことから、人間一般に警戒心や敵意を予想するのは認知の歪みと言える。
この歪んだ信念を支えるバイアスとしては対応バイアス(他者に対して内部要因を大きく、外部要因を小さく見積もる傾向)やネガティビティバイアスが考えられる。
987132人目の素数さん
垢版 |
2026/09/16(水) 12:51:10.68ID:fmx2DL4l
(多くないというのは、あからさまに協調性の低い人は多くないということ。)
988132人目の素数さん
垢版 |
2026/09/16(水) 12:52:00.54ID:fmx2DL4l
多少協調性の低い人はいるが、態度として明らかな攻撃や強引さを出し続けるような極端な人はそう多くない。
2026/09/16(水) 13:04:05.42ID:fmx2DL4l
歪んだ信念については、社会的な効果をどこまで想定してるかにもよるかも。
たとえば自分の態度が周りを敵対的にしている可能性とか、多元的無知、沈黙の螺旋などの効果を差し引きしてるか否か。
2026/09/16(水) 14:47:55.03ID:zGPORgQC
次スレはきちんとルベーグの内容を書いてくれよ。
2026/09/16(水) 16:02:08.50ID:BGEKpIJz
L
2026/09/16(水) 16:02:36.50ID:BGEKpIJz
e
2026/09/16(水) 16:02:54.34ID:BGEKpIJz
b
2026/09/16(水) 16:03:16.27ID:BGEKpIJz
es
2026/09/16(水) 16:03:35.95ID:zGPORgQC
2026/09/16(水) 16:04:08.33ID:BGEKpIJz
g
997132人目の素数さん
垢版 |
2026/09/16(水) 16:04:43.83ID:BGEKpIJz
u
998132人目の素数さん
垢版 |
2026/09/16(水) 16:05:02.82ID:BGEKpIJz
e
999132人目の素数さん
垢版 |
2026/09/16(水) 16:05:24.19ID:BGEKpIJz
n
1000132人目の素数さん
垢版 |
2026/09/16(水) 16:05:41.24ID:BGEKpIJz
d
10011001
垢版 |
Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 35日 1時間 0分 34秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。

▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.io/

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.io/login
レス数が1000を超えています。これ以上書き込みはできません。

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