TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
なぜ0^0=1なんですか?
秋山仁
代数幾何学ビナギーズスレット(4°)
確率論とそれに近い分野のスレ
ようじょですpart3
数学の本第77巻
【数学者】大類昌俊【総合】 Part3
コラッツ予想がとけたらいいな
数学の洋書vol.2
■■■■■■■■■■■   裏金
302 :
>>290 補足
(引用開始)
いったい無限を扱うには,
(1)無限を直接扱う, (2)有限の極限として間接に扱う,
二つの方針が可能である.
確率変数の無限族は,任意の有限部分族が独立のとき,独立, と定義されるから,
(2)の扱いだ.
素朴に,無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.
(引用終り)

”任意の”は、基礎論的には、全称記号∀です
英語では、"any" ですが、"for all"(全て)でもあります

「素朴に,無限族を直接扱えないのか? 」とおかしな記述
集合で考えましょう
可算無限集合Aで、その集合の元に対し
∀a∈A→aは整数
が言えれば、A ⊂Z(整数の集合)
で、Aは整数の集合(Zの部分集合)
が言える。

現代数学では、可算無限集合だからと言って、大騒ぎの必要もない
確率変数の(可算)無限族とて同じこと。無限族を、一つの集合として見れば良い
そうすると、無限族の要素について、語るのは通常のことにすぎない

確率変数の独立の定義が、X1とX2と、二つの組み合わせから始まって
n個の組み合わせに至り、n→∞を考えるのもまた、自然な流れ

ここで、”n→∞”という曖昧さの残る表現を避けて、全称記号∀を用い
”∀有限部分族が独立”とするのも、全く自然な現代数学の表記にすぎない

これについて、上記の(1)と(2)を分けること自身が、間違い

ZFCの集合論上で、数学を論じる以上、
集合としての(可算)無限族について、何かを語るためには、
その集合の要素について、語るしかないのだから

なお、無限の対象について
”任意の有限部分族がXXのとき,XX,”という言い回しは、現代数学では結構普通で
コンパクト性定理(下記ご参照)でも、この表現が使われている

https://ja.wikipedia.org/wiki/全称記号
全称記号
(抜粋)
全称記号(universal quantifier)とは、数理論理学において「全ての」(全称量化)を表す記号である。
通常「∀」と表記され、全称量化子、全称限量子、全称限定子、普遍量化子、普通限定子などとも呼ばれる。

つづく

ホモトピー,ホモロジー,ホモロジー代数コホモロジー
代数幾何学ビナギーズスレット(4°)
現代数学って結局役に立たないじゃん
志村逝く
工学部の一年生だけど院は数学科にいきたい
プログラミングBASIC言語について。
思考盗聴器を開発せよ
加藤毅は引用2
分からない問題はここに書いてね456
数列 総合スレ
--------------------
【日光山】輪王寺・東照宮・二荒山神社【二社一寺】
BEMANIに何があったのか 4
王路(引き寄せの法則)  おまえらの力が必要だ!
今回BABYMETALに完落ちしました。キッカケは?
今日のオートレースを予想しよう838
【PS4/XBOX1】 Dead by Daylight part542
【名無しかっぱ限定】統合失調症(旧・精神分裂症) 雑談スレ part21
埼玉の高校野球について語ってみるか☆428
裏日本のバカ三兄弟新潟金沢福井2
R&BファンはCDいつまで買うの?
 洋 楽 は い つ 終 わ っ た の ? B
クロスアンジュ天使と竜の輪舞はスパロボに寄生する糞アニメ15
PENTAX KP part 21
仙台の田代まさしも塩釜で年越しそばx1287
【戦略・総合】経営コンサルティング 15【日系・IT】
【iOS/Android】Arcaea(アーケア) part19
串ってどうやって刺すんですか?
【BSフジ】ザ・ラストシップ Part2【ネタバレ禁止】
【Another story】有安杏果vol.11
別館★羽生結弦&オタオチスレ13324
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