[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
265: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)07:23 ID:qQhss2MU(1/8)調 AAS
雑談 ◆yH25M02vWFhP 「トンチン・カーン」となるｗ
952 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 11:42:34.60 ID:z3zwlfJp
2chｽﾚ:math
＞「ツェルメロのω=･･･{{{}}}･･･は、
＞ シングルトンどころか集合でもない、新しい存在！」
＞と認めたとして、シングルトンとの比較はどうすんの？
＞･･･{{{}}}･･･＞{}
＞･･･{{{}}}･･･＞{{}}
＞･･･{{{}}}･･･＞{{{}}}
＞をどうやって示すつもり？ｗ
958 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 15:09:02.99 ID:gtH9cx8i
2chｽﾚ:math
＞添え字（いまの場合 n∈Nと ω）があれば十分でしょ？
960 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 15:36:41.85 ID:z3zwlfJp
2chｽﾚ:math
＞全然ダメでしょｗ
＞a∈･･･∈bという列の存在からa<bを導く場合
＞x∈･･･{{{}}}･･･となるxが存在しないから
＞y<･･･{{{}}}･･･となることなんか証明しようがないじゃん
968 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 17:54:59.16 ID:gtH9cx8i
2chｽﾚ:math
＞おサルさん 何言っているの？
＞コトバのサラダそのものじゃんｗ
＞統合失調症のお薬飲みましょうねｗｗ
973 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 18:22:44.88 ID:gtH9cx8i
2chｽﾚ:math
＞有向点族を参考に投下しておく
＞おれも、ここらは全く詳しくないけど
＞おサルは非道すぎるよね
266: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)07:35 ID:qQhss2MU(2/8)調 AAS
雑談 ◆yH25M02vWFhP こと「トンチン・カーン」は
添え字（いまの場合 n∈Nと ω）の順序関係で
大小が分かる！と「馬鹿思考」に陥ってるが
もちろん、んなこたぁない
例えば
１＝{{}}と、３＝{{{{}}}}が、１＜３となるのは
{{}}∈{{{}}}∈{{{{}}}}
となるからであって、添え字とは全く関係ないｗ
そして任意の自然数ｎ＝{･･･{}･･･}と、ω＝･･･{}･･･が
ｎ＜ωとなる、と証明するには
{･･･{}･･･}∈･･･∈･･･{}･･･
となる列が存在すると示すしかないが、そもそも
･･･{}･･･ が集合でなく
x∈･･･{}･･･となるxが存在しないのであれば
{･･･{}･･･}∈･･･∈･･･{}･･･
となる列も存在せず、ｎ＜ωなんて示しようがない
添字以前の問題であって、
「有向集合ガー、有向点族ガー」とかいうのは
白痴の戯言である（一刀両断！）
有向集合
https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E9%9B%86%E5%90%88
「数学における
有向集合（ゆうこうしゅうごう、directed set）、
有向前順序集合 (directed preordered set) あるいは
フィルター付き集合 (filtered set) とは、
空でない集合 A と反射的かつ推移的な二項関係（つまり前順序）≤ との組 (A, ≤) であって、
さらに任意の二元が上界を持つ、
すなわち A の任意の元 a, b に対して、
A の元 c で a ≤ c かつ b ≤ c を満たすものが必ず存在するものをいう。」
268(3): Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)07:50 ID:qQhss2MU(3/8)調 AAS
>>267
大学によりますが、集合論の講義がない場合もあります
さらにいうと、別に知らなくても数学者にはなれます
ある数学者（代数幾何専攻）の著書の集合論に関する記述が
惨憺たるものであることを指摘する文章
http://fuchino.ddo.jp/misc/superlesson.pdf
271: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)09:06 ID:qQhss2MU(4/8)調 AAS
>>269
>講義がない場合もあるんですね。
ありますね
東大では２年時に「集合と位相」という講義はありますが
半期で、位相と一緒なので、基礎的なことだけで
ZFとかZFCとかという形では教えないかもしれませんね
274: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)10:51 ID:qQhss2MU(5/8)調 AAS
>>269
>「選択公理を証明できるかも」と言うので、
>「いやいや公理を証明するっておかしいでしょ。
> 証明するとしたら、ある公理系から証明することになるが
> ZFとは独立であることが証明されている」と言ったら
> ブチ切れられて･･･
>>268で紹介した数学者の方も選択公理を知らず
整列定理と混同してましたからね
（選択公理と整列定理は同値ですが、
ステートメントとしては異なります）
数学者といっても無限に関心がないと
そういう感じなんでしょうかね
275: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)10:53 ID:qQhss2MU(6/8)調 AAS
>>270
>怒ることはないと思うんですよね。
>何で怒るのか、まったく分からない。
まあ、恥ずかしいと思ったんでしょうね
でも知らないんじゃ仕方ないですよね
怒らせとけばいいんじゃないですか？
あなたは全く悪くないですよ
276: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)10:58 ID:qQhss2MU(7/8)調 AAS
>>272
まあ、しかし数学の命題を、ZFとかから証明することはまずないですからね
選択公理くらいは知っといて欲しいとは思いますけど
>>273
>>268で紹介した数学者は東大卒らしいです
まあ東大って数学科でも数理論理とか集合論の講座がないくらいなんで
集合論について呆れるほど疎くても特に驚きはありませんが・・・
277: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)11:16 ID:qQhss2MU(8/8)調 AAS
2chｽﾚ:math
＞5．ノイマンのｎで、上記のように余分のn-1までを抜くと、
＞ {n-1}が出来て、n-1に上記を繰り返すと
＞ ｎ重のシングルトン{{・・{{}}・・}}ができる。
＞ つまり、潜在的に、ｎ重のシングルトン{{・・{{}}・・}}を含んでいるってこと
＞6．いま、ノイマンの自然数構成で、出来た自然数を全部集めると、
＞ 自然数の集合 N:={0, 1, 2,・・, n,・・} ができる
＞ Nは、上記1項の”0〜n（N未満）を全て集めた集合”とみることができる
＞ また、N＝ω（最小の極限順序数）でもあることに注意しよう
＞ つまりは、lim n→∞ n＝ω と見ることができる
＞7．さて、ノイマンの自然数構成で、
＞ N＝ω（最小の極限順序数）が構成できたことを使って
＞ ５項の極限を考えると、ノイマンのｎが潜在的に、
＞ ｎ重のシングルトン{{・・{{}}・・}}を含んでいることから
＞ 極限lim n→∞ n＝ω を考えると、
＞ 可算多重のシングルトン{{・・・{{}}・・・}}が、考えられるってこと
＞（実に単純な話）
質問
N:={0, 1, 2,・・, n,・・}から、
どこまでの要素を抜いて、どの要素だけ残せば
可算多重のシングルトン{{・・・{{}}・・・}}
ができますか？
ｎにはｎ−１は存在しますけど、ＮにはＮ−１は存在しませんよ
わかってますか？
「極限」という言葉で誤魔化せると思ってるんなら、
アンタ、大馬鹿者ですわｗｗｗｗｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s