Inter-universal geometry と ABC予想 (応援スレ) 73 (787ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
675(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/16(土)07:51 ID:psDSFTci(3/9)
>>664-670
ここは、中高一貫校生が来る可能性があるので
書いておくが ；ｐ）
>>”σ集合体では加算個の演算が自由にできる”
>加算個は可算個の誤記として、
そこね >>663 確率論基礎 重川 P6からの転記だが
重川先生の誤記だね。教えてあげると 喜ぶだろう （＾＾
さて、下記 確率の公理 にその答えの記述がある
百回音読してね
なお、『簡単な例：コイントス』があるよね
コイン投げの可算回も可！！！ｗｗｗ ；ｐ）
サイコロ投げも 同じだ
(参考)
https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E3%81%AE%E5%85%AC%E7%90%86
確率の公理
コルモゴロフの公理は、1933年にアンドレイ・コルモゴロフが導入した、確率論の基礎となる公理である[1]
コルモゴロフによる公理系
略
公理5と6より、次の一般化加法定理（完全加法牲）が導かれる[7]。
一般化加法定理
集合列
{An}n∈N は、互いに素であり、
⋃n=1〜∞An∈Fならば、
P(⋃i=1〜∞Ai)=?i=1〜∞P(Ai).
一般化加法定理を満たす
P は、F が生成する完全加法族（σ-集合体）上の非負かつ完全加法的な集合関数に一意的に拡張可能である[8]。
簡単な例：コイントス
一回のコイントスを考え、コインが表 (H) または裏 (T) のいずれかで着地するものとする（両方は起きえない）。コインが公正であるかどうかに関して仮定はしない。
略
上記の通り、表の確率と裏の確率の合計は1である。
https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%85%A8%E5%8A%A0%E6%B3%95%E6%97%8F
完全加法族
完全加法族（英: completely additive class [of sets], completely additive family [of sets]）とは、主な用途として測度を定義することに十分な特定の性質を満たす集合の集合である。特に測度が定義される集合全体を集めた集合族は完全加法族になる。
可算加法族（英: countably additive class [of sets], countably additive family [of sets]）、(σ-)加法族（（シグマ）かほうぞく、英: σ-additive family [of sets]）、σ-集合代数（シグマしゅうごうだいすう、英: σ-algebra [of subsets over a set], σ-set algebra）、σ-集合体（シグマしゅうごうたい、英: σ-field [of sets]）[注 1]ともいう。
この概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い（つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう）ので注意が必要である[1]。
いくつかの等価な定義がある。
略
(引用終り)
以上
683(1): １３２人目の素数さん [] 08/16(土)08:38 ID:gZjqvGya(2/7)
>>675
>さて、下記 確率の公理 にその答えの記述がある
はい、ゼロ点です。
訳も分からずコピペしたところでぜんぜん答えになってないよ。
「σ集合体において可算個の演算が自由にできる」
「演算」とは集合の合併∪と交叉∩を指す。
「可算個の演算」とは可算個の集合の演算を指す。
「σ集合体において可算個の演算が自由にできる」とは「σ集合体は可算個の演算について閉じている」すなわち「σ集合体の可算個の元の演算結果もσ集合体の元である」という意味。
実際そのことが合併については定義1.1(3)、交叉については命題1.2(2)で述べられている。
つまり「σ集合体において演算が自由にできる」とは「σ集合体において演算結果が閉じている」という意味であって、
「数学において無限回の操作の繰り返しは許されない」に対する反例としてσ集合体を持ち出すのはまったくトンチンカン。
どうせ文字列検索でヒットしたというだけで持ち出してきたんでしょ？ また赤っ恥かいちゃったね。
因みにσ集合体は測度を定義するのに十分な性質を持っており、それが確率空間における事象の集合にσ集合体であることを要請する理由。
ということで持ち出すならσ集合体ではなく単純に可算個の集合の合併（交叉）とすべきであった。
しかしそれも大間違い。実際、
・任意の集合族の合併は和集合の公理により ∀X∃A∀t(t∈A⇔∃x∈X(t∈x)) で定義される。
・任意の集合族の交叉は ∩X={x∈∪X|∀y∈X(x∈y)} で定義される。
の通り、どこにも無限回の操作の繰り返しは出てこない。当然だ。そんなものwell-definedでないのだから。
オチコボレ君はσ集合体以前にこんな初歩の初歩から分かってないのだろう。
数学板で分かってるふりしてもみっともないだけ。少しは恥を知った方が良いと思うよ。
684: １３２人目の素数さん [] 08/16(土)09:01 ID:gZjqvGya(3/7)
>>675
中高一貫校生の面前で分かってるふりをする詐欺師であることをハッキリされてしまってどんな気分ですか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s