[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋18 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
834(1): 04/13(土)02:02 ID:OSQZh4Mv(1) AAS
>>831
微妙に正確さが足りなかった
Sを有限集合として、可測空間は常に(S,2^S)を使うとする
{X_n}_n∈ℕをS値の確率変数たちとして、独立に一様分布するとし、
r: S^ℕ→S^ℕを問題の代表元を取る関数とする
kを任意の自然数とする
このとき、
r(-)(k): S^ℕ→Sが可測関数ならば、X_k=r(X)(k)は事象になり、P(X_k=r(X)(k))=1/#S
さらに、k1,k2が両方とも可測関数の条件を満たしていれば、
X_k1=r(X)(k1)とX_k2=r(X)(k2)は独立
835(3): Mahakatyayana 04/13(土)07:49 ID:BGUijA3r(1) AAS
>>834
>Sを有限集合として、可測空間は常に(S,2^S)を使うとする
>{X_n}_n∈ℕをS値の確率変数たちとして、独立に一様分布するとし、
>r: S^ℕ→S^ℕを問題の代表元を取る関数とする
>kを任意の自然数とする
>このとき、
>r(-)(k): S^ℕ→Sが可測関数ならば、
>X_k=r(X)(k)は事象になり、
>P(X_k=r(X)(k))=1/#S
>さらに、k1,k2が両方とも可測関数の条件を満たしていれば、
省6
836: 04/13(土)11:16 ID:AkaTH9ql(1/2) AAS
スレ主です
>>733より再録
Gautama Siddhārtha
１．可算無限個の確率変数 X1,X2,... .
２．それぞれは、Sに一様分布
３．それぞれは互いに独立
さてこのとき、S^Nからその尻尾同値類の代表元への関数rが存在する
そして、s∈S^Nとr(s)を比較することにより
s^nから2^nへの関数yで
s(n)=r(s)(n)のとき、１
省36
837: 04/13(土)18:41 ID:htJ2ZUAN(1/2) AAS
>>835
rじゃなくてr(-)(k)な
可測になるとは限らないが、rの中身によっては可測になる場合があるから、可測ではないは証明できない
838(1): 04/13(土)18:52 ID:htJ2ZUAN(2/2) AAS
>>835
ていうかお前も考えろよ
839(2): 04/13(土)23:56 ID:AkaTH9ql(2/2) AAS
>>835
>>r: S^ℕ→S^ℕを問題の代表元を取る関数とする
代表元は、同値類の代表で
代表元を取る関数の存在は、いまの場合選択公理を仮定する 即ち 選択関数を仮定すること
なので
代表元を取る関数＝選択関数 r：S^ℕ/〜→s(c)
とすべきではないか？
ここに、s(c)は下記より借用した通り
”切断を s で表せば，各同値類 c に対して [s(c)] = c”
”元 s(c) は c の代表元 (representative) ”
省16
840(1): 04/14(日)09:01 ID:g/SCaNYS(1/2) AAS
>>839 訂正と補足
訂正：
選択関数 r：S^ℕ/〜→s(c)
↓
選択関数 r：S^ℕ/〜→∪{s(c)}
補足：∪{s(c)}は、下記の東北大 尾畑研のテキストに従った。流儀はいろいろあるようです。
ja.wikipedia 選択公理は、尾畑研とほぼ同じ
en.wikipedia Choice functionでは、multivalued mapによる記述があります
(参考)
外部ﾘﾝｸ:www.math.is.tohoku.ac.jp
省26
841: 04/14(日)13:49 ID:g/SCaNYS(2/2) AAS
下記を貼っておきますね
可測関数：確率論の分野において、σ-代数はしばしば、利用可能な情報すべてからなる集合を表し、
ある関数（この文脈では確率変数）が可測であるとは、それが利用可能な情報に基づいて知ることの出来る結果（outcome）を表すことを意味する
関数一般、普通は正則関数でなく、微分可能でもなく、連続でもない
と同様に、関数の可測性は一般には保証されない
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
可測関数
測度論の分野における可測関数（英: measurable function）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。
この定義は単純なようにも見えるが、σ-代数も併せて考えているということに特別な注意が払われなければならない。
省16
842(1): 04/15(月)01:07 ID:7JY8sKWt(1/3) AAS
>>838
そろそろなんか結果出てないんか
843(1): Aniruddha 04/15(月)07:41 ID:sIIkaUye(1) AAS
>>839-840
>代表元を取る関数＝選択関数 r：S^ℕ/〜→s(c) とすべきではないか？
釈迦のrをRと置きなおせば
R(x)＝r([x])
とできるので問題ない
>>842
>そろそろなんか結果出てないんか
いいや、何も
君は？
844: 04/15(月)17:14 ID:7JY8sKWt(2/3) AAS
>>843
r本体の可測性とかなんもわからん
845: 04/15(月)18:56 ID:7JY8sKWt(3/3) AAS
そもそも、r自体が可測だとすると、r(X)はほとんど確実に定数なんたが、それが矛盾してるかというと、別に矛盾してないんじゃないのだろうか感はある
846: 05/09(木)11:15 ID:3MwLuTcY(1) AAS
2chｽﾚ:math
2024/05/07(火)
＜繰り返す＞
・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う
大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
iid(独立同分布)として扱える。どの箱の的中確率も1/6
ちゃんと勉強して単位を取った者なら分かる
省3
847(2): 05/11(土)18:10 ID:gRKhHbky(1) AAS
ひろゆきの無能力とは
装飾してごまかしていますが本質的にはこれです。
最初から相手と議論する気はなく、自分が正しい事を証明したいというわけでもなく、議論において勝つ事のみを目的としたやり方で世間一般ではそれを詭弁 と言います。
いわゆる、詐欺師がよくやる手法ですね。彼が議論において常に安全圏を確保して話をする事からもそうです。都合が悪くなると必ず上記にを行い逃げています。
基礎論婆とウマシカ野郎の論法
848(1): 05/11(土)23:44 ID:k0FyGno+(1) AAS
2chｽﾚ:math
2024/05/07(火)
＜繰り返す＞
・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う
大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
iid(独立同分布)として扱える。どの箱の的中確率も1/6
ちゃんと勉強して単位を取った者なら分かる
省2
849: 05/12(日)07:15 ID:8tY+5PJt(1/9) AAS
>>847
箱入り無数目記事のどこが分からないのか言ってごらん
850(1): 05/12(日)07:24 ID:8SetnYhs(1/8) AAS
壊れたレコード
851(1): 05/12(日)07:32 ID:8SetnYhs(2/8) AAS
記事が分からない言うと「小学校の国語からやり直し」と返す基礎論メンヘルババア
>最初から相手と議論する気はなく、自分が正しい事を証明したいというわけでもなく、議論において勝つ事のみを目的としたやり方で世間一般ではそれを詭弁と言います。
852: 05/12(日)07:33 ID:8tY+5PJt(2/9) AAS
どこが分からないかが分からないんですね？
オチコボレの典型ですね
853: 05/12(日)07:34 ID:8SetnYhs(3/8) AAS
詭弁
上下前次1-新書関写板覧索設栞歴
あと 149 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.064s