おにぃのルベーグ積分勉強スレ

ルベーグ積分の内容でなくても、有益な内容なら歓迎します！

また、
レスの族と価値観に対して新たな価値観を返す関数update(,)、
価値観に対してレスの族を返す関数response()、
価値観のうち環境において許容されるもののなす集合「まともな価値観」を定め、updateとresponseを反復適用することでまともな価値観に辿り着く最適化手法「集団力による最適化」を考える。
それとは別に、価値観とレスの族に対して、その価値観における説教とされるレスをレスの族からとり除く関数bias()を定める。biasを間に挟む場合の集団力による最適化を、「バイアス付きの集団力による最適化」と呼ぶ。
つぎの命題の真偽を判定せよ。
⑴update、responseをどのようにとったとしても、集団力による最適化は成功しない。
⑵biasのとりかたによっては、update,responseをどのようにとったとしても、バイアス付きの集団力による最適化は成功しない。

>>779
(2)訂正：
ある価値観であって、任意のレスの族に対し、価値観に基づく切り捨てに通した族の元がすべて説教となるものが存在する。

>>780はうまく表せていない気がするが、めんどくさくなったので他の人が調整してくれ
要するに、アドホックに耳を塞いでいたらどんなうまい最適化も機能しないということが言いたい。

数学が好きならこれで言いたいことは伝わるだろう

条件を書き忘れたな。
価値観は、この世の任意のレスを説教とは見做せないように制限する。なせなら、そのような価値観は本人にとっても明らかにおかしいと気づくから。
現実的には自分のレスを説教とは見做さない範囲の価値観に制限されるだろう。まともな人間なら。

後から立場を変えるなら、何でも無意味な文とみなせる。
事前に決めた立場をずらさなければ、無意味な文とはみなせないものが出てくる。
また、自分の立場で文を選択的に無意味とみなす限り、どのようなフィードバックや作戦も、立場をまともにできない可能性がある。

>>784
まともじゃない人乙www

ガロアの夢とかどうでも良いから、早く夢から覚めなちゃーいwww

>>721
私生活でストレスがあって変なことをしているのを、正義観を理由に正当化していて、そのために支離滅裂なロジックを組み上げている人乙www

座禅でもして煩悩を一から取り払いなちゃーいwww

マインドクラーッシュ！www

こんなに拗らせている人が、まだ眠っていたことに驚きであるw
すごいものを掘り起こしてしまったw
徳川埋蔵金よりも希少かも、引田天功の埋蔵金くらい凄いwww

>>768 追加
(ですね)人が、用語 宇宙で倒錯していることの補強
それと檜山正幸さん、”超フィルター（ultrafilter）は確率測度とみなせること”が検索ヒットしたので貼ります（＾＾

(google検索)
超フィルター 宇宙
＜AI による概要＞（注:参照リンクがあるが 省いた）
数学の集合論における「超フィルター（ウルトラフィルター）」と「宇宙（集合論的宇宙）」のつながりは、巨大基数などの研究において、宇宙全体の構造を調べるために超積（ちょうせき）という構成法で超フィルターが使われる点にあります
超フィルターと宇宙の基本
・超フィルター：集合の集まり（フィルター）の中で、これ以上大きくできない極大なもののこと。どのような集合に対しても「その性質を満たす側」か「満たさない側」かを完全に分ける決定権を持つようなイメージです
・集合論的宇宙：すべての集合を要素として含む全体の領域（あるいはそのモデル）のこと

宇宙の理論における役割
・超積（Ultraproduct）の利用：適切に選ばれた超フィルターを用いて、たくさんの構造を「混ぜ合わせる」ことで、新しい巨大な数学的構造（超積）を作ることができます
・巨大基数の構成：通常の数学では証明できないような「信じられないほど大きな無限の数（巨大基数）」を考える際、集合論的宇宙全体の超フィルターに関する超積をとる方法が標準的に使われます
・モデルの拡張：超フィルターを通した超積によって、元の宇宙とは異なる新しい「別の宇宙（素描的なモデル）」を作り出し、公理の成り立ちや理論の整合性を研究します
超フィルターについて、さらに具体的な数学の定義（1と0に分ける性質など）や、超積がどうやって作られるかを知りたいですか？

