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

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

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

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

400: １３２人目の素数さん [sage] 2022/09/21(水) 00:54:45.48 ID:d8bCuxEf さて、T_0 は完全代表系なので、T_0 は以下の2つの性質を満たす。 (1) ∀x∈[0,1]^N, ∃t∈T_0 s.t. x〜t. (2) ∀x∈[0,1]^N, ∀t_1,t_2∈T_0 s.t. [ [ x〜t_1 かつ x〜t_2 ] ⇒ t_1＝t_2 ]. 特に(1)から、各 x∈[0,1]^N に対して、集合 { t∈T_0｜x〜t } は空ではない。 そこで、各 x∈[0,1]^N に対して、集合 { t∈T_0｜x〜t } の中から好きな元を1つ選んで y とする。 よって、y∈T_0, x〜y が成り立つことになる。特に ∃n_0≧1, ∀n≧n_0 s.t. x_n＝y_n が成り立つわけだが、そのような n_0≧1 には最小値が存在する。そこで、その最小値のことを d(x) と定義する。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/400

563: １３２人目の素数さん [sage] 2022/10/06(木) 00:33:13.12 ID:ulLm3RVN >>550 R^N には一様分布が存在しないが、[0,1]^N なら一様分布が存在するので、こちらを使うことにする。 この場合、>>550の手順は次のように書ける。 ・ s＝(s0,s1,…)∈[0,1]^N を一様分布に従ってランダムに選ぶ。 ・ ここから形式的ベキ級数 s＝s0＋s1x＋s2x^2＋… を作ることができる(同じ記号を流用)。 ・ s 〜 t を満たす t∈T_0 がただ1つ存在する(T_0 ⊂ [0,1]^N は事前に用意しておいた完全代表系(>>398-400))。 ・ この t もまた、形式的ベキ級数だと見なせる。 ・ f(x)＝s−t と置くと、これは多項式になる。 ・ さらに、s の決定番号 d(s) について、d(s) ＝ deg f(x)＋1 が成り立つことが確認できる 　 (細かいことだが、 d(s) ＝ deg f(x) ではない。正しくは＋1が必要)。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/563

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.038s