[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
797: 2020/11/08(日)07:54 ID:bKzT4Sg/(1/15) AAS
>>795
>Zermeloのシングルトンによって
>{}:=x1, {{}}:=x2, … で、
>その極限としてωが出来たとして
質問１．極限、どうやってとるの？
>その後に、ω+1＝{ω}、ω+2＝{ω+1}、・・・と続いていくよ
省3
798(1): 2020/11/08(日)07:54 ID:bKzT4Sg/(2/15) AAS
>>795
>Zermeloのシングルトンによって
>{}:=x1, {{}}:=x2, … で、
>その極限としてωが出来たとして
質問１．極限、どうやってとるの？
>その後に、ω+1＝{ω}、ω+2＝{ω+1}、・・・と続いていくよ
省3
803: 2020/11/08(日)10:01 ID:bKzT4Sg/(3/15) AAS
>>799
>”lim n→∞ xn =ω”
具体的な操作は？
lim n→∞ xn＝∪（n∈N）xnなら、シングルトンになりませんよ
>”・・→∞”とか”・・→ω”とかは、ご説明として書いただけで、
>数学的には蛇足（循環論法になる）で取った方がいいけど、
>５ｃｈの議論として分り易くしたんだ
省4
804: 2020/11/08(日)10:13 ID:bKzT4Sg/(4/15) AAS
>>802
>>質問２．ω＝｛ｘ｝となるというけど、ｘは具体的に何？
>”具体的に”の数学的定義は、な〜んだ？ｗ（＾＾
>そういう質問って、幼稚だよ
もしかして、答えられなくて、キレてます？
そもそも要素が何かも考えずに書き込むって、幼稚ですよね？
それじゃ0.999…と1の間に無数の数があるといっときながら
省1
807: 2020/11/08(日)11:21 ID:bKzT4Sg/(5/15) AAS
>>805
>順序数の Zermeloシングルトンωを、極限として、抽象的に定義すれば良い
だからどう極限をとるんですか？
「抽象的」という言葉を「手順を示さず」と”誤解”してますか？
>ωは、Zermelo法なら、集合としての濃度は１だ。
>そう定義すればいい。それで良いんじゃ無い？
定義できてないので全然良くないですね ぶっちゃけ最悪
省2
810: 2020/11/08(日)13:32 ID:bKzT4Sg/(6/15) AAS
>>806
質問に答えられないのが悔しいからって
「ボクはIUTのすべてが理解できるもん！」
泣きながらむしゃぶりつく三歳児みたいな
書き込みはご勘弁願えますから
痛々しすぎて涙が出ちゃう
811: 2020/11/08(日)15:42 ID:bKzT4Sg/(7/15) AAS
まとめ
Zermeloのωが
１．{{{…}}}ならω={ω}となり、基礎の公理を満たさない
２．…{{{}}}…ならそもそも最も外側の{}がないので集合ではない（当然、要素もない）
３．任意のｎへの∋降下列を持つのは
無限個の自然数を要素として持つとき、そのときに限る
812: 2020/11/08(日)15:54 ID:bKzT4Sg/(8/15) AAS
>>802
>無限公理
>ZF公理系における公式な定義は次の通りである。
>空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：
(引用終り)
>このままの無限公理では、
>"２．基数としては、0＝Φ（空集合）、1={Φ}、2={0,1}、3={0,1,2}、・・・、n={0,1,2,・・n-1}、・・"
省10
813: 2020/11/08(日)15:59 ID:bKzT4Sg/(9/15) AAS
>>802
>二つ方法がある
>１）一つは、n番目の集合Snとして、
>"0＝Φ（空集合）、1={Φ}、2={0,1}、3={0,1,2}、・・・、n={0,1,2,・・n-1}、・・"を使って
>別に、Sn＝{0,{0,1}, {1,2}, ・・, {n-2,n-1} }みたく、ノイマンの後者を作って、
>それを集めた集合Snを作って、それに無限公理を適用して、無限集合を存在させる
何わけわからんこといってるんだろう？この人は
省7
814: 2020/11/08(日)16:05 ID:bKzT4Sg/(10/15) AAS
>>802
>２）もう一つは、無限公理を若干手直しして、
> 任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する
> ↓
> 任意の要素 x に対して {x} を要素に持つ集合が存在する
> とすること
それはツェルメロの後者関数を使った場合のωの作り方だな
省12
815: 2020/11/08(日)16:12 ID:bKzT4Sg/(11/15) AAS
>>805
Zermeloの後者関数による無限公理でωをつくっても、
その中の要素には最大元は存在しないので
シングルトンを作ることはできません
極限・極限とわめいてますが、操作が示されてないので作れません
抽象・抽象とわめいてますが、操作も示さずに存在は示せません
こんな簡単なことも理解できないんじゃ
省2
816: 2020/11/08(日)16:19 ID:bKzT4Sg/(12/15) AAS
>>806
>現代の高等数学の多くの概念は、殆どが抽象的な思念の存在でしかない
>特に、”無限”がからむ概念はそうだ
>リーマン球面の北極点の∞点しかり、射影幾何の無限遠点しかり
ん？どっちも座標系の張り合わせで具体的に構成できますが？
リーマン球面の場合、w=1/zという張り合わせで、
w=0以外の点は全部zのある点に対応します
省7
817: 2020/11/08(日)16:25 ID:bKzT4Sg/(13/15) AAS
ちなみに再三繰り返してる
♪無理〜 サファリパーク
の元ネタは・・・こいつ↓です
動画ﾘﾝｸ[YouTube]
818: 2020/11/08(日)16:59 ID:bKzT4Sg/(14/15) AAS
某スレッドでは、◆yH25M02vWFhP氏を
日向坂の齊藤京子にたとえたけど、
実はこいつ↓かもしれんな 出身も関西だし
動画ﾘﾝｸ[YouTube]
819: 2020/11/08(日)17:19 ID:bKzT4Sg/(15/15) AAS
今日の迷言
「現代の高等数学の多くの概念、特に、”無限”がからむ概念は、
殆どが抽象的な思念の存在でしかない
リーマン球面の北極点の∞点しかり、射影幾何の無限遠点しかり」
二行目まではかっこいいんだが、三行目でガクッとズッコケる
いやこれほど具体的な構成、ほかにないって！
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s