https://m-hiyama.ｈａtenablog.com/entry/20131226/1388032550
檜山正幸のキマイラ飼育記 (はてなBlog)
確率の勉強をしようかな 20131226
「超フィルター（ultrafilter）って何なんだ： 点？ 確率測度？」
http://d.hatena.ne.jp/m-hiyama/20131217/1387245762
において、超フィルター（ultrafilter）は確率測度とみなせることを紹介しました。しかし、かなり特殊な確率測度で、
1.集合Xのすべての部分集合が事象となる
2.事象の確率は1か0に限られる。つまり、ほとんど必ず起きる事象か、ほとんど起きない事象のどちらかしかない
3.可算加法性は要求せず、有限加法性しか保証されない
このような変わった確率測度において、普通の確率論とのアナロジーはどこまで成立するのか？ という疑問が湧きます。そこでハタと気がついたことは、僕、普通の確率論なーんにも知らんわ。高校の教科書に確率もあったのですが、「確率変数」の定義があまりに意味不明で、それ以来毛嫌いしているのでした

確率論 (新しい解析学の流れ)
作者:熊谷 隆 共立出版 Amazon

『量子ファイナンス工学入門』という“良書”があります。著者の前田先生は、確率論を駆使して、株式投資に次のようなアドバイスをなさっています
http://d.hatena.ne.jp/m-hiyama/20061130/1164854081

（頓珍漢だね）

