22/01/20 06:30:16.81 zkMmOhak.net
本日も底辺准教の繰り言
401:１３２人目の素数さん
22/01/20 06:37:15.41 Z7V8Vw9r.net
数学板内ω矛盾投稿四天王
4位 β（『e'=e、eは微分しても変わらない不思議な定数』『3<∞、∞は3より大きい』)
3位 バカボンパパ（『履歴に残せば0=1になる』『0.999…=1は数学での約束事で実際は0.999…≠1』『0除算もできず0.999…=1になる数学は学問としてまだまだって事です』)
2位 高木（「完全に正しいのにまた不当にリジェクトされました」「論文を書くのはエネルギーが必要なんだから些末を揚げ足取るのは不当」)
1位 セタ（21世紀の数学は定義の仕方によって何でも可能)
ぎゃあああ、いつの間にかω矛盾マンだらけだあああ、たぁ～すけてくれ～猿魔大王～
402:１３２人目の素数さん
22/01/20 07:57:44.23 QUOtNVEP.net
>>356
＞> ２．無限列 ０＜・・・＜ω の、＜ωの左の項は？
＞ωより小さい順序数は自然数に限られます。よって左の項は自然数です。
＞任意の自然数ｎに対して０＜・・・＜ｎ＜ωは有限列です。
なんだ、おサルかい>>7
おサルと、数理論理君、それに 多分 蕎麦屋のおっさん
降鎖と昇鎖の区別がついていない
幼稚園なみだね
過去スレで教えてやったのに
全然理解できていない
下記を、100回音読してください
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
昇鎖条件 降鎖条件
ある代数的構造が満たす有限性に関する性質である。これらの性質を持つ代数的構造で最も代表的なものに、可換環のイデアルがある[1][2][3]。昇鎖条件および降鎖条件は、ダフィット・ヒルベルト、エミー・ネーター、エミール・アルティンらが可換環の構造に関する理論を構築する上で、重要な役割を果たした。
昇鎖条件および降鎖条件それ自体は、いかなる半順序集合に対しても意味を持つような、抽象的な形式で表すことができる。この考え方は Gabriel?Rentschler による抽象代数の次元に関する理論において有用である。
定義
半順序集合 P において、任意の真の上昇列 a1 < a2 < a3 < ... が有限回で止まるときに昇鎖条件が成り立つと言う。
同様に、半順序集合 P において、任意の真の下降列 a1 > a2 > a3 > ... が有限回で止まるときに降鎖条件が成り立つと言う。
注釈
・「無限に続く真の上昇／下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖／降鎖列が存在しない」（つまり列の長さの最大値が存在する）というものがある。
・降鎖条件を満たすことと、整礎であること、つまり任意の空でない部分集合が極小元をもつことは同値である。これは極小条件 (minimal condition) とも呼ばれる。
・昇鎖条件を満たすことと、逆整礎であること、つまり任意の空でない部分集合が極大元をもつことは同値である。これは極大条件 (maximal condition) とも呼ばれる。
・有限半順序集合は昇鎖条件と降鎖条件を満たす。
・降鎖条件を満たす全順序集合は整列集合と呼ばれる。
(引用終り)
以上
403:１３２人目の素数さん
22/01/20 08:19:38.18 WQXA3Axp.net
>>368
>降鎖と昇鎖の区別がついていない
SET A 無限列 ０＜・・・＜ω は 降鎖条件を満たさないと認める
だったら”＜ω”と書いてはいけなかったね
列中、ｘ＜ωとなるｘはないのだから
404:１３２人目の素数さん
22/01/20 08:28:53.62 QUOtNVEP.net
>>366
>（21世紀の数学は定義の仕方によって何でも可能)
つー、逆数学
20世紀の古い頭の人がいる。その名はおサル>>7 ｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
逆数学
逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。
逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析の結果を反映している。
逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。
目次
1 一般的な原理
1.1 2階算術の使用
2 2階算術の5つの基本的部分体系(Big Five)
2.1 再帰的内包公理 '"`UNIQ--postMath-00000024-QINU`"'
2.2 弱ケーニッヒの補題 '"`UNIQ--postMath-00000031-QINU`"'
2.3 算術的内包公理 '"`UNIQ--postMath-00000041-QINU`"'
2.4 算術的超限再帰 '"`UNIQ--postMath-0000004F-QINU`"'
2.5 '"`UNIQ--postMath-0000005A-QINU`"'内包公理 '"`UNIQ--postMath-0000005B-QINU`"'
3 Big Five以外の体系
4 '"`UNIQ--postMath-00000095-QINU`"'-モデルと'"`UNIQ--postMath-00000096-QINU`"'-モデル
5 参考文献
(引用終り)
以上
405:１３２人目の素数さん
22/01/20 08:30:54.76 QUOtNVEP.net
>>368
>>367より
「・「無限に続く真の上昇／下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖／降鎖列が存在しない」（つまり列の長さの最大値が存在する）というものがある。」
この部分を、百回音読してくださいｗ
406:１３２人目の素数さん
22/01/20 08:59:46.65 WQXA3Axp.net
>>370
SET A ここ百回音読した？
>…と少し異なるそれよりも強い条件として、…
つまり「無限に続く真の上昇／下降列がない」からといって
列の長さの最大値が存在する、とはいえない
「任意に長い真の昇鎖／降鎖列が存在する」場合はもちろんある
407:１３２人目の素数さん
22/01/20 09:54:13.19 pg3mZiGd.net
>>363
話についていけなくなると底辺准教の書き込みにすり替えるすり替え受験がバレて退学になった人
惨め
408:１３２人目の素数さん
22/01/20 10:48:48.67 zkMmOhak.net
テキトーに底辺准教に刺さるキーワードを書けば
発狂して底辺准教天羽優子@apjのハラスメントストーキングの実態が可視化できるから超便利
409:１３２人目の素数さん
22/01/20 11:05:15.42 pg3mZiGd.net
昔は底辺准教授だったかもしれないけど、今は登り詰めて日本物理学の頂点、第一人者だからね
界隈では第二の米沢富美子と呼ばれているよ
410:１３２人目の素数さん
22/01/20 11:08:08.43 9yfctzYj.net
>>370-371
>「・「無限に続く真の上昇／下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖／降鎖列が存在しない」（つまり列の長さの最大値が存在する）というものがある。」
スレ主です
いま、単純に（全順序の）実数列とするよ
まず、大前提として
１）昇鎖（上昇列） a1 < a2 < a3 < ... (>>367)
２）降鎖（下降列） a1 > a2 > a3 > ... (>>367)
３）単なる列： 例えば、1,2,3, ...とか、1/1,1/2,1/3, ...とか
この１）、２）、３）の区別
つまり
昇鎖、降鎖、単なる列の３つの区別
出来ていますか？ｗ
出来てないでしょ？ｗｗ
411:１３２人目の素数さん
22/01/20 11:49:25.53 YyFCR4ci.net
山形で逆レイップされてみたい
412:１３２人目の素数さん
22/01/20 12:08:05.04 Z7V8Vw9r.net
ω矛盾を逆数学とか21世紀の数学とか宣うSetAの愚かさよ…
413:１３２人目の素数さん
22/01/20 12:54:25.74 Dfnsxwxz.net
本当にω矛盾理解してるんだろうかこの子
414:１３２人目の素数さん
22/01/20 15:01:15.91 WQXA3Axp.net
>>376
>昇鎖、降鎖、単なる列の３つの区別
>出来ていますか？
>出来てないでしょ？
「馴れ寿司」SET Aは
「昇鎖（上昇列） 0 < 1 < 2 < ... < ω は
降鎖（下降列） ω > x > y > ... > 0 とはできない！」
といいたいの？
それは君以外の数学板読者みんながわかっていて
何度も何度も何度も何度も言ってることだから
君がやっと諦めて受け入れたのなら、こういうだけ
「よかったな、ニホンザル！」
URLﾘﾝｸ(ja.wikipedia.org)
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
ニホンザル（学名：Macaca fuscata）は、
哺乳綱霊長目オナガザル科マカク属に分類される霊長類。
分布
日本（本州、四国、九州および周辺の島嶼、屋久島）。
種子島、茨城県では絶滅。
ヒトを除いた霊長目の現生種では、最も北（下北半島）まで分布する。
形態
頭胴長（体長）
オス53 - 60センチメートル、メス47 - 55センチメートル。
尾長
オス7 - 11センチメートル、メス6 - 11センチメートル。
体重
オス6 - 18キログラム、メス6 - 14キログラム。
東北地方や中部地方山岳部の個体群は、西日本の個体群よりも大型
（例として志賀高原個体群は幸島個体群の倍近く体重がある）。
体毛は寒冷地では長く密に被われ、温暖地では短く薄く被われる傾向がある。
背面の毛衣は赤褐色や褐色、腹面の毛衣は灰色。
種小名 fuscata は「暗色がかった」の意。
顔や尻は裸出し、赤い。
幼獣は体毛が密に被われるが、成長に伴い密度は低くなる。
オスは犬歯が発達する。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
415:１３２人目の素数さん
22/01/20 15:36:10.27 9yfctzYj.net
>>369 補足
>>（21世紀の数学は定義の仕方によって何でも可能)
>逆数学
１．世界的には、オリジナリティが、非常に尊重される
日本は、空気読みの付和雷同数学、と言ってはいいすぎだろうが、ボツ個性の優等生数学かもね
２．オリジナル＝オリジン成る（＝オリジン（原点、あるいは起点）にナル ＝ダジャレのオヤジギャグｗ）
要するに、人マネじゃない、人の後じゃない（つまりは前者の無い極限順序数みたいなものか）、自分が起点になって新しい数学が始まるのだぁ～！と
３．昔、谷山先生という伝説の人がいた。ヴェイユ先生という仏数学者が来たとき、「おまえ、なんか喋れ」と言われたらしく、一つの予想を書いたそうな（下記）
半分妄想みたいなことだったかも知れない。それを、ヴェイユ先生は「面白い！！」と言って広めたそうな
４．�
416:uガウスのように始めよ」という先生だった（下記） 小平（邦彦）先生も、クソミソだ（このときは、受賞まだだったでしょう） 「私やレフシェッツ、ホッジなどの仕事を完成するようなことしか手を出さなかった」（こいつ単なる優等生じゃね？ という趣旨か）とこき下ろされる 優等生小平より、妄想じみてもオリジナルな谷山先生が上という、フランス人の評価なのでしょうね、きっと 参考 https://ja.wikipedia.org/wiki/%E8%B0%B7%E5%B1%B1%E2%80%93%E5%BF%97%E6%9D%91%E4%BA%88%E6%83%B3 谷山?志村予想 「すべての有理数体上に定義された楕円曲線はモジュラーである」という主張 つづく
417:１３２人目の素数さん
22/01/20 15:36:39.51 9yfctzYj.net
>>380
つづき
URLﾘﾝｸ(reuler.blog108.fc2.com)
日々のつれづれ オイラー研究所の所長 高瀬
新数学人集団(SSS)の時代 ノート31 ガウスのように 2017-01-28
ヴェイユ
日本人の数学を見ていて特に感ずることがある。日本人には、先輩や目上の人に従うように要求する習慣があるのか。
SSS
戦前、戦争中は特にそうだった。日本人のモラルの中心でさえあった。われわれも小学校以来盛んにたたきこまれた。
ヴェイユ
時に数学では、若い人びとに、手軽にできることをやり、あまり大きいことには手をつけないようにすすめる習慣があるのか。自分の考えを押し出さず、偉い人の思想圏内で仕事をするほうが安全だと忠告する習慣があるのか。
SSS
だいたいそうだ。
ヴェイユ
日本で本当に独創的な研究を始める人は少なかった。岩澤（健吉）はその少ないひとりだが、一方小平（邦彦）は非常によくできるにもかかわらず、私やレフシェッツ、ホッジなどの仕事を完成するようなことしか手を出さなかった。ごく最近、やっと彼自身の考えに基づく研究が出始めた。もっともっこれは岩澤が小平よりすぐれた数学者だという意味ではない。私の言いたいのは、小平のようにすばらしい数学者が、自分のアイデアを見出だすのにこんなにも遅れたことで、これはまさに驚くべきことだ。
しかし、戦後、日本の若い人の間に、自分のアイデアを持って始めようとする者が増えてきた。特に君たちはみな高みをねらっているが、日本でこのような傾向ができたのはごく最近のことで、非常によいことだ。
とにかくも自分のアイデアを持って始めるように。ガウスはそうだった。君たちもガウスのように始めろ。そうすればまもなく君たちは自分がガウスではないことを発見するだろうが、それでもよい。とにかくガウスのようにやれ。
モラルを変えるのはたいへんだが、数学のやり方を変えるだけならそれほどむずかしくはないだろう。
「ガウスのように始めよ」と、おそるべき言葉をヴェイユは3人のSSSに語り掛けました。「ガウスのように」とはどのようなことなのか、具体的なことはまだわかりません。
(引用終り)
以上
418:１３２人目の素数さん
22/01/20 15:49:14.40 9yfctzYj.net
>>379
>「昇鎖（上昇列） 0 < 1 < 2 < ... < ω は
> 降鎖（下降列） ω > x > y > ... > 0 とはできない！」
>といいたいの？
>それは君以外の数学板読者みんながわかっていて
>何度も何度も何度も何度も言ってることだから
その書き方って
おサルさん(>>7)は
全く分かっていなかったことを、自白しているよｗ
もう一度問う
>>375より 再録
いま、単純に（全順序の）実数列とするよ
まず、大前提として
１）昇鎖（上昇列） a1 < a2 < a3 < ... (>>367)
２）降鎖（下降列） a1 > a2 > a3 > ... (>>367)
３）単なる列： 例えば、1,2,3, ...とか、1/1,1/2,1/3, ...とか
この１）、２）、３）の区別
つまり
昇鎖、降鎖、単なる列の３つの区別
出来ていますか？ｗ
出来てないでしょ？ｗｗ
(引用終り)
あなたのお言葉を、そっくりお返しするよ
君と数理論理君と蕎麦屋のおっさんと
この３人以外の数学板の読者はみんな、
「昇鎖、降鎖、単なる列の３つの区別」
わかっているだろうさｗｗｗ
419:１３２人目の素数さん
22/01/20 17:13:34.01 /DfzVTlc.net
ｬｯﾀ-! 当ﾀｯﾃﾀ~!!
>>1投目 臭いな…
>>2投目 臭い(確信)
>>3投目 答え合わせ~🎶
(狂喜乱舞ｷｮｳﾗﾌﾞ)
| 0＼ｼｭｯ!Σﾎﾞｶﾞｯ!／
|(●_ _)=●Σ(>>373)
|#0##
|#`д´)a_Motcherﾏﾝｻﾝ∧∨
a_watcherｻﾝ∧e_motcher∧∨めぇ_watcherの粘着ｽﾄｶのｷﾁｹﾞﾚｽのｾｨﾃﾞ…※ぇｯﾁｬﾏが潜伏ｼﾁｬｯﾀﾙｫｫ!?
ﾄﾞ~ｼﾃｸﾚﾝﾉｵｫﾝ? ｱｧﾝ? ｵｫﾝ?
分ｶﾙ? ｺﾉ罪ﾉ重ｻ
ｧﾓｩ、許ｻﾈｪｶﾗﾅｧ?
420:１３２人目の素数さん
22/01/20 17:33:05.36 WQXA3Axp.net
>>382
>全く分かっていなかったことを、自白しているよ
馴れ寿司 SET Aが？
>もう一度問う
何を？
馴れ寿司 SET Aは、昇鎖と降鎖の違いを、今日初めて認めたんでしょ？
悪いけど、私は君が昇鎖と降鎖を混同したときから
「ああ、こいつ定義も知らずに🐎🦌言ってんな」
と気づいてたよ #数学科出身者あるある
421:１３２人目の素数さん
22/01/20 17:42:47.19 WQXA3Axp.net
>>380-381
ヴェイユもまさかグロタンディクという”モンスター”に
ペシャンコにされるとは思わなかっただろうな
422:１３２人目の素数さん
22/01/20 18:08:41.65 X1ZTQGR6.net
そのグロタンも晩年は振るわないのが数学の盛者必衰みを感じる
423:１３２人目の素数さん
22/01/20 18:13:25.01 dpjkjtmO.net
ニュートンも晩年は振るわなかった
424:１３２人目の素数さん
22/01/20 18:14:13.20 zkMmOhak.net
学位取る前から振るわないのに学位取った後もネット三昧で毎日反吐を吐いてるひとが何か言ってますw
425:１３２人目の素数さん
22/01/20 18:22:53.13 mFiYZOKz.net
>>388
今日天羽さん県から表彰されたってテレビでやってたよ
地元に夢と勇気を与えたって
426:１３２人目の素数さん
22/01/20 19:16:17.18 kK/2J4c/.net
1投目 2投目 3投目ﾀﾞﾀｿﾞ。
ﾚｽ安価…ｲﾗﾅｨﾝﾃﾞｼﾀｯｹﾈ、嵐ｻﾝ!
…ﾃﾞｼﾀｿﾞ…
a_Motcherﾏﾝさん、ｫ夕食ｼﾃﾙ…
ｫ夕食ｼﾃﾅｨ?
🍱🍜🍛🍥🍢🍣
…e-motcherゎﾀﾞｨｴｯﾄ中ﾀﾞｶﾗ
甘栗🌰ﾄ野菜ｼﾞｭｩｽｩｩ…ﾀﾞｿﾞ。
a_Motcherﾏﾝ君ｻﾝ、
ｿﾝﾅﾝｼﾞｬ甘ｨｮ!(煽ﾘ)
427:１３２人目の素数さん
22/01/20 19:28:29.36 kK/2J4c/.net
|Σ0
|°д°)!
| 0
|=д=) … ﾓｼｶｼﾃ …
|! !)
| ! !
a_Motcherﾏﾝ君ｻﾝ
| 0 ゎｨｶﾞ ｧﾓｩｯﾁｬﾏ←ﾁﾞｬﾅｨ
|;=д=)…ｯﾃｺﾄ!?
…識別ｼﾃﾊﾙﾝｬﾛｶ…
428:１３２人目の素数さん
22/01/20 19:31:05.01 kK/2J4c/.net
|0 ｫ~ｨ! ｧﾓｩｯﾁｬﾏくん!
|дﾟ)
429:１３２人目の素数さん
22/01/20 19:31:05.15 kK/2J4c/.net
|0 ｫ~ｨ! ｧﾓｩｯﾁｬﾏくん!
|дﾟ)
430:１３２人目の素数さん
22/01/20 19:31:05.47 kK/2J4c/.net
|0 ｫ~ｨ! ｧﾓｩｯﾁｬﾏくん!
|дﾟ)
431:１３２人目の素数さん
22/01/20 19:36:22.34 kK/2J4c/.net
2投ﾅｯﾄﾙｬﾝ…ｨｬｬ…恥ｽﾞｨゎ…
|0
|д<;)…ｿﾓｿﾓ ｧﾓｩｯﾁｬﾏ ﾁｬｩｬﾝ…
сノ ｨﾀﾀ…痛ｨﾃﾞｽﾈｪ…
…ｸｫﾚﾊ痛ｨ…
432:１３２人目の素数さん
22/01/20 19:41:18.90 kK/2J4c/.net
3投ﾆﾅｯﾃﾙｩｩ…!
| 0
|>д٩)゜。
ﾓｩ…ﾀﾞﾒﾀﾞ…ｱｧｯ-!
|=₃
433:１３２人目の素数さん
22/01/20 19:44:33.51 kK/2J4c/.net
a_Motcherﾏﾝ君ｻﾝﾉｾｨﾃﾞ
ｧ~ﾓｩ、ﾒﾁｬｸﾁｬﾀﾞｮ!
ｧﾓｩ許ｻﾈｪｶﾗﾅｧ?
434:１３２人目の素数さん
22/01/20 19:48:58.08 kK/2J4c/.net
>>389ｯﾁｬﾏ、a_Motcherﾏﾝ君ｻﾝ弄ﾘｽｷﾞｨ!ﾁｬｯﾃ…ｫﾈｪｻﾝ、
許ｼ亭、許ｼﾃ!
435:１３２人目の素数さん
22/01/20 19:49:38.91 3E/tAmTl.net
>>380
> １．世界的には、オリジナリティが、非常に尊重される
> 日本は、空気読みの付和雷同数学、と言ってはいいすぎだろうが、ボツ個性の優等生数学かもね
> ２．オリジナル＝オリジン成る（＝オリジン（原点、あるいは起点）にナル ＝ダジャレのオヤジギャグｗ）
> 要するに、人マネじゃない、人の後じゃない（つまりは前者の無い極限順序数みたいなものか）、自分が起点になって新しい数学が始まるのだぁ～！と
「人マネじゃない」セタの数学によると
N={0, 1, 2, ... , ω}やN={0, 1, 2, ... , ∞}などとなるのが正しいの�
436:ﾅ > 谷山-志村予想 も間違いである S-Report (Seta ReportあるいはSchizoid Report) 「人マネじゃない」セタの数学ではFLTは間違い IUTでFLTを証明できるのならばIUTも間違いである
437:１３２人目の素数さん
22/01/20 20:51:23.77 Z7V8Vw9r.net
>>378
SetAは人生そっくり丸事がω矛盾
俺はω矛盾母を親に持つが、奴は俺のω矛盾母の様な思考のみならず人生そっくり丸事がω矛盾
>>SetA
再三再四に渡り言うが 0.999… は無限小数だから有限小数数学には、そもそも現れねぇぞー｡
誤差数学と混同してんじゃねぇぞー。間違っても、2度と『有限小数だけの世界なら0.999…≠1になるよね。』なんて
書くんじゃねぇぞー、書かないだけじゃなく思ったりもすんじゃねぇぞー｡
分かってんのかー。理系職が此んな発言をやら化したら理系人生自殺に等しいから自己都合退職か又は
下働きポストへ異動か又は仕事隔離されんぞー此処はクリーン美しい国ならぬパワハラ鬱苦しい<ｳﾂｸｼｲ>国・日本だぞー｡
使えねぇ人間は労基さえ守って呉れねぇ非人権的な現実を見とけよー｡
他の国ならパワハラ鬱苦しい目に遭う前に『君は辞めて違う職を探した方が良い。我々にだけでなく君の為にも成る』と
インスタント首チョンパを喰らうだけだぞー｡
あー何だよセクスタプルヘッダーって。俺は天津飯やナルトみてぇな分身できるわけじゃねぇぞ此の鈍詰まりども｡
438:１３２人目の素数さん
22/01/20 20:56:03.34 Z7V8Vw9r.net
何やってんだ猿魔と代行は？
徒然成る儘ならぬ糞馬鹿成る儘にしか成って無ぇぞ此の状況､
もっとSetAの脳髄心身にクリティカルな抉りに抉るレスせぇや｡
439:１３２人目の素数さん
22/01/20 21:13:08.39 koQM3WMf.net
>>367
>＞> ２．無限列 ０＜・・・＜ω の、＜ωの左の項は？
>＞ωより小さい順序数は自然数に限られます。よって左の項は自然数です。
>＞任意の自然数ｎに対して０＜・・・＜ｎ＜ωは有限列です。
>なんだ、おサルかい>>7
>おサルと、数理論理君、それに 多分 蕎麦屋のおっさん
>降鎖と昇鎖の区別がついていない
>幼稚園なみだね
>過去スレで教えてやったのに
>全然理解できていない
いや、頼んでもいないことは教えてくれなくていいので＜ωの左隣だけ教えて下さい。
440:１３２人目の素数さん
22/01/20 22:06:05.33 WYcIYe49.net
今日も底辺准教の一人芝居埋め立てか
狂人准教は暇だね
441:１３２人目の素数さん
22/01/21 00:16:24.51 aA8yjFSB.net
>>384
>悪いけど、私は君が昇鎖と降鎖を混同したときから
>「ああ、こいつ定義も知らずに歷言ってんな」
おサル>>7が必死の逃げかｗ
笑える
聞いているのは、「昇鎖と降鎖と単なる列と、この3つの差をキチンと説明しろ」ってことよ
出来ないんだろ？ おサルさんよｗｗｗ
>>385
>ヴェイユもまさかグロタンディクという”モンスター”に
>ペシャンコにされるとは思わなかっただろうな
ヴェイユは別にペシャンコには、されていないよ
京都賞は、確か1億円くらい出るし
グロタンディークは、ヴェイユ予想の一部を解いたんだよね、全部じゃないし
ヴェイユはヴェイユであって、かれの業績は燦然と輝いている
URLﾘﾝｸ(ja.wikipedia.org)
アンドレ・ヴェイユ（Andre Weil, 1906年5月6日 - 1998年8月6日）
受賞歴
1979年：ウルフ賞数学部門
1980年：スティール賞
1994年：京都賞基礎科学部門
業績
数論、代数幾何学に大きな業績を残した。ヴェイユ予想は数論と代数幾何学の深いつながりについて予想したもので、リーマン仮説の類似の一つであるが、その後のセールやグロタンディークの活躍につながるものである。また
442:ヴェイユ予想の解決は20世紀の数学の大きな出来事でもあった。 彼はブルバキの中心的なメンバーであった。ヨーロッパの多くの言語に通じていて、サンスクリットの『バガヴァッド・ギーター』は彼の愛読書だった。空集合の記号 Φ も彼の考え出したものだが、これはノルウェー語のアルファベットの一つである[6]。数学史に関する造詣も非常に深く[1]、その一端はブルバキの『数学史』からもうかがい知ることができる（ブルバキに数学史を載せることは彼の発案で始まった）[7]。またブルバキの数学史に関する記述は大半がヴェイユとデュドネによるものともいわれ、単著でも数学史に関する著作も多い[1]。 主著は『代数幾何学の基礎』、『アーベル多様体と代数曲線』、『代数曲線とそれに関する多様体』。この他に、自伝や数学史の著作もある。
443:１３２人目の素数さん
22/01/21 03:03:54.91 mPgDEsc3.net
>>404
早く＜ωの左隣を答えてもらえませんか？
444:１３２人目の素数さん
22/01/21 05:41:42.79 a9z6KLYp.net
a_watcherの文字数が減ってるのに哀愁を感じる
(ちなみに連続空行は正規表現で簡単にNG可能w)
445:１３２人目の素数さん
22/01/21 07:09:17.50 G0d6N4Jx.net
本日も狂人准教の偏執連投でスレが埋まる
頭バカだからしょうがない
446:１３２人目の素数さん
22/01/21 07:29:34.08 aA8yjFSB.net
>>404 補足
>ヴェイユもまさかグロタンディクという”モンスター”に
>ペシャンコにされるとは思わなかっただろうな
ペシャンコにされたという発想が、数学落ちこぼれでしょ？
グロタンディクは、ヴェイユの出した問題を目標に数学を研究したし、
ヴェイユ→セール→グロタンディーク というルートで影響を与えている
それは、数学では普通
デカルトが座標系を考えて、ニュートンとライプニッツが微分積分を考えた
それを、後世の人が、発展させた
オイラーとかガウスとか
デカルトやニュートンやライプニッツが、ペシャンコにされた
逆だろ？ デカルトやニュートンやライプニッツが、起点となって、数学が発展したんだ
つまり、デカルトやニュートンやライプニッツのオリジナリティーは、燦然と輝いているよ
447:１３２人目の素数さん
22/01/21 10:18:35.43 a9z6KLYp.net
マヌケの自覚を確認
448:１３２人目の素数さん
22/01/21 10:58:05.14 kt4XeBTZ.net
>>407
話についていけずスレを巡回するだけのF男くん
449:１３２人目の素数さん
22/01/21 12:08:59.88 cAI8ap4T.net
>>404 追加
聞いているのは、「昇鎖と降鎖と単なる列と、この3つの差をキチンと説明しろ」ってことよ
出来ないんだろ？ おサルさん>>7よｗ
松坂和夫「集合・位相入門」（岩波 1968）
このP105 問題の2に
昇鎖の定義がある
順序集合Aの要素からなる列 (an)n∈N（＝自然数）で、a1<a2<・・<an<・・
となるものを昇鎖という
降鎖は、この列の不等号が逆で、a1>a2>・・>an>・・
これ以外に、単なる列がある
この3つの差
これが、分かってないやつ（＝数学科落ちこぼれのサル>>7）
が したり顔でかたるｗ
これが5ch数学板の現状ですｗ
さすが、便所の落書きだわさｗｗ
450:１３２人目の素数さん
22/01/21 12:21:08.83 cAI8ap4T.net
>>404 追加
谷山-志村予想
ヴェイユ先生は、「この予想には何の貢献もしていない」（下記）などと言われるが
谷山-志村予想を広報してくれた宣伝部長として、日本人は彼に感謝すべきですよね
URLﾘﾝｸ(ja.wikipedia.org)
谷山-志村予想
呼称に関する議論
ヨーロッパの数学界にこの予想を最初に持ち込んだのが当時の数学界の権威であったアンドレ・ヴェイユであったため、欧米ではこの予想の呼称は「谷山＝志村＝ヴェイユ予想」「谷山＝ヴェイユ予想」「ヴェイユ予想」と呼ばれることもある。しかし、数学者のサージ・ラングは谷山・志村予想の調査・研究を進めた上で、ヴェイユはこの予想には何の貢献もしていないことを明らかにした[19][20]。ちなみに普通ヴェイユ予想といえば非特異代数多様体上の合同ゼータ関数に関する定理のことをさす。
451:１３２人目の素数さん
22/01/21 14:04:05.48 G0d6N4Jx.net
>>410
毎回毎回反応して狂人准教天羽優子の自己身元開示乙
452:１３２人目の素数さん
22/01/21 14:10:22.44 G0d6N4Jx.net
成績F男とは、医学研究科で専攻学位論文を提出できずに修論の実験報告の続きを提出し
以降27年間ネットで匿名誹謗中傷に血道を上げる廃人
天羽優子@apjのこと
■超長期ハラスメント・ストーカー天羽優子@apj(自称長野在住)が自己紹介長文の新作を投下【山形大学生連続投身自殺事件を揶揄する反社会人格障害が顕著化】URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
406 名前:Nanashi_et_al.
:2022/01/16(日) 17:47:44.20
このスレは山形大学に入ったところまではよかったが
風俗にハマり学業が疎かになり学生実験で風俗の話ば
かりし成績に風俗のFを付けられ担当女性教員と大学
相手に揉めて風俗で本番強要をしていた事がバレて退
学となり失意のあまり飛び降り自殺したものの死にき
れず顔面を般若のような奇怪な風貌になるまでに損傷
し精神にも異常をきたし自らをびザリガニマンと呼び
担当女性教員に嫌がらせを受けていると語るのだが周
囲の人間にはただの思い込みとしか映らずボロを纏い
その下は赤褌一枚で街を歩きつつ自分は「神」であり
「魂のふるさと」であるという長野在住のおじさん専
用の「愛」と「正義」を説き続けるスレです
453:１３２人目の素数さん
22/01/21 14:11:55.58 wTbMPdj3.net
>>414
a_watcherがB型作業所をサボっていてワロタ
454:１３２人目の素数さん
22/01/21 14:14:48.73 G0d6N4Jx.net
やっぱりどの時間帯でも即座に反応するね
狂人准教天羽優子@apjは職場内失業者
455:１３２人目の素数さん
22/01/21 14:15:15.37 rfVez5gL.net
>>414
徘徊老人のマーキングを確認
456:１３２人目の素数さん
22/01/21 14:41:46.18 G0d6N4Jx.net
狂人准教天羽優子@apjが徘徊老人だと自己紹介
457:１３２人目の素数さん
22/01/21 15:23:32.46 gN6vEq5C.net
>>414
あグロ
458:１３２人目の素数さん
22/01/21 15:39:30.72 xXbRHqxG.net
自殺とかあんまり穏やかじゃないけどその辺のことってちゃんとソースがあって言ってるの？
459:１３２人目の素数さん
22/01/21 15:51:39.27 G0d6N4Jx.net
【参考】山形大学職員天羽優子@apjが超長期ネットストーキングの件で迷惑通報された時に発生した
「山形大学小白川キャンパス連続学生投身自殺事件」
の後追い記事と学長声明
学生がアカハラ受け自殺か…ある国立大学で起こった裁判の行方 ー学内での自殺が相次ぐ中でー (2018-01-23) URLﾘﾝｸ(gendai.ismedia.jp)
学長メッセージ(2017-10-25
460:) https://gendai.ismcdn.jp/mwimgs/5/e/320m/img_5ee4fb63b67c4c649ced186694ac0a4b119706.png
461:１３２人目の素数さん
22/01/21 15:55:19.14 G0d6N4Jx.net
>>420
生物板や化学板の過去ログを掘れば
この文体の人が毎日毎日何年間も自殺教唆書き込みをしていた記録があるね
法務省人権擁護局への人権侵害通報になった2008年工学部学生誤爆ハラスメント事件の時も、単なる誤解でハラスメント被害を受けた学生相手に自殺教唆書き込みをしていたから人物は特定されている
462:１３２人目の素数さん
22/01/21 15:58:12.97 G0d6N4Jx.net
匿名掲示板で「自殺」という単語を罵倒語として平然と使う人格異常者は狂人准教ただ一人だから
どのスレでも即座に身元が特定される仕組み
463:１３２人目の素数さん
22/01/21 16:02:41.28 G0d6N4Jx.net
個人的には山形にも山形大学にも全く縁が無いけれど
山形大学理学部准教が例の異常な自演連投をするスレでは常に
・メンタル疾患
・自殺教唆
・容姿コンプレックス
・学歴コンプレックス
に関する罵倒連投がある事に気付いて以降は
一線を超えた書き込みが目立つ時は
山形大学、文部科学省、法務省、山形県警、山形市保健所に対応の依頼をしている
今回案件はまずは玉木学長に相談してはいかがかな
464:１３２人目の素数さん
22/01/21 16:30:09.31 rfVez5gL.net
自殺って美しいけどなあ。
465:１３２人目の素数さん
22/01/21 17:58:51.91 a9z6KLYp.net
>>421
いやんあグロ
466:１３２人目の素数さん
22/01/21 18:00:14.36 9zWroZaJ.net
本日も病人a_watcherの真っ赤連投でスレが埋まる
マヌケだからしょうがない
467:１３２人目の素数さん
22/01/21 21:30:21.90 mPgDEsc3.net
>>411
講釈は結構です。＜ωの左隣だけ答えてもらえればいいです。
468:１３２人目の素数さん
22/01/22 03:41:21.43 IVwH8nHN.net
個人的には山形にも山形大学にも凄く縁が無いけれど
山形大学理学部准教に対して例の異常な自演連投をする長野県の中年男性は常に
・糖尿疾患
・自慰示唆
・容姿コンプレックス
・学歴コンプレックス
に関する罵倒連投がある事に気付いて以降は
一線を超えた書き込みが目立つ時は
飯田市保健所に保護の依頼をしている
今回案件はまずは山根会長に相談してはいかがかな
469:１３２人目の素数さん
22/01/22 08:29:12.56 KNHw5frA.net
>>428
>講釈は結構です。＜ωの左隣だけ答えてもらえればいいです。
下記の 不等号 発展的な用法で
「a < b < c = d ≦ e < …… のように、4辺以上になったり「≦」や等号が混ざったりしても同様である。「>」「≧」「=」でも同様の表現ができる。」
とある通りじゃね？
日本では、これ普通
なお、下記の植野真臣に、外延的記法 「A = {1,3,5,7 … } （無限集合）」とある通りです
無限集合で、外延的記法で、”… ”を使う
日本では、これ普通
外延的記法で、1<2<3< … <ω
内包的記法で、n<ω ｜ ∀n∈N
両者は、同じ意味だよ
日本では、これ普通
初心者には、分からないかも
斎藤毅 「集合と位相」（東大出版会 2009）(>>34より)
のP66 第3章 実数と位相 を、100回音読したらどうだ
つづく
470:１３２人目の素数さん
22/01/22 08:29:34.17 KNHw5frA.net
>>430
つづき
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
不等号
不等号（ふとうごう）は、実数などの大小関係を表すための数学記号である。
より一般的には、順序集合（例: 整数、実数）の2つの要素の間の順序（大小ともいう）を表す。
発展的な用法
「a < b」と「b > a」、「a ≦ b」と「b ≧ a」は、それぞれ全く同じ意味である。
3辺の不等式 a < b < c は、同じ形の等式と同様に「a < b かつ b < c」を意味し、推移律により a < c も同時に表している。
a < b < c = d ≦ e < …… のように、4辺以上になったり「≦」や等号が混ざったりしても同様である。「>」「≧」「=」でも同様の表現ができる。
ただし、「<」「≦」と「>」「≧」が混ざることは（推移律が成り立たず実用性が乏しいので）まれである。
区間
3辺の不等式は変数の含まれる区間を表すのによく使われる。
a < x < b, は x∈ (a,b)に等価
a ≦ x < b は x∈ [a,b)に等価
a < x ≦ b は x∈ (a,b]に等価
a ≦ x ≦ b は x∈ [a,b]に等価
URLﾘﾝｸ(www.ai.lab.uec.ac.jp)
UEC情報数理工学プログラム 植野真臣研究室 離散数学
URLﾘﾝｸ(www.ai.lab.uec.ac.jp)
離散数学 University of Electro- University of Electro-Communications Communications
2. 集合の基礎と
全称記号・存在記号
植野真臣
３．集合の「要素」の記法
外延的記法：A = {1,2,3,4,5} = {3,2,5,1,4} （有限集合）
A = {1,3,5,7 … } （無限集合）
(引用終り)
以上
471:超集合ω
22/01/22 08:51:41.88 .net
今週のSET A
1. >>367でやっと
「昇鎖がそのまま降鎖になるとはいえない」
という初歩的な事実に気づくも
いまさら恥ずかしくて認められないので
よりによって
「俺は最初から分かってた！
分かってないのはお前ら全員だ！」
と歴史の改竄を図る
あいかわらず幼稚なニホンザル
２．しかしながら相変わらず
「任意に長い真の降鎖列が存在する」ならば
「無限に続く真の下降列がする」と誤解する
🐎🦌っぷり（>>370参照）
「任意の自然数ｎについて
ｎ＜ｍとなる自然数ｍが存在する」からといって
「自然数∞が存在する」とはいえないことが
ニホンザルには理解できない
472:超集合ω
22/01/22 08:58:45.48 .net
>>430
ん？ニホンザルは
昇鎖1<2<3< … <ωを、ひっくり返したω> … >3>2>1が
降鎖になり得ないことを認めたんじゃなかったっけ？
これ以上君がω> … >3>2>1を降鎖と早とちりした言い訳とか
しなくていいよ 見苦しいだけだから
中卒のニホンザルがいくら間違っても、大卒の俺たち神々は
生暖かく見守ってやるからさ
473:超集合ω
22/01/22 09:03:28.24 .net
ω>0
ω>1>0
ω>2>1>0
…
ω>n> … >0
は皆降下列
しかし
「いくらでも長い有限降下列が存在する」
からといって
「無限に長い降下列が存在する」
とはいえない
474:１３２人目の素数さん
22/01/22 09:41:38.77 pwRNgpxJ.net
今日も朝から狂人准教が埋め立て連投一人芝居
475:１３２人目の素数さん
22/01/22 11:00:30.19 xmdhbqqm.net
>>430
おいそこの日本人失格｡
外延だの内包だの言って粉飾記載が出来てる積もりで居る様だが、そもそも
1,2,3,…
と書こうが
∀n
任意のどの要素も「左『隣』」じゃねぇよ此の人間やめた馬と鹿の交雑種が｡
『超現実数視で見付かる ω-1 』と『序数の定義で並ぶ数と超限序数の定義で並ぶ数』とを
粉飾したままの認識で解釈しようとすんな、何度目の十把一絡げだお前は？
476:１３２人目の素数さん
22/01/22 11:10:18.59 Z0IHV7tr.net
山形狂人准教発狂
477:１３２人目の素数さん
22/01/22 11:11:57.22 IVwH8nHN.net
>>435
今日も朝から廃人無職が朝立ち連投夢芝居
478:１３２人目の素数さん
22/01/22 11:13:49.19 Z0IHV7tr.net
山形底辺准教のひとりエッチ報告は不要
479:１３２人目の素数さん
22/01/22 11:15:17.18 BSDBzXwL.net
>>439
今日もB型作業所をサボるa_watcher
480:１３２人目の素数さん
22/01/22 11:31:37.26 rb2h+BfN.net
>>430
問いを誤解してますよ？
＜ωの左側は何か？ ではなく ＜ωの左隣は何か？ です。
「隣」の意味分かりますか？分からな�
481:ｯれば辞書を引いては如何？
482:１３２人目の素数さん
22/01/22 11:47:15.88 Z0IHV7tr.net
狂人准教の掲示板セルフプレジャーは一日中続く
483:１３２人目の素数さん
22/01/22 11:48:38.48 rb2h+BfN.net
>>430
あなたはどうせ辞書を引かないので代わりに引いてあげましょう
-------
となり【隣】 の解説
１ 並んで続いているもののうち、最も近くにあること。また、そのもの。「―の席」「―町」
２ 左右両側にある家。また、その家の人。「―に留守をたのむ」
-------
いま家について論じてる訳ではないのでもちろん１の意味ですね。
つまり「０＜・・・＜x＜・・・＜ω が＜無限列ならばxは何か？」ではなく「０＜・・・＜x＜ω が＜無限列ならばxは何か？」を問われているのですよ？
理解できましたか？
484:１３２人目の素数さん
22/01/22 11:50:34.55 rb2h+BfN.net
>>430
まだ理解できませんか？
理解できたならさっさと答えて下さいね
485:１３２人目の素数さん
22/01/22 12:24:09.22 KNHw5frA.net
>>434
(引用開始)
ω>0
ω>1>0
ω>2>1>0
…
ω>n> … >0
は皆降下列
(引用終り)
？
降下列と降鎖とを、同じ意味で使っているの？
もし、そうならば、上記の
ω>0
ω>1>0
ω>2>1>0
…
ω>n> … >0
は、全部 降鎖ではないよ！
ただの列だよ
再度問う >>411より
聞いているのは、「昇鎖と降鎖と単なる列と、この3つの差をキチンと説明しろ」ってことよ
出来ないんだろ？ おサルさん>>7よｗ
ｗｗｗ
486:１３２人目の素数さん
22/01/22 12:28:16.23 KNHw5frA.net
>>430 補足
下記の 不等号 発展的な用法で
「a < b < c = d ≦ e < …… のように、4辺以上になったり「≦」や等号が混ざったりしても同様である。「>」「≧」「=」でも同様の表現ができる。」>>431
ここで、”a < b < c = d ≦ e < ……”の部分にご注目
e <の右に具体的な数がなく、……とする記法が許される日本国ですｗ
”「>」「≧」「=」でも同様の表現ができる”とあるよ
日本語分かりますか？
487:１３２人目の素数さん
22/01/22 13:15:57.76 xmdhbqqm.net
猿魔大王>>432-434
なぜ人間やめて馬と鹿の交雑種と成ったセタ爺は粉飾解釈でゴールポストを動かし続け逃げようとするんでしょうか？
488:１３２人目の素数さん
22/01/22 14:23:58.97 rb2h+BfN.net
>>446
>ここで、”a < b < c = d ≦ e < ……”の部分にご注目
>e <の右に具体的な数がなく、……とする記法が許される日本国ですｗ
数の記載を省略することと数が無いことの違いは理解できますか？
e <の右に数が無いならそもそも不等号＜が成立しませんよ？
不等号＜は二項関係ですから
理解できますか？
489:１３２人目の素数さん
22/01/22 14:31:08.72 rb2h+BfN.net
>>446
ということで早く答えて下さいね
＜ωの左隣は何か？
490:１３２人目の素数さん
22/01/22 15:51:46.63 IVwH8nHN.net
>>442
センズリパトロールご苦労さん
491:超集合ω
22/01/22 16:19:37.95 .net
>>445
>？
>降下列と降鎖とを、同じ意味で使っているの？
いや、
「降下列」は有限列
「降鎖」はNでインデクスされた無限列
と使い分けている
無限が理解できないニホンザルの君が区別できないだけ
>…上記の
>ω>0
>ω>1>0
>ω>2>1>0
>…
>ω>n> … >0
>は、全部 降鎖ではないよ！
偶然にも正しいｗ
どれも有限列であってNでインデクスされた無限列ではないから
>ただの列だよ
惜しい！！！
ただの「降下列」と書けば１００点満点だったのに
なんで降下の二文字を削るかな？ 🐎🦌なのかな？
>再度問う
何度でも問う
（有限）降下列と降鎖の違いを述べよｗ
492:超集合ω
22/01/22 16:23:38.77 .net
ああ、そうそう、SET A君に問題
円x^2+y^2=1の有理点と、
cが有理数の場合の直線y=cxの傾斜角の間に
成り立つ関係を述べよ
（ヒント）もちろん、等しくはない
493:１３２人目の素数さん
22/01/22 16:54:08.68 xmdhbqqm.net
人間やめて馬と鹿の交雑種に成ったセタ爺は
ωを有限自然数の集合に含む解釈も存在すると言いのけたんだから
世界一画数が多い麺料理の字をω回読み書きしろ
URLﾘﾝｸ(www.youtube.com)
494:超集合ω
22/01/22 17:17:55.43 .net
SET A君に問題
円x^2+y^2=1の有理点と、
cが有理数の場合の直線y=cxの傾斜角の間に
成り立つ関係を述べよ
（ヒント）もちろん、等しくはない
495:１３２人目の素数さん
22/01/22 17:41:48.60 pWim5ENn.net
�
496:�業所がコロナで休みになると精神に変調をきたすa_watcher
497:１３２人目の素数さん
22/01/22 18:37:53.53 IVwH8nHN.net
清水の舞台から落ちて頭を強か打って自分を天才であり大卒であると思い込み山形の女性の攻撃を受けていると妄想に取り憑かれ匿名掲示板でデタラメを言って気持ち悪がられている便所コオロギの事かな？
498:超集合ω
22/01/22 18:46:22.37 .net
SET A君に問題
円x^2+y^2=1の有理点と、
cが有理数の場合の直線y=cxの傾斜角の間に
成り立つ関係を述べよ
（ヒント）もちろん、等しくはない
499:１３２人目の素数さん
22/01/22 21:29:37.33 KNHw5frA.net
>>448
>数の記載を省略することと数が無いことの違いは理解できますか？
>e <の右に数が無いならそもそも不等号＜が成立しませんよ？
>不等号＜は二項関係ですから
>理解できますか？
そんな幼稚な思考では、
”上界・下界、上限・下限、上に有界・下に有界 【数学 解析学】”下記
が理解できないぜ
ま、下記を100回再生して見てねｗ
URLﾘﾝｸ(www.youtube.com)
上界・下界、上限・下限、上に有界・下に有界 【数学 解析学】
9,120 回視聴2017/09/17
みつのきチャンネル
チャンネル登録者数 7650人
上界・下界、上限・下限、上に有界・下に有界
を図やイメージで説明します。
紛らわしい用語なので動画でまとめてみました。
是非ご参考ください。
チャンネル数学
3 年前
分かりやすかったです！
解析学のみ大学でつまずいていたので助かります！
Sato Kan
7 か月前
素晴らしい、めちゃくちゃわかりやすい、これから長い付き合いになると思います
mariruri RED
3 年前
分かりやす過ぎて泣けた、テストのりきれそうです
500:１３２人目の素数さん
22/01/22 21:33:02.70 KNHw5frA.net
>>451
>惜しい！！！
>ただの「降下列」と書けば１００点満点だったのに
>なんで降下の二文字を削るかな？ 歷なのかな？
「降下列」の定義を書いてみろよ
そうすれば、降鎖の定義との違い
明確になる
そこで、あんたの間違いがハッキリすると思うぜ
501:１３２人目の素数さん
22/01/22 22:01:24.85 rb2h+BfN.net
>>458
講釈はいいので＜ωの左隣を答えて下さいって何度言わせるんですか？
答えるか間違いを認めるかどちらかにしてもらえませんか？三歳児じゃないんだから愚図らないでくれます？
502:１３２人目の素数さん
22/01/22 22:16:18.17 KNHw5frA.net
>>460
つーｗ
（>>446 再録）
下記の 不等号 発展的な用法で
「a < b < c = d ≦ e < …… のように、4辺以上になったり「≦」や等号が混ざったりしても同様である。「>」「≧」「=」でも同様の表現ができる。」>>431
ここで、”a < b < c = d ≦ e < ……”の部分にご注目
e <の右に具体的な数がなく、……とする記法が許される日本国ですｗ
”「>」「≧」「=」でも同様の表現ができる”とあるよ
日本語分かりますか？
(引用終り)
ｗｗｗ
（>>458 再録）
そんな幼稚な思考では、
”上界・下界、上限・下限、上に有界・下に有界 【数学 解析学】”下記
が理解できないぜ
ま、下記を100回再生して見てねｗ
URLﾘﾝｸ(www.youtube.com)
上界・下界、上限・下限、上に有界・下に有界 【数学 解析学】
(引用終り)
ｗｗｗ
503:１３２人目の素数さん
22/01/22 23:11:54.80 rb2h+BfN.net
>>461
いつになったら＜ωの左隣を答えるんですか？
なんで逃げ続けるんですか？
504:１３２人目の素数さん
22/01/23 01:50:58.31 yogMq5Zs.net
>>461
おいゴミ早くしろ
505:江戸前寿司
22/01/23 07:26:53.61 .net
おやおや、馴れ寿司SET Aは、>>457も解けないのかい？
じゃ、半分だけ教えてやるよ
(1)任意の有理数cを係数とする直線y=cxについて
その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点
1+ciを考える
その共役1-ciは1+ciと同じ絶対値、同じ角度で回転方向が逆 したがって
(1+ci)/(1-ci)=((1-c^2)+2ci)/(1+c^2)
は1+ciの二倍の角度をもち、絶対値１となる ゆえに
((1-c^2)/(1+c^2),2c/(1+c^2))
は円x^2+y^2=1の有理点
さて、(1)の逆、(2)は成り立つかな？
(1)円x^2+y^2=1の有理点(a,b)について
その角度の半分の傾斜角をもつ直線y=cxの係数cは必ず有理数
506:江戸前寿司
22/01/23 07:36:50.22 .net
>>464 の一部訂正
「さて、(1)の逆、(2)は成り立つかな？
(2)円x^2+y^2=1の有理点(a,b)について
その角度の半分の傾斜角をもつ直線y=cxの係数cは必ず有理数」
ま、どうせ、わかんねぇだろぉから、もう半分も教えるか
a=cosθ,b=sinθ,c=tan(θ/2)とすると、半角の公式から
c^2=(1-a)/(1+a)=(1-a^2)/(1+a)^2
ここで、a^2+b^2=1を使うと
c^2=(1-a^2)/(1+a)^2=b^2/(1+a)^2
したがって
c=b/(1+a)
と表せて、a,bが有理数ならcも有理数
つまり(2)も成り立つ ゆえに
「円x^2+y^2=1の有理点と、
cが有理数の場合の直線y=cxの傾斜角」
は1対1対応する
507:１３２人目の素数さん
22/01/23 11:04:52.47 hRb0GeyT.net
>>464
>任意の有理数cを係数とする直線y=cxについて
>その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点
そもそも、示そうとする結論が間違っているけどな。正しくは
>或る無理数cを係数とする直線y=cxが存在して
>その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点となる
のような結論になる
508:１３２人目の素数さん
22/01/23 11:31:02.78 yogMq5Zs.net
>>425
自殺が美しいだコラ？投身自殺で脳漿をブチ撒けた死体の何が美しいんだコラ？
509:１３２人目の素数さん
22/01/23 11:34:55.39 yogMq5Zs.net
>>461
こら早くしろ、『<…<』で紛らわせて誤魔化せると思うなよって何度言わせるんだ？漢字が読めないのか？死んでるのか？
『…』のどこに左隣が記されてるんだコラ？外延だの内包だの言ってんじゃねぇよ現物持って来いよオイ早くしろオイ
510:１３２人目の素数さん
22/01/23 12:18:42.00 7Yhg0P8m.net
間違いを認められない三歳児ですから
511:江戸前寿司
22/01/23 12:21:00.88 .net
>>466
>そもそも、示そうとする結論が間違っているけどな。正しくは
>「或る ”無理数c” を係数とする直線y=cxが存在して
> その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点となる」
>のような結論になる
hRb0GeyT さん、>>464-465 読みました？
理解できませんでした？
どこがどう理解できませんでした？
読んで理解できたなら、
あなたの考えが全く間違ってることが
瞬時に即座にわかるはずですが？
ニホンザルSET Aと全く同類の中卒？
512:１３２人目の素数さん
22/01/23 12:31:53.88 e93NTUKG.net
>>466
>任意の有理数cを係数とする直線y=cxについて
>その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点
これは完全に正しいよ。
「有理数c」を「無理数c」に変えるとそれこそナンセンスな主張になる。
こんな数学センスのない酷い間違いをするのは
昔いた「おっちゃん」という脳みそ腐ったやつレベルだ。
513:１３２人目の素数さん
22/01/23 12:54:57.17 e93NTUKG.net
円周上の有理点は、一般に
(x,y)=( (1-t^2)/(1+t^2), 2t/(1+t^2))
とパラメータ表示される。tは任意の有理数。
これはピタゴラス方程式の一般解のパラメータ表示と等価。
一方で、直線と円の交点の座標(x,y)に対して
(x,y)=(cosθ,sinθ)とおくと、c=y/x=tanθ.
tanθ=ｔとおくと倍角の公式
tan 2θ=2t/(1-t^2) が成立するから
これを先のパラメータ表示と比較してみれば分かる。
514:１３２人目の素数さん
22/01/23 12:57:13.91 e93NTUKG.net
*単位*円周上
515:１３２人目の素数さん
22/01/23 13:24:01.83 hRb0GeyT.net
>>470-471
>任意の有理数cを係数とする直線y=cxについて
>その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点
これが正しかったら、1は有理数なので、c=1のときも正しくなる
そして、(cos(1)、sin(1))が有理点になる
だが、ゲルフォント・シュナイダーの定理よりcos(1)、sin(1)は超越数だから、(cos(1)、sin(1))は有理点ではない
このように反例があるから、上の命題は偽になる
おっちゃんの研究の範疇
516:１３２人目の素数さん
22/01/23 13:24:17.41 IRvY/cUL.net
つーｗ
なんだ？ IUTアンチって、三歳児のチンパンジー並みか？
せめて、5歳のチコちゃん並みになってから、数学板に来てねｗｗｗ
（>>446 再録）
下記の 不等号 発展的な用法で
「a < b < c = d ≦ e < …… のように、4辺以上になったり「≦」や等号が混ざったりしても同様である。「>」「≧」「=」でも同様の表現ができる。」>>431
ここで、”a < b < c = d ≦ e < ……”の部分にご注目
e <の右に具体的な数がなく、……とする記法が許される日本国ですｗ
”「>」「≧」「=」でも同様の表現ができる”とあるよ
日本語分かりますか？
(引用終り)
ｗｗｗ
（>>458 再録）
そんな幼稚な思考では、
”上界・下界、上限・下限、上に有界・下に有界 【数学 解析学】”下記
が理解できないぜ
ま、下記を100回再生して見てねｗ
URLﾘﾝｸ(www.youtube.com)
上界・下界、上限・下限、上に有界・下に有界 【数学 解析学】
(引用終り)
ｗｗｗ
517:１３２人目の素数さん
22/01/23 13:30:32.93 hRb0GeyT.net
>>470-471
>>474の
>そして、(cos(1)、sin(1))が有理点になる
>だが、ゲルフォント・シュナイダーの定理よりcos(1)、sin(1)は超越数だから、(cos(1)、sin(1))は有理点ではない
ここは
>そして、(1/√2、1/√2)が有理点になる
>だが、√2は無理数だから、(1/√2、1/√2)は有理点ではない
の間違い
518:１３２人目の素数さん
22/01/23 13:39:31.64 hRb0GeyT.net
>>470-471
>これが正しかったら、1は有理数なので、c=1のときも正しくなる
ここは
>これが正しかったら、1/2は有理数なので、c=1/2のときも正しくなる
の間違い。
c=1/2とすると、傾斜角は1の直線y=xと円x^2+y^2=1の交点のことを考えればよくなる
519:１３２人目の素数さん
22/01/23 13:42:10.53 7Yhg0P8m.net
>>475
もしもしー
日本語読めますかー？
＜ωの左隣を聞いてるんですよー
間違いを認めたくないからって白痴のフリするのはやめてもらっていいですかー え？素で白痴？
520:江戸前寿司
22/01/23 13:56:11.75 .net
「任意の有理数cを係数とする直線y=cxについて
その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点」
>>474 >>476
>これが正しかったら、
>1は有理数なので、c=1のときも正しくなる
>そして、(1/√2、1/√2)が有理点になる
はい、hRb0GeyT、
「任意の有理数cを係数とする直線y=cxについて
その傾斜角を持つ直線と円x^2+y^2=1の交点は有理点」
と読み間違ったね
でも、正しくは
「任意の有理数cを係数とする直線y=cxについて
その傾斜角 【の二倍の角】 を持つ直線と円x^2+y^2=1の交点は有理点」
だ�
521:ｩらｃ＝１の場合、その傾斜角の２倍の角を持つ直線はｘ＝０ そしてそれと円の交差点は（０，１）だから有理点 I have a win!!!
522:江戸前寿司
22/01/23 14:04:06.84 .net
>>477
>c=1/2とすると、傾斜角は1の直線y=xと
>円x^2+y^2=1の交点のことを考えればよくなる
はい、hRb0GeyT、倍角の計算の誤り
(1,1/2)の２倍の偏角を持つのは
(1,2*(1/2)/(1-(1/2)^2))
=(1,1/(3/4))
=(1,4/3)
(1,1)ではありませぇぇぇぇん！（オトナげない）
523:江戸前寿司
22/01/23 14:11:26.21 .net
結論
・中卒ニホンザルSET Aは>>457に手も足も出ず完敗
悪いけど、こんな高校程度の数学で解ける問題も解けないサルが
楕円曲線の有理点とか語るなんて
１００年、１０００年どころか１００００年早いからｗ
・hRb0GeyT氏 がどういう人か存じ上げませんが
そもそも問題の短文すら落ち着いて読めてないので
数学書は一ページも読めないだろうと思います
精神的な問題によるのであれば治療を薦めます
524:１３２人目の素数さん
22/01/23 15:02:01.39 yogMq5Zs.net
>>475
早くしろ此の人間やめた馬と鹿の交雑種｡
「…」なんて無限に多くの混ざり物した答えしないで「ωの『左“隣”』『ただ一つ』」を答えろや､
此の有限と無限の括りも区別が付かない「ミソもクソも一緒」野郎が｡
テメェがやってんのは『河豚の“刺身”』の要求に対して『“未調理”の河豚』差し出してんのと変わんねーぞ､
テメェは客に河豚毒に中らせてぇのかコラ？あ？
525:１３２人目の素数さん
22/01/23 15:04:48.80 iv2kTdMG.net
>>482
∧__∧
(´∀｀)
(⊃⌒*⌒⊂)
/_ノωヽ_)
526:１３２人目の素数さん
22/01/23 15:42:04.66 yogMq5Zs.net
○
く|)へ
〉 ヽ○ノ
￣￣７ ヘ/ >>483
／ ノ
｜
`／
｜
｜
/
屑鉄熔解炉
527:１３２人目の素数さん
22/01/23 15:42:31.81 fKY9rY9c.net
>>479-480
>「任意の有理数cを係数とする直線y=cxについて
> その傾斜角 【の二倍の角】 を持つ直線と円x^2+y^2=1の交点は有理点」
>
>だからｃ＝１の場合、その傾斜角の２倍の角を持つ直線はｘ＝０
>そしてそれと円の交差点は（０，１）だから有理点
有理数全体Qは実直線R上で体をなすから、私の趣旨全体には何の効力もない
528:１３２人目の素数さん
22/01/23 15:45:56.48 fKY9rY9c.net
>>479-480
>>485の訂正：実直線R上→実数直線R上
529:１３２人目の素数さん
22/01/23 16:08:23.81 e93NTUKG.net
おっちゃん本当に頭悪いな。
>(cos(1)、sin(1))
とか書いてるけど、誰もθが有理数なんて言ってない。
θというのは、単位円における「弧の長さ」だよ。
分かってますか？
「弧の長さが有理数のとき」なんて言ってない。
c=y/x=tanθが有理数のとき と言っている。
そのとき、(x,y)=(cos2θ,sin2θ)が
x^2+y^2=1の有理数解（但し(x,y)=(0,1)を除く）
と1対1対応しているという話。
530:１３２人目の素数さん
22/01/23 16:24:19.10 fKY9rY9c.net
>>487
普通、c=y/x=tanθのことを傾斜角とはいわない
普通、c=y/x=tanθは、実変数θの実関数c=tanθの値という
このとき、実変数θが角の変数になっている
531:１３２人目の素数さん
22/01/23 16:28:17.24 e93NTUKG.net
訂正
但し(x,y)=(0,±1)を除く
532:１３２人目の素数さん
22/01/23 16:32:19.37 e93NTUKG.net
>>488
「傾斜角が有理数」なんて言ってないでしょ。
直線y=cxのcが有理数と言ってるよ。
c≠傾斜角
533:１３２人目の素数さん
22/01/23 16:44:26.31 fKY9rY9c.net
>>490
それじゃ、>>479-480がいう傾斜角とは何の角のことを指している？
傾斜角というからには何らかの角を指しているのだろう
534:１３２人目の素数さん
22/01/23 16:45:46.10 e93NTUKG.net
ま、直線と円の交点は２つあるから、1対2対応と言った方がいいかも。
θが0≦θ<πと動くとき、2θがぴったり0≦2θ<2π を動くわけで
話としては合っている。
1対1対応と言うなら、「半直線」とするべきですね。 <
535:１３２人目の素数さん
22/01/23 16:50:43.17 e93NTUKG.net
>>491
傾斜角というのは、c=y/x=tanθのときの、θのことに決まってるじゃん。
536:１３２人目の素数さん
22/01/23 17:03:15.89 yogMq5Zs.net
じっちゃんといいセタ爺といい何で無恥なんだ
537:１３２人目の素数さん
22/01/23 17:31:03.48 fKY9rY9c.net
>>493
それだと、>>487で
>c=y/x=tanθが有理数のとき と言っている。
と書いているから、そのθは傾斜角だな
538:１３２人目の素数さん
22/01/23 17:49:36.63 e93NTUKG.net
>>492
何言ってるんだ。大間違い。
1対1対応でいいですね。
交点は2つあるが、偏角の差がπだから
2倍すると円周上では同じ点になる。
539:江戸前寿司
22/01/23 18:22:49.50 .net
>>488
>普通、c=y/x=tanθのことを傾斜角とはいわない
>>457では、cが傾斜角だとは言ってない
”cが有理数の場合”の”直線y=cxの傾斜角”といっている。
>>490のいう通り、直線y=cxの傾斜角θは、c=tanθとは異なる
540:江戸前寿司
22/01/23 18:25:49.73 .net
>>491
> >>479-480がいう傾斜角とは何の角のことを指している？
>>493
> 傾斜角というのは、c=y/x=tanθのときの、θのことに決まってるじゃん。
493の通りです 高校で習う角度を理解していればわかること
541:江戸前寿司
22/01/23 18:33:30.38 .net
>>495
つまり円の有理点(a,b)と原点を結ぶ直線の傾きをd=b/aとするとき
dはもちろん有理数であるが、それだけではなく
d=2c/(1-c^2)
となるような有理数cが存在する、ということ
逆に任意の有理数cについて
d=2c/(1-c^2) を計算すれば
y=dxと円x^2+y^2=1の交点は有理点
542:江戸前寿司
22/01/23 18:51:57.33 .net
dx^2+2x-d=0 の解
x=-2±√(4+4d^2)/2d
つまり√(4+4d)=2√(1+d^2)が有理数になる場合
d=b/aとすると (a^2+b^2)/a^2が有理数になる場合
…これじゃ意味ないなｗ
543:１３２人目の素数さん
22/01/23 19:52:20.61 yogMq5Zs.net
>>475
オラどうした早くしろ此の人間やめた馬と鹿の交雑種｡
早く「…」なんて無限に多くの混ざり物から答えである「ωの『左“隣”』『ただ一つ』」を答えろや､
此の有限と無限の括りも区別が付かない「ミソもクソも一緒」野郎が｡
『河豚の“刺身”』の要求に対して『“未調理”の河豚』差し出す様な毒まみれ糞まみれ回答をいい加減にやめろや｡
やっぱりテメェは客に河豚毒に中らせてぇのかコラ？あ？
544:江戸前寿司
22/01/23 20:06:40.31 .net
>>500の修正
dx^2+2x-d=0 の解
x=-2±√(4+4d^2)/2d
つまり√(4+4d^2)=2√(1+d^2)が有理数になる場合
d=b/aとすると (a^2+b^2)/a^2が有理数になる場合
自明といえば自明だが、意味ない、とまではいえないかｗ
545:１３２人目の素数さん
22/01/23 20:24:07.59 IRvY/cUL.net
つーｗ
なんだ？ IUTアンチって、三歳児のチンパンジー並みか？
せめて、5歳のチコちゃん並みになってから、数学板に来てねｗｗｗ
「不等号は2項関係」だが、推移律から有限集合に拡張され、また、無限集合にも拡張される
その拡張により、”a < b < c = d ≦ e < ……”のように使われるだけのこと。三歳児には難しいだろうな
”2項関係なのに、なんで「e < ……」？”か。5歳になったら分かるよ
（>>446 再録）
下記の 不等号 発展的な用法で
「a < b < c = d ≦ e < …… のように、4辺以上になったり「≦」や等号が混ざったりしても同様である。「>」「≧」「=」でも同様の表現ができる。」>>431
ここで、”a < b < c = d ≦ e < ……”の部分にご注目
e <の右に具体的な数がなく、……とする記法が許される日本国ですｗ
”「>」「≧」「=」でも同様の表現ができる”とあるよ
日本語分かりますか？
(引用終り)
ｗｗｗ
（>>458 再録）
そんな幼稚な思考では、
”上界・下界、上限・下限、上に有界・下に有界 【数学 解析学】”下記
が理解できないぜ
ま、下記を100回再生して見てねｗ
URLﾘﾝｸ(www.youtube.com)
上界・下界、上限・下限、上に有界・下に有界 【数学 解析学】
(引用終り)
ｗｗｗ
546:１３２人目の素数さん
22/01/23 20:27:59.43 7Yhg0P8m.net
>>503
また文盲か
君は数学の前に小学校の読み書きからね
聞いてるのは＜ωの左隣だから
547:１３２人目の素数さん
22/01/23 20:31:13.41 7Yhg0P8m.net
間違いを認めることができなくて文盲のフリをしてるのか
素で文盲なのか
まあ後者かな？頭悪そうだし
548:１３２人目の素数さん
22/01/23 20:52:25.69 yogMq5Zs.net
>>503
だぁーから言ってんだろボケ
その拡張は過剰だって、拡大解釈も拡大解釈、過拡大解釈だっての
「ωの『左“隣”』『ただ“一つ”』」を示せや此の人間やめた馬と鹿の交雑種が｡
『“…”の内の“どれか”』なんて解答が許されると思ってんじゃねぇよ此のゴールポスト拡大許容強制野郎が｡
549:江戸前寿司
22/01/23 20:56:26.72 .net
>>503
高校生でもわかる>>457の問題に手も足も出ずダンマリの
中卒ニホンザルSET Aは永遠に黙るがよろし
550:κ寿司(図書館の中のｷﾁ)
22/01/23 21:00:41.50 tZ07Wua+.net
質問ｻﾏのｽﾙﾙｪ凍ﾗｾﾁｬｨﾏｼﾀ!
僕ｶﾞｽﾍﾞｯﾁｬｨﾏｼﾀ!
…ｺｯﾁゎ混ﾝﾃﾞﾃ楽ｼｿｩ…
楽ｼｿｩﾁﾞｬﾅｨ?(嵐の心理)
551:κ寿司(図書館の中のｷﾁ)
22/01/23 21:03:36.39 tZ07Wua+.net
…
|ｧﾋｨﾝ!
|=₃
552:１３２人目の素数さん
22/01/23 21:07:09.89 7Yhg0P8m.net
>>503
>「不等号は2項関係」だが、推移律から有限集合に拡張され、また、無限集合にも拡張される
>その拡張により、”a < b < c = d ≦ e < ……”のように使われるだけのこと。三歳児には難しいだろうな
推移律を理由に＜ωの左隣が無くてもいいと言いたいの？
はい、大間違いです。
集合Ｘ上の二項関係＜が推移律を満たすとは
553:(∀a∈Ｘ)(∀ｂ∈Ｘ)(∀c∈Ｘ)((a<b ∧ b<c) ⇒ a<c) が成立することであって、 どこにも x<y のxが無くてもよいなんて書かれてませんよ？xが無ければ推移律以前にそもそも二項関係の定義を満たしません。 推移律があと言うなら推移律の定義くらい確認しなさいよ。あなた三歳児？
554:κ寿司(図書館の中のｷﾁ)
22/01/23 21:07:37.42 tZ07Wua+.net
🌈ﾓｯﾁｬﾏさまのNHK特集
楽しみにしてます!
観たいです!
555:κ寿司 (図書館の中のｷﾁ)
22/01/23 21:13:11.23 tZ07Wua+.net
|…ｧｯ!…
| …ｺﾞﾒﾝﾅｻｨ…
| ｻｮﾅﾗ!²
|=₃
556:１３２人目の素数さん
22/01/23 22:08:03.39 IRvY/cUL.net
>>411 追加
(引用開始)
松坂和夫「集合・位相入門」（岩波 1968）
このP105 問題の2に
昇鎖の定義がある
順序集合Aの要素からなる列 (an)n∈N（＝自然数）で、a1<a2<・・<an<・・
となるものを昇鎖という
降鎖は、この列の不等号が逆で、a1>a2>・・>an>・・
これ以外に、単なる列がある
この3つの差
(引用終り)
答えを書く
A）松坂和夫の昇鎖の定義を分解すると、1）順序集合A、2)Aの部分集合の要素 (an)n∈N（＝自然数）、3)全順序列 a1<a2<・・<an<・・
の3つの要素がある（順序の ”<” は、大前提とする）
B)降鎖も同様に、3つの要素があり、全順序列 a1>a2>・・>an>・・ となる点のみが、昇鎖と異なる
C)単なる列は、要素は1つで、列のみ。例えば、・・・,n1,n2,・・・,z1,z2,・・,q1,q2,・・・・,r1,r2,・・ （これは、数直線Rからランダムに数を選んで並べた列で、大小はランダム。列長さは連続濃度まで可）
分かるかな？
・A）B)には、始点のa1がある。列の長さのMaxは、N（＝自然数）で制限される
・対してC)は、数直線Rからランダムに数を選ぶとして、半開区間(0,1}で、1/n n∈N で列を作れば、・・1/n・・,1/2,1 の列ができる
半開区間(1,2}で、1+1/n n∈N で列を作れば、・・1+1/n・・,1+1/2,1+1=2 の列ができる
二つの列を直列すれば、・・1/n・・,1/2,1,・・1+1/n・・,1+1/2,1+1=2 となる列ができる
列の長さは、2ωになる。全順序の増加列だが、 定義(an)n∈Nから外れるので、松坂和夫の昇鎖の定義から外れる
が、・・<1/n<・・<1/2<1<・・<1+1/n<・・<1+1/2<1+1=2 と書いても間違いではない！ｗｗ
557:１３２人目の素数さん
22/01/23 22:26:05.65 e93NTUKG.net
t=tanθとおくと、倍角の公式
cos2θ=(1-t^2)/(1+t^2), sin2θ=2t/(1+t^2)
が成立する。
tが有理数∪{∞}のとき
(x,y)=(cos2θ,sin2θ)が単位円周上の
有理点であることは見易い。
t=sin2θ/(cos2θ+1) だから、(x,y)=(cos2θ,sin2θ)
が有理点であれば、有理数∪{∞}なるtが逆に得られる。
t=∞に対応する有理点は(x,y)=(-1,0).
したがって、これを除けば、有理数なるtと
円周上の有理点が1対1対応する。
558:１３２人目の素数さん
22/01/23 22:29:26.92 e93NTUKG.net
有理点がこれらで「尽くされる」ことの証明は
もっと込み入っているのかと漠然と思ってましたが
有理パラメータ表示からそのまま得られるんですね。
より難しい問題の場合は、「無限降下法」などの
数論的な技法が必要になるはず。
559:１３２人目の素数さん
22/01/23 22:41:35.08 e4yi4uJR.net
もっと難しい問題の場合はWilesとTaylorが必要であった。
560:１３２人目の素数さん
22/01/23 23:51:33.42 IRvY/cUL.net
>>513
>松坂和夫「集合・位相入門」（岩波 1968）
>P105 問題の2
これ、綺麗に解説している人が居る
必要十分の証明で、前半が背理法、後半が（対偶）なんやね。松坂の巻末に略解があり、同じことを書いているが、下記は丁寧で分かり易い。お見事です
URLﾘﾝｸ(sskmathematics.kilo.jp)
佐々木数学塾
松坂先生の集合・位相入門
2021年9月28日
「存在することを示せ」と言われたら（その２）
（★P105問題2 ）
順序集合Aの元の列(an)n∈Nで，a1<a2<…<an<…となるものをAにおける昇鎖という．これと相対的にAにおける降鎖が定義される．
Aが全順序集合であるとき，Aが整列集合であるための必要十分条件は，Aにおいて降鎖が存在しないことであることを示せ．
存在を追え！
証明
（⇒）
Aが整列集合で，Aにおいて降鎖が存在すると仮定する．このとき，Aの元の列(an)n∈Nで，
a1>a2>…>an>…
となるものが存在するが，{an}n∈Nには最小元が存在せず，矛盾である．
（←）
Aが整列集合でないならばAにおいて降鎖が存在することを示す（対偶）．
仮定により，Aは整列集合でないから
￢(Aが整列集合)
↓↑
￢(空でない任意の部分集合が最小元をもつ)
↓↑
￢(M≠Φ,M⊂A⇒Mは最小元をもつ)
↓↑
∃M[M≠Φ,M⊂A,Mは最小元をもたない…(*)]
￢(Mが最小元をもつ)
↓↑
￢(∃a∈M∀x∈M[a?x])
↓↑
∀a∈M∃x∈M[x<a]…(**)
したがって(*)を満たすMが存在する．このMの任意の元aに対して，(**)により，x<aとなるx∈Mが存在する．
そこで，Mの元を任意に1つとり（これをa1とおく），それに応じて定まる（x<a1を満たす）x∈Mをa2とおくと
a2<a1
となる．さらにこのa2∈Mに対して，再び(**)により，上と同様にx<a2となるx∈Mが存在する．これをa3とおけば，
a3<a2
が成り立つ．これを繰り返してAの元の列(an)n∈Nを定めれば，これが示すべきものとなる．
証明終
(引用終り)
以上
561:１３２人目の素数さん
22/01/24 00:09:56.09 8oU2aSM0.net
>>517 補足
・自然数N 自身は、全順序にして、整列集合でもある
・直感的な理解として、
降鎖 (an)n∈Nで，a1>a2>…>an>… を、A＝N中で作ろうとすると、始点のa1を決める必要がある
a1＝m m∈Nとすると、mは有限であるから、Nの最小値1との間では、有限の降下列しか出来ない （注：最小値0としても同じこと）
よって、N中の降鎖は有限長である
（数学の証明は、>>517の通り）
562:１３２人目の素数さん
22/01/24 03:25:24.94 LQGQ8Hjo.net
>>513
>・対してC)は、数直線Rからランダムに数を選ぶとして、半開区間(0,1}で、1/n n∈N で列を作れば、・・1/n・・,1/2,1 の列ができる
何それｗ 初項は何？
> 半開区間(1,2}で、1+1/n n∈N で列を作れば、・・1+1/n・・,1+1/2,1+1=2 の列ができる
何それｗ 初項は何？
> 二つの列を直列すれば、・・1/n・・,1/2,1,・・1+1/n・・,1+1/2,1+1=2 となる列ができる
何それｗ 初項は何？ 1の次の項は何？
また逃亡するの？勝手に妄想垂れ流しといて回答に困ると逃亡？「＜ωの左隣」や「…{{}}…の元」から逃亡したように？
563:１３２人目の素数さん
22/01/24 03:33:22.91 LQGQ8Hjo.net
>>513
列の定義くらい確認しなさいよ。
実数列sとは写像s:N→Ｒに他ならない。
∀n∈Ｎについて写像先のＲの元が定まっている必要がある。中学で教わったよね？写像。
初項が存在しなければ写像でない。つまり列でない。
君は中学からやり直しなさい。
564:１３２人目の素数さん
22/01/24 03:47:06.21 LQGQ8Hjo.net
一方で最終項は無くて良い。定義域であるＮに最大自然数が無いから。
定義を確認することもできない三歳児に数学は無理なので諦めましょう。
565:１３２人目の素数さん
22/01/24 04:55:21.61 Y+51X27W.net
圏相対はしょせん多面体相対だわ
566:１３２人目の素数さん
22/01/24 05:56:10.55 lYzA8f64.net
>>503
全く以て混ざり物まみれの回答｡
また、それに先駆けて「N=1～∞だから∞も含むよ。数列でもk=1～∞と書くよね。」という有限と無限を一緒くたにする回答｡
そういう混ざり物だらけ十把一絡げ回答しかしねぇなら此れから､
混ざり物まみれで良いお前は河豚は毒まみれで食うし、米も糠まみれ殻まみれで食うし､
有限も無限も一緒で良いお前はクソもミソも一緒でミソ汁に代わりクソ汁を飲む｡
お前のやってんの、そういう回答だからね。なぁーにが「それが多様性を重
567:んじる21世紀の数学だよ。」だ、この人間やめた馬と鹿の交雑種が｡ ライフスペースの高橋弘二みたいな奴だな、セタ爺は。ミソとクソも一緒、生者と死者も一緒｡ その内、お前も蛆が涌いた死体を見て「目を覚ました、体を乗り換えて目を覚ました」とか言い出すんだろうな｡ 常人はそんな見境無い事に成らねぇ様に区別付けるが、お前はその区別をむしろ積極的に有耶無耶にした｡ やっぱり河豚は毒ごと、米は糠ごと殻ごと、ミソをクソで代用する食事をして見せなきゃいけねーな、お前は｡ して見せねぇなら、此処最近のお前の混ざり物まみれの回答、有限無限一緒くた回答、帰納法誤用回答は 一切合財がペテン回答という事にしか成らない。さぁ、どうする？どうするよ？どうするんだよ､ この人間やめた馬と鹿の交雑種よ？
568:１３２人目の素数さん
22/01/24 06:03:18.74 lYzA8f64.net
>>503
おー早くしろよ。ミソとクソも一緒なお前はミソの代用にクソを使った料理として
ミソ汁ならぬクソ汁を飲むだけじゃなく、胡瓜のミソ漬けならぬ胡瓜のクソ漬けも食って見せなきゃならんぞ
はーい、河豚毒中り確定、糞毒病確定、ご苦労さぁーん。やっとけよぉー。今さら逃げんじゃねぇーぞぉー｡
ここまで言われて、まだ>>503みたいな回答して来たら、もうセタ爺は人間やめた馬と鹿の交雑種でさえないな､
人間やめた馬と鹿の交雑ゾンビだな。有限と無限の区別も、ミソとクソの区別も、生と死の区別も付かねぇんだから｡
569:１３２人目の素数さん
22/01/24 07:06:06.91 .net
>>514
>t=sin2θ/(cos2θ+1) だから、
>(x,y)=(cos2θ,sin2θ)が有理点であれば、
>有理数∪{∞}なるtが逆に得られる。
そうね
実は原点じゃなく(-1,0)と円周の点をつないだ直線の
傾斜の係数（注：角度に非ず）が有理数であるとき
その時に限り、当該の円周の点が有理点となる
・・・とかいうことがシルヴァーマンの
「はじめての数論」に書いてあった・・・
570:１３２人目の素数さん
22/01/24 07:10:18.63 .net
>>515
>有理点がこれらで「尽くされる」ことの証明は
>もっと込み入っているのかと漠然と思ってましたが
>有理パラメータ表示からそのまま得られるんですね。
そうですね この程度なら高校生でもわかる筈ですね
（自分は大学卒業してから気づいたけどｗ）
入試で、そういう問題って出たことないんですかね？
571:１３２人目の素数さん
22/01/24 08:22:08.51 kLwk8HoU.net
>>513 補足
（>>519-520に対して）
そんなに初項が欲しければ、下記のように初項0を追加すれば良いｗ
列の長さは、2ωになる。全順序の増加列だが、 定義(an)n∈Nから外れるので、松坂和夫の昇鎖の定義から外れる
が、・・<1/n<・・<1/2<1<・・<1+1/n<・・<1+1/2<1+1=2 と書いても間違いではない！ｗｗ
↓
列の長さは、2ωになる。全順序の増加列だが、 定義(an)n∈Nから外れるので、松坂和夫の昇鎖の定義から外れる
が、0<・・<1/n<・・<1/2<1<・・<1+1/n<・・<1+1/2<1+1=2 と書いても間違いではない！ｗｗ
となる
数学的な本質は変わらない
初項は、いつでも追加できる！ｗ
572:１３２人目の素数さん
22/01/24 10:29:46.69 4aFH85My.net
>>527 補足
スレ主です
選択公理と同値な[ツェルメロの整列可能性定理]によって、任意の集合E上に整列順序が存在する（下記）
整列可能性定理の示すところ、任意の（お好みの）順序で、任意の集合E上に整列順序を構築できる
例えば、実数Rで、好きなr1を取る。残りの集合R＼r1に対して、好きなr2を取る。繰り返すと
抽象的な整列順序列 r1,r2,・・ができる
それ以外の列も可能
例えば、下記の整列集合wikipediaの例と反例をご参照
初項r1が欲しければ、
上記の通り、先にr1を取り出して、後はr1抜きの部分集合で列を考えれば良いだけのこと
逆に、自然数Nとωを加えたN*=N∪{ω}は、整列集合で
1,2,・・,ωとできる。この順序は、通常の不等号<と考えてよいから
1<2<・・<ωとできる。整列可能性定理、即ち選択公理を認めるならば（*）、この順序列の存在は否定できない
(つまり>>7は否定される)
（ *）選択公理は、必要ないと思うが、�
573:ｪかり易く表現した） （参考） http://ysserve.wakasato.jp/Lecture/SetTheory3/settheory03/node16.html 整列可能定理 [ツェルメロの整列可能性定理] 任意の集合E上に整列順序が存在する。 以下に証明を述べます 略 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 で表す。 例と反例 自然数の全体 N （0 を含む）自然数全体の成す集合 N は通常の大小関係 ≦ が整列順序を与える。この整列集合の順序型は ω で表される。さらに、0 でない任意の自然数は唯一の直前元を持つ。 つづく
574:１３２人目の素数さん
22/01/24 10:31:44.69 4aFH85My.net
>>528
つづき
N における別な整列順序としては、例えば、どの偶数もどんな奇数よりも小さいものとし、偶数同士あるいは奇数同士では通常の大小関係を適用することで得られる順序
0, 2, 4, 6, 8, …, 1, 3, 5, 7, 9, …
が挙げられる。この順序に関する整列集合の順序型は ω + ω である。任意の元が直後の元を持つ（したがって最大元は存在しない）が、直前の元を持たない元が 0 と 1 の二つ存在する。
整数の全体 Z
自然数の全体に通常の大小関係を考えたものとは異なり、整数全体の成す集合 Z に通常の大小関係 ≦ を考えたものは整列集合ではない。たとえば、負の整数全体の成す集合には最小元が存在しない。
次のような二項関係 R を考えれば、Z を整列集合にすることができる。
ふたつの整数 x, y に対して、xRy となるための必要十分条件は
x = 0;
x が正で y が負;
x, y がともに正で、x ≦ y;
x, y がともに負で |x| ≦ |y|
のうちのいずれか一つが成立することと定める。この関係 R は要するに
0, 1, 2, 3, 4, …, -1, -2, -3, …
となる順序として表すことができる。この整列順序 R に関する整列集合 Z の順序型は順序数 ω + ω に順序同型である。
Z の別な整列順序の例としては、x ≦Z y ⇔ |x| < |y| または [|x| = |y| かつ x ≦ y] として定まる順序 ≦Z が挙げられる。図示すれば
0, -1, 1, -2, 2, -3, 3, -4, 4, …
である。これは ω を順序型とする整列順序である。
つづく
575:１３２人目の素数さん
22/01/24 10:32:25.87 4aFH85My.net
>>529
つづき
実数からなる集合
正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない。
一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。例えば V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う。
R の非可算部分集合に通常の大小関係を入れたものが整列集合にならないことは、実数直線 R を互いに交わりを持たない区間の和に分割するとき、そのような区間の数が高々可算であることからわかる。
可算無限集合ならば、通常の大小関係 ≦ が整列順序となることも、ならないこともありうる。
(引用終り)
以上
576:１３２人目の素数さん
22/01/24 10:54:57.05 7HBaYXuU.net
キチガイしかいないね
577:江戸前寿司
22/01/24 10:57:33.30 .net
>>528
>スレ主です
デロデロに溶けまくった馴れ寿司だろｗ
>1<2<・・<ωとできる。
>この順序列の存在は否定できない
だれも
578:否定してないが？ 一方 ω>…>2>1 なる降下列は皆有限列 なぜならω>xなるxは、皆自然数だから x<λなる任意のxから0への降下列が皆有限長なら λから0への降下列も有限長 これが超限帰納法 可算だろうが非可算だろうが いかなる無限順序数から0への降下列も有限長 これ知らん奴は集合論の初歩も分からん🐎🦌な
579:１３２人目の素数さん
22/01/24 12:05:30.90 4aFH85My.net
>>532
どうもです。スレ主です
＞> 1<2<・・<ωとできる。
＞>この順序列の存在は否定できない
＞だれも否定してないが？
なに食言してんだ？ おサルさんよ！>>7
（>>7より）
”（スレ55 ｽﾚﾘﾝｸ(math板:158番)より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
などという
これじゃ。三歳児レベルの知能じゃんかｗ
このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り) 以上
580:江戸前寿司
22/01/24 13:06:32.85 .net
>>533
>スレ主です
デロデロに溶けまくった馴れ寿司だろｗ
>なに食言してんだ？
なに最近覚えた言葉得意になって繰り返してんだ ニホンザルｗ
> ＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
０＜・・・ωなら無限列になる
０＜・・・ｘ＜ωなら有限列しかない
違いが分からん、中卒ニホンザルｗｗｗｗｗｗｗ
581:１３２人目の素数さん
22/01/24 15:13:53.45 lYzA8f64.net
> そんなに初項が欲しければ、下記のように初項0を追加すれば良いｗ
>
> 列の長さは、2ωになる。全順序の増加列だが、 定義(an)n∈Nから外れるので、松坂和夫の昇鎖の定義から外れる
> が、・・<1/n<・・<1/2<1<・・<1+1/n<・・<1+1/2<1+1=2 と書いても間違いではない！ｗｗ
> ↓
> 列の長さは、2ωになる。全順序の増加列だが、 定義(an)n∈Nから外れるので、松坂和夫の昇鎖の定義から外れる
> が、0<・・<1/n<・・<1/2<1<・・<1+1/n<・・<1+1/2<1+1=2 と書いても間違いではない！ｗｗ
>
> となる
> 数学的な本質は変わらない
> 初項は、いつでも追加できる！ｗ
ｽﾎﾟﾎﾟﾎﾟﾎﾟﾎﾟﾎﾟｰﾝ!!!
。 。
。｡ ｡ 。。ﾟ
。 ｡｡゜。ﾟ｡。
/ ／/ ／ ／
( Д ) Д)Д))
ｽﾊﾟﾊﾟﾊﾟﾊﾟﾊﾟﾊﾟｰﾝ!!!!!
+ ,, * +
" ＋※" + ∴ * ※ *
* * +※ ﾞ* ※ * ＋
+ "※ ∴ * + * ∴ +
* ※"+* ∵ ※ *"
( Д ) Д)Д))