[過去ログ] スレタイ 箱入り無数目を語る部屋4 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
809(2): 2022/11/06(日)14:35 ID:nNTYWkJt(6/6) AAS
ん?文字化け失礼。再投稿
時枝氏の記事で言うと
「袋をごそごそさぐっていってそいつと同値な(同じファイバー)の代表
r=r(s)をちょうど一つ取り出せるわけだ。」
の箇所。これは「φ(a)の値が入手できる」ということでしょ。
でなければ、99個の決定番号の入手
及び残り1列の中から開けずに残した一箱の中身を
省1
816(1): 2022/11/06(日)15:06 ID:aV+KEqav(19/54) AAS
AA省
822: 2022/11/06(日)15:22 ID:+0wVTm4U(24/43) AAS
>>809
時枝の同値関係を〜と書く。実数列 s が属す同値類を [s] と書く。s∈[s]∈R^N/〜
選択公理
「空でない集合の空でない任意の族の直積は空でない」
の「空でない集合の空でない族」として R^N/〜 を当てはめれば、
任意の類 ∀[s]∈R^N/〜 に対して代表列 r=f([s])∈[s] を与える選択関数 f:R^N/〜 → R^N の存在が保証される。
関数 g:R^N → R^N/〜 を g(s)=[s] で定義すれば、合成関数 f・g:R^N → R^N は、任意の実数列 ∀s∈R^N に対しその代表列 r=f・g(s) を与える。
省4
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.028s