やっぱ
∀ε>0:{x>0::p(A)-ε<#(A∩[-x,x]-{0})/2x<p(A)+ε}∈F
の定義は筋が悪いかな
1個ぐらいのズレだからx→∞で無視できなくてはおかしい
また
R+の自由超フィルターを使って定義したのは
kF=F
が上手く使えたからだけど
Nの自由超フィルターで
kF⊂F
だけでなくて
kA∈F→A∈F
も条件にしておけば何とかならないだろうか
（でも余りが扱いづらい）

>>794
>Nの自由超フィルターで
>kF⊂F
>だけでなくて
>kA∈F→A∈F
>も条件にしておけば何とかならないだろうか
�@N⊃A⊃B∈F→A∈F（上方完備性）
�AA,B∈F→A∩B∈F（有限交叉性）
�BA:有限集合→A/∈F（/∈は「含まない」の意）
�CA∈F∨cA∈F（cAはAの補集合）
�DA∈F⇔kA∈F（0<k∈N）
フレシェフィルターは�Dを充たす
よって
�@�A�Dを充たすフィルターの全体FFの
部分全順序集合FFFを考えると
∪FFFも�@�A�Dを充たし
FFの極大元Fは極大性から�Cも充たす
�Bを充たすフレシェフィルターの上界の極大元Fも�Bを充たすので
このFが�@�A�B�C�Dを充たす自由超フィルター

なんの役に立つんだ

p(kA)=q
とは
∀ε>0:{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}∈F
（少々解説加えると自由超フィルターFでなくフレシェフィルターで定義したものが通常の極限値
極限値が存在しなくても自由超フィルターならp(A)を必ず定義できる）
#(kA∩[-n,n])=#(A∩[-n/k,n/k])=#(A∩[-[n/k],[n/k]])
m=[n/k],n=km+r（0≦r≦k-1）
q-ε<#(kA∩[-n,n])/(2n+1)<q+ε
q-ε<#(A∩[-m,m])/(2(km+r)+1)<q+ε
q-ε<#(A∩[-m,m])/(2m+1)・(2m+1)(2(km+r)+1)<q+ε
(2(km+r)+1)/(2m+1)・(q-ε)<#(A∩[-m,m])/(2m+1)<(2(km+r)+1)/(2m+1)・(q+ε)
δ=(2(km+r)+1)/(2m+1)・ε
s=(2(km+r)+1)/(2m+1)-k=(2r+1-k)/(2m+1)
s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ
F∋{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}
={km+r::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}

>>796
>>703
>⓪P(Z)すべてを可測とし
>�@p(A+a)=p(A)（平行移動不変性）
>�Ap(a-A)=p(A)（対称移動不変性）
>�Bp(A)=kp(kA)（反線形性）
>�Cp(A1+…+An)=p(A1)+…+p(An)（有限加法性）
>�Dp=lim[x→∞]#(A∩[-x,x])/2xが存在する時p(A)=p
を充たす確率測度を定義できる

その意義は

>>799
面白いから（オレが）

ただ面白くないのは
実質定義できても
極限が存在する場合以外は
計算が出来ないことかな
でも定義できるだけで良いかなと
今は
R+の有界自由超フィルター（有界自由とは有界集合を含まないという意）で作っているが
そもそもはNの自由超フィルターで作りたかったので
それを模索中

変な「測度」を作れるｗ

（レス乞食か失敗した）

【質問乞食爺か成功した】

>>797
>δ=(2(km+r)+1)/(2m+1)・ε
これではm,rに依存してしまうからダメだな
(2(km+r)+1)/(2m+1)・ε=kε+sε
-(k-1)≦(2m+1)s=2r+1-k≦k-1
-(k-1)/(2m+1)≦s≦(k-1)/(2m+1)
1-k≦ｓ≦k-1
ε≦(k+s)ε≦(2k-1)ε
よって
δ=(2k-1)ε
とすれば
δはm,rに依存せず
F∋{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}
={km+r::s+kq-(k+s)ε<#(kA∩[-n,n])/(2n+1)<s+kq+(k+s)ε}
⊂{km+r::s+kq-δ<#(kA∩[-n,n])/(2n+1)<s+kq+δ}
より
F∋{km+r::s+kq-δ<#(kA∩[-n,n])/(2n+1)<s+kq+δ}
となるね

>>805
>F∋{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}
={km+r::s+kq-(k+s)ε<#(A∩[-ｍ,m])/(2m+1)<s+kq+(k+s)ε}
⊂{km+r::s+kq-δ<#(A∩[-ｍ,m])/(2m+1)<s+kq+δ}
より
F∋{km+r::s+kq-δ<#(A∩[-ｍ,m])/(2m+1)<s+kq+δ}
だった

あとはsの扱いだが
s=(2r+1-k)/(2m+1)→0（m→∞）
だから何とかなるだろう

<<アスペ爺>>

>>791
定式化したモデルの挙動をそのまま実証してくれてありがとう。

ご丁寧に例の構成による解答とは感心した

>>809
あんな出鱈目な定式化をするなんて、とても数学徒の所業とは思えないwww

あぁ、誰かを見下ろさないと自我を保てない残念な人らしいwww

そろそろ次スレのタイトルを考えなければならない。
今のスレ状況に合ったものを考えようかな。

ヨシ、立てたw
あと200レス、頑張りんこだよ！

「アレ」は普通だったらテンプレ入りだろうwww

愚かな鳥は、その巣をよごす。

ヘイウッド ｢警句三百｣

四十の馬鹿は真の馬鹿である。

エドワード・ヤング ｢調刺詩-名声の愛｣

高尚なものを引き合いに出せばなんとかなると思っている模様www
偉人が可哀想だからやめたれよwww

>>817
貴方おいくつ？
早く矯正しないとヤバいよwww

上から押さえてくる人は無視出来ない、ランダウの記号のようにw
優調和なんてのがあるが全然ダメで、劣不調和であるwww

サキャ・パンディタ
宗教家
知恵がないという理由で、愚者は学問をしない。考えてみれば知恵がないからこそ、愚者は一層努力すべきである。

フロイトの精神分析の本でも読みなちゃーいwww

マインドクラーッシュwww
原作の高橋和希さんは漢だったぞ！

ブッダのダンマパダでも読みなちゃーいwww

マルクスアウレリウスアントニヌスの自省録でも読みなちゃーいwww

ミシェル・ド・モンテーニュ
哲学者
愚者の最も確かな証拠は、自説を固守して興奮することである。

>>779
>>780
トンデモ自説を固守して興奮する人乙www

>>784
トンデモ条件www

説教マウント被害者の会の会員ですwww

トンデモじいちゃんwww