このスレでは、超限集合論その他関連する事項を、全て扱います
脱線ありですｗ
１）テンプレ１
過去スレ
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/
現代数学の系譜 カントル 超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/
関連スレ
１）現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/28-
直接には、ここの28からの続き
２） １）の前スレ
現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/1-
３） ２）の中の正則性公理に関する議論の前のスレ（＾＾
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/1-
２）テンプレ２
まあ、カッカとせずに、のんびりやりましょう（＾＾
あと、関連事項は、>>1のスレから適宜写してくることにしましょう（＾＾
なお、私は
『おっさんずラブ』ならぬ、おっさんずゼミ・・ つまり;
おっさんずゼミ＝「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」、それやる気ないです
おれは、そんな趣味ないよｗ（＾＾；
好きなときに好きなことを書かせてもらいます
５CH数学板は、遊びです
https://ja.wikipedia.org/wiki/%E3%81%8A%E3%81%A3%E3%81%95%E3%82%93%E3%81%9A%E3%83%A9%E3%83%96
おっさんずラブ
(抜粋)
『おっさんずラブ』は、2016年からテレビ朝日系列において放送されているテレビドラマシリーズである。同年12月31日（30日深夜）に『年の瀬 変愛ドラマ第3夜』として単発放送された[1][注釈 1]後、「土曜ナイトドラマ」枠で2018年に第1シリーズ[2]、2019年に第2シリーズが放送予定である。
(引用終り)
現代数学の系譜 カントル 超限集合論他 3
■ このスレッドは過去ログ倉庫に格納されています
2020/07/18(土) 10:01:53.32ID:ywyns0bH
208１３２人目の素数さん
2020/10/11(日) 18:09:50.61ID:lgnBZIqQ209現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/10/11(日) 18:11:54.66ID:J8YoB+CX210１３２人目の素数さん
2020/10/11(日) 18:15:37.92ID:lgnBZIqQ 蛇足
＞米市民の10人中4人が、人間が神によって創造されたといまだに信じているのだ。
日本人の10人中何人が、日本を作ったのは伊弉諾と伊弉冉だ、と信じてるか
大いに興味あるｗ
あのな、日本列島がいつできたかともかくとして、
世界中の人類の起源はアフリカで、
アフリカから外に出たのはたった数万年前だぞ
＞米市民の10人中4人が、人間が神によって創造されたといまだに信じているのだ。
日本人の10人中何人が、日本を作ったのは伊弉諾と伊弉冉だ、と信じてるか
大いに興味あるｗ
あのな、日本列島がいつできたかともかくとして、
世界中の人類の起源はアフリカで、
アフリカから外に出たのはたった数万年前だぞ
211１３２人目の素数さん
2020/10/11(日) 18:17:51.44ID:lgnBZIqQ212現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/10/11(日) 19:00:39.35ID:J8YoB+CX 必死だな
おサルさんｗｗｗ（＾＾；
おサルさんｗｗｗ（＾＾；
213現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/10/11(日) 19:48:46.22ID:J8YoB+CX 「内積はテンソルじゃない」よ
それすら分からんとねｗｗ（＾＾；
それすら分からんとねｗｗ（＾＾；
214現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/10/11(日) 21:43:12.06ID:J8YoB+CX >>211
>君こそ緘黙したほうがいいな （正しい字で書いてやったｗ）
知っているが、”かんもく（完黙）”はシャレだよ（下記）
本当は、刑事弁護の用語だが、昔 （逮捕された）サヨク学生の常用の用語だった（＾＾
おサルも知っていると思ってね（＾＾；
（参考）
https://www.keiben-oasis.com/keibenterms/205
刑事弁護オアシス
今日のKEIBEN用語集一覧 かんもく（完黙）
用語かんもく（完黙）
解説
「完全黙秘」の省略語で「黙秘」（憲法38条１項、刑訴法198条２項、311条1項）を続けること。本来は供述調書に署名・指印をしないだけでなく、一言もしゃべらないことをいうが、現実には雑談に応じて失敗することも多い。また、被疑者の多くは供述調書に署名・指印しないことをもって「完黙」としているが、実際には雑談の中で「ここだけの話でっせ」と喋っている者もいる。弁護人は真の黙秘かどうかを接見の過程で見極めるのが肝心である。捜査員は黙秘者の雑談を「報告書」として書面にする。したがって、雑談にも注意することを弁護人は指導するべき。
https://dictionary.goo.ne.jp/word/%E7%B7%98%E9%BB%99/
goo辞書
かん‐もく【×緘黙】 の解説
［名］(スル)
１ 口を閉じて何も言わないこと。押し黙ること。
「新聞が一時に―して了っただけに」〈里見弴・多情仏心〉
２ 「緘黙症」の略。→無言症
>君こそ緘黙したほうがいいな （正しい字で書いてやったｗ）
知っているが、”かんもく（完黙）”はシャレだよ（下記）
本当は、刑事弁護の用語だが、昔 （逮捕された）サヨク学生の常用の用語だった（＾＾
おサルも知っていると思ってね（＾＾；
（参考）
https://www.keiben-oasis.com/keibenterms/205
刑事弁護オアシス
今日のKEIBEN用語集一覧 かんもく（完黙）
用語かんもく（完黙）
解説
「完全黙秘」の省略語で「黙秘」（憲法38条１項、刑訴法198条２項、311条1項）を続けること。本来は供述調書に署名・指印をしないだけでなく、一言もしゃべらないことをいうが、現実には雑談に応じて失敗することも多い。また、被疑者の多くは供述調書に署名・指印しないことをもって「完黙」としているが、実際には雑談の中で「ここだけの話でっせ」と喋っている者もいる。弁護人は真の黙秘かどうかを接見の過程で見極めるのが肝心である。捜査員は黙秘者の雑談を「報告書」として書面にする。したがって、雑談にも注意することを弁護人は指導するべき。
https://dictionary.goo.ne.jp/word/%E7%B7%98%E9%BB%99/
goo辞書
かん‐もく【×緘黙】 の解説
［名］(スル)
１ 口を閉じて何も言わないこと。押し黙ること。
「新聞が一時に―して了っただけに」〈里見弴・多情仏心〉
２ 「緘黙症」の略。→無言症
215１３２人目の素数さん
2020/10/11(日) 22:14:18.30ID:85hcVO5n216１３２人目の素数さん
2020/10/11(日) 22:21:06.19ID:85hcVO5n 不成立の証明なんて出来る訳が無い
選択公理を仮定する限りどんな実数列の決定番号も必ずある自然数になるんだから
そんなことも解らない白痴に数学は無理
選択公理を仮定する限りどんな実数列の決定番号も必ずある自然数になるんだから
そんなことも解らない白痴に数学は無理
217現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/10/11(日) 22:32:00.94ID:J8YoB+CX 進化論を理解しない人
創造論は、神が（旧約聖書ではエロヒム）天地を創造。さらに、自分をかたどって男と女を創造したとする捉え方だ。旧約聖書で人間の祖として記されているアダムとイブは、いまでも創造論を信じる人たちが連綿と語り続けている人物である。
と同様に
大学教程の確率論・確率過程論が理解できない人たちよ、哀れなり（＾＾；
創造論は、神が（旧約聖書ではエロヒム）天地を創造。さらに、自分をかたどって男と女を創造したとする捉え方だ。旧約聖書で人間の祖として記されているアダムとイブは、いまでも創造論を信じる人たちが連綿と語り続けている人物である。
と同様に
大学教程の確率論・確率過程論が理解できない人たちよ、哀れなり（＾＾；
218１３２人目の素数さん
2020/10/11(日) 23:03:29.10ID:85hcVO5n >>217
不成立不成立と喚きながら証明できない人よ、哀れなり（＾＾；
不成立不成立と喚きながら証明できない人よ、哀れなり（＾＾；
219１３２人目の素数さん
2020/10/12(月) 02:37:02.05ID:SPWfhGvZ >不成立不成立と喚きながら証明できない人よ、哀れなり（＾＾；
数学はディベートじゃない。証明できなければ絵に描いた餅に過ぎない。
数学はディベートじゃない。証明できなければ絵に描いた餅に過ぎない。
220１３２人目の素数さん
2020/10/12(月) 06:03:53.68ID:iRW0qWtH221１３２人目の素数さん
2020/10/12(月) 06:06:28.96ID:iRW0qWtH >>214
緘黙は、精神医学用語だよ
学校教育法上は、情緒障害の一つとされる。
狭義には、言語能力を獲得しているにもかかわらず、
何らかの心理的要因によって、
一時期にあらゆる場面、あるいは特定の場面においてのみ、
言葉を発しない状態を指す。
教育臨床分野においては、暗黙に狭義の意味で用いられることが多く、
場面緘黙、選択性緘黙、などの呼び方をする。
緘黙は、精神医学用語だよ
学校教育法上は、情緒障害の一つとされる。
狭義には、言語能力を獲得しているにもかかわらず、
何らかの心理的要因によって、
一時期にあらゆる場面、あるいは特定の場面においてのみ、
言葉を発しない状態を指す。
教育臨床分野においては、暗黙に狭義の意味で用いられることが多く、
場面緘黙、選択性緘黙、などの呼び方をする。
222１３２人目の素数さん
2020/10/12(月) 06:12:49.16ID:iRW0qWtH223１３２人目の素数さん
2020/10/12(月) 07:05:09.19ID:U7iDnoAA >>221
緘黙症はアインシュタインの５歳くらいまでにも観察されていた特徴でしたね
必ずしも情緒障害とされるべきものでもないケースがあるのでは？
例えば、言語野で
(特に数学にハマってる男児で国語の成績が良くない傾向も見られるようです。幼少期～小学校低学年くらいまでが特にその傾向が強いようですが)
ブローカ野との連動が弱いケースでは、充分な論理的推論力を有するレベルの知能の発達が有り得る分子モデルの人々(特に胎児機のホルモンシャワー量が脳の男性化に達する量だったタイプ)の中には、より早い発達段階からの言語野と(聴覚野依存的な言語野の発達傾向が強いタイプに比較して)視覚野との連動性が早くから強く活性するタイプ(ハイパーレクシア傾向児童等)では同月齢でも、聴覚野とブローカ野との連動傾向が比較的強く残っている「発語によるコミュニケーション能力」を発達させていくタイプの児童に比較して、視覚情報の理解に集中しやすい特性があるのでは？
記号の理解や処理作業に脳が集中しやすいので、より速い発達段階からの理解が進められる可能性があるのでは？
特にストレスが掛かるとバソプレシンが分泌される男性型の脳ではそうした傾向が強まるのではないでしょうか？
板違いの素人目線で恐縮ですが、緘黙症を情緒障害だけでは仕分けできないケースが、特に算数が得意なハイパーレクシア傾向の男児に多いらしいことをお知らせしたいです
緘黙症はアインシュタインの５歳くらいまでにも観察されていた特徴でしたね
必ずしも情緒障害とされるべきものでもないケースがあるのでは？
例えば、言語野で
(特に数学にハマってる男児で国語の成績が良くない傾向も見られるようです。幼少期～小学校低学年くらいまでが特にその傾向が強いようですが)
ブローカ野との連動が弱いケースでは、充分な論理的推論力を有するレベルの知能の発達が有り得る分子モデルの人々(特に胎児機のホルモンシャワー量が脳の男性化に達する量だったタイプ)の中には、より早い発達段階からの言語野と(聴覚野依存的な言語野の発達傾向が強いタイプに比較して)視覚野との連動性が早くから強く活性するタイプ(ハイパーレクシア傾向児童等)では同月齢でも、聴覚野とブローカ野との連動傾向が比較的強く残っている「発語によるコミュニケーション能力」を発達させていくタイプの児童に比較して、視覚情報の理解に集中しやすい特性があるのでは？
記号の理解や処理作業に脳が集中しやすいので、より速い発達段階からの理解が進められる可能性があるのでは？
特にストレスが掛かるとバソプレシンが分泌される男性型の脳ではそうした傾向が強まるのではないでしょうか？
板違いの素人目線で恐縮ですが、緘黙症を情緒障害だけでは仕分けできないケースが、特に算数が得意なハイパーレクシア傾向の男児に多いらしいことをお知らせしたいです
224１３２人目の素数さん
2020/10/12(月) 07:10:45.06ID:U7iDnoAA 様々な遺伝的要因との組み合わせや機序に関わる条件にもよるのでしょうが、幸運なケースでは、緘黙傾向が見られる児童の中に“才能”というべき発達の萌芽を見ているケースもあるのではないでしょうか
225１３２人目の素数さん
2020/10/12(月) 07:15:05.12ID:iRW0qWtH >>223
ハイパーレクシアも「情緒障害」みたいなもんだｗ
ハイパーレクシアも「情緒障害」みたいなもんだｗ
226１３２人目の素数さん
2020/10/12(月) 07:30:33.26ID:U7iDnoAA227１３２人目の素数さん
2020/10/12(月) 07:36:32.73ID:U7iDnoAA >>225
完全に才能です
面白い事にディスレクシアのケースでも才能が見られています
レオナルド・ダ・ヴィンチ
太田三砂貴氏もディスレクシアだそうです
一般の方で恐縮ですが、北米で教育を受けられた一級建築士の方ですとか
組み合わせや機序の発現の有無、養育・教育環境などの条件で様々な方がいらっしゃるのが興味深いです
完全に才能です
面白い事にディスレクシアのケースでも才能が見られています
レオナルド・ダ・ヴィンチ
太田三砂貴氏もディスレクシアだそうです
一般の方で恐縮ですが、北米で教育を受けられた一級建築士の方ですとか
組み合わせや機序の発現の有無、養育・教育環境などの条件で様々な方がいらっしゃるのが興味深いです
228１３２人目の素数さん
2020/10/12(月) 09:00:18.56ID:iRW0qWtH >>227
才能も「情緒障害」みたいなもんだｗ
才能も「情緒障害」みたいなもんだｗ
229１３２人目の素数さん
2020/10/12(月) 11:34:23.70ID:iRW0qWtH ID:U7iDnoAAは典型的な「情緒障害」だｗｗｗ
230現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/10/12(月) 23:27:06.27ID:uhfnmhnr サイコロ賭博
・サイコロ一つ、箱一つ、箱の中のサイコロの目は？ 確率変数Xで扱えて、的中確率1/6
・サイコロ二つ、箱二つ、箱の中のサイコロの目は？ IIDとして、確率変数X1、X2で扱えて、各箱の的中確率1/6
・サイコロｎ個、ｎ個、箱の中のサイコロの目は？ IIDとして、確率変数X1,X2・・・,Xnで扱えて、各箱の的中確率1/6
まさか、箱の中でサイコロがくるくる回り続ける？
笑える
現代数学の確率論では、無限の確率変数が扱えるよ
つまり、箱が無限にあっても、同じだ
突然、無限になると箱の中のサイコロが転がる？ 笑えるぜｗ（＾＾；
まあ、貴方達には理解できないだろうが
下記東大会田茂樹先生PDFでも、どぞｗｗ（＾＾
https://www.ms.u-tokyo.ac.jp/~aida/index-j.html
会田茂樹
東京大学大学院数理科学研究科
https://www.ms.u-tokyo.ac.jp/~aida/lecture/lecture.html
講義
https://www.ms.u-tokyo.ac.jp/~aida/lecture/30/probability-entropy2018.pdf
確率論とエントロピー 会田 茂樹 2018
P5
可算無限個の確率変数 {Xi}∞i=1 が独立とは, 任意の N に対して, {Xi}Ni=1 が独立であると定義する.
P6
定義 2.8. 確率変数 {Xi}∞i=1 が独立で各 Xi の分布がすべて同じ時, {Xi}∞i=1 は独立同分布に従う
確率変数という. 英語では, independent and identically distributed random variables (略して,i.i.d. random variables) という.
・サイコロ一つ、箱一つ、箱の中のサイコロの目は？ 確率変数Xで扱えて、的中確率1/6
・サイコロ二つ、箱二つ、箱の中のサイコロの目は？ IIDとして、確率変数X1、X2で扱えて、各箱の的中確率1/6
・サイコロｎ個、ｎ個、箱の中のサイコロの目は？ IIDとして、確率変数X1,X2・・・,Xnで扱えて、各箱の的中確率1/6
まさか、箱の中でサイコロがくるくる回り続ける？
笑える
現代数学の確率論では、無限の確率変数が扱えるよ
つまり、箱が無限にあっても、同じだ
突然、無限になると箱の中のサイコロが転がる？ 笑えるぜｗ（＾＾；
まあ、貴方達には理解できないだろうが
下記東大会田茂樹先生PDFでも、どぞｗｗ（＾＾
https://www.ms.u-tokyo.ac.jp/~aida/index-j.html
会田茂樹
東京大学大学院数理科学研究科
https://www.ms.u-tokyo.ac.jp/~aida/lecture/lecture.html
講義
https://www.ms.u-tokyo.ac.jp/~aida/lecture/30/probability-entropy2018.pdf
確率論とエントロピー 会田 茂樹 2018
P5
可算無限個の確率変数 {Xi}∞i=1 が独立とは, 任意の N に対して, {Xi}Ni=1 が独立であると定義する.
P6
定義 2.8. 確率変数 {Xi}∞i=1 が独立で各 Xi の分布がすべて同じ時, {Xi}∞i=1 は独立同分布に従う
確率変数という. 英語では, independent and identically distributed random variables (略して,i.i.d. random variables) という.
231１３２人目の素数さん
2020/10/12(月) 23:49:42.99ID:SPWfhGvZ >>230
だーかーらー
時枝解法を否定したいなら時枝解法の確率変数の取り方で勝てないことを示して下さいねー 馬鹿ですかー？
あなたは時枝解法より１京倍下手くそなやり方で勝てないことを示しているに過ぎないんですよー 馬鹿ですかー？
だーかーらー
時枝解法を否定したいなら時枝解法の確率変数の取り方で勝てないことを示して下さいねー 馬鹿ですかー？
あなたは時枝解法より１京倍下手くそなやり方で勝てないことを示しているに過ぎないんですよー 馬鹿ですかー？
232１３２人目の素数さん
2020/10/12(月) 23:55:04.95ID:SPWfhGvZ233１３２人目の素数さん
2020/10/13(火) 00:06:49.66ID:9WXS8scD >>230
箱の中のサイコロの的中確率1/6というのは当てずっぽうで当てた時の確率なんですよ
何等かのカンニング手段が存在したらもはや1/6なんてことは言えないんですよ、同様に確からしくないでしょ？
時枝解法？ええ、代表からカンニングしてますが？カンニングが失敗する確率は1/100以下ですが？
もうそろそろ理解しましょーねー 何年間間違い続けてるんですかー？
箱の中のサイコロの的中確率1/6というのは当てずっぽうで当てた時の確率なんですよ
何等かのカンニング手段が存在したらもはや1/6なんてことは言えないんですよ、同様に確からしくないでしょ？
時枝解法？ええ、代表からカンニングしてますが？カンニングが失敗する確率は1/100以下ですが？
もうそろそろ理解しましょーねー 何年間間違い続けてるんですかー？
234１３２人目の素数さん
2020/10/13(火) 06:09:43.16ID:pRlJwNS7 >>230
ま～た、バカがワケワカラン戯言わめいてるね
箱の数をｎ個とする
箱に実数をいれる
どれか一つ箱を選ぶ
何回やってもいいが、箱の中の数は入れ替えない（ここで分布は無意味となる）
その場合、箱の中の数は、他の数より大きい確率はたかだか１／ｎ
「箱入り無数目」の確率計算は上記と同じ
こんな簡単なことも分からん ◆yH25M02vWFhP は本当にアタマが悪い
ま～た、バカがワケワカラン戯言わめいてるね
箱の数をｎ個とする
箱に実数をいれる
どれか一つ箱を選ぶ
何回やってもいいが、箱の中の数は入れ替えない（ここで分布は無意味となる）
その場合、箱の中の数は、他の数より大きい確率はたかだか１／ｎ
「箱入り無数目」の確率計算は上記と同じ
こんな簡単なことも分からん ◆yH25M02vWFhP は本当にアタマが悪い
235１３２人目の素数さん
2020/10/13(火) 19:37:33.78ID:pRlJwNS7 さて、実質高卒のセタ君にも解けそうな
「大学入試問題」を考えてみた
ここに書いたから見てみな
https://rio2016.5ch.net/test/read.cgi/math/1601298312/563
高校数学で解けることは確認済み
解けるもんなら、解いてみなｗ
フハハハハハハ ハハハハハハハ （黄金バットかｗ）
「大学入試問題」を考えてみた
ここに書いたから見てみな
https://rio2016.5ch.net/test/read.cgi/math/1601298312/563
高校数学で解けることは確認済み
解けるもんなら、解いてみなｗ
フハハハハハハ ハハハハハハハ （黄金バットかｗ）
236１３２人目の素数さん
2020/10/14(水) 00:50:22.77ID:xJ23NIg5 瀬田くんへ忠告
サイコロ＝確率1/6と馬鹿の一つ覚えじゃなく、同様に確からしい（一様分布）という条件が崩れたら確率も変わる
という当たり前過ぎるほど当たり前のことにちゃんと気付こうね
サイコロ＝確率1/6と馬鹿の一つ覚えじゃなく、同様に確からしい（一様分布）という条件が崩れたら確率も変わる
という当たり前過ぎるほど当たり前のことにちゃんと気付こうね
237１３２人目の素数さん
2020/11/02(月) 06:43:48.90ID:PUodusEe https://rio2016.5ch.net/test/read.cgi/math/1592654877/711
711 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/01(日) 23:18:44.86ID:o4gNmK89
・無限公理の本質は、それを表現する式のテクニカルな話ではない。単に、後者関数を帰納的に繰返しただけでは、自然数の集合N（順序数ではω）の存在はすっきり言えないってことです
・無限公理の本質は、下記の極限順序数通り。ある後者関数を選ぶと、帰納的に自然数の元が構成できる。そして、無限公理で、極限順序数ω（それは自然数の集合Nでもある）の存在が導かれる
・その後、ωに後者関数を適用することで、”ω, S(ω), S(S(ω)), S(S(S(ω))), ......”（下記）と続くということです
・後者関数の選び方には、任意性があるが、「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
・だから、シングルトンによる後者関数に目くじら立てるのは間違い。シングルトンによる後者関数であっても極限順序数は可能ですよ
∵シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、それは極限順序数ωでもあるのです！
711 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/01(日) 23:18:44.86ID:o4gNmK89
・無限公理の本質は、それを表現する式のテクニカルな話ではない。単に、後者関数を帰納的に繰返しただけでは、自然数の集合N（順序数ではω）の存在はすっきり言えないってことです
・無限公理の本質は、下記の極限順序数通り。ある後者関数を選ぶと、帰納的に自然数の元が構成できる。そして、無限公理で、極限順序数ω（それは自然数の集合Nでもある）の存在が導かれる
・その後、ωに後者関数を適用することで、”ω, S(ω), S(S(ω)), S(S(S(ω))), ......”（下記）と続くということです
・後者関数の選び方には、任意性があるが、「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
・だから、シングルトンによる後者関数に目くじら立てるのは間違い。シングルトンによる後者関数であっても極限順序数は可能ですよ
∵シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、それは極限順序数ωでもあるのです！
238１３２人目の素数さん
2020/11/02(月) 06:45:05.90ID:PUodusEe https://rio2016.5ch.net/test/read.cgi/math/1592654877/713
713 特別支援学校教諭 2020/11/02(月) 06:18:54.78ID:PUodusEe
>>711
噛んで含める説明
>無限公理の本質は
以下の式の通りですよ
「ある集合Aが存在し、Aは空集合を要素とし
Aの任意の要素xについて、その後者S(x)も要素とする」
∃A（{}∈A∧∀x∈A(S(x)∈A))
>それを表現する式のテクニカルな話ではない。
テクニカルな話＝後者関数の形体 ということならその通りですね
つまり、後者関数によって生成される集合がシングルトンか否かとは無関係に、
無限公理によって、無限集合（シングルトンに非ず）の存在が前提される
ということです
713 特別支援学校教諭 2020/11/02(月) 06:18:54.78ID:PUodusEe
>>711
噛んで含める説明
>無限公理の本質は
以下の式の通りですよ
「ある集合Aが存在し、Aは空集合を要素とし
Aの任意の要素xについて、その後者S(x)も要素とする」
∃A（{}∈A∧∀x∈A(S(x)∈A))
>それを表現する式のテクニカルな話ではない。
テクニカルな話＝後者関数の形体 ということならその通りですね
つまり、後者関数によって生成される集合がシングルトンか否かとは無関係に、
無限公理によって、無限集合（シングルトンに非ず）の存在が前提される
ということです
239１３２人目の素数さん
2020/11/02(月) 06:46:40.52ID:PUodusEe https://rio2016.5ch.net/test/read.cgi/math/1592654877/715
715 特別支援学校教諭 2020/11/02(月) 06:30:07.90ID:PUodusEe
>>711
>シングルトンによる後者関数であっても極限順序数は可能ですよ
より正確にいえば
「後者関数による後者がシングルトンであっても、極限順序数は生成可能」
で、核心
◆yH25M02vWFhP氏、がいってるのは
「後者関数による後者がシングルトンならば、極限もシングルトン」
ですよね？
それ、間違ってます(・Д・)９ ﾋﾞｼｯ!
後者関数がいかなるものであっても、
無限公理で定められるωは無限集合（正確には可算無限集合）
715 特別支援学校教諭 2020/11/02(月) 06:30:07.90ID:PUodusEe
>>711
>シングルトンによる後者関数であっても極限順序数は可能ですよ
より正確にいえば
「後者関数による後者がシングルトンであっても、極限順序数は生成可能」
で、核心
◆yH25M02vWFhP氏、がいってるのは
「後者関数による後者がシングルトンならば、極限もシングルトン」
ですよね？
それ、間違ってます(・Д・)９ ﾋﾞｼｯ!
後者関数がいかなるものであっても、
無限公理で定められるωは無限集合（正確には可算無限集合）
240１３２人目の素数さん
2020/11/02(月) 06:47:49.95ID:PUodusEe https://rio2016.5ch.net/test/read.cgi/math/1592654877/716
716 特別支援学校教諭 2020/11/02(月) 06:37:29.51ID:PUodusEe
>>711
大事なことなので繰り返しますね
>シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、
>それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、
>それは極限順序数ωでもあるのです！
ええ、その通りですよ。で、
N（＝ω）は全ての自然数{}、{{}}、{{{}}}、…を集めた無限集合なんでしょう？
だから、N（＝ω）はシングルトンではないですね
具体的に書けば{{},{{}},{{{}}},…}です
決して{…{{{}}}…}ではありません
716 特別支援学校教諭 2020/11/02(月) 06:37:29.51ID:PUodusEe
>>711
大事なことなので繰り返しますね
>シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、
>それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、
>それは極限順序数ωでもあるのです！
ええ、その通りですよ。で、
N（＝ω）は全ての自然数{}、{{}}、{{{}}}、…を集めた無限集合なんでしょう？
だから、N（＝ω）はシングルトンではないですね
具体的に書けば{{},{{}},{{{}}},…}です
決して{…{{{}}}…}ではありません
241１３２人目の素数さん
2020/11/02(月) 08:01:03.56ID:PUodusEe https://rio2016.5ch.net/test/read.cgi/math/1592654877/718
718 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/02(月) 07:06:47.73ID:YSe1lExr>>719
１．自然数のノイマン構成(706)で、”無限公理”を適用して、可算無限集合 つまりは自然数の集合N（順序数ω）が構成できたとする
２．0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. となる
３．ここに、後者関数 S(α) ：＝ SN(α) ノイマン構成の後者関数である
４．さて、後者関数を S(α) ：＝ SZ(α) シングルトンによる後者関数（Zermelo）に置き換えても、上記２と同じことが言える
５．これを担保するのが、「レーヴェンハイム＝スコーレムの定理：一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」（706）ってことです
718 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/02(月) 07:06:47.73ID:YSe1lExr>>719
１．自然数のノイマン構成(706)で、”無限公理”を適用して、可算無限集合 つまりは自然数の集合N（順序数ω）が構成できたとする
２．0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. となる
３．ここに、後者関数 S(α) ：＝ SN(α) ノイマン構成の後者関数である
４．さて、後者関数を S(α) ：＝ SZ(α) シングルトンによる後者関数（Zermelo）に置き換えても、上記２と同じことが言える
５．これを担保するのが、「レーヴェンハイム＝スコーレムの定理：一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」（706）ってことです
242１３２人目の素数さん
2020/11/02(月) 08:02:24.08ID:PUodusEe https://rio2016.5ch.net/test/read.cgi/math/1592654877/719
719 特別支援学校教諭 2020/11/02(月) 07:59:12.94ID:PUodusEe
711
>「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
718
>「レーヴェンハイム＝スコーレムの定理：一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」
どっちも、後者関数をどう設定するかとは無関係ですけどね
つまり後者関数を決めたところで、どっちもいえます
「後者関数の任意性」とは無関係です
で、シングルトンによる後者関数（Zermelo）を選んでも
ωはシングルトンにはなりません
719 特別支援学校教諭 2020/11/02(月) 07:59:12.94ID:PUodusEe
711
>「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
718
>「レーヴェンハイム＝スコーレムの定理：一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」
どっちも、後者関数をどう設定するかとは無関係ですけどね
つまり後者関数を決めたところで、どっちもいえます
「後者関数の任意性」とは無関係です
で、シングルトンによる後者関数（Zermelo）を選んでも
ωはシングルトンにはなりません
243１３２人目の素数さん
2020/11/03(火) 03:24:47.92ID:EzLUFeKC >決して{…{{{}}}…}ではありません
{}:=x1, {{}}:=x2, … とおく。
そもそもx∞は集合たりえない。
なぜなら、正則性公理の要件「自分自身と交わらない要素を持つ。」を満たさないから。
なぜなら、x∞={x∞}であって、x∞∩x∞=x∞≠{} だから。
{}:=x1, {{}}:=x2, … とおく。
そもそもx∞は集合たりえない。
なぜなら、正則性公理の要件「自分自身と交わらない要素を持つ。」を満たさないから。
なぜなら、x∞={x∞}であって、x∞∩x∞=x∞≠{} だから。
244１３２人目の素数さん
2020/11/07(土) 18:15:29.42ID:zpeR/n4w http://rio2016.5ch.net/test/read.cgi/math/1592654877/779
>Zermeloのシングルトン構成によるωは、
>”・・・{{・・{ 0 }・・}}・・・”
>ってことで、
・・・{{・・{ 0 }・・}}・・・
それ、集合ですか？
集合なら、一番外側の{}がある筈ですよね？
一番外側の{}を取り除いた中身が、要素の列ですから
Q1. ・・・{{・・{ 0 }・・}}・・・
の一番外側の{}の位置を具体的に示してください
Q2. ・・・{{・・{ 0 }・・}}・・・
の一番外側の{}を外した中身を具体的に示してください
Q1に答えられない場合
「・・・{{・・{ 0 }・・}}・・・は集合でない」
Q2に答えられない場合
「・・・{{・・{ 0 }・・}}・・・の要素が分からない」
>現代数学の抽象的な数学概念って、みんなこんなもの
{}による具体的な図形として存在しても、
集合の公理を満たさないと、集合ではないですね
それが公理論ですから
>Zermeloのシングルトン構成によるωは、
>”・・・{{・・{ 0 }・・}}・・・”
>ってことで、
・・・{{・・{ 0 }・・}}・・・
それ、集合ですか？
集合なら、一番外側の{}がある筈ですよね？
一番外側の{}を取り除いた中身が、要素の列ですから
Q1. ・・・{{・・{ 0 }・・}}・・・
の一番外側の{}の位置を具体的に示してください
Q2. ・・・{{・・{ 0 }・・}}・・・
の一番外側の{}を外した中身を具体的に示してください
Q1に答えられない場合
「・・・{{・・{ 0 }・・}}・・・は集合でない」
Q2に答えられない場合
「・・・{{・・{ 0 }・・}}・・・の要素が分からない」
>現代数学の抽象的な数学概念って、みんなこんなもの
{}による具体的な図形として存在しても、
集合の公理を満たさないと、集合ではないですね
それが公理論ですから
245１３２人目の素数さん
2020/11/07(土) 18:18:07.34ID:zpeR/n4w http://rio2016.5ch.net/test/read.cgi/math/1592654877/786
>ここで、ノイマン構成では
>集合として（自然数nを集合と見て）、無限の上昇列ができる
>0∈1∈2∈3・・・・∈n-1∈n・・・N
>(最後は、∈の連鎖としての極限で、自然数の集合Nが存在するってこと)
>この∈の上昇列は、有限長ではないことは自明だよ
上昇列をきっちり書けば誰でもわかる明らかなことですが
0∈1∈2∈3・・・・∈n-1∈n∈N
この列・・・有限です
もちろん、いくらでも長い上昇列はつくれますが・・・どれも有限です
要するに、これがポイント
n∈N
集合Nが任意の自然数nを要素として持つので、こういうことが可能です
これがもし、唯一の要素しか持たないなら、できない芸当ですね
>これを逆に辿れば、無限の降下列になるが、
>正則性公理に反するものではないことは自明
有限列を逆にたどっても有限列なので
正則性公理に反しないことはそれこそ自明
>（そもそも、無限の上昇列を禁止したらおかしいぜｗ）
無限の上昇列は、最後が存在しません
したがって、ひっくりかえしたら、最初が存在しません
それが、>>244の件でいうと、一番外側の{}が存在しないことにあたります
>ここで、ノイマン構成では
>集合として（自然数nを集合と見て）、無限の上昇列ができる
>0∈1∈2∈3・・・・∈n-1∈n・・・N
>(最後は、∈の連鎖としての極限で、自然数の集合Nが存在するってこと)
>この∈の上昇列は、有限長ではないことは自明だよ
上昇列をきっちり書けば誰でもわかる明らかなことですが
0∈1∈2∈3・・・・∈n-1∈n∈N
この列・・・有限です
もちろん、いくらでも長い上昇列はつくれますが・・・どれも有限です
要するに、これがポイント
n∈N
集合Nが任意の自然数nを要素として持つので、こういうことが可能です
これがもし、唯一の要素しか持たないなら、できない芸当ですね
>これを逆に辿れば、無限の降下列になるが、
>正則性公理に反するものではないことは自明
有限列を逆にたどっても有限列なので
正則性公理に反しないことはそれこそ自明
>（そもそも、無限の上昇列を禁止したらおかしいぜｗ）
無限の上昇列は、最後が存在しません
したがって、ひっくりかえしたら、最初が存在しません
それが、>>244の件でいうと、一番外側の{}が存在しないことにあたります
246現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/11/08(日) 07:44:07.00ID:rSmWbt0i247１３２人目の素数さん
2021/08/21(土) 16:43:34.05ID:hcG0X18Q この証明納得できないんですが
https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86
＞B は A の冪集合に入っているから
そもそもＢが存在するという証明がないんですが
なんでべき集合に入っていると言えるんですか？
https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86
＞B は A の冪集合に入っているから
そもそもＢが存在するという証明がないんですが
なんでべき集合に入っていると言えるんですか？
248１３２人目の素数さん
2021/08/21(土) 17:54:27.37ID:RkttXagr >>247
＞そもそもＢが存在するという証明がないんですが
分出公理は知ってますか？
知ってればＢが存在することは直接わかりますが
（分出公理はツェルメロの集合論では公理だったが
ＺＦでは置換公理から証明できる定理である）
＞なんでべき集合に入っていると言えるんですか？
ベキ集合の定義、知ってますか？
Aのベキ集合は、Aの部分集合全体の集合です
Bは定義からAの部分集合になることは明らかですから
Aのベキ集合の要素ですね
＞そもそもＢが存在するという証明がないんですが
分出公理は知ってますか？
知ってればＢが存在することは直接わかりますが
（分出公理はツェルメロの集合論では公理だったが
ＺＦでは置換公理から証明できる定理である）
＞なんでべき集合に入っていると言えるんですか？
ベキ集合の定義、知ってますか？
Aのベキ集合は、Aの部分集合全体の集合です
Bは定義からAの部分集合になることは明らかですから
Aのベキ集合の要素ですね
249１３２人目の素数さん
2021/08/21(土) 17:57:39.03ID:RkttXagr >>248の続き
よく「証明がない！」とわめく素人がいますが
大体、定義とか公理がわかってないですね
定義や公理がわかっていれば、直接導けるのに「証明がない！」とわめいてますから
こういうのは明らかに怠惰による不勉強ですね
恥ずかしくないんですかね？
よく「証明がない！」とわめく素人がいますが
大体、定義とか公理がわかってないですね
定義や公理がわかっていれば、直接導けるのに「証明がない！」とわめいてますから
こういうのは明らかに怠惰による不勉強ですね
恥ずかしくないんですかね？
250１３２人目の素数さん
2021/08/22(日) 06:44:02.49ID:sTIzdDwF これは「”Ｂがもし存在するなら”Ａのべき集合に含まれる」というだけじゃないんですか？
＞すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分である。そのような部分集合は次の構成によって与えられる
分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか？
分出公理によって存在が保証された集合は、空集合でない事も保証されますか？
しかしＢが空集合の場合、Ｂの全要素は写像f(x)に含まれると言えませんか？
言える場合、これはＢの定義と矛盾します。
言えない場合、「空集合の要素が何かの集合に属している」と言明できないという事ですが、
Ｂの定義に「Ｂの全要素がＡに含まれる」という部分があるので、この定義は成立しません。
即ちＢの定義は「空集合の要素が何かの集合に属している」と言えるのか言えないのか、
ダブルスタンダードになっています。
＞すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分である。そのような部分集合は次の構成によって与えられる
分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか？
分出公理によって存在が保証された集合は、空集合でない事も保証されますか？
しかしＢが空集合の場合、Ｂの全要素は写像f(x)に含まれると言えませんか？
言える場合、これはＢの定義と矛盾します。
言えない場合、「空集合の要素が何かの集合に属している」と言明できないという事ですが、
Ｂの定義に「Ｂの全要素がＡに含まれる」という部分があるので、この定義は成立しません。
即ちＢの定義は「空集合の要素が何かの集合に属している」と言えるのか言えないのか、
ダブルスタンダードになっています。
251247
2021/08/22(日) 07:04:20.48ID:sTIzdDwF ＩＤ変わってました。私は247です
252１３２人目の素数さん
2021/08/22(日) 07:12:44.13ID:lyzOU1Jb やはりね。君は集合が存在するかじゃなく空でないかを問いたかったんだね。そうじゃないかと思った。
で、空集合は空集合の公理で存在が保証されている。且つ、空集合はAの部分集合すなわちAの冪集合の元。
だからBが空の場合も
＞B は A の冪集合に入っているから
は成立。
で、空集合は空集合の公理で存在が保証されている。且つ、空集合はAの部分集合すなわちAの冪集合の元。
だからBが空の場合も
＞B は A の冪集合に入っているから
は成立。
253１３２人目の素数さん
2021/08/22(日) 07:15:55.26ID:lyzOU1Jb >分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか？
白痴と思われたくなければ自分で調べられることは人に聞かないこと
白痴と思われたくなければ自分で調べられることは人に聞かないこと
254１３２人目の素数さん
2021/08/22(日) 07:32:57.61ID:QZFJZsWw >>250
Q1: 分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか？
A1: ええ、空集合は集合です 空集合の公理、御存知ですか？
Q2: 分出公理によって存在が保証された集合は、空集合でない事も保証されますか？
A2: 分出公理だけではそれは保証できませんし、保証する必要もありません 空集合も集合ですから
Q3: しかしＢが空集合の場合、Ｂの全要素は写像f(x)に含まれると言えませんか？
A3: 「f(x)に含まれる」とは「f(x)の要素である」という意味で用いていると思われるので、その上で答えるなら、もちろん言えます
ただ、あなたはBの定義を誤解されていると思われます
あなたが理解したBの定義を、あなたのことばで書き切ってくだされば
即座に誤りを指摘してみせますが、如何ですか？
Q1: 分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか？
A1: ええ、空集合は集合です 空集合の公理、御存知ですか？
Q2: 分出公理によって存在が保証された集合は、空集合でない事も保証されますか？
A2: 分出公理だけではそれは保証できませんし、保証する必要もありません 空集合も集合ですから
Q3: しかしＢが空集合の場合、Ｂの全要素は写像f(x)に含まれると言えませんか？
A3: 「f(x)に含まれる」とは「f(x)の要素である」という意味で用いていると思われるので、その上で答えるなら、もちろん言えます
ただ、あなたはBの定義を誤解されていると思われます
あなたが理解したBの定義を、あなたのことばで書き切ってくだされば
即座に誤りを指摘してみせますが、如何ですか？
255１３２人目の素数さん
2021/08/22(日) 07:42:53.75ID:QZFJZsWw もしBが空集合だったとします
その場合、BはAの部分集合であるにも関わらず
Aのどの要素xの像f(x)でもないことになります
Bの定義から、Aのどの要素xについてもf(x)はみなxを要素とするので
空集合ではないからです
その場合、BはAの部分集合であるにも関わらず
Aのどの要素xの像f(x)でもないことになります
Bの定義から、Aのどの要素xについてもf(x)はみなxを要素とするので
空集合ではないからです
256247
2021/08/22(日) 07:43:28.08ID:sTIzdDwF Ｂの全要素はＡに含まれ（＝ＢはＡの部分集合）、f(x)に含まれません。
「Aの全要素がＡのべき集合に含まれる」事と
「Bの全要素がf(x)に含まれない」事から、
もしBが空集合でないならfが全射ではない（＝Ａのべき集合を網羅しない）事を意味します。
Ａは任意の集合
fはＡのべき集合を全射しようとする（全射できているか不明な）関数
f(x)はＡのべき集合の部分集合（真部分集合なら全射）
「Aの全要素がＡのべき集合に含まれる」事と
「Bの全要素がf(x)に含まれない」事から、
もしBが空集合でないならfが全射ではない（＝Ａのべき集合を網羅しない）事を意味します。
Ａは任意の集合
fはＡのべき集合を全射しようとする（全射できているか不明な）関数
f(x)はＡのべき集合の部分集合（真部分集合なら全射）
257１３２人目の素数さん
2021/08/22(日) 07:46:56.65ID:sTIzdDwF ああこの部分は間違い
× 真部分集合なら全射
〇 Ａのべき集合＝f(x)なら全射
× 真部分集合なら全射
〇 Ａのべき集合＝f(x)なら全射
258１３２人目の素数さん
2021/08/22(日) 07:52:01.10ID:QZFJZsWw もしBが空集合ではなかったとします
その場合x∉f(x)でないAの要素xが存在します つまりBはx∈Bのf(x)ではありません
そして、Bは上記のx以外のAのいかなる要素yについての像f(y)ではありません
なぜならその場合y∈f(y)(=B)の要素となってしまいますが、
その場合、Bの定義からy∉Bだからです
その場合x∉f(x)でないAの要素xが存在します つまりBはx∈Bのf(x)ではありません
そして、Bは上記のx以外のAのいかなる要素yについての像f(y)ではありません
なぜならその場合y∈f(y)(=B)の要素となってしまいますが、
その場合、Bの定義からy∉Bだからです
259１３２人目の素数さん
2021/08/22(日) 08:01:49.77ID:QZFJZsWw >>256
＞Ｂの全要素は、f(x)に含まれません。
それがあなたの理解した定義なら誤ってます
正しい定義は
「Ｂは、x∉f(x)となるAの要素x全てからなる集合です」
Bが空集合であれば、Bのいかなる要素もf(x)の要素です
ただしx∈f(x)となるような要素は存在しません
＞Ｂの全要素は、f(x)に含まれません。
それがあなたの理解した定義なら誤ってます
正しい定義は
「Ｂは、x∉f(x)となるAの要素x全てからなる集合です」
Bが空集合であれば、Bのいかなる要素もf(x)の要素です
ただしx∈f(x)となるような要素は存在しません
260１３２人目の素数さん
2021/08/22(日) 08:05:50.28ID:sTIzdDwF これはＢが空集合ではないことを示す必要があるのでは？
＞すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分
f のもとでの A の像＝f(x)
A の少なくとも 1 つの部分集合=B
Ａのべき集合はＡの全要素を含まなければならないので
Ｂが空集合でないなら主張は証明される。
＞すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分
f のもとでの A の像＝f(x)
A の少なくとも 1 つの部分集合=B
Ａのべき集合はＡの全要素を含まなければならないので
Ｂが空集合でないなら主張は証明される。
261１３２人目の素数さん
2021/08/22(日) 08:15:44.66ID:QZFJZsWw >>260
Bが空集合でも、空集合自体がfの像でないと示せるから、主張は証明されるけど？
Bが空集合でも、空集合自体がfの像でないと示せるから、主張は証明されるけど？
262１３２人目の素数さん
2021/08/22(日) 08:30:22.04ID:sTIzdDwF これは矛盾しないんですか？だとしたら、分からない
＞Bのいかなる要素もf(x)の要素です
＞ただしx∈f(x)となるような要素は存在しません
＞Bのいかなる要素もf(x)の要素です
＞ただしx∈f(x)となるような要素は存在しません
263１３２人目の素数さん
2021/08/22(日) 08:34:21.03ID:sTIzdDwF >>261
確かに。
確かに。
264１３２人目の素数さん
2021/08/22(日) 09:51:31.89ID:QZFJZsWw >>262
∀x(x∈A⇒x∈B)
⇔∀x(x∉A∨x∈B)
⇔∀x￢(x∈A∧x∉B)
つまり、∀x(x∉A)、すなわちAが空集合なら
∀x(x∈A⇒x∈B)は自動的に成り立つ
一方
∀x(x∈A⇒x∈B)から
∃x(x∈A∧x∈B)はいえない
∃x(x∈A)、すなわちAが空集合でない
という条件が必要だから
∀x(x∈A⇒x∈B)
⇔∀x(x∉A∨x∈B)
⇔∀x￢(x∈A∧x∉B)
つまり、∀x(x∉A)、すなわちAが空集合なら
∀x(x∈A⇒x∈B)は自動的に成り立つ
一方
∀x(x∈A⇒x∈B)から
∃x(x∈A∧x∈B)はいえない
∃x(x∈A)、すなわちAが空集合でない
という条件が必要だから
265Mara Papiyas ◆y7fKJ8VsjM
2021/10/09(土) 07:23:01.67ID:qQhss2MU 雑談 ◆yH25M02vWFhP 「トンチン・カーン」となるｗ
952 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 11:42:34.60 ID:z3zwlfJp
https://rio2016.5ch.net/test/read.cgi/math/1628778394/952
＞「ツェルメロのω=･･･{{{}}}･･･は、
＞ シングルトンどころか集合でもない、新しい存在！」
＞と認めたとして、シングルトンとの比較はどうすんの？
＞･･･{{{}}}･･･＞{}
＞･･･{{{}}}･･･＞{{}}
＞･･･{{{}}}･･･＞{{{}}}
＞をどうやって示すつもり？ｗ
958 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 15:09:02.99 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/958
＞添え字（いまの場合 n∈Nと ω）があれば十分でしょ？
960 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 15:36:41.85 ID:z3zwlfJp
https://rio2016.5ch.net/test/read.cgi/math/1628778394/960
＞全然ダメでしょｗ
＞a∈･･･∈bという列の存在からa<bを導く場合
＞x∈･･･{{{}}}･･･となるxが存在しないから
＞y<･･･{{{}}}･･･となることなんか証明しようがないじゃん
968 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 17:54:59.16 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/968
＞おサルさん 何言っているの？
＞コトバのサラダそのものじゃんｗ
＞統合失調症のお薬飲みましょうねｗｗ
973 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 18:22:44.88 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/973
＞有向点族を参考に投下しておく
＞おれも、ここらは全く詳しくないけど
＞おサルは非道すぎるよね
952 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 11:42:34.60 ID:z3zwlfJp
https://rio2016.5ch.net/test/read.cgi/math/1628778394/952
＞「ツェルメロのω=･･･{{{}}}･･･は、
＞ シングルトンどころか集合でもない、新しい存在！」
＞と認めたとして、シングルトンとの比較はどうすんの？
＞･･･{{{}}}･･･＞{}
＞･･･{{{}}}･･･＞{{}}
＞･･･{{{}}}･･･＞{{{}}}
＞をどうやって示すつもり？ｗ
958 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 15:09:02.99 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/958
＞添え字（いまの場合 n∈Nと ω）があれば十分でしょ？
960 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 15:36:41.85 ID:z3zwlfJp
https://rio2016.5ch.net/test/read.cgi/math/1628778394/960
＞全然ダメでしょｗ
＞a∈･･･∈bという列の存在からa<bを導く場合
＞x∈･･･{{{}}}･･･となるxが存在しないから
＞y<･･･{{{}}}･･･となることなんか証明しようがないじゃん
968 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 17:54:59.16 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/968
＞おサルさん 何言っているの？
＞コトバのサラダそのものじゃんｗ
＞統合失調症のお薬飲みましょうねｗｗ
973 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 18:22:44.88 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/973
＞有向点族を参考に投下しておく
＞おれも、ここらは全く詳しくないけど
＞おサルは非道すぎるよね
266Mara Papiyas ◆y7fKJ8VsjM
2021/10/09(土) 07:35:50.52ID:qQhss2MU 雑談 ◆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 を満たすものが必ず存在するものをいう。」
添え字（いまの場合 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 を満たすものが必ず存在するものをいう。」
267１３２人目の素数さん
2021/10/09(土) 07:38:09.49ID:G87Fbttq 質問なんですが、ZF公理系というのは大学の授業で習いますか？
某数学科卒の知り合いが、「そんなもん聞いたことねー」と言っていたのですが。
某数学科卒の知り合いが、「そんなもん聞いたことねー」と言っていたのですが。
268Mara Papiyas ◆y7fKJ8VsjM
2021/10/09(土) 07:50:38.19ID:qQhss2MU >>267
大学によりますが、集合論の講義がない場合もあります
さらにいうと、別に知らなくても数学者にはなれます
ある数学者（代数幾何専攻）の著書の集合論に関する記述が
惨憺たるものであることを指摘する文章
http://fuchino.ddo.jp/misc/superlesson.pdf
大学によりますが、集合論の講義がない場合もあります
さらにいうと、別に知らなくても数学者にはなれます
ある数学者（代数幾何専攻）の著書の集合論に関する記述が
惨憺たるものであることを指摘する文章
http://fuchino.ddo.jp/misc/superlesson.pdf
269１３２人目の素数さん
2021/10/09(土) 08:08:12.83ID:G87Fbttq >>268
お返事ありがとうございます。
講義がない場合もあるんですね。
その方と選択公理の話をしていたのですが、「選択公理を証明できるかも」
と言うので、「いやいや公理を証明するっておかしいでしょ。
証明するとしたら、ある公理系から証明することになるが
ZFとは独立であることが証明されている」と言ったら
ブチ切れられて弱ったのでした。
お返事ありがとうございます。
講義がない場合もあるんですね。
その方と選択公理の話をしていたのですが、「選択公理を証明できるかも」
と言うので、「いやいや公理を証明するっておかしいでしょ。
証明するとしたら、ある公理系から証明することになるが
ZFとは独立であることが証明されている」と言ったら
ブチ切れられて弱ったのでした。
270１３２人目の素数さん
2021/10/09(土) 08:23:42.39ID:G87Fbttq 愚痴になりますが、怒ることはないと思うんですよね。
何で怒るのか、まったく分からない。
その方が○○について教えてくれ～みたいに
わたしの得意分野のことで訊いてくることがあるのですが
それはその方にとってはプライドを傷つけられない無知であり
ある意味下に見ているが、許せない無知もあるのかなと思ったり。
私事で失礼しました。m(__)m
何で怒るのか、まったく分からない。
その方が○○について教えてくれ～みたいに
わたしの得意分野のことで訊いてくることがあるのですが
それはその方にとってはプライドを傷つけられない無知であり
ある意味下に見ているが、許せない無知もあるのかなと思ったり。
私事で失礼しました。m(__)m
271Mara Papiyas ◆y7fKJ8VsjM
2021/10/09(土) 09:06:11.50ID:qQhss2MU >>269
>講義がない場合もあるんですね。
ありますね
東大では２年時に「集合と位相」という講義はありますが
半期で、位相と一緒なので、基礎的なことだけで
ZFとかZFCとかという形では教えないかもしれませんね
>講義がない場合もあるんですね。
ありますね
東大では２年時に「集合と位相」という講義はありますが
半期で、位相と一緒なので、基礎的なことだけで
ZFとかZFCとかという形では教えないかもしれませんね
272１３２人目の素数さん
2021/10/09(土) 10:33:19.05ID:G87Fbttq 詳しくは習わなくても、「ZFというものがある」というくらいは
数学の常識だと思うんですよね。数学記事にも
よく出てきますし。ましてや「公理を証明する」などは
その「証明」には暗黙に使っていることがあるはずで
その認識もないなどは、「分かってないひとだな」としか
思わない次第です。
数学の常識だと思うんですよね。数学記事にも
よく出てきますし。ましてや「公理を証明する」などは
その「証明」には暗黙に使っていることがあるはずで
その認識もないなどは、「分かってないひとだな」としか
思わない次第です。
273１３２人目の素数さん
2021/10/09(土) 10:44:53.70ID:G87Fbttq274Mara Papiyas ◆y7fKJ8VsjM
2021/10/09(土) 10:51:28.27ID:qQhss2MU275Mara Papiyas ◆y7fKJ8VsjM
2021/10/09(土) 10:53:55.70ID:qQhss2MU >>270
>怒ることはないと思うんですよね。
>何で怒るのか、まったく分からない。
まあ、恥ずかしいと思ったんでしょうね
でも知らないんじゃ仕方ないですよね
怒らせとけばいいんじゃないですか？
あなたは全く悪くないですよ
>怒ることはないと思うんですよね。
>何で怒るのか、まったく分からない。
まあ、恥ずかしいと思ったんでしょうね
でも知らないんじゃ仕方ないですよね
怒らせとけばいいんじゃないですか？
あなたは全く悪くないですよ
276Mara Papiyas ◆y7fKJ8VsjM
2021/10/09(土) 10:58:03.55ID:qQhss2MU277Mara Papiyas ◆y7fKJ8VsjM
2021/10/09(土) 11:16:19.06ID:qQhss2MU https://rio2016.5ch.net/test/read.cgi/math/1633176556/63
＞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,・・}から、
どこまでの要素を抜いて、どの要素だけ残せば
可算多重のシングルトン{{・・・{{}}・・・}}
ができますか？
ｎにはｎ－１は存在しますけど、ＮにはＮ－１は存在しませんよ
わかってますか？
「極限」という言葉で誤魔化せると思ってるんなら、
アンタ、大馬鹿者ですわｗｗｗｗｗｗｗ
＞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,・・}から、
どこまでの要素を抜いて、どの要素だけ残せば
可算多重のシングルトン{{・・・{{}}・・・}}
ができますか？
ｎにはｎ－１は存在しますけど、ＮにはＮ－１は存在しませんよ
わかってますか？
「極限」という言葉で誤魔化せると思ってるんなら、
アンタ、大馬鹿者ですわｗｗｗｗｗｗｗ
278Mara Papiyas ◆y7fKJ8VsjM
2021/10/10(日) 06:25:44.44ID:WvyKzuhg https://rio2016.5ch.net/test/read.cgi/math/1633176556/71
に対する返答
https://rio2016.5ch.net/test/read.cgi/math/1633176556/84
の転載
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
お🐒のSET Aは公理に基づく論理的思考ができないｗ
集合論に基づくのだから、集合論の公理を満たす必要がある
>可算多重シングルトン {{・・{{}}・・}}は、否定されるべき存在なのかね？ｗ
集合の公理を満たさないことがわからんかね？ｗ
>一番外の{}が分からない
「分からない」のは君だよ、お🐒のSET Aクンｗ
私は明確に言い切った
「君のいう可算多重シングルトンには一番外の{}が存在しない」
「存在しない」という言葉の意味が「分からない」とは頭が悪い
>一番外の{}を外したらどうなるか分からない
もし一番外側の{}がある、というなら外せばいい
無限回、外側の{}が外せるなら、正則性公理を満たさないから集合ではない
有限回、外側の{}を外したら、一番外側の{}がない元が出てくるなら、その元は集合ではない
しかしながら、集合論の公理で「集合でない元」の存在など定めてないｗ
>まあ素朴だが、ある意味幼稚な思考でしかない
１＝{{}}も２＝{{{}}}も３＝{{{{}}}}もシングルトンだから
ωもシングルトンに違いない！というお🐒のSET Aの思考こそ素朴
いかなる意味でも幼稚だよ さすが大学に入れなかった工業高校卒のDQN
大阪大学工学部卒？ みえすいた学歴詐称はやめとけ
日本語も読めない馬鹿が大学なんか入れるわけないだろｗ
>ノイマンのN＝{0,1,2,・・｝だって、同じ話でしかないよね
全然違うがｗ
ノイマンのＮの外側の｛｝を外しつづけても
・集合でない元はでてこない
・有限回の操作で必ず空集合｛｝に至る
なぜなら、Ｎの要素はみな自然数であるから
ツェルメロのＮも{0,1,2,・・｝とすればいいだけ
そうすれば、シングルトンだとして場合に発生する問題はすべて回避できる
要するに、お🐒のSET Aの「シングルトンに違いない！」という考えがダメなだけｗ
P.S.
>…に同じだよ
日本語、間違ってるよ
正しい日本語は以下の通り
「･･･と同じだよ」
君の祖国、北朝鮮のみんなにも教えてあげなｗｗｗ
に対する返答
https://rio2016.5ch.net/test/read.cgi/math/1633176556/84
の転載
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
お🐒のSET Aは公理に基づく論理的思考ができないｗ
集合論に基づくのだから、集合論の公理を満たす必要がある
>可算多重シングルトン {{・・{{}}・・}}は、否定されるべき存在なのかね？ｗ
集合の公理を満たさないことがわからんかね？ｗ
>一番外の{}が分からない
「分からない」のは君だよ、お🐒のSET Aクンｗ
私は明確に言い切った
「君のいう可算多重シングルトンには一番外の{}が存在しない」
「存在しない」という言葉の意味が「分からない」とは頭が悪い
>一番外の{}を外したらどうなるか分からない
もし一番外側の{}がある、というなら外せばいい
無限回、外側の{}が外せるなら、正則性公理を満たさないから集合ではない
有限回、外側の{}を外したら、一番外側の{}がない元が出てくるなら、その元は集合ではない
しかしながら、集合論の公理で「集合でない元」の存在など定めてないｗ
>まあ素朴だが、ある意味幼稚な思考でしかない
１＝{{}}も２＝{{{}}}も３＝{{{{}}}}もシングルトンだから
ωもシングルトンに違いない！というお🐒のSET Aの思考こそ素朴
いかなる意味でも幼稚だよ さすが大学に入れなかった工業高校卒のDQN
大阪大学工学部卒？ みえすいた学歴詐称はやめとけ
日本語も読めない馬鹿が大学なんか入れるわけないだろｗ
>ノイマンのN＝{0,1,2,・・｝だって、同じ話でしかないよね
全然違うがｗ
ノイマンのＮの外側の｛｝を外しつづけても
・集合でない元はでてこない
・有限回の操作で必ず空集合｛｝に至る
なぜなら、Ｎの要素はみな自然数であるから
ツェルメロのＮも{0,1,2,・・｝とすればいいだけ
そうすれば、シングルトンだとして場合に発生する問題はすべて回避できる
要するに、お🐒のSET Aの「シングルトンに違いない！」という考えがダメなだけｗ
P.S.
>…に同じだよ
日本語、間違ってるよ
正しい日本語は以下の通り
「･･･と同じだよ」
君の祖国、北朝鮮のみんなにも教えてあげなｗｗｗ
279Mara Papiyas ◆y7fKJ8VsjM
2021/10/10(日) 10:55:58.20ID:WvyKzuhg http://rio2016.5ch.net/test/read.cgi/math/1633176556/93
>1．可算多重シングルトン {{・・{{}}・・}}が、
>仮に正則性公理を満たさないとしても、
>”non-well-founded set theory”もあるから、
>存在しうるよ
お🐒のSET A 正則性公理を満たすと証明できず 姑息にもルール変更
さすが卑怯卑劣な学歴詐称の工業高卒🐎🦌野郎
>2．後者関数f
> lim n→∞ f({{・・{{}}・・}}n) ＝{{・・{{}}・・}}ω
> と出来るよ
出来ないよｗ
ωは極限順序数 したがってf(x)=ωとなるxは存在しない
一方、ωがシングルトンだと、
f(x)=ωとなるxが存在してしまい
ただの後続順序数に成り下がる
要するにお🐒のSET Aは極限順序数を否定し
「0以外の順序数は全て後続順序数」（ドヤ顔）
といいきっちゃう大🐎🦌野郎ｗｗｗ
>3．「一番外の{}」なんてのは、無限集合になると、殆ど無意味
>実際、集合論のテキストで、「一番外の{}」を問題にしているものは皆無だよ
なにいってんだ？ この工業高校卒の🐎🦌ｗ
そんなこといってっから、おめえはＦラン大学にも受からねぇんだよ 🐎🦌ｗ
集合は要素の集まりであるから、当然外側の｛｝がある
中身の要素が無限個だったら書ききれない、というだけの話
外側の｛｝自体がなくなるわけではないｗｗｗ
で、正則性公理っていうのは、
工業高校卒の🐎🦌の貴様にもわかるようにいえば
「集合から 要素をとって、
それが空集合以外の集合であれば、さらにその要素をとって」
という操作を繰り返した場合、かならず有限回で空集合にいきつくってこと
（集合以外のアトムにいきついてもいいが、
そもそも集合論ではアトムの存在を認める公理を設定してない）
わかれよ 🐎🦌ｗ
>1．可算多重シングルトン {{・・{{}}・・}}が、
>仮に正則性公理を満たさないとしても、
>”non-well-founded set theory”もあるから、
>存在しうるよ
お🐒のSET A 正則性公理を満たすと証明できず 姑息にもルール変更
さすが卑怯卑劣な学歴詐称の工業高卒🐎🦌野郎
>2．後者関数f
> lim n→∞ f({{・・{{}}・・}}n) ＝{{・・{{}}・・}}ω
> と出来るよ
出来ないよｗ
ωは極限順序数 したがってf(x)=ωとなるxは存在しない
一方、ωがシングルトンだと、
f(x)=ωとなるxが存在してしまい
ただの後続順序数に成り下がる
要するにお🐒のSET Aは極限順序数を否定し
「0以外の順序数は全て後続順序数」（ドヤ顔）
といいきっちゃう大🐎🦌野郎ｗｗｗ
>3．「一番外の{}」なんてのは、無限集合になると、殆ど無意味
>実際、集合論のテキストで、「一番外の{}」を問題にしているものは皆無だよ
なにいってんだ？ この工業高校卒の🐎🦌ｗ
そんなこといってっから、おめえはＦラン大学にも受からねぇんだよ 🐎🦌ｗ
集合は要素の集まりであるから、当然外側の｛｝がある
中身の要素が無限個だったら書ききれない、というだけの話
外側の｛｝自体がなくなるわけではないｗｗｗ
で、正則性公理っていうのは、
工業高校卒の🐎🦌の貴様にもわかるようにいえば
「集合から 要素をとって、
それが空集合以外の集合であれば、さらにその要素をとって」
という操作を繰り返した場合、かならず有限回で空集合にいきつくってこと
（集合以外のアトムにいきついてもいいが、
そもそも集合論ではアトムの存在を認める公理を設定してない）
わかれよ 🐎🦌ｗ
280Mara Papiyas ◆y7fKJ8VsjM
2021/10/10(日) 11:07:32.00ID:WvyKzuhg >>279は
http://rio2016.5ch.net/test/read.cgi/math/1633176556/92
に対する回答でしたｗ
さて
http://rio2016.5ch.net/test/read.cgi/math/1633176556/94
に対する回答
ツェルメロのωは、シングルトンではなく、自然数の無限集合
ついでにいうと、最初の非可算順序数ω1は、
シングルトンどころか、可算無限集合ですらなく
非可算無限集合である
（ツェルメロの後者関数を用いる場合
ω1より小さい順序数は、
後続順序数ならシングルトン
極限順序数なら可算無限集合
となる）
某所で、お🐒のSET Aがわけもわからずコピペした文章に答えがあるｗ
https://rio2016.5ch.net/test/read.cgi/math/1628778394/974
「点列の極限で位相構造を特徴づけられない例として、
整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
ここで ω1は最小の非可算順序数である。
実際、この集合において、ω1は明らかに[0,ω1)の閉包に属しているにも関わらず、
[0,ω1)内のいかなる点列もω1に収束しない。
なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、
[0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、
ω1の開近傍(α,ω1]には点列の点が存在しえないからである。」
http://rio2016.5ch.net/test/read.cgi/math/1633176556/92
に対する回答でしたｗ
さて
http://rio2016.5ch.net/test/read.cgi/math/1633176556/94
に対する回答
ツェルメロのωは、シングルトンではなく、自然数の無限集合
ついでにいうと、最初の非可算順序数ω1は、
シングルトンどころか、可算無限集合ですらなく
非可算無限集合である
（ツェルメロの後者関数を用いる場合
ω1より小さい順序数は、
後続順序数ならシングルトン
極限順序数なら可算無限集合
となる）
某所で、お🐒のSET Aがわけもわからずコピペした文章に答えがあるｗ
https://rio2016.5ch.net/test/read.cgi/math/1628778394/974
「点列の極限で位相構造を特徴づけられない例として、
整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
ここで ω1は最小の非可算順序数である。
実際、この集合において、ω1は明らかに[0,ω1)の閉包に属しているにも関わらず、
[0,ω1)内のいかなる点列もω1に収束しない。
なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、
[0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、
ω1の開近傍(α,ω1]には点列の点が存在しえないからである。」
281１３２人目の素数さん
2021/10/10(日) 13:12:00.31ID:7O/DywBf > lim n→∞ f({{・・{{}}・・}}n) ＝{{・・{{}}・・}}ω
> と出来るよ
集合列{},{{}},{{{}}},…が収束すると？大間違い
> と出来るよ
集合列{},{{}},{{{}}},…が収束すると？大間違い
282１３２人目の素数さん
2021/11/03(水) 19:06:46.53ID:dCkKgOCS https://rio2016.5ch.net/test/read.cgi/math/1633176556/847
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
Zermeloの順序数構成方法でも、なぜωがシングルトンでないのか
それはωより小さい順序数の最大値が存在しないからである
Zermeloの順序数構成方法でも、ωの要素内の最大値は存在しない
（したがってωは無限集合である 一般に極限順序数は無限集合である）
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
https://rio2016.5ch.net/test/read.cgi/math/1633176556/854
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
Zermeloの構成法の場合、ω未満の全ての順序数を要素とする必要はないが
ωからω未満の任意の順序数ｎへの降下列が存在するようにするには
無限集合とせざるを得ない
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
https://rio2016.5ch.net/test/read.cgi/math/1633176556/860
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
やっとみんなの云ってることが正しいと気づいたんだね
やっと君も自分の勘違いに気づいたんだね
おめでとう！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
Zermeloの順序数構成方法でも、なぜωがシングルトンでないのか
それはωより小さい順序数の最大値が存在しないからである
Zermeloの順序数構成方法でも、ωの要素内の最大値は存在しない
（したがってωは無限集合である 一般に極限順序数は無限集合である）
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
https://rio2016.5ch.net/test/read.cgi/math/1633176556/854
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
Zermeloの構成法の場合、ω未満の全ての順序数を要素とする必要はないが
ωからω未満の任意の順序数ｎへの降下列が存在するようにするには
無限集合とせざるを得ない
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
https://rio2016.5ch.net/test/read.cgi/math/1633176556/860
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
やっとみんなの云ってることが正しいと気づいたんだね
やっと君も自分の勘違いに気づいたんだね
おめでとう！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
283(ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM
2021/11/05(金) 16:22:59.10ID:j5fczyhM 昨夜のお🐒さんのアイタタ発言
https://rio2016.5ch.net/test/read.cgi/math/1633176556/887
👦様の初歩的指摘（高校１年レベル！）
https://rio2016.5ch.net/test/read.cgi/math/1633176556/902
お🐒、全く反論の余地なく全面屈服ｗ
https://rio2016.5ch.net/test/read.cgi/math/1633176556/910
つづきはこのスレに書けよなｗ
https://rio2016.5ch.net/test/read.cgi/math/1633176556/887
👦様の初歩的指摘（高校１年レベル！）
https://rio2016.5ch.net/test/read.cgi/math/1633176556/902
お🐒、全く反論の余地なく全面屈服ｗ
https://rio2016.5ch.net/test/read.cgi/math/1633176556/910
つづきはこのスレに書けよなｗ
284(ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM
2021/11/05(金) 16:43:10.08ID:j5fczyhM 万年１５歳の中坊は、高校数学のここからやりなおせｗ
数学Ⅰ：集合と論理
https://yorikuwa.com/m1200/
集合の表し方と要素
集合の包含関係と部分集合
共通部分と和集合
補集合とド・モルガンの法則
数直線と集合
命題の真偽
条件の真偽
条件の否定①（かつ・または）
条件の否定②（すべて・ある・ともに）
必要条件と十分条件
逆・裏・対偶
対偶法
背理法
数学Ⅰ：集合と論理
https://yorikuwa.com/m1200/
集合の表し方と要素
集合の包含関係と部分集合
共通部分と和集合
補集合とド・モルガンの法則
数直線と集合
命題の真偽
条件の真偽
条件の否定①（かつ・または）
条件の否定②（すべて・ある・ともに）
必要条件と十分条件
逆・裏・対偶
対偶法
背理法
285(ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM
2021/11/05(金) 16:53:27.89ID:j5fczyhM 高校生でも知っといてバチあたらない話
数学的帰納法
P(0)∧∀m.P(m)⇒P(s(ｍ))⇒∀n.P(n)
（0でPが成立し、任意のmについて、mでPが成立するならs(m)でもPが成立するとき
任意のnでPが成りたつ）
の対偶は
∃n.￢P(n)⇒￢P(0)∨∃m.(P(m)∧￢P(s(m))
（Pが成立しないnが存在する場合、0でPが成立しないか、
あるmが存在し、mではPが成立するがs(m)ではPが成立しない）
数学的帰納法
P(0)∧∀m.P(m)⇒P(s(ｍ))⇒∀n.P(n)
（0でPが成立し、任意のmについて、mでPが成立するならs(m)でもPが成立するとき
任意のnでPが成りたつ）
の対偶は
∃n.￢P(n)⇒￢P(0)∨∃m.(P(m)∧￢P(s(m))
（Pが成立しないnが存在する場合、0でPが成立しないか、
あるmが存在し、mではPが成立するがs(m)ではPが成立しない）
286１３２人目の素数さん
2021/11/05(金) 17:37:59.45ID:gFQoXS6I 数学的帰納法は定理だから大学生ならその証明も知っておくべき
287１３２人目の素数さん
2021/11/05(金) 17:43:42.57ID:gFQoXS6I 待遇が分からないんじゃ高校留年
眠かったから間違えるのは分かってない証拠
対偶、逆、裏が分ってたらたとえ眠くても間違えない
眠かったから間違えるのは分かってない証拠
対偶、逆、裏が分ってたらたとえ眠くても間違えない
288(ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM
2021/11/05(金) 18:00:21.94ID:j5fczyhM >>286
https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95#%E8%B6%85%E9%99%90%E5%B8%B0%E7%B4%8D%E6%B3%95
ここのAをNとすれば、対応する”超限帰納法”としての数学的帰納法が導ける
>>287
機械的な計算だからね 分かってたら眠くても掛け算間違えないのと同じ
https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95#%E8%B6%85%E9%99%90%E5%B8%B0%E7%B4%8D%E6%B3%95
ここのAをNとすれば、対応する”超限帰納法”としての数学的帰納法が導ける
>>287
機械的な計算だからね 分かってたら眠くても掛け算間違えないのと同じ
289１３２人目の素数さん
2021/11/06(土) 01:59:43.68ID:nFC14Trd >ここのAをNとすれば、対応する”超限帰納法”としての数学的帰納法が導ける
それは数学的帰納法の証明という問題を超限帰納法の証明という問題にすり替えただけ。
数学的帰納法は超限帰納法とは独立に証明可能。：ある方法で自然数を構成し、それがペアノの公理を満たすことを証明する。
それは数学的帰納法の証明という問題を超限帰納法の証明という問題にすり替えただけ。
数学的帰納法は超限帰納法とは独立に証明可能。：ある方法で自然数を構成し、それがペアノの公理を満たすことを証明する。
290１３２人目の素数さん
2021/11/06(土) 07:46:44.81ID:JjkVf1Pv >>289
整列集合Ａが
・任意の元ａについて、
｛ｘ∈Ａ｜ｘ＞ａ｝
は空でない
・任意の元ａについて
｛ｘ∈Ａ｜ｘ＜ａ｝
が空でなければ必ず最大元をもつ、とすれば、
ＡはＮと同型になってペアノの公理を満たす
のではないかな？
整列集合Ａが
・任意の元ａについて、
｛ｘ∈Ａ｜ｘ＞ａ｝
は空でない
・任意の元ａについて
｛ｘ∈Ａ｜ｘ＜ａ｝
が空でなければ必ず最大元をもつ、とすれば、
ＡはＮと同型になってペアノの公理を満たす
のではないかな？
291１３２人目の素数さん
2021/11/07(日) 15:02:03.58ID:V+KShK58 順序数全体の列に関して
https://rio2016.5ch.net/test/read.cgi/math/1633176556/898
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
（注：＜ωのすぐ左に項がなくても、左側にある項はすべて入るとする
とかいう「俺様ルール」を設定する奴がいるが、そういう場合は
≪ωとか違う記号をつかうのが「皆様ルール」）
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
実は、＜と≪のみで、いかなる順序数全体の列も書ける
つまり
１．０の左には何も書かない
２．後続順序数αの左には＜を書く ＜α
３．極限順序数βの左には≪を書く ≪β
これだけでＯＫ
https://rio2016.5ch.net/test/read.cgi/math/1633176556/898
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
（注：＜ωのすぐ左に項がなくても、左側にある項はすべて入るとする
とかいう「俺様ルール」を設定する奴がいるが、そういう場合は
≪ωとか違う記号をつかうのが「皆様ルール」）
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
実は、＜と≪のみで、いかなる順序数全体の列も書ける
つまり
１．０の左には何も書かない
２．後続順序数αの左には＜を書く ＜α
３．極限順序数βの左には≪を書く ≪β
これだけでＯＫ
292１３２人目の素数さん
2021/11/08(月) 07:04:20.77ID:CF7SYpmS >>291
> ≪ωとか違う記号をつかうのが「皆様ルール」）
おサルのボクちゃん、面白いことを考えたねｗ (参考) https://rio2016.5ch.net/test/read.cgi/math/1636122558/5
それは、あんたの独自説ですよ
”≪”の一般的な説明は下記だよね
で、”「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される”とあるでしょ？
人の常識無いな、サルは
「≪ω」を使っている人居ないでしょ？
居るなら、挙げてみて
そんなん、わざわざ、「≪ω」とかアホや。サル知恵も良いところだなｗ
https://ja.wikipedia.org/wiki/%E4%B8%8D%E7%AD%89%E5%8F%B7
不等号
3.2 非常に大きい/小さい
比が極度に大きいことを示すために、通常の不等号ではなく、「≪」「≫」が使用される。原則として、双方非負（0以上）の場合にのみ使う。0に近い領域で比が大きいこともあるので、差は必ずしも大きくない。
その後に近似計算を行うための説明であることが多い。
「～は～より十分に小さい（大きい）」「～は～より非常に小さい（大きい）」などと読む。
ここでの「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される。
使用例
・ 10^-10 ≪ 0.1 < 1 < 10≪10^10
・ a ≫ 1 ならば a+1 ≒ a
> ≪ωとか違う記号をつかうのが「皆様ルール」）
おサルのボクちゃん、面白いことを考えたねｗ (参考) https://rio2016.5ch.net/test/read.cgi/math/1636122558/5
それは、あんたの独自説ですよ
”≪”の一般的な説明は下記だよね
で、”「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される”とあるでしょ？
人の常識無いな、サルは
「≪ω」を使っている人居ないでしょ？
居るなら、挙げてみて
そんなん、わざわざ、「≪ω」とかアホや。サル知恵も良いところだなｗ
https://ja.wikipedia.org/wiki/%E4%B8%8D%E7%AD%89%E5%8F%B7
不等号
3.2 非常に大きい/小さい
比が極度に大きいことを示すために、通常の不等号ではなく、「≪」「≫」が使用される。原則として、双方非負（0以上）の場合にのみ使う。0に近い領域で比が大きいこともあるので、差は必ずしも大きくない。
その後に近似計算を行うための説明であることが多い。
「～は～より十分に小さい（大きい）」「～は～より非常に小さい（大きい）」などと読む。
ここでの「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される。
使用例
・ 10^-10 ≪ 0.1 < 1 < 10≪10^10
・ a ≫ 1 ならば a+1 ≒ a
293１３２人目の素数さん
2021/11/08(月) 07:23:34.18ID:CF7SYpmS >>292 補足
(引用開始)
使用例
・ 10^-10 ≪ 0.1 < 1 < 10≪10^10
・ a ≫ 1 ならば a+1 ≒ a
(引用終り)
これで、
「 a ≫ 1 ならば a+1 ≒ a」の例は、≫を＞に変えると、成り立たないよね
「 10^-10 ≪ 0.1 < 1 < 10≪10^10」の例は、≪を＜に変えると、数学的には成り立つが、意図は伝わらない
（この例では、日常使う数の範囲は、” 0.1 < 1 < 10”辺りで、10^-10は日常感覚では極めて小さく、10^10は極めて大きい のような気持ちなのでしょうかね）
で、”≪ω”ってなに？ｗ
それって、≪を＜に変えても、成り立つよね
わざわざ、”≪ω”と書いて、何が言いたいのか？ｗ
屋上屋だと思うぜ。大学以上の文書で、”≪ω”とか、人の大学では無いよ、多分。それって、サルの大学じゃん
(引用開始)
使用例
・ 10^-10 ≪ 0.1 < 1 < 10≪10^10
・ a ≫ 1 ならば a+1 ≒ a
(引用終り)
これで、
「 a ≫ 1 ならば a+1 ≒ a」の例は、≫を＞に変えると、成り立たないよね
「 10^-10 ≪ 0.1 < 1 < 10≪10^10」の例は、≪を＜に変えると、数学的には成り立つが、意図は伝わらない
（この例では、日常使う数の範囲は、” 0.1 < 1 < 10”辺りで、10^-10は日常感覚では極めて小さく、10^10は極めて大きい のような気持ちなのでしょうかね）
で、”≪ω”ってなに？ｗ
それって、≪を＜に変えても、成り立つよね
わざわざ、”≪ω”と書いて、何が言いたいのか？ｗ
屋上屋だと思うぜ。大学以上の文書で、”≪ω”とか、人の大学では無いよ、多分。それって、サルの大学じゃん
294１３２人目の素数さん
2021/11/08(月) 07:39:24.05ID:CF7SYpmS >>293 補足の補足
下記より ”実数直線は標準的な大小関係 < による順序に関して線型連続体である” ”、実数直線は 大小関係 < に関して全順序集合”
それは、実数R自身が持つ性質でもある
”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0%E7%9B%B4%E7%B7%9A
実数直線
https://upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Real_number_line.svg/700px-Real_number_line.svg.png
実数直線の模式図
線型連続体
実数直線は標準的な大小関係 < による順序に関して線型連続体である。具体的に言えば、実数直線は 大小関係 < に関して全順序集合であり、またこの順序は稠密で、上限性質を持つ。
上記の性質に加えて、実数直線は最大元も最小元も持たない。また、部分集合として可算で稠密なもの（要するに有理数の全体）を含む。可算稠密部分集合を持ち、最大元も最小元も持たないような任意の線型連続体は実数直線に順序同型であるという定理がある。
実数直線は可算鎖条件 (ccc):
「R における互いに交わらない空でない開区間からなる任意の族は可算である」
を満足する。順序集合論においてよく知られるススリンの問題は「最大元も最小元も持たず可算鎖条件を満足する線型連続体は R に順序同型でなければならないか」ということを問うものである。そしてこの問題の主張は、集合論で標準的な公理系として用いられる ZFC から独立であることが知られている。
位相的な性質
実数直線上には標準的に二つの互いに同値な方法で位相を入れることができる。一つは、実数直線が全順序集合であることを用いて順序位相を入れる方法。もう一つは先に述べた距離からくる内在的な距離位相を入れる方法である。R 上のこれら二つは全く同じ位相を定める。位相空間としては、実数直線は開区間 (0, 1) に同相である。
https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/300px-Real_projective_line.svg.png
実数直線にただひとつの無限遠点を加えてコンパクト化できる。
実数直線は明らかに一次元の位相多様体である。同相の違いを除いて、境界のない一次元多様体は二種類しかなく、実数直線 R1 のほかは円周 S1 である。
下記より ”実数直線は標準的な大小関係 < による順序に関して線型連続体である” ”、実数直線は 大小関係 < に関して全順序集合”
それは、実数R自身が持つ性質でもある
”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0%E7%9B%B4%E7%B7%9A
実数直線
https://upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Real_number_line.svg/700px-Real_number_line.svg.png
実数直線の模式図
線型連続体
実数直線は標準的な大小関係 < による順序に関して線型連続体である。具体的に言えば、実数直線は 大小関係 < に関して全順序集合であり、またこの順序は稠密で、上限性質を持つ。
上記の性質に加えて、実数直線は最大元も最小元も持たない。また、部分集合として可算で稠密なもの（要するに有理数の全体）を含む。可算稠密部分集合を持ち、最大元も最小元も持たないような任意の線型連続体は実数直線に順序同型であるという定理がある。
実数直線は可算鎖条件 (ccc):
「R における互いに交わらない空でない開区間からなる任意の族は可算である」
を満足する。順序集合論においてよく知られるススリンの問題は「最大元も最小元も持たず可算鎖条件を満足する線型連続体は R に順序同型でなければならないか」ということを問うものである。そしてこの問題の主張は、集合論で標準的な公理系として用いられる ZFC から独立であることが知られている。
位相的な性質
実数直線上には標準的に二つの互いに同値な方法で位相を入れることができる。一つは、実数直線が全順序集合であることを用いて順序位相を入れる方法。もう一つは先に述べた距離からくる内在的な距離位相を入れる方法である。R 上のこれら二つは全く同じ位相を定める。位相空間としては、実数直線は開区間 (0, 1) に同相である。
https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/300px-Real_projective_line.svg.png
実数直線にただひとつの無限遠点を加えてコンパクト化できる。
実数直線は明らかに一次元の位相多様体である。同相の違いを除いて、境界のない一次元多様体は二種類しかなく、実数直線 R1 のほかは円周 S1 である。
295１３２人目の素数さん
2021/11/08(月) 12:46:19.20ID:f2jkwdzw >>290
どうしても超限帰納法と結び付けて考えたい訳ね？なら超限帰納法を持ち出さずとも証明可能と言ってる俺にレスしなくていい。話しが全く噛み合ってない。
どうしても超限帰納法と結び付けて考えたい訳ね？なら超限帰納法を持ち出さずとも証明可能と言ってる俺にレスしなくていい。話しが全く噛み合ってない。
296１３２人目の素数さん
2021/11/08(月) 18:00:45.46ID:fZZA2zYF >>292
> ”≪”の一般的な説明は下記だよね
一般的な用法とは別じゃね？
なんなら「＜の三つ重ね」にすれば？
> ”「極度に大きい」に絶対普遍な基準はなく、
> 文脈に応じて臨機応変に解釈される”
> とあるでしょ？
「極度に大きい」という意味ではないよ
あいかわらずトンチンカンなこといってるね
> 「≪ω」を使っている人居ないでしょ？
> 居るなら、挙げてみて
ああ、くだらない
同じ記号を使うせいで
「後続順序数と極限順序数を区別しない誤解」
が生じるんなら、区別したほうがいいね
考えない素人への配慮 有難く受け取りなよ
>>293
> で、”≪ω”ってなに？
>>291で書いてあるじゃん
0<…<<ωとは
「ωのすぐ左に項がなくても、
ωの左側にある項ｎはすべてｎ<ωを満たす」
という意味
> それって、≪を＜に変えても、成り立つよね
> わざわざ、”≪ω”と書いて、何が言いたいのか？
「成り立つ」とかいってる時点で、何も考えてないのが明らか
0から<の推移的関係(a<b,b<cだからa<c等)でたどり着けるのは自然数nだけ
任意のnからωに対して、後者関数だけでn<ωと云うことはできない
書く前に考えなよ 感じたことを口に出すって頭悪いよ
> 屋上屋だと思うぜ。
> 大学以上の文書で、”≪ω”とか、人の大学では無いよ
大学に入れなかった素人が大学に嫉妬かい？
考えてる人なら読み分けられるが
考えない素人には無理だから
記号を違えて注意喚起ってことじゃね？
>>294
> ”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
有理数Qも実数Rも、標準的な大小関係 < で整列できないけど、何か？
整列順序、理解してる？
> ”≪”の一般的な説明は下記だよね
一般的な用法とは別じゃね？
なんなら「＜の三つ重ね」にすれば？
> ”「極度に大きい」に絶対普遍な基準はなく、
> 文脈に応じて臨機応変に解釈される”
> とあるでしょ？
「極度に大きい」という意味ではないよ
あいかわらずトンチンカンなこといってるね
> 「≪ω」を使っている人居ないでしょ？
> 居るなら、挙げてみて
ああ、くだらない
同じ記号を使うせいで
「後続順序数と極限順序数を区別しない誤解」
が生じるんなら、区別したほうがいいね
考えない素人への配慮 有難く受け取りなよ
>>293
> で、”≪ω”ってなに？
>>291で書いてあるじゃん
0<…<<ωとは
「ωのすぐ左に項がなくても、
ωの左側にある項ｎはすべてｎ<ωを満たす」
という意味
> それって、≪を＜に変えても、成り立つよね
> わざわざ、”≪ω”と書いて、何が言いたいのか？
「成り立つ」とかいってる時点で、何も考えてないのが明らか
0から<の推移的関係(a<b,b<cだからa<c等)でたどり着けるのは自然数nだけ
任意のnからωに対して、後者関数だけでn<ωと云うことはできない
書く前に考えなよ 感じたことを口に出すって頭悪いよ
> 屋上屋だと思うぜ。
> 大学以上の文書で、”≪ω”とか、人の大学では無いよ
大学に入れなかった素人が大学に嫉妬かい？
考えてる人なら読み分けられるが
考えない素人には無理だから
記号を違えて注意喚起ってことじゃね？
>>294
> ”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
有理数Qも実数Rも、標準的な大小関係 < で整列できないけど、何か？
整列順序、理解してる？
297１３２人目の素数さん
2021/11/08(月) 18:01:56.23ID:fZZA2zYF >>295
「超限帰納法で」証明するのではないよ
整列順序の定義と帰納法が表裏の関係だといいたいだけ
一般の整列順序から一般の帰納法である超限帰納法を証明する方法で
特殊な整列順序から特殊な帰納法である数学的帰納法が証明できる、といってる
何もおかしなことはない
>話しが全く噛み合ってない。
冷静になりなよ
「超限帰納法で」証明するのではないよ
整列順序の定義と帰納法が表裏の関係だといいたいだけ
一般の整列順序から一般の帰納法である超限帰納法を証明する方法で
特殊な整列順序から特殊な帰納法である数学的帰納法が証明できる、といってる
何もおかしなことはない
>話しが全く噛み合ってない。
冷静になりなよ
298１３２人目の素数さん
2021/11/09(火) 02:11:44.91ID:lDQuO+st エンドレスムーヴィングゴールポスト論法
299１３２人目の素数さん
2021/11/09(火) 18:55:31.83ID:/0sJrDiz ･･･から~のオウンゴ~~~~~ル
300１３２人目の素数さん
2021/11/10(水) 08:31:27.28ID:jiYnHr+P これ良さそう
http://iso.2022.jp/
About
Twitter https://twitter.com/waidotto
http://iso.2022.jp/math/uniqueness-of-decimal-expansions-and-connectedness-of-spaces.pdf
小数展開の一意性と空間の連結性
Uniqueness of Decimal Expansions and Connectedness of Spaces
y.? 2019 年 7 月 9 日
https://twitter.com/5chan_nel (5ch newer account)
http://iso.2022.jp/
About
Twitter https://twitter.com/waidotto
http://iso.2022.jp/math/uniqueness-of-decimal-expansions-and-connectedness-of-spaces.pdf
小数展開の一意性と空間の連結性
Uniqueness of Decimal Expansions and Connectedness of Spaces
y.? 2019 年 7 月 9 日
https://twitter.com/5chan_nel (5ch newer account)
301１３２人目の素数さん
2021/11/10(水) 08:41:06.87ID:xVbHw8rr302１３２人目の素数さん
2021/11/10(水) 20:49:50.76ID:jiYnHr+P 自分かたり
超限帰納法とは
（下記） これか？
順序数ωで、
1,2,3,・・・,n,・・・ωとする
n<ωとしか書けないとすると
n+1,n+2,・・・ の部分はどうなるの？ｗ
”n+1,n+2,・・・”は
超限帰納法の範囲外？
それとも、ωは
超限帰納法の範囲外か？
(参考)
https://kotobank.jp/word/%E8%B6%85%E9%99%90%E5%B8%B0%E7%B4%8D%E6%B3%95-97776
コトバンク
超限帰納法（読み）ちょうげんきのうほう（英語表記）transfinite induction
世界大百科事典 第２版「超限帰納法」の解説 出典 株式会社平凡社
ちょうげんきのうほう【超限帰納法 transfinite induction】
一般化された数学的帰納法の一種で，次のような証明法である。
整列集合Λの各元λに命題Pλが対応しているとき，次のことが証明できれば，すべてのPλは正しい。
〈各λ∈Λに対して，μ＜λならばPμが正しいという仮定のもとで，Pλは正しい〉。
これでよい理由は，Pλが正しくないようなλがあったとして，そのようなλ全体の集合をMとすれば，Λが整列集合という仮定により，Mに最小元αがある。
するとμ＜αならばPμが正しいのだから，Pαも正しいはずで，α∈Mに反する。
https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
整列順序付けられた集合または整列集合（せいれつしゅうごう、英: well-ordered set）とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≦) を慣例に従ってしばしば単純に S で表す。
超限帰納法とは
（下記） これか？
順序数ωで、
1,2,3,・・・,n,・・・ωとする
n<ωとしか書けないとすると
n+1,n+2,・・・ の部分はどうなるの？ｗ
”n+1,n+2,・・・”は
超限帰納法の範囲外？
それとも、ωは
超限帰納法の範囲外か？
(参考)
https://kotobank.jp/word/%E8%B6%85%E9%99%90%E5%B8%B0%E7%B4%8D%E6%B3%95-97776
コトバンク
超限帰納法（読み）ちょうげんきのうほう（英語表記）transfinite induction
世界大百科事典 第２版「超限帰納法」の解説 出典 株式会社平凡社
ちょうげんきのうほう【超限帰納法 transfinite induction】
一般化された数学的帰納法の一種で，次のような証明法である。
整列集合Λの各元λに命題Pλが対応しているとき，次のことが証明できれば，すべてのPλは正しい。
〈各λ∈Λに対して，μ＜λならばPμが正しいという仮定のもとで，Pλは正しい〉。
これでよい理由は，Pλが正しくないようなλがあったとして，そのようなλ全体の集合をMとすれば，Λが整列集合という仮定により，Mに最小元αがある。
するとμ＜αならばPμが正しいのだから，Pαも正しいはずで，α∈Mに反する。
https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
整列順序付けられた集合または整列集合（せいれつしゅうごう、英: well-ordered set）とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≦) を慣例に従ってしばしば単純に S で表す。
303１３２人目の素数さん
2021/11/10(水) 21:21:06.48ID:HKaCLVZ1 >>302
>n<ωとしか書けないとすると
>n+1,n+2,・・・ の部分はどうなるの？
ωから０への降下列で、なんで、
ω以下のすべての順序数が出て来なくてはいけない！
とキ違ってるんだ？ この中卒は
>n<ωとしか書けないとすると
>n+1,n+2,・・・ の部分はどうなるの？
ωから０への降下列で、なんで、
ω以下のすべての順序数が出て来なくてはいけない！
とキ違ってるんだ？ この中卒は
304１３２人目の素数さん
2021/11/11(木) 07:21:37.87ID:2lobWA6d >>303
(引用開始)
>n<ωとしか書けないとすると
>n+1,n+2,・・・ の部分はどうなるの？
ωから０への降下列で、なんで、
ω以下のすべての順序数が出て来なくてはいけない！
とキ違ってるんだ？ この中卒は
(引用終り)
頭わるい
論点すり替え
まず
順序数ωで、
1,2,3,・・・,n,・・・ω は、整列集合>>302
整礎かつ全順序
自然数部分
1,2,3,・・・,n,・・・ は、全ての自然数を走って良い
全ての自然数を走るから、数学的帰納法成立する
自然数の集合Nにωを加える
{1,2,3,・・・,n,・・・ω}で、ωは最大の元だ
繰り返すが、自然数の集合Nは整列集合で、
全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつ>>302
最大の元を加えても、「S の空でない任意の部分集合が必ず ≦ に関する最小元をもつ」
には、影響しないから、集合N+ω も、整列集合
だから、超限帰納法の使える集合だよね
”n<ωとしか書けないとすると
n+1,n+2,・・・ の部分はどうなるの？”
って、話になる
一般の列として、すべての順序数が出てくる必要はないが
超限帰納法を使う集合としては、すべての順序数が出てくる必要あり
ってことだよね
(引用開始)
>n<ωとしか書けないとすると
>n+1,n+2,・・・ の部分はどうなるの？
ωから０への降下列で、なんで、
ω以下のすべての順序数が出て来なくてはいけない！
とキ違ってるんだ？ この中卒は
(引用終り)
頭わるい
論点すり替え
まず
順序数ωで、
1,2,3,・・・,n,・・・ω は、整列集合>>302
整礎かつ全順序
自然数部分
1,2,3,・・・,n,・・・ は、全ての自然数を走って良い
全ての自然数を走るから、数学的帰納法成立する
自然数の集合Nにωを加える
{1,2,3,・・・,n,・・・ω}で、ωは最大の元だ
繰り返すが、自然数の集合Nは整列集合で、
全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつ>>302
最大の元を加えても、「S の空でない任意の部分集合が必ず ≦ に関する最小元をもつ」
には、影響しないから、集合N+ω も、整列集合
だから、超限帰納法の使える集合だよね
”n<ωとしか書けないとすると
n+1,n+2,・・・ の部分はどうなるの？”
って、話になる
一般の列として、すべての順序数が出てくる必要はないが
超限帰納法を使う集合としては、すべての順序数が出てくる必要あり
ってことだよね
305１３２人目の素数さん
2021/11/11(木) 19:07:35.35ID:4Zb7INGk >>304
>頭わるい 論点すり替え
論点取り違えてるのは君だよ、中卒君
>一般の列として、すべての順序数が出てくる必要はないが
>超限帰納法を使う集合としては、すべての順序数が出てくる必要あり
完全にキ違ってるね
「超限帰納法を使う集合」とかいう幻聴を治療しよう
一般の列だから、すべての順序数が出てくる必要ない
>”n<ωとしか書けないとすると
> n+1,n+2,・・・ の部分はどうなるの？”
>って、話になる
そんな話にならない
順序数ではなく上昇列、降下列
０から始まりωで終わる上昇列で
n+1,n+2,・・・
が出てくる必要はない
上昇列が降下列になるためには
n<ωとなっている必要がある
したがって、そのような列では
n+1,n+2,・・・
は出てこない
そこ、分かろうな １５歳から成長できない中卒君
>頭わるい 論点すり替え
論点取り違えてるのは君だよ、中卒君
>一般の列として、すべての順序数が出てくる必要はないが
>超限帰納法を使う集合としては、すべての順序数が出てくる必要あり
完全にキ違ってるね
「超限帰納法を使う集合」とかいう幻聴を治療しよう
一般の列だから、すべての順序数が出てくる必要ない
>”n<ωとしか書けないとすると
> n+1,n+2,・・・ の部分はどうなるの？”
>って、話になる
そんな話にならない
順序数ではなく上昇列、降下列
０から始まりωで終わる上昇列で
n+1,n+2,・・・
が出てくる必要はない
上昇列が降下列になるためには
n<ωとなっている必要がある
したがって、そのような列では
n+1,n+2,・・・
は出てこない
そこ、分かろうな １５歳から成長できない中卒君
307１３２人目の素数さん
2021/11/11(木) 20:34:48.70ID:4Zb7INGk >>306
ただの列を順序数と誤解した中卒 発狂死ｗｗｗ
ただの列を順序数と誤解した中卒 発狂死ｗｗｗ
■ このスレッドは過去ログ倉庫に格納されています
