26/08/12 15:01:04.74 +yYrJVv0.net
わざわざ荒らしの為にスレ立てたくせに
高校数学の出題スレ
rio2016.5ch.io/test/read.cgi/math/1786250913/
624:１３２人目の素数さん
26/08/12 15:06:13.07 +yYrJVv0.net
人の言うこと聞くこともあるんだ、偉い偉い
625:１３２人目の素数さん
26/08/12 15:06:23.53 OW01vagE.net
>>622
はい、立てたw
無課金の人はスレ立てできる制限が厳しそうだから、あまりやらせんなよw
626:１３２人目の素数さん
26/08/12 15:07:47.23 OW01vagE.net
>>624
俺は過去ログ調べたり、論文を引っ張ってきたりしてるだろw
誰かが親切な爺さんて言ってたんだよ。
おにぃだけどなw
627:１３２人目の素数さん
26/08/12 15:09:40.18 +yYrJVv0.net
>>626
それ俺、即ト答爺さんと間違えたんだよ
628:１３２人目の素数さん
26/08/12 15:10:41.82 OW01vagE.net
>>627
出題爺さんとは別の人か。
629:１３２人目の素数さん
26/08/12 15:13:14.85 +yYrJVv0.net
あっ、間違えた爺さんに親切にも独立確率変数である証明を書いてやっただろう。tal eventになることはあれでいいだろう。
630:１３２人目の素数さん
26/08/12 15:14:30.07 +yYrJVv0.net
代数系は強いけど解析系はまるっきりだめ
631:１３２人目の素数さん
26/08/12 15:14:49.97 OW01vagE.net
スマンけど、基礎論混ぜられると俺わからんからね。
それは基礎論好きの人達でやってね。
632:１３２人目の素数さん
26/08/12 15:16:11.00 OW01vagE.net
>>630
ルベーグ終われば、解析も普通て言えるんじゃないの。
俺は代数の人間ではないよw
633:１３２人目の素数さん
26/08/12 15:16:45.86 OW01vagE.net
この板はおそらく基礎論に偏っている。
634:１３２人目の素数さん
26/08/12 15:47:48.20 +yYrJVv0.net
>>632
大学数学質問スレで一番早く答えてる人じゃないの？
635:１３２人目の素数さん
26/08/12 15:51:48.02 OW01vagE.net
>>634
私のこと？
私は最近は答えていないよ。
出題爺さんへの抵抗のためにw
本当に大学の範囲なら解くかもしれない。
636:１３２人目の素数さん
26/08/12 15:52:36.86 +yYrJVv0.net
>>635
そうか
637:１３２人目の素数さん
26/08/12 15:53:44.58 OW01vagE.net
指針を示すときはあるけどね。
面倒だからAIを利用するけどw
638:１３２人目の素数さん
26/08/12 16:05:53.06 rq9Y7Rv8.net
30後半あたりから一部の人間が変にハイテンションになるの何なんだろうな
牛沢とか幕末志士とか
現実逃避なのかな
でもユーモアじゃないし唐突だから薄ら寒いんだよな
639:１３２人目の素数さん
26/08/24 17:07:19.95 t6WpdyRJ.net
ツォルンの補題 ⇒ BPI。
ブール代数上の素イデアルと自由超フィルタは補元写像を介して双対の関係。
自然数のべき集合P(N)はブール代数B。B上の自由超フィルタUを一つ取る。
fをBからカントール空間{0,1}^Nへの自然な写像とする。
X:=f(U)がルベーグ可測と仮定。
(1)
Xのすべての元のすべての項を0/1反転した集合をX~とする。
全ビット反転でルベーグ測度不変、X∩X~={}、X∪X~={0,1}^N からμ(X)=1/2が従う。
(2)
Xの任意の元の任意有限個の項を0/1反転した集合をX'とする。
自由超フィルタの有限排除性、有限交叉性、上方集合性からX=X'。すなわちXはコルモゴロフの0-1法則の適用条件を満たす。よって μ(X)=0∨μ(X)=1 が従う。
(1)と(2)は矛盾だからXはルベーグ非可測。
640:１３２人目の素数さん
26/08/25 13:45:48.80 8JuG42n+.net
巨大数に興味を持って順序数からの集合論を勉強しなおしたけどやっぱり意味不明やわ
641:１３２人目の素数さん
26/08/25 13:46:46.45 8JuG42n+.net
ごば
642:１３２人目の素数さん
26/08/25 18:11:27.87 8EOvj0z/.net
>>640
巨大数スレで
643:１３２人目の素数さん
26/08/25 18:14:30.94 xPR2Z3Oh.net
巨大数を語り合うスレ
rio2016.5ch.io/test/read.cgi/math/1660209003/