[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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だ
1 :={{0},0}
2 :={{1},0}
3 :={{2},0}
・
・
こうして構成された
後者関数 「0 := {}, suc(a) :={{a},0}
の
順序位相（英語版）に関する極限点として
ωが定義される
それだけのこと
なお、>>153より ノイマン構成
後者関数 「0 := {}, suc(a) :=a∪{a}
の
順序位相（英語版）に関する極限点として
ωが定義される
それだけのこと
当然、上記各ωは異なる
（∵ 定義の後者関数が異なるのだから、各ωが異なるのは当然でしょ（＾＾；）
205(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)09:47 ID:YLjNnjPy(3/11) AAS
>>202
＞定義がループしています。
いいえ、ループしていません
下記をどうぞ
>>166より再録
１．勿論、これはZermeloの意図した 自然数の公理的構成とは違って、
現代数学の成果
例えば、順序位相による極限などを、自由に使っている
２．いま、問題にしていることは、
21世紀の視点から
ノイマン構成によって、自然数の公理的構成が可能なことは、既知として
ノイマン構成以外の後者関数を使った場合どうなるか？
特に、Zermeloのシングルトンによる後者関数を使った場合にどうなるかを
現代数学の視点で検証しようということ
３．Zermeloのシングルトン後者関数が、正則性公理に反するというもの（＝おサルさん）がいる
そんなことは無いと、私スレ主はいう
そういう議論ですよ（＾＾
(引用終り)
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)｜＜＋∞ } と置く。
もし R−B_f が高々可算無限個の疎な閉集合の和で被覆できるならば、f はある開区間の上で
リプシッツ連続である。
この定理を使うと、f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
となるものは存在しないことが即座に分かる。一応やってみると、そのような関数 f が存在したとすると、
R−Q ＝ 無理数全体 ＝ (fの微分可能点全体) ⊂ B_f
となるので、
R−B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1)
となる。(1)の右辺は疎な閉集合の可算和だから、上の定理が使えて、f はある開区間(a,b)の上で
リプシッツ連続になる。特に、(a,b)の上で連続になる。QはR上で稠密だから、x∈(a,b)∩Qが取れる。
仮定から、fは点xで不連続であるが、しかしx∈(a,b)より、fは点xで連続であり、矛盾する。
ガロアスレ47
2chｽﾚ:math
593 １３２人目の素数さん[sage] 2017/12/12
pdf ならスレ主も証明を読む気があるらしいので、そうなると話は一変する。
相手の弁明を聞く気があるなら、イチャモンをつけても、それ単独では誹謗中傷には ならないからだ。
そして、証明を次のレスで投下する(うｐろだに上げたのでリンクを張る)。
594 １３２人目の素数さん[sage] 2017/12/12
以下の pdf に証明を書いた。
外部ﾘﾝｸ:www.axfc.net
なるべく行間が無いように、丁寧に証明を書いたつもりである。
なお、「疎な閉集合」は「内点を持たない閉集合」と同じことであるから、
pdf の中では「疎な閉集合」という概念を導入せず、必要な個所では その都度
「内点を持たない閉集合」
という言葉に置き換えた。
(引用終り)
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みたく、
通常の数学テキストでは水平の横棒−を使って、３行で表現するのが普通だが、１行の表現になる
同様に、上付き下付きの添え字も使えないし、Σ記号も同様
２．そういう不便な板に無理して書いた証明には、タイポや過誤、それに視認性が悪いことで、チェック不足や、読み手の不便がある
３．だったら、PDFにして頂戴ってこと
PDFなら、１レス2048バイトの制限もないし、自由に紙面を使えるしね
４．あと、もしテキストかネット上にPDFでもあるなら、自分で証明を書かずに、「ここにある」と提示すれば良い
テキストかネット上にPDFの方が、いわゆる”枯れている”＝時間が経過していろんな人が見てチェックされているから、ミスやタイポが取れているということ
なので、纏めると
数学記号がまともに使えない５CHの板に書かれた証明は、ミスやタイポの存在する恐れが強いし、読む方も不便だし、読む気ないよということ
書く方も、無理して、５CHの板に証明を書く必要もないだろう
どうして証明を示したいなら、PDF作って提示してくれってことよ
（その前に、ネットやテキストの証明探してくれよと）
以上
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
みたいに書いて、証明：命題a→命題b→命題c→命題a
みたいに書いてある場合がある
まあ、スペースを省く意味もあるだろうが
それよりも、定理ｘの切り口が、命題a、命題b、命題c と3つあると捉えるのが正解だと思う
つまり、命題a、命題b、命題c の3つを総合的に理解すべきだと
そして、場面に応じて、適切にあるときは命題a、あるときは命題bと使い分けるべし
で
いまの場合で言えば、
ある適切な後者関数を取ったときに、
極限順序数ωを、
「順序数全体の成す類において順序位相（英語版）に関する極限点」と考えれば、良いという主張さ
（再録）
外部ﾘﾝｸ:ja.wikipedia.org
極限順序数
(抜粋)
任意の自然数よりも大きい最小の超限順序数 ω
極限順序数は他にもいろいろなやり方で定義できる:
・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。
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
＞だいたい…{{}}…はただしくはシングルトンですらない
＞集合ですらないからだｗ
おまえ、数学が分かってないね
シングルトンの後者関数の極限で、ωを定義するってこと
ωを、可算無限シングルトンと名付けるってこと
それは、左右に括弧 { と } とが、可算無限ならんだものと解釈できるということ
それは、下記時枝の可算無限個ある.箱（いまの場合可算無限個の { と } ）と同じ解釈だよ
お前は、数学の定義分かってないな
後者関数の極限が、存在しない？？
笑えるよ
>>157より再録
(参考)
過去スレ20 再録 2chｽﾚ:math
時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
(引用終り)
222(2): 2020/01/02(木)12:22 ID:v54b6Yz+(2/7) AAS
>>221
>>211の
>＞だいたい…{{}}…はただしくはシングルトンですらない
>＞集合ですらないからだｗ
という指摘は正しい。
それは、◆e.a0E5TtKEの集合の表し方が間違っていることを指摘している。
223(2): 2020/01/02(木)12:45 ID:v54b6Yz+(3/7) AAS
>>221
>>211の
>そもそも…{{}}…には一番外側の{}がないから、
>一番外側の{}を外して、中の要素を取り出すことができない
>つ・ま・り、集合ではない
も正しい。集合の書き方は、高校1年で習うようなこと。
◆e.a0E5TtKEの定義はこれに反する。
224(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)13:48 ID:YLjNnjPy(9/11) AAS
>>222-223
数学の 定義と 解釈と
の違いが、分かってない
（>>221ご参照）
それでは、
数学はできないだろう
225: 2020/01/02(木)14:40 ID:lJNP8tAT(13/23) AAS
>>219
>「順序数全体の成す類において順序位相（英語版）に関する極限点」
>と考えれば、良い
◆e.a0E5TtKEのいう「順序数全体の成す類」は自然数しかない
そこにいくら順序位相を入れても0,1,2,…の極限点なんて存在しないｗ
おまえ、ほんと頭悪いな 白痴か？ｗ
226: 2020/01/02(木)14:50 ID:lJNP8tAT(14/23) AAS
>>221
>おまえ、数学が分かってないね
数学が分かってないのは、◆e.a0E5TtKE、貴様だ
>シングルトンの後者関数の極限で、ωを定義するってこと
正しく極限をとれば、Zermelo構成でもωは集合として存在するだろう
しかし
>ωを、可算無限シングルトンと名付けるってこと
>それは、左右に括弧 { と } とが、可算無限ならんだものと解釈できるということ
とはならない
ωは極限順序数であって後続順序数ではない
つまりωより小さい最大の順序数である前者ω-1は存在しない
したがってωより小さい順序数（つまり自然数）すべてについて
∈降下列（当然有限長）が存在するようにするには
ωが無限個の自然数を要素としてもつ必要がある
逆にωが無限個の自然数を要素として持てば
それがいかなるものであってもZermelo構成の
順序数としての条件を満たす
>それは・・・●●の可算無限個ある.箱（いまの場合可算無限個の { と } ）と同じ解釈だよ
●●の話はしないが、もし貴様がまだ
「可算無限列には最後の箱がある！」
と言い張るなら、ｊこう言い返すまでだ
「そんなものはねぇよ、ダラズが！！！」
227: 2020/01/02(木)14:57 ID:lJNP8tAT(15/23) AAS
>>224
>数学の 定義と 解釈との違いが、分かってない
ちょっと何言ってんのかわからないｗ（富沢たけし）
>>222-223のいうことは正しい
…{{}}…は集合でない！（ビシッ）
したがってシングルトンではない！！！（ビシッ）
なぜなら、一番外側の{}がないからだ！！！（ビシッ）
決まったね
それにしても◆e.a0E5TtKEは度し難い馬鹿だねｗ
こいつが大阪大学卒だとしたら大阪大学の恥だろうｗ
しかし実際は◆e.a0E5TtKEが学歴詐称してるんだろうｗ
その証拠にこいつは一切本名を出さない
本名が出なければ詐称は露見しないからな
ああ、本名なんか出さなくていいぞ
そんな工業高校卒だか中卒だかの一般人の名前なんか興味ねぇから
え？実は朝鮮人だから名前が出せない？国籍なんか気にするなよ
おまえが気にすべきことは国籍じゃない
数学が分からないくせに分かった顔したがるそのウソツキ根性だｗ
228: 2020/01/02(木)15:08 ID:lJNP8tAT(16/23) AAS
◆e.a0E5TtKEのトンデモ発言
1．{}∈{{}}、{{}}∈{{{}}} だから {}∈{{{}}}!
2．{{}}はシングルトン、{{{}}}はシングルトン、・・・
だから…{{}}…(可算無限重)はシングルトン！
いやー馬鹿、ほんと馬鹿
229(3): 2020/01/02(木)15:24 ID:v54b6Yz+(4/7) AAS
>>224
例を挙げて説明する。
Aを空集合でない集合とする。集合AのAに属する元を用いる記法は、例えば
A＝{ a,b,c,d,e }
というようにAの具体的な元 a、b、c、d、e をすべて列挙してAを表わす記法と、
A＝{ a | aは条件Pを満たす }
というようにAの元が満たすべき条件Pを具体的に書いて表わす書き方との2通りの書き方がある。
このような集合の記法は高校1年で習うようなこと。
Zermelo構成による順序数の定義は前者の集合の記法による方法である。
その方法で最小の超限順序数ωを敢えて定義してみる。そうすると、
ω＝{…{{}}…} か或いは ω＝{…{…{{}}…}…} 或いは ω＝{{…{{}}…}} などというような形で定義することになるだろう。
だが、ω＝{…{{}}…} か或いは ω＝{…{…{{}}…}…} などというような形で定義されるωの一番外側の「{}」を外すと、
…{{}}… とか …{…{{}}…}… という集合とは解釈出来ない謎の数学的対象が存在することになって矛盾が生じる。
よって、ω＝{…{{}}…} か或いは ω＝{…{…{{}}…}…} などというような形で定義することは不可能である。
故に、ω＝{{…{{}}…}} などというような形で定義することになるだろう。
だが、このような形の集合で定義されたωの一番外側の「{}」を外すと、{…{{}}…} という集合が存在することになる。
このこと自体は矛盾しないが、{…{{}}…} は最小の超限順序数ωより小さい順序数だから、{…{{}}…} は有限集合と解釈することになる。
しかし、{…{{}}…} を有限集合と解釈することは不可能だから、やはり矛盾が生じる。
だから、◆e.a0E5TtKEの意図に従って、Zermelo構成による最小の超限順序数ωを定義するようなことは出来ない。
230: 2020/01/02(木)15:47 ID:lJNP8tAT(17/23) AAS
>>229
＞◆e.a0E5TtKEの意図に従って…は出来ない。
「Zermeloのωは{}の積み重ねだけで出来る！」
という素人のナイーブな直感による意図は
完璧に間違ってたってことだなｗ
「オレ様の直感は完璧だ」と自惚れる馬鹿は破滅していく
自惚れは自分を殺す毒
231(1): 2020/01/02(木)16:18 ID:lJNP8tAT(18/23) AAS
>>229
>{…{{}}…} は最小の超限順序数ωより小さい順序数だから、
>{…{{}}…} は有限集合と解釈することになる。
{…{{}}…}はシングルトンなら当然有限集合だが
>>229のいいたいことはそうではないようだ
おそらくは有限重{}の集合といいたかったのだろう
そうだとしても>>229のいうように矛盾が生じる
なぜならもとの集合自体有限重{}
つまりZermelo構成の自然数となるから
232(1): 2020/01/02(木)16:43 ID:v54b6Yz+(5/7) AAS
>>231
>>221の
>シングルトンの後者関数の極限で、ωを定義するってこと
>ωを、可算無限シングルトンと名付けるってこと
という趣旨に従って>>229を書いた。
◆e.a0E5TtKEの意図に従った「…」は、数列を表すときなどに用いるような、いわゆるどこまでも同じ状態が続くという意味での「…」の解釈になると思われる。
上下前次1-新書関写板覧索設栞歴
あと 770 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.018s