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

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

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

---

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

---

451: １３２人目の素数さん [sage] 2022/11/01(火) 12:17:21.33 ID:sIOgpcGr 続いて、上記の写像 P：R → [0,1] を、A_f 上に拡張して P：A_f → [0,1] を定義する。 A_f の各元は、互いに素な R の元の有限個の和として表せるので、A∈A_f を任意に取れば、 ある N≧1 とある互いに素な B_1,…,B_N∈R が存在して A＝∪[r＝1〜N] B_r と表せる。 そこで、P(A)：＝Σ[r〜1〜N] P(B_r) と定義する。各 B_r は B_r∈R を満たし、 そして R 上では P の定義は済んでいたので、P(B_r) は既に定義済みであり、 よって P(A)：＝Σ[r〜1〜N] P(B_r) の右辺はちゃんと意味を持っている。 こうして、P：A_f → [0,1] を定義する。この定義は well-defined である。 すなわち、A＝∪[r＝1〜N] B_r の右辺の表現の仕方によらず一意的に P(A) の値が定まる。 より具体的に言えば、同じ A＝∪[r＝1〜N] B_r を別の有限個の互いに素な C_1,…,C_M∈R によって A＝∪[r＝1〜M] C_r と表せたときに、 Σ[r〜1〜N] P(B_r) ＝ Σ[r〜1〜M] P(C_r) が成り立つことが示せる。このことはリンク先で証明されている。 こうして P：A_f → [0,1] が定義できたが、この P は A_f 上で有限加法的であることが示される。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/451

---

ﾒﾓ帳

(0/65535文字)

---

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

---

あと 551 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.011s