[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
202(1): 【大吉】 【144円】 2020/01/02(木)09:22 ID:Rnj9mFDn(1/2) AAS
定義がループしています。
203: 2020/01/02(木)09:34 ID:lJNP8tAT(3/23) AAS
>>201
>Zermeloの後者関数 「0 := {}, suc(a) := {a} 」の
>順序位相（英語版）に関する極限点としてωが定義される
Nの順序位相なら、Nはノンコンパクトだから
0,1,2,… はNで収束しない
ザンネンデシタｗｗｗｗｗｗｗ
204: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)09:40 ID:YLjNnjPy(2/11) AAS
>>201 補足
＞ ペアノの公理
＞任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
さて
0 := {}
として
「suc(a) は a + 1 」を生かして
suc(a) ：＝{{a},0}と
定義してみよう
この場合、1以上の各集合の要素の数は2だ
省19
205(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)09:47 ID:YLjNnjPy(3/11) AAS
>>202
＞定義がループしています。
いいえ、ループしていません
下記をどうぞ
>>166より再録
１．勿論、これはZermeloの意図した 自然数の公理的構成とは違って、
現代数学の成果
例えば、順序位相による極限などを、自由に使っている
２．いま、問題にしていることは、
21世紀の視点から
省8
206: 2020/01/02(木)09:49 ID:lJNP8tAT(4/23) AAS
>後者関数 「0 := {}, suc(a) :={{a},0}の
>順序位相（英語版）に関する極限点としてωが定義される
全然ダメｗ
Nを{{n},0}全部を要素としてもつ集合とする
Nの順序位相なら、Nはノンコンパクトだから
{0},{{0},0},{{1},0},… はNで収束しない
ザンネンデシタｗｗｗｗｗｗｗ
207(1): 【大吉】 【29円】 2020/01/02(木)09:50 ID:Rnj9mFDn(2/2) AAS
極限数が定義できるというのは極限数そのものが何になるのかを定義してるのではなく、極限数とは何かを定義する方法が色々あると言う意味です。
我々が普段使っているザックリした言語ではそのような誤読を引き起こす可能性があるから論理式が読めないと数学ができるようにはならないのです。
もう少しいうなら、そのページの文章が後者の意味にもとりうる事は通常の知性を持ってる人間ならわかるはずです。
もちろん前者の意味か、後者の意味かは本当に教科書読まないとわからないにしても、どっちの意味なんだろうと考えてみる事くらいはできないんですか？
208: 2020/01/02(木)09:51 ID:lJNP8tAT(5/23) AAS
>現代数学の成果、例えば、順序位相による極限などを、自由に使っている
いくら順序位相とかいったところで
もとの空間にωがないのだから
収束しようがない
馬鹿丸出しｗｗｗｗｗｗｗ
こいつが大学１年の実数論で落ちこぼれたのは当然
論理が全然分からん馬鹿だもんｗｗｗｗｗｗｗ
209: 2020/01/02(木)09:55 ID:lJNP8tAT(6/23) AAS
>>205
＞ノイマン構成によって、自然数の公理的構成が可能なこと
suc(a)=a∪{a}だけでは、自然数はつくれても、
自然数でない最初の超限順序数ωはつくれないよ
Nのなかにωはないから、Nの順序位相を考えても
0,1,2,…は収束せず ωは生じないｗ
全然数学が分からないお馬鹿ちゃんなんだねえｗ
大阪大とかウソだろ、どこの大阪府立工業高校卒だか白状しろよｗ
210: 2020/01/02(木)09:58 ID:lJNP8tAT(7/23) AAS
＞Zermeloのシングルトン後者関数が、正則性公理に反する
もうその話終わってるけどな
そもそも正則性公理に反するシングルトンXは、
延々と前者が存在する時点で極限順序数ではないから
ωではない
「ωが極限順序数」である時点でシングルトンにはならない
ωがシングルトンだったらその要素ｘがωの前者になるから矛盾
いい加減理解しろよ 白痴ｗ
211(3): 2020/01/02(木)10:02 ID:lJNP8tAT(8/23) AAS
だいたい…{{}}…はただしくはシングルトンですらない
集合ですらないからだｗ
…{{}}…の要素は何か？と尋ねられた瞬間、誤りに気付かなければ馬鹿ｗ
{}も要素でない、{{}}も要素でない、{{{}}}も要素でない・・・
そもそも…{{}}…には一番外側の{}がないから、
一番外側の{}を外して、中の要素を取り出すことができない
つ・ま・り、集合ではない
212: 2020/01/02(木)10:05 ID:lJNP8tAT(9/23) AAS
◆e.a0E5TtKEのトンデモ発言
1．{}∈{{}}、{{}}∈{{{}}} だから {}∈{{{}}}!
2．{{}}はシングルトン、{{{}}}はシングルトン、・・・
だから…{{}}…(可算無限重)はシングルトン！
いやー馬鹿、ほんと馬鹿
213: 2020/01/02(木)10:16 ID:lJNP8tAT(10/23) AAS
◆e.a0E5TtKEの似非論理
１．推移律が成り立たないものを、成り立つと妄想ｗ
２．有限で成り立つものを、無限でも成り立つと妄想ｗ
◆e.a0E5TtKEの似非論理では自然対数の底eは有理数ｗ
なぜなら
任意の自然数ｎについて(1+1/n)^nは有理数
だからlim(n→∞)(1+1/n)^nも有理数！ｗｗｗ
214(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)11:38 ID:YLjNnjPy(4/11) AAS
>>195 補足
私スレ主も、証明を全く読まないわけじゃない
ガロアスレ46 の422（下記）で、PDFを作って貰ったんだ
(参考)
ガロアスレ46
2chｽﾚ:math
422 １３２人目の素数さん[sage] 2017/11/20
>>421のリンク先の証明は個人的には すんなり頭に入ってこないので、
微分可能な点の方から攻める方針でやってみたら、次の定理が得られた。
定理：f：R → R に対して、B_f＝{ x∈R｜limsup[y→x]｜(f(y)−f(x))/(y−x)｜＜＋∞ } と置く。
省25
215(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)11:50 ID:YLjNnjPy(5/11) AAS
>>214 補足
おサルのピエロも覚えているだろうか
ガロアスレ52まで、いろいろ議論した
ガロアスレ46 の422の定理は、結局間違っていた
というか、ガロアスレ46 の422の定理は
”この定理を使うと、f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
となるものは存在しないことが即座に分かる”
ということには、ならないってことだった
１．要するに、５CHの数学板では、すんなり書ける数学記号がほとんどない
例えば、分数でも、この板では1/2みたく、
省13
216(2): 2020/01/02(木)11:53 ID:v54b6Yz+(1/7) AAS
おっちゃんです。
最小の極限順序数ωは唯一つ、かつ唯一つに限り定義され ω＝card(N)＝ℵ_0 という性質を満たす。
素朴集合論の話じゃないか。
◆e.a0E5TtKEは微分積分の初歩の初歩が分からないためにわざわざZermelo構成なんて話をしているのか。
他のスレを見ても文体や ID からは誰が誰だか識別しにくくなっているようだし、スレ主のことを◆e.a0E5TtKEと書くことにする。
217: 2020/01/02(木)11:57 ID:lJNP8tAT(11/23) AAS
>>214-215
◆e.a0E5TtKEが唐突に昔話を始めたら
「もう勘弁して」のサイン
土下座しろよ 晒し首になりたくなければな
フハハハハハハ ハハハハハハハ！！！
218: 2020/01/02(木)11:58 ID:lJNP8tAT(12/23) AAS
>>216
そもそもステ立て人>>1はスレ主ではない
書き込み制限も削除もできない奴なんか「主」じゃない
ただのピエロｗｗｗｗｗｗｗ
219(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)12:03 ID:YLjNnjPy(6/11) AAS
>>207
>極限数が定義できるというのは極限数そのものが何になるのかを定義してるのではなく、極限数とは何かを定義する方法が色々あると言う意味です。
同意ですよ
>我々が普段使っているザックリした言語ではそのような誤読を引き起こす可能性があるから論理式が読めないと数学ができるようにはならないのです。
多分似たことを言っていると思うが、ニュアンスが違うと思う
良く教科書で、次の命題は同値として
定理ｘ：
・命題a
・命題b
・命題c
省18
220: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)12:06 ID:YLjNnjPy(7/11) AAS
>>216
おっちゃん、どうも、スレ主です。
ご出馬、ご苦労さまです（＾＾；
221(9): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)12:15 ID:YLjNnjPy(8/11) AAS
>>211
＞だいたい…{{}}…はただしくはシングルトンですらない
＞集合ですらないからだｗ
おまえ、数学が分かってないね
シングルトンの後者関数の極限で、ωを定義するってこと
ωを、可算無限シングルトンと名付けるってこと
それは、左右に括弧 { と } とが、可算無限ならんだものと解釈できるということ
それは、下記時枝の可算無限個ある.箱（いまの場合可算無限個の { と } ）と同じ解釈だよ
お前は、数学の定義分かってないな
後者関数の極限が、存在しない？？
省9
上下前次1-新書関写板覧索設栞歴
あと 781 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s