[過去ログ] スレタイ 箱入り無数目を語る部屋18 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
836: 04/13(土)11:16 ID:AkaTH9ql(1/2) AAS
スレ主です
 >>733より再録
Gautama Siddhārtha
1.可算無限個の確率変数 X1,X2,... .
2.それぞれは、Sに一様分布
3.それぞれは互いに独立

さてこのとき、S^Nからその尻尾同値類の代表元への関数rが存在する
そして、s∈S^Nとr(s)を比較することにより
s^nから2^nへの関数yで
s(n)=r(s)(n)のとき、1
省36
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
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.771s*