[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
59: 2020/07/28(火)13:51:55.05 ID:U9fCF8yb(6/6) AAS
>>57 タイポ訂正
４．一方時枝は、数列 (an) で、ある自然数数 ここではmとして、mより大きな数列 (an) の数値が分かれば
その値から、am （あるいは i <m なる ai ）の値が分かるという主張
↓
４．一方時枝は、数列 (an) で、ある自然数 ここではmとして、mより大きな数列 (an) の数値が分かれば
その値から、am （あるいは i <m なる ai ）の値が分かるという主張
自然数数→自然数
省1
104(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/02(日)23:03:40.05 ID:NrBYtRST(8/8) AAS
>>99 補足
(引用開始)
時枝問題（数学セミナー201511月号の記事）より
”何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.”
(引用終り)
省12
219: 2020/10/12(月)02:37:02.05 ID:SPWfhGvZ(1/3) AAS
>不成立不成立と喚きながら証明できない人よ、哀れなり（＾＾；
数学はディベートじゃない。証明できなければ絵に描いた餅に過ぎない。
247(3): 2021/08/21(土)16:43:34.05 ID:hcG0X18Q(1) AAS
この証明納得できないんですが
外部ﾘﾝｸ:ja.wikipedia.org
＞B は A の冪集合に入っているから
そもそもＢが存在するという証明がないんですが
なんでべき集合に入っていると言えるんですか？
272(1): 2021/10/09(土)10:33:19.05 ID:G87Fbttq(4/5) AAS
詳しくは習わなくても、「ZFというものがある」というくらいは
数学の常識だと思うんですよね。数学記事にも
よく出てきますし。ましてや「公理を証明する」などは
その「証明」には暗黙に使っていることがあるはずで
その認識もないなどは、「分かってないひとだな」としか
思わない次第です。
294(1): 2021/11/08(月)07:39:24.05 ID:CF7SYpmS(3/3) AAS
>>293 補足の補足
下記より ”実数直線は標準的な大小関係 < による順序に関して線型連続体である” ”、実数直線は 大小関係 < に関して全順序集合”
それは、実数R自身が持つ性質でもある
”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
外部ﾘﾝｸ:ja.wikipedia.org
実数直線
画像ﾘﾝｸ[png]:upload.wikimedia.org
省12
370(1): 2021/11/17(水)19:14:14.05 ID:Fx1Evjgz(1/3) AAS
>>361
>…{{}}…と
>{},{{}},{{{}}},…と
>前者 の…も(後者と) 同じで、エンドレス無限だよ 同じだよ
「…がイカン」という幻聴が聴こえるらしいな 💊飲め
{},{{}},{{{}}},…の…は全て有限シングルトンだから問題ないが
…{{}}…は、一番外側の{}がないから集合ではなく大問題
省30
407(1): 2021/11/20(土)15:18:07.05 ID:5AMtJA2Q(2/4) AAS
>>406
>＞fsz(n)＝{{･･{{{}0}1}2･･}n-1}n
>＞fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω
> その定義で
> fsz(n) ＜ fsz(ω)
> はどうやって証明するつもりだい？
そこから、分かってないのか
省20
427(2): 2021/11/21(日)08:49:29.05 ID:fskC7CH9(6/17) AAS
>>418 >>423
>{{…{{}}…}}
そこ、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω>>424だよ
だから、{{…{{}}…}}→{fsz(ω)}={{･･{{･･{{{}0}1}2･･}n-1}n･･}ω}
が対応するよ
{fsz(ω)}は、ω+1が対応するよ
{…{{}}…}は、{{…{{}}…}}の前者ではあるが、
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s