[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋20 (1002ﾚｽ)

スレタイ 箱入り無数目を語る部屋20 http://rio2016.5ch.net/test/read.cgi/math/1720219614/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

160: １３２人目の素数さん [sage] 2024/07/13(土) 20:23:51.83 ID:IGgqWYbA >>159 それでどうやったら結論が出るんだよ P(なにか)≧99/100をどう記述するつもりなんだ？ http://rio2016.5ch.net/test/read.cgi/math/1720219614/160

162: １３２人目の素数さん [sage] 2024/07/13(土) 20:27:17.87 ID:O49AeeOA >>160 君には理解できないから諦めて立ち去り給え http://rio2016.5ch.net/test/read.cgi/math/1720219614/162

164: １３２人目の素数さん [] 2024/07/13(土) 20:33:53.64 ID:MGEPPaNU >>160 何度書かせんだよ　頭ダチョウか？ 定義：R^N上の二項関係〜 ∀s,s'∈R^N.s〜s'⇔(∃n0∈N.∀n∈N.n≧n0⇒s(n)=s'(n)) 定理1：〜は同値関係である。 証明 〜は反射律・対称律・推移律を満たす。 〜をしっぽ同値関係と呼ぶ。 定理2：代表選択関数の存在 ∃f:R^N→R^N.∀s,s'∈R^N.(s〜f(s))&(s〜s'⇒f(s)=f(s')) 証明 選択公理のステートメントにおける「空でない集合の空でない族」をしっぽ同値類に適用すればよい。 定理3：決定番号関数の存在 ∃d:R^N→N.∀s∈R^N,n∈N.n≧d(s)⇒s(n)=f(s)(n) 証明 定理2よりs〜f(s)であるからsとf(s)はある項から先が一致する。そのうち最小の項番号をd(s)とすればよい。 定理4：箱入り無数目 ∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di) 証明 D1,...,D100とjを以下のように定義する。 ・Di:=max({d(s1),...,d(s100)}-{d(si)}) ・{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする。 このとき、i≠j⇒Di≧d(si)であるから、i≠j⇒si(Di)=f(si)(Di)が成立つ。 補足 定理2よりsi〜s⇒f(si)=f(s)であるから、siの任意有限個の項を知らなくてもf(si)(Di)を知ることができる。 定理4の系 定理4においてi∈{1,...,100}をランダム選択したときP(si(Di)=f(si)(Di))≧99/100。 証明 定理4より|{i∈{1,...,100}|si(Di)=f(si)(Di)}|≧99。 http://rio2016.5ch.net/test/read.cgi/math/1720219614/164

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.056s