[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
156(1): 2020/01/01(水)10:05:53.13 ID:Vft3k8P2(1/7) AAS
反します。
正確に言えば集合Ωが
F = {x | ∃xn∈…x2∈x1=Ω, xn=x}
とおくとき
Fの任意の元がsingletonか空集合
を仮定するとZFCの公理ではΩは有限Zermelo順序数になります。
よってこの性質をもつΩでω番目の順序数を持つことはできません。
316(1): 2020/02/22(土)17:08:29.13 ID:0iFmeQIA(11/13) AAS
それじゃ、おっちゃんもう寝る。
345: 2020/02/26(水)08:48:16.13 ID:BQXtUH8s(1/5) AAS
>>344
嫌〰い!💩ヂヂィッチャマ!
エモもう貴様なんか狙わねーからな❗
エモは安達陛下の皇后様になりたいから、
ヂヂィッチャマ、キモキャラストーカーのエモを安達っちゃまに輸出したかったら、陛下のスレにエモッピが出して置いたQuizに答えといてよね!
😠💨
540: 2020/03/15(日)11:08:29.13 ID:6WUtCAe5(2/3) AAS
>>539
時枝戦略を使えば確率1-εで当てられますけど?
まったく分かってませんね。時枝戦略を論じたいなら正しく理解することから始めましょう。
556: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/20(金)14:16:36.13 ID:+qJdNaLm(8/8) AAS
>>554
(補足)
本 「Infinity, Causation, and Paradox」 著者: Alexander R. Pruss
は、2018発行な
さて
>DR Pruss氏は下記で、conglomerabilityの正確な意味がいまいち分からんけど
conglomerabilityは、下記の Reliability and Risk: A Bayesian Perspective 2006
では、ベイズ理論で、σ-加法性の代わりに使われる概念みたいだな(下記)
(参考)
外部リンク:books.google.co.jp
Reliability and Risk: A Bayesian Perspective 2006
著者: Nozer D. Singpurwalla
P13
conglomerabilityの公理というのがあって
コルモゴロフの確率公理のσ-加法性の代わりに
導入されたものらしい。
詳しくは、2.5, 5.2.3, 5.3.2を見ろってことらしい(本を買う気がないのでスルー(大学生なら図書に入れてもらえば良い))
(なお、検索で見つけた論文では、下記が一番 conglomerabilityについて詳しい)
外部リンク:www-dimat.unipv.it
Pietro Rigo Dipartimento di Matematica “F. Casorati”Universita di Pavia - Italia
外部リンク[pdf]:www-dimat.unipv.it
International Journal of Approximate Reasoning, 88, 387-400.
Basic ideas underlying conglomerability and disintegrability June 16, 2017
Abstract
The basic mathematical theory underlying the notions of conglomerability and
disintegrability is reviewed. Both the precise and the imprecise cases are concerned.
577: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/21(土)20:59:47.13 ID:gPebnXHG(11/13) AAS
自称東大ww(゜ロ゜;
657(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:13:17.13 ID:Toc1jVc8(2/8) AAS
>>656
つづき
2.「.999…00…が.000…00…と同値(つまり、 .999…00… 〜 .000…00…)」について
・まず、「コーシー列を、理解し 存在を認めた」として、√2とか円周率πが無限桁の小数だということは良いだろう(上記)
・一番簡単なのは、有限小数を ある小数第n位以降が全て”0”の無限小数と見ることである
(この視点は、多項式が ある項以降全て”0”の形式的冪級数と見る視点と同じ(下記))
・そこで、.999…で 9がひとつずつ増えるコーシー列C:c1=.9,c2=.99,c3=.999,・・・を考える
このコーシー列Cが、整数”1”を表す(収束する)ことは、実数の構成から自明だ
そして、コーシー列Cは 有限で終わってはならないこともまた、上記 √2とか円周率πと同様だ
・そこで、任意の有限 cn=0.99・・9(小数第n位まで9)が、無限 cn=0.99・・9 00・・とみなせることも、上記の通り
この数列cn=0.99・・9 00・・と、数列 000…00… とは、時枝の定義のしっぽが一致し、決定番号dはd=n+1となる
決定番号dが、上記1同様、自然数N全体を渡ることは自明
QED
つづく
726(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)16:48:53.13 ID:JV2qk9Qn(13/14) AAS
おサル必死
くっ くっ く、 >>723ご参照 ww(^^;
741(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/28(土)11:16:30.13 ID:MRwZqC/h(1/5) AAS
>>737
だれか知らないが、コーシー列を誤読しているよ
外部リンク:ja.wikipedia.orgコーシー列
> 収束するかどうか調べるためには、その前に極限値がわからなければ
> ならないのであるが
正確には、下記だ。つまり、
”収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。”
です。上記とは、真逆の意味だよ。分かりますか?
外部リンク:ja.wikipedia.org
コーシー列
(抜粋)
実数におけるコーシー列
|xn - xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる。また本質的に同じことだが、級数の収束性を和を仮定せずに判定することもできる。
コーシーの収束判定基準という。
収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。
コーシー列の収束性と空間の完備性
距離空間 (X,d) は、その任意のコーシー列が X 上に極限を持つとき完備であるといい、完備である距離空間を完備距離空間、または単に完備空間という。
“実数の連続性”は、実数全体の成す距離空間 R が完備であることを意味している。 すでに述べたように、Rk や Ck などもすべて完備である。 一方、有理数全体の成す集合 Q やユークリッド空間内の有理点全体 Qkなどを完備でない距離空間の例としてあげることができる。
実数の構成
実数の構成法の一つに、完備化と呼ばれる有理コーシー列から実数を定めるものがある。
(引用終り)
>1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
>では同値類は異なるよ
いわんとしていることが、正確には理解できないが
空の箱を許容するという意味なら、{実数+Φ(空)} の可算無限列を作れば良い
766(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)09:57:36.13 ID:PhmwLbdr(1/6) AAS
>>765
おまえの勝手だが
おまえはIUTについて語れるレベルに達していないことは明白だよw
868: 2020/04/03(金)13:54:06.13 ID:kfXJpfMA(1) AAS
学術の巨大掲示板群 - アルファ・ラボ
外部リンク:x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
932: 2020/07/10(金)09:13:35.13 ID:e3xNYXlE(14/80) AAS
素人にとってはABC予想どころか、
ファルティングスが解決したモーデル予想すら、
結果だけ知っときゃいいレベルの話
わざわざ登ろうとするのは愚の骨頂である
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.035s