純粋・応用数学・数学隣接分野（含むガロア理論）20

1 名前：１３２人目の素数さん [2025/04/24(木) 23:06:30.63 ID:ntJgvTuV.net] クレレ誌： https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。 (引用終り) そこで 現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして 新スレを立てる（＾＾； ＜前スレ＞ 純粋・応用数学・数学隣接分野（含むガロア理論）19 https://rio2016.5ch.net/test/read.cgi/math/1725190538/ ＜関連姉妹スレ＞ ガロア第一論文と乗数イデアル他関連資料スレ11 https://rio2016.5ch.net/test/read.cgi/math/1724969804/ スレタイ 箱入り無数目を語る部屋22 https://rio2016.5ch.net/test/read.cgi/math/1724982078/ Inter-universal geometry と ABC予想 (応援スレ) 71 https://rio2016.5ch.net/test/read.cgi/math/1713536729/ IUTを読むための用語集資料スレ2 https://rio2016.5ch.net/test/read.cgi/math/1606813903/ 現代数学の系譜 カントル 超限集合論他 3 (過去スレ落ち) https://rio2016.5ch.net/test/read.cgi/math/1595034113/ ＜過去スレの関連（含むガロア理論）＞ ・現代数学の系譜 工学物理雑談 古典ガロア理論も読む84 https://rio2016.5ch.net/test/read.cgi/math/1582200067/ ・現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 https://rio2016.5ch.net/test/read.cgi/math/1581243504/ つづく 151 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 14:06:36.28 ID:6vmhzBtF.net] 我々は数学板に「異常な賑わい」を求めていない スレ主１の炎上商法は好ましいものとは考えない しかしながら、スレ主１は５ｃｈ依存症で 今すぐ数学板の書き込みをやめることはできないのだろう？ だから、スレ一つだけ君の自由を認めるといってるわけだ 二つも三つも同様のスレを立てるのはやりすぎだろう 頭を冷やして考えてくれたまえ　そうムキになるなよ 152 名前：現代数学の系譜 雑談 [2025/05/06(火) 14:08:58.76 ID:V3WVDSzb.net] >>139 >同値関係.同値類の概念は数学や物理の基本だ。 ・別に否定はしていないが、 　言わんとすることは 最初から一意の無限10進小数展開を使えば、実数の構成だけなら 同値使わずにやれるってだけのこと ・なお、下記の”小平先生のNew Math批判”と同じ 　”数学というものはつまらないことを難しそうに言う変てこな馬鹿らしい学問” 　”大学の数学の先生もこんなつまらないことを偉そうにしているらしいと軽蔑されてしまうのである” 　になってないか？ もちろん、先に行って 抽象的な距離空間の完備化などで 同値関係が必要というのを 否定するつもりはない（そんなことは百も承知） ・なお、小平邦彦『怠け数学者の記』岩波現代文庫の話と 数学科に入ったら読む本 福井敏純 埼玉大 も観てね (参考) https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1801-10.pdf 理解析研究所講究録第1801巻 2012年 80-92 山崎秀記氏の問題提起に関連して 大阪大学 伊達悦朗 情報科学 2 小平先生のNew Math批判 その論説は今では，たとえば，小平邦彦「怠け数学者の記」岩波現代文庫に収められています． 「New Math批判」本文から引用してみます． お嬢さんがそれは入試にSMSGの教科書を用いる教育実験の級に編入されたそのときの体験に絡む部分からの後です． 集合論と公理主義の教育に係る部分です． 『まず集合論であるが、子供に無限集合は無理であるから、有限集合を教えることになる。 例えば{ }なる形の括弧の間に馬と鹿と豚の絵が書いてあるものと、 もう一組の括弧の間に豚と犬の絵がかいてあるものが∩なる記号で結ばれていれば、答は{豚}であるというようなことを教えるのであろう。 しかし、ゲームと思えば、・・易しい から、その内に「分かった。何でもない」と言いだす。 そして同様な宿題はすらすらできるようになる。 同時に数学というものはつまらないことを難しそうに言う変てこな馬鹿らしい学問だと考えるようになる。 ついでに大学の数学の先生もこんなつまらないことを偉そうにしているらしいと軽蔑されてしまうのである。 それで、果たして集合の概念がわかったかというと、それは頗る怪しいと思う。 何となれば略「自分達の周りには括弧がないから」略す 一対一の対応も子供にはやはりつまらないことを偉そうに言うといった印象を与えるようである』 https://note.com/teriyaki_ch/n/n353413160842 大学数学で心折れた人は○○を読もう 赤池エア 2023年8月30日 大学数学で心折れてしまったみんな〜〜〜〜〜〜！！！あちまれェ！！ こんにちは！数学科に入って自尊心が木っ端ミジンコになってしまった男、赤池エアです！ 突然ですが、大学でやる数学ってべらぼうに難しくないですか？ つづく 153 名前：現代数学の系譜 雑談 [2025/05/06(火) 14:09:25.54 ID:V3WVDSzb.net] つづき 2年生になって本格的な数学科の授業が始まると、1年生のときの数学よりもはるかに抽象度の高い内容が始まり、位相空間のあたりで僕の心は折れすぎて折り鶴になってました（？）。 とまぁそんな調子で2年生以降も心は折られ続けまして、3年生のルベーグ積分の授業で僕の自尊心は完全に木端微塵になりました。 自尊心が木っ端微塵になり、ゾンビのように大学内を徘徊するだけの存在になり果てた僕は、ゾンビ以前の習慣にならって本屋をゾンビ徘徊しているとなにやら光って見える本がありました。 それが、小平邦彦『怠け数学者の記』岩波現代文庫です。 数学で心折れてしまった人は、『怠け数学者の記』を読もう！ 数学書を読破するのは難しい このエ� 154 名前：bセイ集が面白いのは、こんなすごい数学者でも数学を勉強するのは一筋縄でいくものではないということが赤裸々に語られている点です。 どんなことが語られているのか、冒頭3ページ目の「ノートを作りながら」から引用してみましょう。 私にとって数学の本（論文も含めて）ほど読みにくいものはない。数百ページもある数学の本を初めから終りまで読み通すことは至難の業である。数学の本を開いてみると、まずいくつか定義と公理があって、それから定理と証明が書いてある。数学というものは、わかってしまえば何でもない簡単で明瞭な事柄であるから、定理だけ読んで何とかわかろうと努力する。証明を自分で考えてみる。たいていの場合は考えてもわからない。仕方がないから本に書いてある証明を読んでみる。しかし一度や二度読んでもなかなかわかったような気がしない。そこで証明をノートに写してみる。すると今度は証明の気に入らない所が目につく。もっと別な証明はありはしないかと考えてみる。それがすぐに見つかればよいが、そうでないと諦めるまでにだいぶ時間がかかる。こんな調子で一ヵ月もかかってやっと一章の終りに達した頃には、初めの方を忘れてしまう。（中略）数百ページある本の終章に達するのは時間的にも不可能に近い。何か数学書を速く読む方法があったら教えて貰いたいものである。 小平邦彦『怠け数学者の記』（岩波現代文庫）p3-p4 「ノートを作りながら」 以下略す https://www.rimath.saitama-u.ac.jp/lab.jp/ToshizumiFukui.html 福井　敏純 埼玉大学数学科 https://www.rimath.saitama-u.ac.jp/lab.jp/Fukui/lectures/ 講義ノートなど https://www.rimath.saitama-u.ac.jp/lab.jp/Fukui/lectures/intro.pdf 数学科に入ったら読む本 福井敏純 2025 年1月9日 はじめにiii 0.1数学とは. . . . . iii 0.2数学をわかるようになるには?. . . iv 第7章有理数の完備化95 7.1有理数の完備化...... 96 7.2実数....... 100 (引用終り) 以上 [] [ここ壊れてます] 155 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 14:21:13.86 ID:6vmhzBtF.net] >>144 > 最初から一意の無限10進小数展開を使えば、 > 実数の構成だけなら 同値使わずにやれるってだけのこと スレ主１は高校生かな？ 無限10進小数展開は厳密に一意とはいえないが 有限小数のところで999…は使わないとして無理矢理一意化するとしよう しかしそのような形で「実数とは無限１０進小数展開のこと」を定義した場合 実数であることを証明するのに必ず１０進展開で表せると示さねばならず 非常に面倒なことになる 有理コーシー列の同値類として定義すれば、 有理コーシー列として表せると示すだけで 実数だと示せるのでより一般的である 計算の都合だけ考えると、理論の証明の都合が見えなくなる 大学の数学を理解するとそういうことがわかってくるよ　スレ主１ >New Math批判 数学理論自体を、New Mathとして批判するのは行き過ぎ 小平邦彦もそんなことには全く賛同しない筈 故人なので直接聞くことはもうかなわないが 156 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 14:31:42.12 ID:6vmhzBtF.net] >>145 赤池エア （引用始め） ギャップを一番感じたのは線形代数でした。 最初は計算問題みたいな具体で来てたのに、 後半からベクトル空間上の写像だの基底だのみたいな抽象的な内容になって、 難易度の高低差で耳キーンなりましたわ。 2年生になって本格的な数学科の授業が始まると、 1年生のときの数学よりもはるかに抽象度の高い内容が始まり、 位相空間のあたりで僕の心は折れすぎて折り鶴になってました 3年生のルベーグ積分の授業で 僕の自尊心は完全に木端微塵になりました。 （引用終り） 線形代数・位相・測度 大学数学で落伍する三大関門だね これに集合（選択公理）を入れて四大関門という人もいる 要するに、数学の「ゲームチェンジ」に対応できてない 決まりきったゲームのプレイの習得から そもそもどういうゲームかの解析に話が変わっているが そこに興味が持てずついていけなくなっている 他学科への転科を考えたほうがいいかもしれないね 157 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 14:35:31.23 ID:6vmhzBtF.net] 数ベクトルや行列の計算は分かるのに、 線形空間・線形写像・線形独立・基底・階数の定義や 行列の正則性や階数に関する定理の証明は分からん という人は、数学科向いてないから転科したほうがいい 他の学科なら、別に理論分かってなくても最悪誤魔化せるけど 数学科は一切誤魔化しが聞かないから 158 名前：とおりすがり [2025/05/06(火) 14:38:44.57 ID:mnt+cH6z.net] >>144 >別に否定はしていないが、 否定を持ち出す前に中学数学から落ちこぼれた あなたに同値関係同値類の理解など不可能で 肯定も否定もできるレベルにない。 ただコピペを貼り続けるのみ 159 名前：とおりすがり [2025/05/06(火) 14:40:36.42 ID:mnt+cH6z.net] >>144 >別に否定はしていないが、 否定を持ち出す前に中学数学から落ちこぼれた あなたに同値関係同値類の理解など不可能で 肯定も否定もできるレベルにない。 ただコピペを貼り続けるのみ 160 名前：１３２人目の素数さん [2025/05/06(火) 14:49:13.92 ID:7F7KbKWJ.net] >>144 >言わんとすることは 最初から一意の無限10進小数展開を使えば、実数の構成だけなら 同値使わずにやれるってだけのこと じゃやってみて 君の言う方法で構成した集合が実数の公理を満たすことを示してみて 大口叩く前に実際にやってみせてよ 161 名前：１３２人目の素数さん [2025/05/06(火) 14:50:38.37 ID:7F7KbKWJ.net] >>144 まあどうせいつものホラ吹きだろうから期待せずに待っとくね　よろぴく〜 162 名前：現代数学の系譜 雑談 [2025/05/06(火) 16:02:51.43 ID:V3WVDSzb.net] >>145 追加 福井敏純先生 https://www.hmv.co.jp/artist_%E7%A6%8F%E4%BA%95%E6%95%8F%E7%B4%94_200000000632736/biography/ 福井敏純 プロフィール １９６０年東京に生まれる。 １９８３年横浜国立大学教育学部卒業。 １９８９年東京都立大学大学院理学研究科博士課程満期退学。 １９９２年博士（理学）（東京都立大学）。 現在埼玉大学理工学研究科教授。専門は特異点論 （本データはこの書籍が刊行された当時に掲載されていたものです） 『曲線と曲面の基礎・基本 理工系数学の基礎・基本』より https://www.rimath.saitama-u.ac.jp/lab.en/ToshizumiFukui_E.html Welcome to Toshizumi Fukui's webpage. (Japanese Page) I was a professor of the Departmet of Mathematics of Saitama University. Now, I am retired and have been honored with the title of Emeritus Professor. 163 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 16:38:47.67 ID:6vmhzBtF.net] https://www.rimath.saitama-u.ac.jp/lab.jp/Fukui/lectures/intro.pdf （引用始） 数学とは，公式を覚えてそれを当てはめて問題を解くことではありません． 確かに公式も数学の一部分ではありますが， その公式のでてきた背景，なぜその公式が成り立つかと言う理由，その公式の持つ意味， などを理解すること事が大切なので，公式を適用して問題を解くと言うのは 数学のごく一部でしかありません． 君達は数学の時間では問題の解き方ばかり習って来たと思っているかもしれません． また数学の問題と言うのは考えれば解けるのだと思っているかもしれません． しかし，世の中にはどうやって解いたらよいかわからない問題の方が多いのです． もちろん数学の世界でも，解き方のわからない問題はたくさんあります． 今までは解き方のわかっている問題ばかりを教わって来たから， 数学というのは問題の解き方を教わる学問だと思っているかもしれませんが 実は全然違います． 現在解き方のわかっていない未解決の問題に遭遇したとき，数学はその真価を発揮します． 問題を論理的に整理して，解決に有効なアイデアをだし， そのアイデアが実際に有効であることを実地に適用して示す， 数学はそれを可能にします． 数学の学習にはこういった能力が求められるわけで，これは試行錯誤の連続です． 数学的に考えること，論理的に考えることとはどういうことかを， 身を持って体験しなければなりません． また数学のアイデアにどういうものがあるのかを，理解しなければなりません． 問題を定式化し直すような能力も必要になります． 数学科とはそのようなことのできる人材を育てる所です． ですから数学を学習するときは，あせらず，自分に納得のゆくまで，とことん考えることが重要です． （引用終） 引用するならこういう文章を引用してほしいですね 164 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 16:40:52.57 ID:6vmhzBtF.net] >>154 （引用始） ではどのようにすれば数学が分かるようになるのでしょうか? この問いに答えるのは，たやすいことではありません． こうすれば必ず数学ができるようになるという，万人向けの処方箋もないように思います． ですから，以下に述べるのは一般的なことです． 大学での数学の基礎となるのは， 「微分積分学」と「線形代数学」 です． この 2 つがしっかりわからなければ， おそらく高学年に開講される科目は何も分からないでしょうから， まずはこの 2 つをしっかり習得することが大切です． 逆に「微分積分学」と「線形代数学」がわかれば， 高学年の科目を理解するのはそれほど難しいことではない と言えるでしょう． （引用終） 165 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 16:45:11.26 ID:6vmhzBtF.net] >>154-155 （引用始） 数学を学習するときは，あせらず，自分に納得のゆくまで，とことん考えることが重要です． 自分を誤魔化し始めると，すぐにいろんなことわからなくなります 数学が分かりたいと言う気持があれば自然にいろいろなことが分かって来ます．それから 自分を誤魔化さない という姿勢です. 意識を集中させて話を聞く訓練，工夫してノートをとる練習なども 心がけてください． （引用終） スレ主１にいいたい 自分を誤魔化してはいけないよ 分かってないのに分かったと 嘘をついてはいけないよ 166 名前：１３２人目の素数さん [2025/05/06(火) 18:03:29.21 ID:7F7KbKWJ.net] >>153 君、>>151が読めないの？　なら小学校の国語からやり直し 数学板？　100年早い 167 名前：現代数学の系譜 雑談 [2025/05/06(火) 18:18:27.45 ID:V3WVDSzb.net] これ 面白い https://mainichi.jp/english/articles/20250502/p2a/00m/0na/024000c 東京のインド人インターナショナルスクールの生徒の半数以上が日本人です。その理由は？ 2025年5月5日（毎日新聞） 日本語版 東京 -- 東京にあるインド系インターナショナルスクールの生徒の大半は日本人で、同校の人気の背景には、他のインターナショナルスクールに比べて安価な教育プログラムと授業料がある。 ある日の午後、高層マンションが立ち並ぶ東京都中央区晴海に停車したバスの車体には、「グローバル・インディアン・インターナショナル・スクール」と英語で書かれた文字が書かれていた。このバスは江戸川区にある同校の生徒を乗せたバスだった。 グローバル・インディアン・インターナショナル・スクール（GIIS）はもともと日本で働くインド人の子供たちのために設立されましたが、バスから降りた子供たちのほとんどは、両親や保護者と一緒に日本に帰る日本人でした。 GIISは東京臨海部の高層ビル居住者の間で人気が高まっており、現在では学生の半数以上が日本人です。この急速な人気拡大の要因は何でしょうか？ 2025年2月21日、東京都江戸川区にあるグローバル・インディアン・インターナショナル・スクール西葛西キャンパス。（毎日／松山文音撮影） 1つのキャンパスから4つのキャンパスへ GIISは2006年、インド系住民の多い江戸川区西葛西地区に日本初のキャンパスを開設しました。当初はインド系学生が多数を占めていましたが、2021年度にはその比率が逆転し、2024年度には日本人学生が全体の約55%を占めることになります。インド系学生は全体の約35%を占め、中国、韓国、ロシアなど、様々な背景を持つ子どもたちも通っています。 区内のキャンパスは1つから4つに増え、現在、日本の幼稚園から高校にあたる3歳から18歳までの約1,400人の生徒がGIISに通っています。 マドゥ・カンナ校長は、この人気について次のように説明しました。「豊洲や晴海を含む東京湾岸地域からの生徒数が増加しています。これらの地域は、海外駐在員や国際色豊かな地元の家族を惹きつけ、また、学生コミュニティにとって重要な居住地となっているからです。これらの地域は、学校へのアクセスも容易です（バスで）。」 すべての授業は英語で行われます 168 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 18:33:01.28 ID:6vmhzBtF.net] >>158　数学と関係ないね　却下 169 名前：１３２人目の素数さん [2025/05/06(火) 18:37:22.89 ID:V3WVDSzb.net] これ面白い https://futurism.com/chatgpt-users-delusions futurism.com May 5, by Victor Tangermann ChatGPT Users Are Developing Bizarre Delusions "The messages were insane and just saying a bunch of spiritual jargon." （google訳） AI誘発性精神病 5月5日 ヴィクター ・タンガーマン ChatGPTユーザーが奇妙な妄想を抱く OpenAI の技術は、数え切れないほどのユーザーを「ChatGPT 誘発性精神病」という危険な状態に追い込んでいる可能性がある 友人や家族は、ユーザーが、知覚力のあるAIや存在しない宇宙の力に代わって神聖な使命を果たすために選ばれたと主張するのを見て、不安を感じています。これは、既存の精神衛生上の問題を反映し、悪化させているチャットボットの行動ですが、信じられないほどの規模で、規制当局や専門家の監視なしに行われています 41歳の母親で非営利団体で働く女性は、夫がChatGPTと不均衡で陰謀めいた会話をするようになり、それが彼女を蝕むような執着に陥れたことで、結婚生活が突然終わったとローリングストーン誌に語った 今年初め、離婚手続きの一環として裁判所で直接会った後、夫は「食べ物に石鹸が付着しているという陰謀論」を語り、監視されているという妄想を抱いていたと彼女は言う 「彼はメッセージに感情的になり、声に出して読みながら私に泣きついてきました」と女性はローリングストーン誌に語った。「メッセージは正気とは思えないほどで、スピリチュアルな専門用語ばかりでした」と彼女は語った。AIは夫を「スパイラル・スターチャイルド」や「リバーウォーカー」と呼んでいた 他のユーザーは、パートナーが「光と闇、そして戦争について話している」と同誌に語り、「ChatGPTは彼にテレポーターや映画でしか見られないSF風のものの設計図を渡した」と付け加えた 「Facebookには警告サインが溢れている」と、別の男性はローリングストーン誌に妻について語った。「彼女はスピリチュアルアドバイザーになるために人生を一変させ、奇妙なリーディングやセッションを行っている。一体何なのかよく分からないが、すべてChatGPT Jesusの力によるものだ」 OpenAIはローリングストーン誌の質問に回答しなかった。しかし、このニュースは、チャットボットが極端に「ごますり」的になり、「過度にお世辞や同調的」になり、ユーザーの妄想的な信念を反映する傾向がさらに強まる可能性があるとユーザーが指摘したことを受け、同社がChatGPTの最近のアップデートを撤回せざるを得なかった後に発表された AI安全センター研究員ネイト・シャラディン氏がローリングストーン誌に語ったところによると、これらのAI誘発性妄想は、「既存の傾向を持つ人々」が突然、「妄想を共に体験できる、常時接続の人間レベルの会話パートナーを持つことができる」ようになった結果である可能性が高い 「私は統合失調症ですが、長期の投薬治療で安定しています。[ChatGPT]で気に入らないのは、たとえ私が精神病に陥ったとしても、ChatGPTが私を肯定し続けることです」と、あるRedditユーザーは書いている。「ChatGPTには『考える』能力がなく、何かがおかしいと認識する能力がないので、私の精神病的な考えをすべて肯定し続けることになるからです」 170 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 18:43:52.27 ID:6vmhzBtF.net] >>160　まあ面白いが・・・数学とは関係ないので却下 171 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 19:18:03.98 ID:6vmhzBtF.net] AIが自分のいうことを肯定し続ける、というのは確かにそうだな 今しがたも、AIにいろいろ愚痴ってたがｗ　 みんなそうだねそうだねソースだねって言ってくるからなんか気持ち悪い 172 名前：１３２人目の素数さん [2025/05/06(火) 20:16:05.28 ID:V3WVDSzb.net] これ面白い https://youtu.be/0tVC9QbSDps?t=1 層コホモロジー�@】前層と層を具体例をもとにわかりやすく導入&定義します。 教授になりたい昆布【math and physics】 チャンネル登録者数 3440人 2022/08/06 173 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 20:45:29.11 ID:6vmhzBtF.net] >>163 > これ面白い 　全然わかんないのに？ 　自分に嘘ついたらそこで人生投了ですよ 174 名前：１３２人目の素数さん [2025/05/06(火) 20:54:44.48 ID:7F7KbKWJ.net] >>163 同値類も分からないアホサルがなんか言っとる 175 名前：１３２人目の素数さん mailto:sage [2025/05/06(火) 20:59:11.52 ID:6vmhzBtF.net] スレ主１は>>156を読もう 「自分を誤魔化し始めると，すぐにいろんなことわからなくなります」 「自分を誤魔化さないという姿勢を心がけてください」 読まずにコピペしただけで分かった気になって自分を誤魔化したら人生投了 176 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [2025/05/07(水) 11:21:47.93 ID:w6tWvnRz.net] >>151 >>言わんとすることは 最初から一意の無限10進小数展開を使えば、実数の構成だけなら 同値使わずにやれるってだけのこと >じゃやってみて >君の言う方法で構成した集合が実数の公理を満たすことを示してみて >大口叩く前に実際にやってみせてよ ふっふ、ほっほ １）高校生でもわかる簡単な話だが・・ 　下記Cauchy sequence en.wikipediaの通りです 　つまり、１例で円周率 r=π this sequence is (3, 3.1, 3.14, 3.141, ...) 　The mth and nth terms differ by at most 10^(1−m) when m < n ２）かように、いま任意の無理数 r'に対して πと同じようにできて（任意有理数も同じ） 　有限小数の列 (a0, a1, a2, ... ,am, ... ,an,, ... ) （注：am+1は、小数第m位の有限小数amに対して 一桁多い小数第m+1位の有限小数である。 　これで 無限列でコーシー列だね） （なお、蛇足ながら、一桁ずつ桁が増えるので コーシー列で かつ一意になる） ３）逆に、有限小数は 有理数であるから、上記の有限小数のコーシー列は、有理コーシー列の一種だ 　まとめると 　i)任意の無理数 r'に対して それの有理コーシー列から 代表が一つ決まると、そこから 　　上記 r=π 同様に 一桁ずつの有限小数のコーシー列 　 (a0, a1, a2, ... ,am, ... ,an,, ... )が決まる（これは一意） 　ii)逆に、一桁ずつの有限小数のコーシー列は、有理コーシー列 である 　従って、一桁ずつの有限小数のコーシー列 ←→ 有理コーシー列 （数学的には同値）がなりたつ ４）上記３）項の通り 一桁ずつの有限小数のコーシー列が、有理コーシー列（による構成）と同値なので 　あとは、有理コーシー列による扱いの通りです。つまり、四則と絶対値について 　有理コーシー列による議論をそのまま、有限小数のコーシー列に落とせばいい 　こま 177 名前：かい部分は、下記”数学科に入ったら読む本” 福井敏純の ”第7章有理数の完備化95”を見てね （＾＾ （四則の商は多少工夫が必要（分数が混じるので それを 有限小数に落とす議論（循環節の処理）が必要だろうが）） 　p進数での完備化もあるよ ；ｐ） (参考) https://en.wikipedia.org/wiki/Cauchy_sequence Cauchy sequence In real numbers For any real number r, the sequence of truncated decimal expansions of r forms a Cauchy sequence. For example, when r=π, this sequence is (3, 3.1, 3.14, 3.141, ...). The mth and nth terms differ by at most 10^(1−m) when m < n, and as m grows this becomes smaller than any fixed positive number ε. https://www.rimath.saitama-u.ac.jp/lab.jp/ToshizumiFukui.html 福井　敏純 埼玉大学数学科 https://www.rimath.saitama-u.ac.jp/lab.jp/Fukui/lectures/ 講義ノートなど https://www.rimath.saitama-u.ac.jp/lab.jp/Fukui/lectures/intro.pdf 数学科に入ったら読む本 福井敏純 2025 年1月9日 はじめにiii 0.1数学とは. . . . . iii 0.2数学をわかるようになるには?. . . iv 第7章有理数の完備化95 7.1有理数の完備化...... 96 7.2実数....... 100 7.3 p進数. . . 104 [] [ここ壊れてます] 178 名前：１３２人目の素数さん mailto:sage [2025/05/07(水) 11:29:25.27 ID:UuTgToOW.net] >>167 ＞有限小数は 有理数であるから、上記の有限小数のコーシー列は、有理コーシー列の一種だ そこは、🐒でもわかるよ　逆は？ 君、有理コーシー列の同値類には必ず有限小数の桁が一つずつ伸びる形のコーシー列が含まれること、示せてないやん １）、２）は全然ダメよ　πしか述べてないし、そもそもπの定義すらできてないし 君、全然ダメダメよ 179 名前：現代数学の系譜 雑談 [2025/05/07(水) 22:25:23.69 ID:Lbk+1twB.net] >>167 補足 ふっふ、ほっほ 名古屋では・・・、”1.3筆者の結果の概要 上で述べたような{cn}は無限に存在するから、筆者による証明は実数の構成法が無限にあることを示している”！ （＾＾ (参考) https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1874-16.pdf 数理解析研究所講究録第1874巻 2014年 139-149 交代級数を用いた実数の構成法について 名古屋大学・多元数理科学研究科 池田創一 1.1実数を構成するとは まずこれから書くことは、[8]に詳しく書いてあることを筆者の考えをふまえつつまとめたものであることを述べておく。 （[8].田中一之、鈴木登志雄，数学のロジックと集合論，培風館，2007.） 現在の数学が扱う対象のほとんどが集合論により記述できることは大学の講義でも習うことであるし、ろう。そして現在「集合論」また経験的にも分かっていることであといえば、多くの場合は公理的集合論を指すだろう。 ところが、自然数や実数といった数についての公理は公理的集合論の公理ではない。 また、公理的集合論の公理が直接数を定義している訳でもない。 つまり公理的集合論において、数は質は定理として証明されるものである。 例えば、自然数(ここでは0も含む)は 0=Φ 1={0}={Φ}, n+1={0,1,2, ・・・,n}=n∪{n}と定義される (本当は公理的集合論の公理「無限公理」を用いて自然数全体の集Nが定義される)。そして、NからZ,Q,Rと数の世界を広げていくのである。この文書はQからRを構成する方法について述べたものである。 1.2実数の構成法の例 ここでは筆者の研究に関連の深い A.KnopfmacherとJ.Knopfmacherの方法について簡単に述べる。 彼らの方法は実数の級数表示(小数展開のようなもの)から逆に実数を構成する方法である。 1.3筆者の結果の概要 上で述べたような{cn}は無限に存在するから、筆者による証明は実数の構成法が無限にあることを示している 180 名前：１３２人目の素数さん [2025/05/07(水) 22:32:10.08 ID:j5ktu5Ri.net] >>167 >　i)任意の無理数 r'に対して それの有理コーシー列から 代表が一つ決まると、そこから >　　上記 r=π 同様に 一桁ずつの有限小数のコーシー列 >　 (a0, a1, a2, ... ,am, ... ,an,, ... )が決まる（これは一意） 無理数を使って無理数を構成するバカ。 言うのも憚れるほど当たり前だが、使ってよいのは有理数のみ。 ゼロ点で落第。 181 名前：１３２人目の素数さん [2025/05/07(水) 22:51:12.02 ID:j5ktu5Ri.net] 有理コーシー列全体の集合X上にa〜b⇔lim[n→∞](a-b)=0で二項関係〜を定義したとき〜は同値関係である。従ってX/〜の元は同値類である。 ここで、有理コーシー列とは有理数全体の集合Qの部分集合である自然数全体の集合NからQへの写像であって、コーシーの条件を満たすものであるから、使っているのは有理数のみ。 言うのも憚れるほど当たり前だが、Qを完備化したいのだから有理数以外を使ってはならない。>>167は無理数を使ってしまっているから論外。 182 名前：１３２人目の素数さん [2025/05/07(水) 23:00:15.44 ID:j5ktu5Ri.net] ということで >言わんとすることは 最初から一意の無限10進小数展開を使えば、実数の構成だけなら 同値使わずにやれるってだけのこと(>>151) はド素人が口から出まかせにホラ拭いてただけでした　ちゃんちゃん 183 名前：１３２人目の素数さん mailto:sage [2025/05/08(木) 08:18:38.80 ID:3INPaqvb.net] >>168 >有理コーシー列の同値類には必ず有限小数の桁が一つずつ伸びる形のコーシー列が含まれること、示せてないやん ふっふ、ほっほ ・有理コーシー列の同値類の代表を一つとる ・その代表の有理コーシー列から、有限小数の桁が一つずつ伸びる形のコーシー列を簡単に構成できる ＜中学生へのヒント＞（＾＾ εとして >>167 en.wikipedia Cauchy_sequence にあるように ε→ 10^(1−m) when m < n を考えよう ここ 分るまで、 >>167 en.wikipedia Cauchy_sequence を百回音読してねｗ 184 名前：１３２人目の素数さん [2025/05/08(木) 09:04:09.37 ID:Jhmg2g3N.net] >>173 >・その代表の有理コーシー列から、有限小数の桁が一つずつ伸びる形のコーシー列を簡単に構成できる じゃ構成してみて 簡単なんでしょ？ 185 名前：１３２人目の素数さん mailto:sage [2025/05/08(木) 10:08:24.09 ID:0DPZgmKT.net] >>173 >・有理コーシー列の同値類の代表を一つとる >・その代表の有理コーシー列から、有限小数の桁が一つずつ伸びる形のコーシー列を簡単に構成できる >εとして ε→ 10^(1−m) when m < n を考えよう それだけじゃダメね　 スレ主１は一意的に取れると勝手に思い込んでるが、そうならない 「簡単」ではない　その考察ができてないので、 スレ主１はいつまでたっても大学１年の微積が理解できない 186 名前：１３２人目の素数さん [2025/05/08(木) 14:06:45.52 ID:8FebRs8e.net] >>174-175 ふっふ、ほっほ ＜高校生へのヒント＞ ・昔読んだ 下記”私の数学勉強法”（世界的に認められる研究業績を残した17人の研究者が語る数学勉強法）下記で 　計算尺で簡単なモデル計算をして、それをさらに精度を上げて、ちゃんとした数学モデルにしていくという 　手法が書いてあった。なるほどと思った ・これを一般化すると、まず 簡単な具体的モデルで考えてみるってことが大事だね（グロタンディークみたいな抽象論オンリーの天才(変人? )は別だ） 　いまの場合に当てはめると 　i)簡単に、区間(0,10)の整数部1桁で 小数部が無限である 数列を考えることにしよう 　ii)古代ギリシャの昔から、人は√2が無理数だと知っていた（aが有理数の平方数でないとき√aは無理数だね） 　iii)『有限小数の桁が一つずつ伸びる形のコーシー列』>>173 は 単調増加列だ 　iv)そうしていま、簡単のために この有限小数による数列で、有理数に収束するものは除外する（無理数のみを考える） 　　こうすると、無理数だから 9999・・・のような循環する繰り上がりのシッポは持たないので 話が簡単になる 　v)『有限小数の桁が一つずつ伸びる形のコーシー列』は、なんらかの一般有理コーシー列の同値類に入ることは自明 　　かつ 逆は、一般有理コーシー列において その同値類内に 単調増加列が存在するよね（証明は思いつくであろう by ガロア） 　　その単調増加列を使って、それを 『有限小数の桁が一つずつ伸びる形のコーシー列』に落とせば良い 　　要するに、>>173の”εとして ε→ 10^(1−m) when m < n ” 　　十分大きい数Nをとって N < m < n のときに 　　コーシー列の各項は、ある小数の桁まで一致している必要がある（そうでなければ ε→ 10^(1−m) とできない） 　　この一致している部分から 『有限小数の桁が一つずつ伸びる形のコーシー列』が構成できる 　　あとは、10^(1−m) のmをもっと大きくできるような もっと十分大きい数N を取って これを繰り返す 　　 正式な証明は、これを丁寧に書けば良いだけだが、余白が狭い by フェルマー 便所板では 証明ゴッコはやらない主義なので この程度でお茶濁す by スレ主 (参考) https://www.kinokuniya.co.jp/f/dsg-01-9784478820032 紀伊國屋書店 サイエンスブックス 私の数学勉強法 吉田洋一/矢野健太郎（数学者） アマゾンレビュー maru-chin 5つ星のうち5.0 世界的に認められる研究業績を残した17人の研究者が語る数学勉強法。 2018年9月28日に日本でレビュー済み 187 名前：１３２人目の素数さん mailto:sage [2025/05/08(木) 14:18:30.82 ID:kVgpK5/W.net] >>176 >昔読んだ”私の数学勉強法”で >計算尺で簡単なモデル計算をして、 >それをさらに精度を上げて、 >ちゃんとした数学モデルにしていく >という手法が書いてあった。 >なるほどと思った なるほどと思ったｗｗｗ 小学生の感想文かい（嘲） 188 名前：１３２人目の素数さん mailto:sage [2025/05/08(木) 14:24:47.20 ID:VNieggvL.net] >>176 >・一般化すると、まず 簡単な具体的モデルで考えてみるってことが大事だね >（グロタンディークみたいな抽象論オンリーの天才(変人?)は別だ） さすが抽象論で落ちこぼれた具体計算工学🐎🦌だけのことはある >簡単に、区間(0,10)の整数部1桁で 小数部が無限である 数列を考えることにしよう >古代ギリシャの昔から、人は√2が無理数だと知っていた（aが有理数の平方数でないとき√aは無理数だね） >『有限小数の桁が一つずつ伸びる形のコーシー列』 は 単調増加列だ >そうしていま、簡単のために この有限小数による数列で、有理数に収束するものは除外する（無理数のみを考える） >こうすると、無理数だから 9999・・・のような循環する繰り上がりのシッポは持たないので 話が簡単になる >『有限小数の桁が一つずつ伸びる形のコーシー列』は、なんらかの一般有理コーシー列の同値類に入ることは自明 だめ　証明できないから自明ってウソついて誤魔化すのは× きっちり証明してごらん　できないと大学１年の微積は不可な >かつ 逆は、 　それこそ自明　こんなことだけ得々と語るのが頭の悪い工学🐎🦌 ということで、いかなる有理コーシー列の同値類の中にも必ず無限小数が存在することを 完璧に証明しきってください　こんなの大学１年ならできて当然　できない奴大学退学な！ ・・・といったらまあ９割退学だなｗ 189 名前：１３２人目の素数さん [2025/05/08(木) 14:26:03.63 ID:Jhmg2g3N.net] >>176 >あとは、10^(1−m) のmをもっと大きくできるような もっと十分大きい数N を取って これを繰り返す いつまで繰り返す気？ 190 名前：１３２人目の素数さん mailto:sage [2025/05/08(木) 14:26:10.03 ID:VNieggvL.net] >>176 >便所板では 証明ゴッコはやらない主義なので どこでも証明はできない計算馬鹿なので　by　スレ主１ 191 名前：１３２人目の素数さん [2025/05/08(木) 19:31:02.50 ID:+g3NYZ0L.net] >計算馬鹿 コピペ貼りが専門のクズ>1に計算できるわけないでしょ、 192 名前：１３２人目の素数さん [2025/05/08(木) 19:47:39.49 ID:mHtrzAo6.net] >>181 計算もできないんじゃただの馬鹿じゃん 193 名前：１３２人目の素数さん [2025/05/08(木) 23:18:04.64 ID:Jhmg2g3N.net] 証明も計算もできないおサルは現在必死に検索中です 少々お待ちください 194 名前：現代数学の系譜 雑談 [2025/05/09(金) 11:18:07.32 ID:bmPDK4UI.net] >>176 ふっふ、ほっほ ＜落ちコボレさんへのヒント＞ 『任意の実数αは有限または無限小数で表される』 一般人が直観的にとらえていることだが、当然ながら これは 数学的に立証できる ある程度の長い議論が必要だが 下記の chiebukuro.yahooや、尾畑研 東北大 など(他にも多数ある)を見ればいい そんなところに ツッコミ入れても 岩に頭突きをいれているが如しだよｗ ；ｐ） (参考) https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14223453754 chiebukuro.yahoo kot********さん chiebukuro.yahoo 2020/4/20任意の実数αは有限または無限小数で表されることを示せ。 この問題について、今までこれは当たり前だと思っていたのですが、示せって言われるとよく分かりません。助けてください。 ベストアンサー mao********さん 2020/4/21 示すべきは、 α =Σ[n=0→∞]a(n)/10ⁿ となるよう整数列a(n)(a(0)を除いて1≦a(n)≦9)が存在することを示すことです。 こう書くとなんだか自明じゃありませんね。 https://math.stackexchange.com/questions/409658/can-every-real-number-be-represented-by-a-possibly-infinite-decimal Can every real number be represented by a (possibly infinite) decimal? asked Jun 2, 2013 WakeUpDonnie こちらを参考にしていきたいと思います。 [定理] 任意の実数は小数展開 α = a₀.a₁a₂...をもつ。 (証明) まず、a₀≦α<a₀+1となる整数a₀が存在します。 次に、a₀からa₀+1までの区間を10分割すると、どこかの区間に入るはずです。つまり、ある整数0≦a₁≦9が存在して、 a₀+a₁/10≦α<a₀+(a₁+1)/10 となるはずです。 これを繰り返して、 数列{a(n)}を得ます。 この数列a(n)は、(0を含む)任意の自然数nに対して Σ[k=0→n-1]a(k)/10^k + a(n)/10ⁿ≦α<Σ[k=0→n-1]a(k)/10^k + (a(n)+1)/10ⁿ を満たします。この式を(1)とします。 S(n) = Σ[k=0→n]a(k)/10^k と定義したとき、 lim[n→∞]S(n)=α となることが示したいことです。 いま、(1)式の左半分より、任意の自然数nに対してS(n)≦αが成立します。 これはS(n)が上に有界であることを意味します。 また、a(1),a(2),...はすべて正なので、S(n)は単調増加数列です。 上に有界な単調増加数列は収束するので、lim[n→∞]S(n)は収束します。 この極限値をAとすると、A≦αです。 一方、(1)式の右半分から、 α<S(n)+1/10ⁿです。 右辺の極限をとれば、 α≦Aを得ます。 以上よりα=A=Σ[n=0→∞]a(n)/10ⁿを得ます。 したがって小数展開できるわけです。 つづく 195 名前：現代数学の系譜 雑談 [2025/05/09(金) 11:19:17.44 ID:bmPDK4UI.net] つづき https://www.math.is.tohoku.ac.jp/~obata/student/subject/ 尾畑研 東北大 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf) https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_08.pdf TAIKEI-BOOK :2019/1/1 第8章非可算集合 8.1実数の区間 8.2非可算集合 有限小数と無限小数ここでは実数を無限小数で表される数ととらえる もう少し詳しく述べよう 略 ここである桁から先がすべて0となる小数を有限小数 そうでないものを無限小数と呼ぶことにする 略 補題8.5 f:Ω→(0,1}は全単射である したがってすべてのx∈(0,1}は無限小数によって一意的に表される https://shakayami-math.ｈａｔｅｎａｂｌｏｇ.com/entry/2019/04/16/224612 数学についていろいろ解説するブログ shakayami 無限小数 2019-04-16 well-defined性 略 全射性 略 ■ （蛇足） https://www.ms.u-tokyo.ac.jp/~kohno/lectures/Lab.html 河野俊丈 Toshitake Kohno Graduate School of Mathematical Sciences The University of Tokyo (from April 2020) School of Interdisciplinary Mathematical Sciences Meiji University https://www.ms.u-tokyo.ac.jp/~kohno/lectures/kohno_infinity.pdf 数学者は無限をどのように捉えてきたか 河野 俊丈 東京大学大学院数理科学研究科 (引用終り) 以上 196 名前：１３２人目の素数さん mailto:sage [2025/05/09(金) 11:28:37.41 ID:F40GJ/ON.net] >>184 誤 一般人が直観的にとらえていることだが、 正 一般人が無思索に盲信していることだが、 誤 当然ながら これは 数学的に立証できる ある程度の長い議論が必要だが 正 きっと これは 数学的に証明できるんだろう どうやるか全然分からんけど 誤 ・・・や、・・・など(他にも多数ある)を見ればいい 正 ・・・や、・・・など(他にも多数ある)に書いてあるんじゃねえの？　 誤　そんなところに ツッコミ入れても 岩に頭突きをいれているが如しだよ 正　読んでもちんぷんかんぷんだし、どうせ正しいんだろ？なら、只信じてもいいんじゃね　？ （オレ、大学１年で数学落ちこぼれた正真正銘の●●だし　もうオレをこれ以上●●にすんなよ） 197 名前：１３２人目の素数さん mailto:sage [2025/05/09(金) 11:31:14.61 ID:GxA7fqbT.net] スレ主１は、数学を計算技術としか理解しようとしない なぜそれで解けるのかといったことは全く興味がない ただ信じればいいとおもってる　哀れな奴 198 名前：１３２人目の素数さん [2025/05/09(金) 11:37:50.63 ID:GxA7fqbT.net] スレ主１は自然数の定義、自然数の加法、乗法の定義が示せない スレ主１は自然数の乗法が可換であることの証明が示せない ただ具体的な１０個の数字の列をどう具体的にいじるかという方法だけやみくもに暗記してる それが算数という計算芸を覚えるということ それは数学でもなんでもない 199 名前：現代数学の系譜 雑談 [2025/05/09(金) 12:08:52.88 ID:bmPDK4UI.net] >>186 ふっふ、ほっほ 君に 下記の ピーター・ショルツ氏が高校時代にフェルマーの証明を読んだ逸 200 名前：話を紹介しておく キミは、フェルマーの最終定理証明は読んだのか？ Y or N フェルマーの最終定理証明を理解しているのか？ Y or N まず、これに応えてくれたまえ 話は、それからだなｗｗｗ ；ｐ） (参考) https://taro-nishino.blogspot.com/2019/07/blog-post075.html taro-nishinoの日記 フィールズ賞受賞者ピーター・ショルツへのインタヴュー 7月 25, 2019 今回紹介するのはピーター・ショルツ博士への最新のインタヴュー記事"Interview with Fields Medalist Peter Scholze"(PDF) https://ems.press/content/serial-article-files/10958 詳しく述べていただけますか? 私が15歳か16歳頃の時、フェルマーの最終定理が証明されていたことを知り、証明が何に関するものなのか、すなわち楕円曲線、モデュラ形式等を理解しようと努めた。何も分からなかった。実際、私は行列が何であるのか知らなかったが、非常に魅力的だった これは若く急成長する数学者達にとって自然だと思います。何と言っても私達は幼い年齢で数を親しみ、遊んでいただろうから。しかし、貴方は理解不足によって落胆しなかったのですか? いいえ、とんでもない。それ全体がワクワクさせ、私に大変興味を持たせ、それ全体が意味したことを学ぼうと没頭したから... https://taro-nishino.blogspot.com/2019/03/blog-post068.html taro-nishinoの日記 2012年当時のピーター・ショルツへのインタヴュー 3月 24, 2019 今回紹介するのは、皆さんよくご存じのピーター・ショルツ博士のインタヴュー記事"Interview with Research Fellow Peter Scholze"(PDF)です http://www.claymath.org/library/annual_report/ar2012/ar2012.pdf 2012年 クレイ数学研究所の年報に掲載 貴方の数学教育について話していただけますか? どの体験と人々から影響を受けたのですか? 私は数学と自然科学を重視する特別な高校に通った。この元東ドイツの学校はGDR[訳注: ドイツ民主共和国。いわゆる通称東ドイツのこと]崩壊を生き延びていた。殆どの学校とは対照的に、数学を得意とすることはからかわれるものではなかったし、かっては数学オリンピックに参加することが強制でさえあった。驚いたことに私は非常にコンテストで非常に上手くやったので、もっと数学を学び始めた。その方向に私の先生達は強く支えてくれた。16歳ごろ私はフェルマ最終定理のワイルズの証明を理解したかったので、線型代数も知らずにモデュラ形式と楕円曲線について読み始めた。大部分インターネットを検索しながら、どうにか私は理解し、私の知識の欠落を埋めることが出来た 助言者がいたのですか? 誰が貴方の数学における興味を伸ばすことを手伝い、そしてどのようにしたのですか? 私がまだ学校にいた時にKlaus Altmannが代数幾何学を私に教え、後の勉強をする場所を選ぶことにも手伝った。彼はミヒャエル・ラポポート(私のアドヴァイザになった)[訳注: ラポポート博士の師匠はピエール･ドリーニュ博士です。] のもとで勉強するためにボンへ行ってはどうかと勧めた。ラポポートは私に彼の学生の期間中にとんでもない量の数学を教えたし、概して素晴らしい助言者だった [] [ここ壊れてます] 201 名前：１３２人目の素数さん [2025/05/09(金) 12:20:29.86 ID:v273cf15.net] 政治ゴロでコピペ貼りが専門のクズ>1は 同値関係同値類や線形代数|・|≠0を理解できないトンデモ ↓ 0426 １３２人目の素数さん 2023/10/29(日) 14:22:15.63 IUTは、ガリレオ天動説です だんだん、理解され受け入れられてきたよ 202 名前：１３２人目の素数さん [2025/05/09(金) 13:32:16.66 ID:lN4SieY2.net] >>184 （有限小数はある位から先がすべて0の無限小数とする。） >任意の実数αは無限小数で表される と 「無限小数を用いて実数を構成できる」 の違いが分からないおサルはバカ。 後者を示すには、まず無限小数を構成し、それを用いて構成したRが実数の公理を満たしていることを示す必要がある。 まったく示せていない。ゼロ点で落第。 203 名前：１３２人目の素数さん [2025/05/09(金) 13:36:52.54 ID:lN4SieY2.net] 証明も計算もできないおサル、必死に検索してみたが、まったくトンチンカンなソースしか見つかりませんでしたとさ 204 名前：１３２人目の素数さん [2025/05/09(金) 14:11:10.45 ID:uG/crSOo.net] >>189 スレ主１は言い訳しかしないな いくら言い訳したって、 数学書を真面目に読まないかぎり 数学なんか1ミリもわかりようがないんだが 205 名前：１３２人目の素数さん [2025/05/09(金) 14:54:23.48 ID:lN4SieY2.net] >まったくトンチンカンなソース おサルが言いがかりつけてきそうなので先回り。 ソースが間違っていると言ってるのではない。無限小数で実数を構成できることのソースになってないと言っている。 206 名前：現代数学の系譜 雑談 [2025/05/09(金) 18:22:54.03 ID:bmPDK4UI.net] >>185 追加 ぶっはは、ぶっはは ；ｐ） google検索:Real number axiom set theory pdf 結果見繕い １） The real numbers in inner models of set theory Dipòsit Digital de la Universitat de Barcelona https://diposit.ub.edu/dspace/bitstream/2445/196900/1/tfg_soto_quintanilla_martin.pdf M Soto Quintanilla 著 · 2022 — Inner models are transitive set theoretic classes that satisfy the axioms of ZF and contain all the ordinals. That is, a smaller mathematical universe that ... 53 ページ ２） https://web.math.ucsb.edu/~moore/2axiomsforreals.pdf Math 117: Axioms for the Real Numbers John Douglas Moore October 11, 2010 The last stage is developing the real numbers R, which can be thought of as limits of sequences of rational numbers. For example is the limit of the sequence (3,3.1,3.14,3.141,3.1415,3.14159,3.141592,・・・,3,14159265358979・・・ ) It is precisely the notion of defining the limit of such a sequence which is the major difficulty in developing real analysis. It would take a long time just to define the real numbers in this manner. ３） https://faculty.uccs.edu/goman/wp-content/uploads/sites/15/2021/02/An-independent-axiom-system-for-the-real-numbers.pdf VOL. 40, NO. 2, MARCH 2009 THE COLLEGE MATHEMATICSJOURNAL An Independent Axiom System for the Real Numbers Greg Oman Greg Oman is a visiting instructor at Otterbein College in Westerville, Ohio. He obtained his Ph.D. in 2006 from The Ohio State University, and currently works in several areas of mathematics including ring theory, semigroup theory, and logic. When not doing math, he enjoys working out, traveling, and playing with The Sweet. ４） 3 Axioms for the real number system University of Notre Dame https://www3.nd.edu/~dgalvin1/10860/10860_S20/book/Sec3.pdf The approach we are going to take 207 名前：to understanding the real numbers will be axiomatic: we will write down a collection of axioms, that we should all agree that ... 30 ページ ５） Axioms of Set Theory ETH Zürich https://people.math.ethz.ch/~halorenz/4students/LogikML/ZFC.pdf W Axioms 著 — As an application of the CANTOR–BERNSTEIN THEOREM 3.14 let us show that the set of real numbers, denoted by R, has the same cardinality as 乡(ω). [] [ここ壊れてます] 208 名前：１３２人目の素数さん [2025/05/09(金) 18:31:52.74 ID:lN4SieY2.net] >>195 >ぶっはは、ぶっはは ；ｐ） とうとう気でも触れたか？ 209 名前：１３２人目の素数さん mailto:sage [2025/05/09(金) 19:40:05.61 ID:z9ab/f8V.net] 無理数の小数点表示の一意性について https://www.jstage.jst.go.jp/article/jjsme/81/11/81_2/_pdf/-char/ja 要約 実数を無限小数で表現するとき2通りの表現が許されるのは、有理数に限られその表現は、 0.a1a2…aк 000... 0.a1a2…(aк- 1) 999... の形の2通りであることを、高校の数学IIIの予備知識をもとに証明する. 210 名前：１３２人目の素数さん [2025/05/09(金) 19:50:10.90 ID:cRKcvABz.net] ほとんどの実数は十進展開を小数点以下任意の桁数まで求める方法を 指定することができない。 211 名前：現代数学の系譜 雑談 [2025/05/09(金) 21:00:29.46 ID:CY9+dNeU.net] >>198 >ほとんどの実数は十進展開を小数点以下任意の桁数まで求める方法を >指定することができない。 ご苦労さまです スレ主です それ 良い視点だと思うよ 多分 1）ほとんどの日常の用途では、 　小数点3桁くらいで間に合う（つまりは、有限小数の世界で完結する場合がほとんど） 2）一方、特殊例で、昔話題になった 下記”円周率の話とハヤブサの軌道計算”で 　16桁 3.14159 26535 89793(*) が使われていたらしい 3）では、なんで 無理数とか小数無限桁を考えるのか？？ 　それは、「実解析(and 複素解析) をやりたい」からでしょ 　つまり、連続な実数を考えて、おもいっきり実解析の理論展開をする 　（詳しくは 下記の 松澤　寛 「解析学の基礎」ご参照（実解析）） 　そこから、必要な 円周率 16桁 とか 　ハヤブサの軌道計算も ニュートンの微分積分の発展形で 出てくる 4）さらには、整数論でも 高度な理論になると 複素数あるいはそれ以上まで話を広げた方が 見通しが良くなるのです 　（なお、クンマー・デデキントのイデアル論（複素数）や、リーマンのζ関数（複素数）。あるいは 望月IUTなども） (参考) https://note.com/yuki0001/n/n04d01a6f2a96 円周率の話とハヤブサの軌道計算の疑問 yuki 2020年10月15日 昔、ぼっーとNHKの番組を眺めていたらおもしろい円周率の話がありました。 精密科学の象徴であるJAXAの宇宙探査の話が出てきました。なんでも、探査機ハヤブサの軌道計算ではイトカワから地球に帰るために円周率を（確か）16桁で計算してるそうです。求められる精度は日本から南米の昆虫を弓矢で射抜く精度が必要だとか。 izumi-math.jp/Y_Murata/sanpomichi41.pdf 私の数学散歩道(41) 数実研会員 村田 洋一 「はやぶさ」の軌道計算に有効な円周率の精度は？・・ 1.「はやぶさ」の軌道計算に有効なπを得るのはどの円周率公式？ 惑星探査機「はやぶさ」は、計画の途中で通信が途絶えてしまったものの、通信を復活でき見事 に地球に帰還した。その軌道計算での円周率の値は、3.14159 26535 89793(*) が使われていたらしい。 もし 円周率を3.14 として計算していたら、軌道が最大15万kmもずれ、たとえ通信が復活 しても地球に戻れなかった筈・・・。 [ 2 ] (参考資料) [ 2 ] 永野裕之 ダイヤモンド社「とてつもない数学」第5章、第2章 https://www.sci.kanagawa-u.ac.jp/math-phys/hmatsu/lecture.html 松澤　寛 神奈川大学理学部理学科数 解析学の基礎（授業ではありません） 解析学の基礎となる「実数の連続性」，「sup, inf」，「実数の完備性」， 「数列の収束の ε−n0 式定義」，「関数の極限・連続性の ε−δ 式定義」，「連続関数の最大値定理・中間値の定理」，「一様連続性」， 「有界閉区間上連続な関数のRiemann積分可能性」を約30ページにまとめた資料をつくりました。解析学に興味がある学生は 読んでみてください。 https://www.sci.kanagawa-u.ac.jp/math-phys/hmatsu/BasicAnalysis.pdf 解析学の基礎（実数の連続性から定積分の存在まで）松澤　寛 212 名前：１３２人目の素数さん [2025/05/09(金) 21:15:08.72 ID:lN4SieY2.net] >>199 >それ 良い視点だと思うよ このサル上から目線大好きだな いいから早く無限小数で実数を構成してみて 簡単にできるって言ってなかった？　なんでやらないの？ 213 名前：１３２人目の素数さん [2025/05/11(日) 03:25:09.32 ID:CRX9H0rX.net] >>199 >円周率を（確か）16桁で計算してるそうです。 関孝和はそこまで計算した 214 名前：１３２人目の素数さん [2025/05/11(日) 05:58:48.52 ID:TZ2htrix.net] ぬっしー、高卒で数学終了 215 名前：１３２人目の素数さん [2025/05/11(日) 06:18:22.09 ID:CRX9H0rX.net] 数学の研究は小学生からでもできるそうだ 216 名前：１３２人目の素数さん mailto:sage [2025/05/11(日) 08:11:17.18 ID:TZ2htrix.net] ぬっしーは一応大卒らしいが数学の研究は全くできない 217 名前：１３２人目の素数さん [2025/05/11(日) 08:22:57.59 ID:CRX9H0rX.net] 大学院卒でも研究者に向かない人はいくらでもいる 218 名前：１３２人目の素数さん mailto:sage [2025/05/11(日) 10:51:15.71 ID:TZ2htrix.net] 世の中の人の99.99%は数学の研究に向かない それはそれでいい 問題は数学の研究どころか数学の理解もできないくせに 数学についてドヤ顔で語りたがる身の程知らずがいること 一般人は碁でも打ってろ 219 名前：１３２人目の素数さん [2025/05/11(日) 10:58:57.54 ID:JtK1D3sj.net] 問題は数学の研究どころか数学の理解もできないくせに 数学についてドヤ顔で語りたがる奇特な人物が 一人くらいいてもよい 220 名前：１３２人目の素数さん [2025/05/11(日) 11:04:49.11 ID:SibTeX8v.net] いてもよいなら問題無いじゃんｗ バカかｗ 221 名前：１３２人目の素数さん mailto:sage [2025/05/11(日) 11:23:12.39 ID:TZ2htrix.net] >>207 > 数学の研究どころか数学の理解もできないくせに > 数学についてドヤ顔で語りたがる奇特な人物 奇特（＝特別にすぐれていること。また、行いが感心なこと。殊勝。）とは思わない そういう人は 「自分がわかってないことをわかってるように他人に思わせて他人の上に立つ」 という不健全な動機を持っているから その証拠に、　内容について詮索すると大体説明できず 間違ったことをいうか、百遍音読しろとかいって誤魔化すか のいずれかで終わってしまうから これは言った人の敗北なのだが、当人はそれを認めたがらない 間違いについてはありとあらゆる言い訳で誤魔化そうとするし 音読云々に関しては、複雑だから説明できないといって誤魔化そうとする そもそも他人に説明できないことを書かなければいいのだが それでは他人の上に立つことができないから、どうしてもやめられない 他人の上に立ちたがることがそもそも病んでいるし他人に嫌がられるのだが 当人は他人が嫌がることが嬉しいらしく しかもそれが自分の精神の不健全さを示すとも思わない どうも人間は根本的に不健全であると思っているらしい 実に残念なことである どんな父母にどんな風に育てられると そういう残念な人に 222 名前：なるのか知らんが [] [ここ壊れてます] 223 名前：１３２人目の素数さん [2025/05/11(日) 11:25:44.80 ID:TZ2htrix.net] ぬっしーは円周率の定義ができないと思う だから円周率の（定義に基づいた）計算ができないと思う ネットで拾ってきた公式を示すだけで それがなぜ円周率の値となるのか説明できない それでは意味がない 224 名前：１３２人目の素数さん [2025/05/11(日) 11:29:30.20 ID:JtK1D3sj.net] 太田裕美はピアノを弾きながら歌うとよく間違うと指摘されて 「でもうまくごまかすの」と答えてごまかした。 225 名前：１３２人目の素数さん [2025/05/11(日) 11:38:33.60 ID:TZ2htrix.net] どういうつもりかしらないが ぬっしーを擁護しないほうがいい 226 名前：現代数学の系譜 雑談 [2025/05/11(日) 23:54:25.87 ID:F7vNf+MQ.net] >>207 >問題は数学の研究どころか数学の理解もできないくせに >数学についてドヤ顔で語りたがる奇特な人物が >一人くらいいてもよい ID:JtK1D3sj は、御大か 巡回ありがとうございます いやね、オチコボレさんが 顔を真っ赤に 必死でマウントしてくるのです ”理解もできない”というくせにか じゃあ 自分はｗ どうだ？ おまえさん 数学分っているのか？ と聞くと、その実 数学科の1年で詰んだ オチコボレさんだったというｗ>>5 ；ｐ） で、ちょっとひねって”零因子行列”という用語を投げかけると 代数学の無知丸出しで パニックって 錯乱してしまうのです ｗ https://rio2016.5ch.net/test/read.cgi/math/1746597368/11 そもそもが、場末の便所板で 数学検定ゴッコじゃあるまいに 「おまえは 分ってない」とか、ヤクザのインネン（数学科オチコボレのルサンチマン） ドヤ顔もなにも 検索したものを 貼付けているだけで それを見る人が どう受け取るかだけのことでしょ 「もう知っている」というか「知らなかった」というかだけのこと 多分、おサルさん>>5 数学イップスで 数学文献（論文）が読めないんだ 数学は一歩一歩という呪文に縛りつけられて 数学文献（論文）を 最初から1行ずつ読みしかできないのかもね （＾＾ 基本は、最初から1行ずつ読みだとしても まずは 読む価値があるかどうかの判断が先で、 最後の結論部分とかをチラ見したり アブストで全体の流れをつかんだり・・ オチコボレだから こんなことを要求するのが、無理なのかも・・ｗ ；ｐ） こんな5ｃｈ便所板でいぱっても 自分のオチコボレの不遇がどうなるわけでもないのにね。バカなやつですね ；ｐ） 227 名前：１３２人目の素数さん [2025/05/12(月) 01:22:13.55 ID:f97fsta7.net] >>213 媚びへつらう御大から「数学の理解もできないくせに数学についてドヤ顔で語りたがる奇特な人物」呼ばわりされてて草 数学板から去れば？　恥かいて楽しいかい？ 228 名前：１３２人目の素数さん [2025/05/12(月) 06:00:51.86 ID:dLUNia17.net] >>213 誤　ちょっとひねって”零因子行列” 正　ちょっと粋がって”零因子行列” 数学わかってないからそういう馬鹿なことやる > 検索したものを 貼付けているだけ なぜそんな馬鹿なことをするか 分かってないことを分かったと嘘ついてまで 他人にマウントしたいから　 つまり、病気だから > 一歩一歩という呪文に縛りつけられて > 最初から1行ずつ読みしかできないのかもね 1行ずつ読む苦難に耐えられない馬鹿が そういう苦労を馬鹿にしてディスる しかし自分はいつまでもチラ見しかできず したがって数学を全く理解できないままン十年 本当の馬鹿はどっちか？　答えは明らかだろう > まずは 読む価値があるかどうかの判断が先で、 > 最後の結論部分とかをチラ見したり > アブストで全体の流れをつかんだり・・ 君にはどんな数学書も読む価値はないよ 結論をいくらチラ見しても何いってるのかわからないだろ？ アブストを読んでも全体がなんなのか全然わからないだろ？ 君には数学は無意味なんだよ　理解できないんだから 大学１年の微積と線形代数がわからなかったことで思い知ったはず 置換積分、部分積分のやり方と掃き出し法のやり方が分かるのが関の山 それは計算方法という算数であって、理論という数学ではない 計算バカは数学板にコピペ書き込む馬鹿な真似はやめて、碁でも打ってなさい 229 名前：１３２人目の素数さん [2025/05/12(月) 06:06:54.05 ID:dLUNia17.net] >>214 > 数学板から去れば？　 > 恥かいて楽しいかい？ 彼は自分が数学を誤解してることに気づいてない あいかわらず、数学は方程式を解く計算法だという誤解から抜け出せてない ガロア理論に固執するのは、彼が 「代数方程式や微分方程式を解く公式こそが数学の最高峰の結果」 と信じて疑い得ないからだろう しかし、実際は ・代数方程式だろうが微分方程式だろうが、ある前提を満たすなら当然解は存在する ・一方、その解が綺麗な形で書き表せるとは限らない だから、真に工学屋のセンスがあるなら、 解がべき根であらわせるかとか初等関数であらわせるかとか そんなつまらぬことにはこだわらず、存在する解を数値解法で解けばいい と考える　それが工学屋にとっての数学 彼は数学のセンスだけでなく工学のセンスもない　ただの馬鹿 230 名前：１３２人目の素数さん [2025/05/12(月) 08:27:41.89 ID:mjJBPKO4.net] ただのバカはいくらいてもよい 231 名前：１３２人目の素数さん [2025/05/12(月) 08:49:41.47 ID:f97fsta7.net] 媚びへつらう御大から「ただのバカ」呼ばわりされてしまったおサルが不憫 232 名前：１３２人目の素数さん [2025/05/12(月) 09:20:11.97 ID:mjJBPKO4.net] ただのバカに数学板から去れというのは 変わったバカ 233 名前：１３２人目の素数さん [2025/05/12(月) 09:41:21.62 ID:Vm0DCS2X.net] >>217 アレは「ただのバカ」ではなく 「バカを自覚せずリコウぶるバカ」なので 「バカを自覚した、ただのバカ」にならない限り ここにいるべきではない 「リコウぶったバカ」を「ただのバカ」と誤解する 名誉教授は人を見る目がない●違い 234 名前：１３２人目の素数さん [2025/05/12(月) 09:59:56.85 ID:f97fsta7.net] おサルは無知の無知 235 名前：１３２人目の素数さん [2025/05/12(月) 10:41:45.39 ID:FrA4Ryze.net] ただのバカの中には 利口ぶりたいものもいれば そうでないものもいるだろう 236 名前：１３２人目の素数さん [2025/05/12(月) 10:50:05.86 ID:d755IY+K.net] >>222 前者はただのバカではなく有害なバカ 後者は無害なバカでありこれをただのバカという 別にバカであることは悪くない バカなのにリコウぶってウソを吹聴するから悪い そういう有害なバカを放置してはいけない 237 名前：１３２人目の素数さん [2025/05/12(月) 10:52:17.41 ID:FrA4Ryze.net] SNSのフェイクを根絶することは不可能だろう 238 名前：１３２人目の素数さん [2025/05/12(月) 10:52:58.64 ID:d755IY+K.net] >>224　それは何もしない理由にはならない 239 名前：１３２人目の素数さん [2025/05/12(月) 10:53:45.33 ID:d755IY+K.net] 数学の論文が書けないなら数学の学習は無意味か？ そんなことはあるまい 240 名前：１３２人目の素数さん [2025/05/12(月) 13:14:10.06 ID:FrA4Ryze.net] >数学の論文が書けないなら数学の学習は無意味か？ 論点をずらすのに熟達するだけなら意味はないだろう 241 名前：１３２人目の素数さん [2025/05/12(月) 14:03:19.51 ID:87pQpY24.net] それを下記読め男にいってやれ 論点ずらしはアレの専売特許だから 碁友だからと言って遠慮するな 242 名前：現代数学の系譜 雑談 [2025/05/12(月) 14:40:04.27 ID:BWkzqcBy.net] >>223 >別にバカであることは悪くない >そういう有害なバカを放置してはいけない ふっふ、ほっほ 大口叩くね、あなたはｗｗ ；ｐ） １）まず、あなたについて ”自分は賢い”、 　”自分自身は 放置してはいけない有害なバカ ではない” 　ということを 仮定している ２）しかし、 　『あなたは ”自分は賢い”』 　『あなたは”自分は 放置してはいけない有害なバカ ではない”』 　この二つの命題についての 厳密な証明がまだ 無い！！！ｗｗｗ ；ｐ） 従って、あなたの主張は ”数学的には”ｗｗ 単なる 数学のｗ 個人的予想だね 即ち、駆除されるべきは ”あなた”です という命題も成り立ちうるけど？ それ どうするの？ｗｗ ；ｐ） 243 名前：１３２人目の素数さん mailto:sage [2025/05/12(月) 15:01:01.81 ID:cWnw/uTL.net] >>229 ＞大口叩くね、あなたは 　それは妄想 ＞まず、あなたについて ＞”自分は賢い”、 ＞”自分自身は 放置してはいけない有害なバカ ではない” ＞ということを 仮定している 　それも妄想 　ただ、あなたの犯した� 244 名前：�かな行為を私は犯していない　それだけ ＞しかし、 ＞『あなたは ”自分は賢い”』 ＞『あなたは”自分は 放置してはいけない有害なバカ ではない”』 ＞この二つの命題についての 厳密な証明がまだ 無い！！！ 　私が述べていることは、すべて数学書に書かれていることであり 　これが厳密な証明でないというならば、 　数学書に書かれていることに厳密な証明がない 　ということになるので、ぜひどこがどう厳密でないか 　具体的に書かれたい　事実ならば、あなたは数学史に名を残せる 　（まあ、事実でないので、あなたの勝手な誤解で終わりですがね） 　まあ、 　任意の正方行列は逆行列を持つ！ 　完備距離空間の任意の無限列は収束部分列を持つ！（点列コンパクト） 　といいはるなら、厳密な証明書いてね 　絶対無理ですがね 　ほーっほっほっほ！！！ [] [ここ壊れてます] 245 名前：１３２人目の素数さん [2025/05/12(月) 15:03:17.70 ID:cWnw/uTL.net] （１　０） （０　０） が逆行列を持つとかほざく◆yH25M02vWFhP １，２，３，４，・・・ が収束する部分列を持つとかほざく◆yH25M02vWFhP こんな奴でも国立大学の工学部が卒業できてしまう 日本の大学教育は欠陥だらけですなあ ほーっほっほっほ！！！ 246 名前：１３２人目の素数さん [2025/05/12(月) 17:55:10.33 ID:FrA4Ryze.net] >>230 >私が述べていることは、すべて数学書に書かれていることであり それは妄想 247 名前：１３２人目の素数さん [2025/05/12(月) 23:05:56.90 ID:mjJBPKO4.net] >>231 >１，２，３，４，・・・ >が収束する部分列を持つとかほざく どこで収束すると言うかによる 248 名前：１３２人目の素数さん [2025/05/12(月) 23:20:35.85 ID:f97fsta7.net] >>233 どこなら収束すると？ ちなみに収束列はコーシー列なんだが、部分列がコーシー列になり得るってこと？　じゃ示して 249 名前：１３２人目の素数さん [2025/05/12(月) 23:30:48.23 ID:f97fsta7.net] >>233 >ただのバカはいくらいてもよい 答えられなきゃ君はだだのバカ >数学の話はしたくない？ 数学の話したいから答えてね 250 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/12(月) 23:39:02.22 ID:ex4TpqzQ.net] サイコはムチムチムチ。 251 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/05/12(月) 23:40:22.84 ID:ex4TpqzQ.net] もうそんな時期か…。生徒の妊婦は。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef