プッ
>完全加法族とσ代数の間のこの決定的差異
お兄さんと一緒にルベーグ積分を勉強しよう!
レス数が950を超えています。1000を超えると書き込みができなくなります。
718132人目の素数さん
2026/09/11(金) 14:52:07.94ID:hPHI0EM2719132人目の素数さん
2026/09/11(金) 14:53:23.64ID:CWvBs0Al 色んなid出るね。
>>716は私も良く分からない。
>>716は私も良く分からない。
720132人目の素数さん
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集合のみ。
∀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つでも可算集合と積を取ると可算
(あと可算の補集合が補可算その補集合は可算もか)
だからね
可算集合族から始めて
実際に構成していけば
可算か補可算集合しか出てき様が無いことが分かる
可算集合の可算和は可算
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=Σ
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:nFSAVrP7730132人目の素数さん
2026/09/11(金) 16:58:34.08ID:CWvBs0Al 集合環や集合代数が違うのは分かるけど。
731132人目の素数さん
2026/09/11(金) 16:59:16.11ID:CWvBs0Al お兄さん、分かんないw
732132人目の素数さん
2026/09/11(金) 17:25:59.68ID:D2tpneaU733132人目の素数さん
2026/09/11(金) 17:31:54.98ID:hPHI0EM2 >完全加法族とσ代数の間のこの決定的差異
734132人目の素数さん
2026/09/11(金) 17:38:31.45ID:D2tpneaU735132人目の素数さん
2026/09/11(金) 17:39:56.60ID:CWvBs0Al736132人目の素数さん
2026/09/11(金) 17:42:03.08ID:CWvBs0Al まあ、有限加法族と完全加法族は違うだろうけど。
737132人目の素数さん
2026/09/11(金) 18:19:53.14ID:hPHI0EM2 猫は高級な話題で釣っていたけど、捻くれたおっさんは誰にも分かる初級の話題で釣る
738132人目の素数さん
2026/09/11(金) 18:21:32.52ID:CWvBs0Al739132人目の素数さん
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≦α
かなーんだ
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:D2tpneaU742132人目の素数さん
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 つまり君がやったことは
>その集合自身あるいはその補集合が実数上で高々可算である集合族
であり、かつ、σ加法族である集合族のひとつを構成した
ってことじゃないの? それは元の命題の証明になってないと思うけど違う?
>その集合自身あるいはその補集合が実数上で高々可算である集合族
であり、かつ、σ加法族である集合族のひとつを構成した
ってことじゃないの? それは元の命題の証明になってないと思うけど違う?
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:nFSAVrP7751132人目の素数さん
2026/09/11(金) 21:11:27.00ID:D2tpneaU752132人目の素数さん
2026/09/11(金) 21:12:29.98ID:D2tpneaU753132人目の素数さん
2026/09/11(金) 21:13:40.92ID:nFSAVrP7 でも
>A⊂{B⊂X:|B|<ℵ0}
の書き方も良くないね。これだとAはあるひとつの部分集合なのか任意の部分集合なのか区別が付かないよ。
>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から始める必要があるな
が
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:nFSAVrP7757132人目の素数さん
2026/09/11(金) 21:26:50.03ID:nFSAVrP7 とくに今回の場合は
∃A⊂{B⊂X:|B|<ℵ0}の意味だと非だし
∀A⊂{B⊂X:|B|<ℵ0}の意味だと是だから主張の是非が変わっちゃう、決して重箱の隅じゃないよ
∃A⊂{B⊂X:|B|<ℵ0}の意味だと非だし
∀A⊂{B⊂X:|B|<ℵ0}の意味だと是だから主張の是非が変わっちゃう、決して重箱の隅じゃないよ
758132人目の素数さん
2026/09/11(金) 21:39:36.43ID:D2tpneaU じゃ適当に考えて
(自分は限定子書かないときは大概∀だろうなと思って読むがね)
(自分は限定子書かないときは大概∀だろうなと思って読むがね)
759132人目の素数さん
2026/09/11(金) 22:55:04.86ID:hPHI0EM2 捻くれたおっさんには荒らしの才能があるw
760132人目の素数さん
2026/09/12(土) 04:48:33.22ID:AjFNG/SQ >>759
「高級」な話題を宜しくねw
「高級」な話題を宜しくねw
761132人目の素数さん
2026/09/12(土) 11:36:44.90ID:SkNA+fiS >>722
f+gの不等式を、fとgの不等式にそれぞれ分解して考えないといけないのは大変だ。
f+gの不等式を、fとgの不等式にそれぞれ分解して考えないといけないのは大変だ。
762132人目の素数さん
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
だったら、ルベーグの良い話題でも提供してくれ。
だったら、ルベーグの良い話題でも提供してくれ。
767132人目の素数さん
2026/09/12(土) 18:01:57.70ID:jHt+xChl768132人目の素数さん
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:pMZ56zyT774132人目の素数さん
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
勝手に期待してれば?
勝手に期待してれば?
777132人目の素数さん
2026/09/12(土) 19:57:47.31ID:pMZ56zyT 爺さんなんだろう。
だったら若い人にもう少し期待したらどうだろう。
爺さんにもなって素人イビリとは趣味が悪いw
だったら若い人にもう少し期待したらどうだろう。
爺さんにもなって素人イビリとは趣味が悪いw
778132人目の素数さん
2026/09/12(土) 20:12:57.64ID:jHt+xChl779132人目の素数さん
2026/09/12(土) 20:13:39.51ID:pMZ56zyT マジか、2歳しか違わない…。
780132人目の素数さん
2026/09/12(土) 20:19:10.85ID:pMZ56zyT まあ、センター模試で750/900点くらい取れても、進学校に通えないような人間がいたりすんだから、あまり恵まれた条件を前提にされても困るんだよ。
お金があれば小さい頃にさっさと高校数学まで済ませて、そこからじっくり大学数学をやるはずやったんやから。
お金があれば小さい頃にさっさと高校数学まで済ませて、そこからじっくり大学数学をやるはずやったんやから。
781132人目の素数さん
2026/09/12(土) 20:20:41.45ID:pMZ56zyT これを信じない人もいるんやから、どうしようもないw
782132人目の素数さん
2026/09/12(土) 20:38:30.40ID:jHt+xChl783132人目の素数さん
2026/09/12(土) 20:41:25.44ID:pMZ56zyT ここが実家ならいくらでも模試の結果を探してやるのにw
784132人目の素数さん
2026/09/12(土) 20:51:50.37ID:jHt+xChl785132人目の素数さん
2026/09/12(土) 21:01:32.78ID:pMZ56zyT786132人目の素数さん
2026/09/12(土) 21:02:23.13ID:pMZ56zyT 田んぼも何もかも放置しているw
787132人目の素数さん
2026/09/12(土) 21:23:17.76ID:jHt+xChl 自分語り下らん
実家で探して検証可能な形で示せないなら嘘
実家で探して検証可能な形で示せないなら嘘
788132人目の素数さん
2026/09/12(土) 21:30:50.88ID:pMZ56zyT 喋ってる感じで知性って分からんもんかねぇ。
まあ、信じないならそれで良いけど。
青焼きや交代群の話の指摘から、私が嘘を言うような人間でないことは大体分かると思いからね。
私はハッタリで誤魔化す人間ではないよ。
まあ、信じないならそれで良いけど。
青焼きや交代群の話の指摘から、私が嘘を言うような人間でないことは大体分かると思いからね。
私はハッタリで誤魔化す人間ではないよ。
789132人目の素数さん
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 吉田先生のも評判が良かったから、中身を確かめてみよう。
792132人目の素数さん
2026/09/12(土) 22:58:29.90ID:YM7DAEdX793132人目の素数さん
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
という嘘
という嘘
796132人目の素数さん
2026/09/13(日) 12:12:54.53ID:alpbRppT 図書館通うことが出来て、一ヶ月程度の時間かけてもまだルベーグ積分勉強してるなら、知性が足りないと言われてもしょうがないと思いますね
797132人目の素数さん
2026/09/13(日) 12:29:48.19ID:eCyo97T8 捻くれたおっさんは数学科の修士卒です
798132人目の素数さん
2026/09/13(日) 14:08:15.09ID:VLh2/Shu さて、変な野次馬は放っておきますかw
ルベーグの話をしないで煽ってくる人は、無視しておきましょう。
夕方までは身支度をして、夜はお兄さん頑張るよ。
ルベーグの話をしないで煽ってくる人は、無視しておきましょう。
夕方までは身支度をして、夜はお兄さん頑張るよ。
799132人目の素数さん
2026/09/13(日) 18:00:31.51ID:yneZyhLu フビニの定理は無制限に使えない
800132人目の素数さん
2026/09/13(日) 18:33:47.42ID:eCyo97T8 びびっって自分語りをやめたルサンチマンおっさん
801132人目の素数さん
2026/09/13(日) 18:37:29.41ID:smYDLWmL802132人目の素数さん
2026/09/13(日) 18:39:48.46ID:smYDLWmL803132人目の素数さん
2026/09/13(日) 18:48:09.24ID:smYDLWmL ルサンチマンだか北大路魯山人だか知らんけどもw
804132人目の素数さん
2026/09/13(日) 19:04:02.41ID:eCyo97T8 >>802
伊藤清三に書いてあるよ、面積確定は意味不明だけどw
伊藤清三に書いてあるよ、面積確定は意味不明だけどw
805132人目の素数さん
2026/09/13(日) 19:09:20.12ID:alpbRppT 可測関数の和が可測とか、たいていの本で書いてあるだろ
761のように面倒ではある
761のように面倒ではある
806132人目の素数さん
2026/09/13(日) 19:17:14.82ID:smYDLWmL807132人目の素数さん
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)]
にしかならん、逆もしかり
それが測度の制限がはいるとなにが困るのかわからん
あったまわるいねぇ
無能
Σ[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
可算の儘で交換できないからだよ
可算の儘で交換できないからだよ
809132人目の素数さん
2026/09/13(日) 19:52:33.40ID:smYDLWmL ままよ
810132人目の素数さん
2026/09/13(日) 19:53:28.42ID:yneZyhLu Σ(ℵ0)Π(ℵ0)=Π(ℵ1)Σ(ℵ0)
逆も同様
逆も同様
811132人目の素数さん
2026/09/13(日) 19:58:18.29ID:wjdtihxY まぁから A_0 = A からはじめて A_{k+1} = ∑∩ A_k として ∪_k A_k とかするしかない。
いっぱんにはどこからか先で増大が停止などしてくれないんやろ。
証明はみたことないけど実際むりなんやろな。
あったらさすがになんかに書いてるやろ。
みたことないし。
一回目でいきなりとまるとかw
あほかww
いっぱんにはどこからか先で増大が停止などしてくれないんやろ。
証明はみたことないけど実際むりなんやろな。
あったらさすがになんかに書いてるやろ。
みたことないし。
一回目でいきなりとまるとかw
あほかww
812132人目の素数さん
2026/09/13(日) 20:12:57.44ID:eCyo97T8 16 名前:132人目の素数さん[] 投稿日:2026/07/18(土) 20:18:00.46 ID:5O4CPqZd
勉強したという証拠を見せてほしいんだ。
勉強したという証拠を見せてほしいんだ。
813132人目の素数さん
2026/09/13(日) 20:17:59.90ID:smYDLWmL814132人目の素数さん
2026/09/13(日) 20:19:18.88ID:smYDLWmL 数学ゼロ・煽り100の書き込みをするくらいなら、数学板に居る意味はないよw
815132人目の素数さん
2026/09/13(日) 20:23:12.90ID:eCyo97T8 >俺はセンター模試で750点とか取ったことがあるが、家庭が貧乏すぎて進学校にすら通えなかった。
>この苦悩が分かるかい?
>このコンプレックスを昇華するためにこの板にいる。
>この苦悩が分かるかい?
>このコンプレックスを昇華するためにこの板にいる。
816132人目の素数さん
2026/09/13(日) 20:35:42.17ID:smYDLWmL817132人目の素数さん
2026/09/13(日) 21:21:34.02ID:yneZyhLu818132人目の素数さん
2026/09/13(日) 21:22:18.76ID:yneZyhLu >>816
勝手にコツコツ勉強してろよ
勝手にコツコツ勉強してろよ
819132人目の素数さん
2026/09/13(日) 21:32:17.59ID:smYDLWmL 小さなことからコツコツと
820132人目の素数さん
2026/09/13(日) 21:38:53.48ID:eCyo97T8 レス乞食のプロフィール
家庭に恵まれず、中高一貫校を出て、共通一次で750点取って、理科教師やって数学科に入って、兄弟に自死されて、御大を尊敬
家庭に恵まれず、中高一貫校を出て、共通一次で750点取って、理科教師やって数学科に入って、兄弟に自死されて、御大を尊敬
821132人目の素数さん
2026/09/13(日) 21:42:41.14ID:smYDLWmL 要らんことインプットしなくて良いから、ルベーグの楽しそうな話をプリーズ。
822132人目の素数さん
2026/09/14(月) 00:23:29.09ID:xH7bXfMn ここまでいわれてわからんかw
アホ乙wwww
アホ乙wwww
824132人目の素数さん
2026/09/14(月) 00:36:50.62ID:xH7bXfMn なんで俺にきくん?
825132人目の素数さん
2026/09/14(月) 00:39:10.68ID:xH7bXfMn そもそも f,g が可測なら f+g が可積分であろうがなかろうが f+g は可測やし
827132人目の素数さん
2026/09/14(月) 00:40:53.55ID:xH7bXfMn そう。
828132人目の素数さん
2026/09/14(月) 00:52:01.67ID:Z+TYtJmM 可測関数は非負のものと、一般のものがあるみたいだね。
829132人目の素数さん
2026/09/14(月) 00:56:18.77ID:xH7bXfMn やね。
830132人目の素数さん
2026/09/14(月) 00:56:59.56ID:Z+TYtJmM >>804
この人も積分確定なしの証明を見ているのかな。
この人も積分確定なしの証明を見ているのかな。
831132人目の素数さん
2026/09/14(月) 00:59:14.34ID:xH7bXfMn そじゃね?>>722みたらだれでもそう思うわな
832132人目の素数さん
2026/09/14(月) 01:00:13.85ID:Z+TYtJmM833132人目の素数さん
2026/09/14(月) 01:01:35.00ID:Z+TYtJmM 伊藤清三先生の本は非負可測関数の証明かも。
834132人目の素数さん
2026/09/14(月) 01:06:44.55ID:xH7bXfMn いらんよ
俺も教科書は伊藤清三やった。もう手元にないけどな。
まぁまちがってると思うなら反例さがしてみたら?
俺も教科書は伊藤清三やった。もう手元にないけどな。
まぁまちがってると思うなら反例さがしてみたら?
835132人目の素数さん
2026/09/14(月) 01:09:39.77ID:Z+TYtJmM836132人目の素数さん
2026/09/14(月) 01:13:53.70ID:Z+TYtJmM こうやって書いておけば、誰か調べるかもしれない。
837132人目の素数さん
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 }
など
{x | f(x) + g(x) > r } = ∪_{a,b∈Q, a+b>r }{ x | f(x)>a, g(x)>b }
など
838132人目の素数さん
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の上にバーがあるから、値域が±∞になるやつ。
841132人目の素数さん
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
のように有理数は稠密性を利用して、隙間に入れると思う。
f>α−g
f>r>α−g
のように有理数は稠密性を利用して、隙間に入れると思う。
843132人目の素数さん
2026/09/14(月) 01:37:51.67ID:Z+TYtJmM まあこれだけ書いたら、誰かが茶々入れてくれるだろうから、待っておけば良いよ。
明日になれば多分何か分かるよ、きっと。
明日になれば多分何か分かるよ、きっと。
844132人目の素数さん
2026/09/14(月) 01:44:24.51ID:xH7bXfMn もちろん入れる。そして入れることに f+g の可積分性など一ミリも必要ない。あとで r を走らせる部分でも f+g の有界性も可積分性も必要ない。
初学者向きの教科書なら必要のない仮定をいれて証明の手間へらすときがないこともないだろうけど f+g が有界とか可積分とかの仮定いれて減らせる手間なんかなさそうだけどな
まぁええか
初学者向きの教科書なら必要のない仮定をいれて証明の手間へらすときがないこともないだろうけど f+g が有界とか可積分とかの仮定いれて減らせる手間なんかなさそうだけどな
まぁええか
845132人目の素数さん
2026/09/14(月) 01:48:22.56ID:Z+TYtJmM 他に詳しい人がいるかもしれないから、ゆっくり待っておこう。
846132人目の素数さん
2026/09/14(月) 09:09:05.41ID:XkQkR0UA ダボハゼ爺さんが食いつくよ
847132人目の素数さん
2026/09/14(月) 09:25:37.16ID:Xh5n4zWg 数学の内容を語ってくれるのなら、お兄さんは誰でも歓迎するよ!
848132人目の素数さん
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 まあ、これがベルンシュタイン集合らしいですけどね。
851132人目の素数さん
2026/09/14(月) 10:42:39.24ID:XkQkR0UA ダボハゼ爺さんも無駄な知識を習得して自慢してる
852132人目の素数さん
2026/09/14(月) 10:52:06.32ID:Xh5n4zWg 政治ばっかり語ってないで、少しは数学したら?w
853132人目の素数さん
2026/09/14(月) 11:19:56.74ID:Xh5n4zWg しかし、具体的にどうやってベルンシュタイン集合を作るのか謎だ。
英語で調べるしかないかな…。
英語で調べるしかないかな…。
854132人目の素数さん
2026/09/14(月) 11:30:05.75ID:XkQkR0UA 御大はガチ左翼だけどお前はパヨクか?
855132人目の素数さん
2026/09/14(月) 11:34:28.13ID:Xh5n4zWg 私は自民党以外には政権を任せられないと思っている。
まあ、激浅の一意見だから気にしないでくれ。
私は基本的に政治を語る趣味はないから。
まあ、激浅の一意見だから気にしないでくれ。
私は基本的に政治を語る趣味はないから。
856132人目の素数さん
2026/09/14(月) 11:40:22.66ID:6JNQZLMn オレが書かないとドンドン百済無くなるスレです
858132人目の素数さん
2026/09/14(月) 11:46:35.48ID:6JNQZLMn >>857
人に頼るな
人に頼るな
859132人目の素数さん
2026/09/14(月) 11:47:41.72ID:Xh5n4zWg 煽っておいて大事なことはしないというw
860132人目の素数さん
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 子供の場合は暖かい環境に身を置くとよく、大人の場合は適応に向けてアップデートを重ねるのが有効
863132人目の素数さん
2026/09/14(月) 17:06:45.96ID:X5X5zrwB ちなみにエスカレートしていくので早めに対応しないと戻れなくなる
864132人目の素数さん
2026/09/14(月) 17:07:07.53ID:X5X5zrwB 治りが悪くなる。場合によっては死ぬまで治らない。
865132人目の素数さん
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
まだ、そんな話なんて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:Yt6Klm25872132人目の素数さん
2026/09/14(月) 18:41:50.06ID:X5X5zrwB これを効率的に回すには、体験主義や具体主義が重要。
それらが欠けると不安に閉じ込められたり、思考が飽和したり、誤った確信に辿り着いたりしてしまう。
それらが欠けると不安に閉じ込められたり、思考が飽和したり、誤った確信に辿り着いたりしてしまう。
873132人目の素数さん
2026/09/14(月) 18:43:36.96ID:Yt6Klm25 スレももうすぐ900か。
新しいスレタイを考えないとな。
「おにぃのルベーグ積分勉強スレ」とかにでもするかw
新しいスレタイを考えないとな。
「おにぃのルベーグ積分勉強スレ」とかにでもするかw
874132人目の素数さん
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 お兄お兄と挑発を繰り返してると、それこそ反抗挑発症になるのではないかね
877132人目の素数さん
2026/09/14(月) 19:09:56.98ID:Yt6Klm25 数学以外の話は特にどうでも良い。
なんかルベーグについて知っていることがあったら書いてくれ。
あまりにも上辺だけ掬ったようなことよりも、ある程度理解している内容を求む。
なんかルベーグについて知っていることがあったら書いてくれ。
あまりにも上辺だけ掬ったようなことよりも、ある程度理解している内容を求む。
878132人目の素数さん
2026/09/14(月) 19:14:11.34ID:XkQkR0UA 上辺を括ったような話、お前確率論をやってた人に対して失礼だろw
879132人目の素数さん
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 ちなみに測度論で出るとしたら最初の方でやるよ
そうすると後々の議論が楽になるから
つまり(何読んでるか知らないけど)その本には出ないようだ
そうすると後々の議論が楽になるから
つまり(何読んでるか知らないけど)その本には出ないようだ
882132人目の素数さん
2026/09/14(月) 19:21:02.97ID:Yt6Klm25 >>878
いやいや、無数目メンバーにはマウントに関することと繰り返すのをやめてほしいだけ。
いやいや、無数目メンバーにはマウントに関することと繰り返すのをやめてほしいだけ。
883132人目の素数さん
2026/09/14(月) 19:24:20.89ID:Yt6Klm25884132人目の素数さん
2026/09/14(月) 19:24:41.37ID:X5X5zrwB >>844がなんの話かは知らないけど
とりあえず符号が変わる関数のルベーグ積分の定義を言うと、
可測関数をmax{f(x),o}とmin{f(x),0}に分けて(どちらも可測)、少なくとも片方のルベーグ積分が有限のとき、二つのルベーグ積分を足し合わせたものをfのルベーグ積分というよ
とりあえず符号が変わる関数のルベーグ積分の定義を言うと、
可測関数をmax{f(x),o}とmin{f(x),0}に分けて(どちらも可測)、少なくとも片方のルベーグ積分が有限のとき、二つのルベーグ積分を足し合わせたものをfのルベーグ積分というよ
885132人目の素数さん
2026/09/14(月) 19:28:07.29ID:Yt6Klm25886132人目の素数さん
2026/09/14(月) 19:31:45.57ID:XkQkR0UA オウム返しのおっさんとルベーグ積分勉強しようよw
887132人目の素数さん
2026/09/14(月) 19:32:02.68ID:X5X5zrwB >>883
つまり、「上辺だけ掬ったような」というのは、相手を威圧したくて言ったんだね?
つまり、「上辺だけ掬ったような」というのは、相手を威圧したくて言ったんだね?
888132人目の素数さん
2026/09/14(月) 19:34:06.39ID:Yt6Klm25889132人目の素数さん
2026/09/14(月) 19:35:50.89ID:Yt6Klm25890132人目の素数さん
2026/09/14(月) 19:36:13.83ID:Yt6Klm25891132人目の素数さん
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:X5X5zrwB894132人目の素数さん
2026/09/14(月) 19:44:47.43ID:X5X5zrwB あとf+gの可測性に積分可能性は全く関係ないよ
895132人目の素数さん
2026/09/14(月) 19:49:10.22ID:Yt6Klm25 >>893
ディンキンや単調族から怪しいと感じたんだよ。
適当にルベーグ積分を調べて、あんま知らなさそうな定理でも貼っておくかという感じなのかと思っただけ。
しかし、貴方の発言で数学の内容が出て来たのをあまり覚えていないから、例えばこのスレでなんか残してくれると助かる。
この板で言動の批判をしても、全く響かないから時間の無駄だよw
ディンキンや単調族から怪しいと感じたんだよ。
適当にルベーグ積分を調べて、あんま知らなさそうな定理でも貼っておくかという感じなのかと思っただけ。
しかし、貴方の発言で数学の内容が出て来たのをあまり覚えていないから、例えばこのスレでなんか残してくれると助かる。
この板で言動の批判をしても、全く響かないから時間の無駄だよw
896132人目の素数さん
2026/09/14(月) 19:50:17.00ID:Yt6Klm25897132人目の素数さん
2026/09/14(月) 19:53:50.31ID:X5X5zrwB >>895
IDは毎日変わるよ
IDは毎日変わるよ
898132人目の素数さん
2026/09/14(月) 19:59:29.46ID:Yt6Klm25 >>897
知らないところで、何か数学のことを言っていたのかもしれないね。
まあ、どうでも良いようなマウントが起こるのは、この板に人材が足りていないのが一番の原因なのかもしれない。
政治のことを話す人の割合が結構多いしw
5chの過疎に歯止めをかけるため、お兄さんは頑張るわ。
知らないところで、何か数学のことを言っていたのかもしれないね。
まあ、どうでも良いようなマウントが起こるのは、この板に人材が足りていないのが一番の原因なのかもしれない。
政治のことを話す人の割合が結構多いしw
5chの過疎に歯止めをかけるため、お兄さんは頑張るわ。
899132人目の素数さん
2026/09/14(月) 20:05:45.38ID:X5X5zrwB 別に正当化しろって言ってないよ
900132人目の素数さん
2026/09/14(月) 20:09:09.11ID:X5X5zrwB そもそも反抗挑発症のことは一般的に煽るという行為に関する話をしただけだもの
901132人目の素数さん
2026/09/14(月) 20:16:24.22ID:Yt6Klm25 私は精神は健全なつもりなのでw
ベルンシュタイン集合は、実数上で非可算の閉部分集合である2^ωをいじくって出来るのかもしれない。
アマチュアの人が書いてそうだから、よく分からん。
ベルンシュタイン集合は、実数上で非可算の閉部分集合である2^ωをいじくって出来るのかもしれない。
アマチュアの人が書いてそうだから、よく分からん。
902132人目の素数さん
2026/09/14(月) 20:21:42.86ID:XkQkR0UA >>898
頑張れミジンコ荒らし
頑張れミジンコ荒らし
903132人目の素数さん
2026/09/14(月) 20:30:12.03ID:Yt6Klm25 >>879
こんなこと書くのなら、細かく書きゃ良いのにw
こんなこと書くのなら、細かく書きゃ良いのにw
904132人目の素数さん
2026/09/14(月) 20:34:17.57ID:X5X5zrwB 言葉を見るときは、論理と動機に分けて考えると整理しやすい
905132人目の素数さん
2026/09/14(月) 20:43:06.81ID:XkQkR0UA 大学院は好きに選んだのか
>俺は大学を自由に選べなかったからねぇ。
>色々あんのよ。
>俺は大学を自由に選べなかったからねぇ。
>色々あんのよ。
906132人目の素数さん
2026/09/14(月) 20:44:50.21ID:XkQkR0UA 目的がないのにゴールが分からないw
ルベーグ測度を知ってる俺ってかっこいいw
ルベーグ測度を知ってる俺ってかっこいいw
907132人目の素数さん
2026/09/14(月) 20:46:40.74ID:X5X5zrwB と、こんなふうに挑発を行うのには、
色々な背景が考えられる
色々な背景が考えられる
908132人目の素数さん
2026/09/14(月) 20:48:59.89ID:Yt6Klm25 >>905
俺はとにかくお金を掛けない方向でいったから、自分の偏差値と大学の偏差値は合っていないと思うよ。
センター本番では700/900点だったが、そんな点数の人が行くような大学ではないと思う。
だが、国立大なら個人の努力で如何ようにも大学生活を充実できるとは思う。
親が何もしてくんないから、とにかく不安だったってこと。
俺はとにかくお金を掛けない方向でいったから、自分の偏差値と大学の偏差値は合っていないと思うよ。
センター本番では700/900点だったが、そんな点数の人が行くような大学ではないと思う。
だが、国立大なら個人の努力で如何ようにも大学生活を充実できるとは思う。
親が何もしてくんないから、とにかく不安だったってこと。
909132人目の素数さん
2026/09/14(月) 20:50:55.75ID:Yt6Klm25910132人目の素数さん
2026/09/14(月) 21:10:45.80ID:X5X5zrwB だからよくある背景を上に書いといたよ
911132人目の素数さん
2026/09/15(火) 00:39:03.82ID:6V4qerep トコトン下らんスレに成り下がる
912132人目の素数さん
2026/09/15(火) 03:36:03.73ID:riC9HV58 ちゃうちゃう、IUT自体はどうでも良くて、自分が理解していないことを批判するのは、数学の精神に相反する行為なのではないかということ。
まともな数学徒なら、そんなことはしないと思うけど。
まともな数学徒なら、そんなことはしないと思うけど。
913132人目の素数さん
2026/09/15(火) 03:36:32.87ID:riC9HV58 数学を自分の限界まで勉強する、それだけ。
死ぬまで続けられたら格好良くない?
死ぬまで続けられたら格好良くない?
914132人目の素数さん
2026/09/15(火) 03:37:06.08ID:riC9HV58 研究者じゃないんだからw
趣味でやる数学の良いところ。
趣味でやる数学の良いところ。
915132人目の素数さん
2026/09/15(火) 04:39:09.46ID:YwU7xJbP ランダムウォークを独り言でやっていてもねぇw
916132人目の素数さん
2026/09/15(火) 07:33:22.64ID:6V4qerep (自分というものの無いレス乞食も居る)
917132人目の素数さん
2026/09/15(火) 08:21:25.69ID:riC9HV58 「ランダムウォーク」のツッコミどころ
ランダムウォークは遷移確率次第でいろんな解を持つ。つまり質問乞食爺さんは無駄な計算を延々とつけたわけだ。
無知は罪w
ランダムウォークは遷移確率次第でいろんな解を持つ。つまり質問乞食爺さんは無駄な計算を延々とつけたわけだ。
無知は罪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 (レス乞食はもうちょっと数学を勉強しないと)
921132人目の素数さん
2026/09/15(火) 11:22:03.36ID:7DpHlO/P 独り言でやっていたら、ある意味検証不能と言えるのかもしれない。
私に嘘吐きというのなら、他の人も出来るだけ巻き込んでやってほしいところ。
私に嘘吐きというのなら、他の人も出来るだけ巻き込んでやってほしいところ。
922132人目の素数さん
2026/09/15(火) 11:23:29.17ID:7DpHlO/P まあ、ランダムウォークを分かる人が、この板では少ないのなら話しようがないのかもしれない。
923132人目の素数さん
2026/09/15(火) 11:41:30.86ID:6V4qerep924132人目の素数さん
2026/09/15(火) 11:42:36.88ID:6V4qerep925132人目の素数さん
2026/09/15(火) 11:49:32.40ID:riC9HV58 ランダムウォークでがなくグラフ上の場合の数を数えただけw
926132人目の素数さん
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
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番目の
固有値を小さく抑え込んだグラフです。
その結果、「どんな場所から出発しても、わずか数ステップ(ノード数の対数オーダー)
でグラフ全体に一様に拡散する」という、理想的なランダムウォークの挙動を示します。
グラフ上のランダムウォークを考えたとき、ラマヌジャングラフはどう特徴付けられる?
A.
ラマヌジャングラフ(Ramanujan graph)は、グラフ上のランダムウォークの観点から見ると
「究極のミキシング(混ざりやすさ)を持つ最強のグラフ」として特徴づけられます。
1. スペクトルギャップの最大化(最速のミキシング)
ランダムウォークがどれくらい速く均等(一様分布)に広がるかは、グラフの遷移確率行列
(または隣接行列)の固有値のギャップ(スペクトルギャップ)に大きく依存します。
k-正則グラフ(すべてのノードから k 本の枝が出ているグラフ)において、最大の固有値と、
2番目に大きい固有値の絶対値の差が大きいほど、ランダムウォークは素早く拡散します。
ラマヌジャングラフは、数学的な限界(Alon-Boppanaの限界)のギリギリまで2番目の
固有値を小さく抑え込んだグラフです。
その結果、「どんな場所から出発しても、わずか数ステップ(ノード数の対数オーダー)
でグラフ全体に一様に拡散する」という、理想的なランダムウォークの挙動を示します。
930132人目の素数さん
2026/09/15(火) 14:58:11.95ID:bWiHigPX 2. 無限の木(ツリー)に近い局所構造
先ほど話題に出た F_2のケーリーグラフ(無限の木構造)とも深い関係があります。
ラマヌジャングラフは有限のグラフでありながら、局所的には無駄な短いループ
(三角形や四角形など)が極限まで排除され、まるで無限の木構造のように均一に広がっています。
これにより、偏りが生じにくく、効率的な情報伝達が可能になります。
3. なぜこの性質が重要なのか?
ネットワーク設計: データセンターのサーバー間網や通信トポロジーにおいて、
一部が故障しても全体の通信が滞らない「堅牢性」と「低遅延」を両立できます。
情報科学・暗号: 偏りのない「良質なランダム性」をグラフ構造だけで実現できるため、
誤り訂正符号やアルゴリズムの分野で重宝されています。
ラマヌジャングラフは、まさに「最も効率よくさまよえる究極の舞台」と言えますね。
このスペクトルギャップが、ランダムウォークの収束スピードにどう直結するのか、さらに詳しく見てみますか?
先ほど話題に出た F_2のケーリーグラフ(無限の木構造)とも深い関係があります。
ラマヌジャングラフは有限のグラフでありながら、局所的には無駄な短いループ
(三角形や四角形など)が極限まで排除され、まるで無限の木構造のように均一に広がっています。
これにより、偏りが生じにくく、効率的な情報伝達が可能になります。
3. なぜこの性質が重要なのか?
ネットワーク設計: データセンターのサーバー間網や通信トポロジーにおいて、
一部が故障しても全体の通信が滞らない「堅牢性」と「低遅延」を両立できます。
情報科学・暗号: 偏りのない「良質なランダム性」をグラフ構造だけで実現できるため、
誤り訂正符号やアルゴリズムの分野で重宝されています。
ラマヌジャングラフは、まさに「最も効率よくさまよえる究極の舞台」と言えますね。
このスペクトルギャップが、ランダムウォークの収束スピードにどう直結するのか、さらに詳しく見てみますか?
931132人目の素数さん
2026/09/15(火) 17:16:02.31ID:riC9HV58 御大が「マウント」しないのは別世界にいるから。つまりお前は相手にされていないだけ
932132人目の素数さん
2026/09/15(火) 17:21:54.51ID:o3UXIvbk933132人目の素数さん
2026/09/15(火) 17:24:34.42ID:o3UXIvbk いやぁ、どんなマウントを取られるのか見物だわぁw
934132人目の素数さん
2026/09/15(火) 17:26:02.17ID:o3UXIvbk おっ、そろそろスレ立ての頃合いだ。
どうしよっかな~w
どうしよっかな~w
935132人目の素数さん
2026/09/15(火) 17:28:27.86ID:riC9HV58 オウム返しw
936132人目の素数さん
2026/09/15(火) 17:32:32.90ID:riC9HV58 >>908
金が無いのに私立へ行ったのか?
金が無いのに私立へ行ったのか?
937132人目の素数さん
2026/09/15(火) 17:35:56.55ID:riC9HV58 国立なら北大、東北大、名大、九州大と好きなことに行けんだろ
938132人目の素数さん
2026/09/15(火) 17:40:35.61ID:o3UXIvbk939132人目の素数さん
2026/09/15(火) 17:41:11.94ID:o3UXIvbk 引っ越しの金もばかにならないからな。
940132人目の素数さん
2026/09/15(火) 17:43:46.58ID:riC9HV58 引っ越しなんかどうにでもなるだろ、荷物なんかないんだし
941132人目の素数さん
2026/09/15(火) 17:48:23.41ID:o3UXIvbk 親なしの生活を甘く見すぎだね。
18歳から親の援助なしの暮らしをよくよく想像してみるが良い。
まあ、マウント取りに想像力を期待してもしょうがないかw
18歳から親の援助なしの暮らしをよくよく想像してみるが良い。
まあ、マウント取りに想像力を期待してもしょうがないかw
942132人目の素数さん
2026/09/15(火) 17:50:58.03ID:o3UXIvbk 私は高卒公務員を1年半やって、貯金を130万くらい作った。
それと親父の生命保険金でようやくなんとかなったのだよ。
それと親父の生命保険金でようやくなんとかなったのだよ。
943132人目の素数さん
2026/09/15(火) 17:59:25.08ID:yaLGLLpB944132人目の素数さん
2026/09/15(火) 18:35:35.50ID:riC9HV58 >>942
保険金があれば大卒出ていい会社につとめればよかったじゃん、アホか
保険金があれば大卒出ていい会社につとめればよかったじゃん、アホか
945132人目の素数さん
2026/09/15(火) 18:53:59.43ID:v963f4e1946132人目の素数さん
2026/09/15(火) 19:53:31.82ID:Y40WBNBy947132人目の素数さん
2026/09/15(火) 19:54:46.83ID:Y40WBNBy まあ、なんとでも言えば良い。
批判しかできない残念な人達乙w
批判しかできない残念な人達乙w
948132人目の素数さん
2026/09/15(火) 19:55:22.53ID:Y40WBNBy 世の中まともな親ばっかりじゃあないからな。
949132人目の素数さん
2026/09/15(火) 19:59:39.96ID:Y40WBNBy950お兄たま
2026/09/15(火) 20:02:52.47ID:Y40WBNBy ヨシ。
新スレも立てたし、引き続き頑張るかな。
新スレも立てたし、引き続き頑張るかな。
951132人目の素数さん
2026/09/15(火) 20:39:36.98ID:riC9HV58 趣味で数学をやってるおっさんが他人の趣味を批判する、おかしくね
952132人目の素数さん
2026/09/15(火) 20:45:02.63ID:Y40WBNBy 政治の話のことか。
別にそれは良いのだが、マウントは取るなということ。
何か言われたら、数学板だから数学しろよと言っても良いはず。
別にそれは良いのだが、マウントは取るなということ。
何か言われたら、数学板だから数学しろよと言っても良いはず。
953132人目の素数さん
2026/09/15(火) 20:48:27.38ID:riC9HV58 一度精神医にカウンセリングしてもらったほうがいいよw
954132人目の素数さん
2026/09/15(火) 20:50:27.93ID:Y40WBNBy955132人目の素数さん
2026/09/15(火) 20:51:09.59ID:Y40WBNBy 偉そうなことを言って、数学の内容は乏しくないかい?
956132人目の素数さん
2026/09/15(火) 20:56:00.97ID:riC9HV58 質問乞食爺さんに言ったんじゃねくてミジンコおっさんに言ったw
957132人目の素数さん
2026/09/15(火) 21:04:47.05ID:Y40WBNBy958132人目の素数さん
2026/09/15(火) 22:23:43.54ID:riC9HV58 それでカウンセリング受けろとは言わんだろ、被害妄想はあるかもね
959132人目の素数さん
2026/09/15(火) 22:27:55.28ID:Y40WBNBy とりあえず、批判するのならきちんと最後までやり通してね。
批判だけして逃げてるよね、いつもw
批判だけして逃げてるよね、いつも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
回帰ウォークの数え上げを、F_2上の解析学を使って導出できる。
理論的には面白いと思う。
F_2上のデルタ函数(原点特性函数)を、球固有函数の
連続スペクトル上の積分であらわす形で、公式が得られる。
勿論、素朴な数え上げで導出することもできる。
カタラン数の公式の導出が参考になるだろう。
あなたがやっていた、F_1上の数え上げから始める
やり方を、「王道であり、スジがいい」とAIが言っていた。
わたしは、母函数を用いる方法がもっとも分かりやすかった。
これは、コンボリューション(畳み込み)分解が
基礎となっている。
https://i.imgur.com/JBSLjtz.jpeg
https://i.imgur.com/ffzJQlT.jpeg
962132人目の素数さん
2026/09/16(水) 04:58:11.55ID:PkJBp3eQ >>959
お前の興味を他人に押しつるなよ、それだけ
お前の興味を他人に押しつるなよ、それだけ
963132人目の素数さん
2026/09/16(水) 05:02:17.57ID:shOkBIOs 批判を押し付けて逃げるミジンコの人w
964132人目の素数さん
2026/09/16(水) 05:02:38.59ID:shOkBIOs だったら最初から批判しなければ良い。
965132人目の素数さん
2026/09/16(水) 05:08:26.16ID:PkJBp3eQ 過去のことであっても、今なお深く傷つき、苦しまれているのは本当に耐えがたいことだと思います。子どもの頃に安心できる居場所がなかった経験は、大人になってからも生きづらさや、ふとした瞬間の強いネガティブな感情として残ることが多いです。
過去の家庭環境によるトラウマや傷を、少しずつ癒やしていくための具体的なアプローチを整理しました。
1. 傷ついた「過去の自分」をケアする
・感情の肯定:当時は出せなかった「怖かった」「悲しかった」「怒りたかった」という感情を、今のあなたが「本当につらかったよね」と認めてあげてください。
・自分のせいではないと認識する:子どもの頃の家庭環境が悪かったのは、100%親や大人の責任です。あなたが未熟だったからでも、悪かったからでもありません。
・現在の安全を確認する:心が過去に戻って苦しくなったときは、周りを見渡して「今はもうあの場所にはいない」「私は安全な場所にいる」と声に出して、脳に現在を教え込みます。
2. 専門家の力を借りて安全に処理する過去の深い傷(トラウマ)は、1人で向き合おうとすると当時の記憶に飲み込まれて体調を崩してしまうことがあります。専門のケアを受けるのが一番安全です。
・臨床心理士・公認心理師:カウンセリングを通じて、過去の記憶を整理し、今を生きやすくするためのサポートを受けられます。
・トラウマ専門の外来:心療内科や精神科のなかには、認知行動療法やEMDR(眼球運動による脱感作と再処理)など、過去のトラウマを軽減する専門的な治療を行っている病院もあります。
3. 「今の自分の人生」に集中する
・自分軸で生きる:親の価値観や「親に認められたい」という願いから離れ、「自分がどうしたいか」「何が好きか」を基準に選択を重ねていきます。
・自分を縛るルールを緩める:「〜しなければならない」という厳しいルールが家庭内で植え付けられていた場合、それに気づき、少しずつ手放していきます。
過去の家庭環境によるトラウマや傷を、少しずつ癒やしていくための具体的なアプローチを整理しました。
1. 傷ついた「過去の自分」をケアする
・感情の肯定:当時は出せなかった「怖かった」「悲しかった」「怒りたかった」という感情を、今のあなたが「本当につらかったよね」と認めてあげてください。
・自分のせいではないと認識する:子どもの頃の家庭環境が悪かったのは、100%親や大人の責任です。あなたが未熟だったからでも、悪かったからでもありません。
・現在の安全を確認する:心が過去に戻って苦しくなったときは、周りを見渡して「今はもうあの場所にはいない」「私は安全な場所にいる」と声に出して、脳に現在を教え込みます。
2. 専門家の力を借りて安全に処理する過去の深い傷(トラウマ)は、1人で向き合おうとすると当時の記憶に飲み込まれて体調を崩してしまうことがあります。専門のケアを受けるのが一番安全です。
・臨床心理士・公認心理師:カウンセリングを通じて、過去の記憶を整理し、今を生きやすくするためのサポートを受けられます。
・トラウマ専門の外来:心療内科や精神科のなかには、認知行動療法やEMDR(眼球運動による脱感作と再処理)など、過去のトラウマを軽減する専門的な治療を行っている病院もあります。
3. 「今の自分の人生」に集中する
・自分軸で生きる:親の価値観や「親に認められたい」という願いから離れ、「自分がどうしたいか」「何が好きか」を基準に選択を重ねていきます。
・自分を縛るルールを緩める:「〜しなければならない」という厳しいルールが家庭内で植え付けられていた場合、それに気づき、少しずつ手放していきます。
966132人目の素数さん
2026/09/16(水) 05:13:30.06ID:H/BxJnla 変な煽りをしなければ、身の上話をする必要もない。
良い加減やめてくれるか?
数学の話だけしてほしいんやけど。
良い加減やめてくれるか?
数学の話だけしてほしいんやけど。
967132人目の素数さん
2026/09/16(水) 05:14:57.89ID:H/BxJnla 変なカウンセリング話も必要ない。
ここでそんな話をしても何も解決しない板だから。
ここでそんな話をしても何も解決しない板だから。
968132人目の素数さん
2026/09/16(水) 05:16:56.86ID:PkJBp3eQ お前にカウンセリングを勧めてるんだよ
レスを投稿する
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 【実況】ショートスリーパー堀大輔の1日30分睡眠チャレンジ★34 [爆笑ゴリラ★]
- 【国際】米、対イラン作戦で深刻な弾薬不足 国防総省報告で限界浮き彫りに ★3 [ぐれ★]
- 【アジア大会】「この客入りは悲しい」なでしこJ、8-0大勝発進も…キャパ5万の会場に1202人。TV中継もなくファン嘆き [ゴアマガラ★]
- 立川志らく、森本レオさんへの批判に苦言「死者を悼むという美意識すらなくなってしまったのか」「いつから日本人はこんなにも堕落…」 [Anonymous★]
- 「別人すぎて脳がバグる」元・光GENJI諸星和己、ハワイ生活で“激変”の56歳イケオジ姿 [Anonymous★]
- 【東京】車中泊でナイフ所持「逮捕まで8時間拘束」薬も飲めず自販機も制限…八王子署に弁護士会が警告 [少考さん★]
- 【悲報】タバコ、また値上げ [834922174]
- 【実況】博衣こよりのえちえちMLB同時視聴-ノエたん編-🧪
- 声優の上坂すみれさん 「9月27日までに複数人で誘拐し、殺害する」との脅迫行為を確認。SNS活動を当面休止。イベントや公演にも影響か [737440712]
- 埼玉西武ライオンズが失速した理由←これ
- 【速報】ゼレンスキー、高市早苗のキーウ訪問を要請 どうする早苗! [668970678]
- マンション高階の手すり乗り越えて死ぬガキをどうすれば救えるというのか