ガロア第一論文と乗数イデアル他関連資料スレ16

1 名前：１３２人目の素数さん [2025/04/17(木) 23:15:42.72 ID:a3KzsPE4.net] 前スレが1000近く又は1000超えになったので、新スレを立てる https://rio2016.5ch.net/test/read.cgi/math/1741617540/1- 前スレ ガロア第一論文と乗数イデアル他関連資料スレ15 このスレは、ガロア第一論文と乗数イデアル他関連資料スレです 関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります） 資料としては、まずはこれ https://sites.google.com/site/galois1811to1832/ ガロアの第一論文を読む 渡部 一己 著 （2018.1.28） PDF https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0 ＜乗数イデアル関連＞ ガロア第一論文及びその関連の資料スレ https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照 https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik ＜層について＞ https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6) 層 (数学) https://en.wikipedia.org/wiki/Sheaf_(mathematics) Sheaf (mathematics) https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques) Faisceau (mathématiques) あと、テンプレ順次 つづく 267 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:36:18.76 ID:X6Gu7oaA.net] 学問で平等になる差が縮まるなんてことがあるのだろうか。差が開くだけに思う。アウシュビッツ収容所や刑務所精神病院ですら非部落民の第三者の管理を受けるべきだ。 268 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:38:02.40 ID:X6Gu7oaA.net] プロポーション部落、知能部落、性行為部落、あげたらきりがないよ。 269 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:39:30.16 ID:X6Gu7oaA.net] 部落民も人生見つめてる人はいいが多くは悪をなし堕落している。 270 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:40:24.37 ID:X6Gu7oaA.net] 所詮はうまくいかないと思う。 271 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:44:08.78 ID:X6Gu7oaA.net] 似たりよったりで暮らすのがお勧めだ最初に加害干渉暴力性暴力殺人したのは部落民の方だ。 272 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:45:32.79 ID:X6Gu7oaA.net] カルマというのか恨んでないから部落からはスルーして退席させてもらうよ。 273 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:49:26.14 ID:X6Gu7oaA.net] 部落民は正式でない戦争まで嫉妬で起こすさ。何が目的なのか。 274 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:50:15.81 ID:X6Gu7oaA.net] 非部落の女さ。 275 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 21:58:10.47 ID:X6Gu7oaA.net] 風俗とか結婚制度法律自体あやしいものだお金の経済経営も非部落目当て。 276 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 22:01:36.39 ID:X6Gu7oaA.net] くだらない世の中だが最後にハッピーエンドは来ない人もいる。一部の勝ち女でも苦しい時間が多い。それを解くのが数学。 277 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 22:03:45.22 ID:X6Gu7oaA.net] 人助けなのか自分なのかも難しい問いだ。 278 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 22:05:40.91 ID:X6Gu7oaA.net] 部落より下にいればいいが性欲は限定されてしまうな。下取りの性欲もいいけど。 279 名前：現代数学の系譜 雑談 [2025/04/26(土) 22:25:05.89 ID:2tFMGt7T.net] >>251 追加 なお、”ヒンチンが著した連分数の入門書 Цепные дроби (Continued Fractions) の邦訳版PDF” は、旧ガロアすれでも取り上げたことがあった いまは、検索でヒットしなかった（検索の仕方が問題かもしれないが） ＜英文だが 全ページ画面で見られる。ログインすれば、ダウンロード可らしい＞ https://archive.org/details/khinchin-continued-fractions Continued Fractions by A. Ya. Khinchin Publication date 1964 ＜関連ご参考＞ https://www.kurims.kyoto-u.ac.jp/~kenkyubu/bessatsu/open/B32/pdf/B32_015.pdf RIMS Kôkyûroku Bessatsu B32 (2012), 239−254 Continued fractions in p‐adic numbers By Michitaka Kojima 280 名前：現代数学の系譜 雑談 [2025/04/26(土) 22:27:12.65 ID:2tFMGt7T.net] >>266 死狂幻調教大師S.A.D.@月と六ベンツ さん、スレ主です ご苦労さまです　（＾＾ 281 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 22:27:37.35 ID:X6Gu7oaA.net] ファッション誌の男の小顔風モデルですら顔でかいよって気持ち悪がってる女性もいるのにな。 282 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 22:30:01.92 ID:X6Gu7oaA.net] 男性と女性の恋愛の許容範囲が違うと嫁見ると思うな。 283 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 22:52:08.64 ID:X6Gu7oaA.net] だから過去の部落の悪な学者のものを書き直す仕事も大事なわけだ、世界のためには。研究して。しかしそんなもの過度な興味は持てないし、下の値打ちじゃないものも繁殖に成功してるから多いわけだよ。 284 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 22:53:19.03 ID:X6Gu7oaA.net] 285 名前：自分が特に優れてるわけじゃないがみんなを生きやすくはしたいさ。 [] [ここ壊れてます] 286 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/26(土) 22:55:32.93 ID:X6Gu7oaA.net] だからルックスや精神世界まで興味を持つことは大事だな。無関心になってはだめだ。 287 名前：現代数学の系譜 雑談 [2025/04/26(土) 23:53:49.76 ID:2tFMGt7T.net] >>231 つづき １）さて、渕野昌先生が、「R.Dedekindの数学の基礎付けと集合論の公理化」で 　Dedekindが ”無限（集合）の存在証明”を 試みた 書物の出版を批判している 　つまり、現代の目からみれば、無限に関する集合は 「無限公理(無限集合の存在を主張する公理)」で扱うべきもので 　つまり、”無限の存在が集合論の他の公理から独立である”ということです（wikipedia 独立性 (数理論理学) もご参照） ２）さて、現代でも基礎論の錯乱者がいます。”無限集合の存在を証明せよ”などと 宣う(>>179) 　下記の渕野昌先生を百回音読してほしいです！ｗｗ ；ｐ） (参考) https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1739-16.pdf 数理解析研究所講究録第1739巻 2011年 168-179 R.Dedekindの数学の基礎付けと集合論の公理化 渕野昌 本稿は，2010年8月24日に筆者が行なった，RIMS研究集会「数学史の研究」での講演を敷術したものである． この講演の後，早稲田大学理工学術院数学科の足立恒雄先生と 関連する討論の機会を持ったが，formulationの舌足らずのせいか うまくこちらの趣旨が伝 わらず，議論の行き違いになってしまっていたところがあった．本稿は，そのような行き違いの原因となりうる論述の稚拙を回避しようと真剣に努力した結果でもある．その意味で，本稿の執筆の強い動機を与えていただいた足立先生に深く感謝するとともに，この文章をお読みになった先生が，私の論旨に納得してくださることを切に願うものでもある． P171 ここでは，Noetherや彼女の学派に受けつがれたDedekindの抽象代数の定式化や基礎付けの仕事については，触れるだけの余裕はないが，Noetherは彼女の代数的研究について，，，Es steht alles schonbei Dedekind“ (全部デデキントが書いたものに既に出ている)と口癖のように言っていたということである([12]). P173 3 無限の存在証明 Dedekindの名誉のために付け加えておくと，1911年の時点では，無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研究者たちすら，まだ完全には把握しきれていなかった可能性がある．たとえば，Zermelo文[18]の公理系とよばれることになる体系の原形は発表されているが，その初めで，Zermelo Zermeloは， 略す と書いているし，Zermelo [18],下線の公理の命題の間の独立性についての，より踏み込んだ議論は，Fraenkelの1922年の論文[7]までなされていないように思えるからである． 無限公理(無限集合の存在を主張する公理)の集合論の他の公理からの独立性は (集合論のすべての公理を含む体系の中で), H(ω) (hereditarily finiteな集合の全体)と，この上に∈関係を制限したものの組からなる構造を作ると， そこでは，無限公理以外の集合論のすべてが成り立つことが確かめられ， そのことから「集合論の公理系が無矛盾なら，集合論の公理系から無限公理を除いた体系から無限公理は導かれない」ことが導かれる として示すことができる． もちろん，[集合論の公理系が無矛盾なら」は，不完全性定理以降の時代に生きる我々の後知恵であるが(9), つづく 288 名前：現代数学の系譜 雑談 [2025/04/26(土) 23:54:17.85 ID:2tFMGt7T.net] つづき https://ja.wikipedia.org/wiki/%E7%8B% 289 名前：AC%E7%AB%8B%E6%80%A7_(%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6) 独立性 (数理論理学) 文 σ が与えられた一階の理論 T から独立であるとは、T が σ を証明も反証もしないことをいう; すなわち、T から σ を証明することはできず、T から σ が偽であるを証明することもできない。しばしば、σ は(同じ意味だが) T から決定不能と呼ばれる。(この概念は計算機科学の決定問題等で言われる"決定可能性"とは関係がない。) 集合論における独立性の結果 集合論における多くの興味深い命題がツェルメロ＝フレンケル集合論 (ZF) から独立である。以下に記す集合論の命題は ZF が無矛盾であるという仮定の下で ZF から独立であると知られているものである: ・選択公理 略す 物理学の理論への応用 2000年以降、論理的独立性は物理学の基礎において極めて重要な意味を持つものであると理解されるようになった。[1][2] (引用終り) 以上 [] [ここ壊れてます] 290 名前：１３２人目の素数さん [2025/04/27(日) 05:13:33.18 ID:4nXxfb8w.net] >>275 > 現代でも基礎論の錯乱者がいます。 >”無限集合の存在を証明せよ”などと 宣う(>>179) 　また、神戸のド素人が、他人の文章を読み間違って、ニセ赤ペン先生やってるのか（嘲） 　179 > 以下を証明せよ。 > １．ZFにおいてツェルメロの自然数全体の集合Nz:={{},{{}},{{{}}},・・・}が存在する。 １読んだ？ 冒頭　何て書いてある？　”ZFにおいて”って書いてあるだろ？ ZFの全部の公理＆公理スキーム書ける？　その中に無限公理ってあるだろ？ だったら、ZFにおいて、無限公理は独立じゃないぞ　公理なんだからｗ ZF−無限公理では、無限公理は独立だが、 だからZFでも無限公理は独立とかいうのは馬鹿 ユークリッド幾何−平行線公準で、平行線公準が独立だからって ユークリッド幾何で平行線公準が独立とかいったら馬鹿だろｗ 公理は定理なんだから、公理から同一律によって定理が証明できる　これ自明な わけもわからずフッチーノを引用して的外れな非難乙 やっぱ神戸のド素人は論理の初歩から全然分かってないな 高校数学からやり直せよ　ついでに高校の現代国語もな 291 名前：１３２人目の素数さん [2025/04/27(日) 05:24:49.29 ID:4nXxfb8w.net] 現代数学の系譜 雑談 ◆yH25M02vWFhP 苗字はセタ？ 神戸の公立高校　卒　（本人談） 大阪大工学部　卒　資源工学専攻　（本人談） 大学１年の教養課程の数学（微分積分＆線形代数）が分からず落ちこぼれる 一方、ガロア理論の本を読み漁るも全く理解できず、完全敗北 基本的に文章が苦手　 論理的に正しい文章が書けない 他人の文章を論理的に正しく読解できない したがって数学書を読解できず また定理の証明も書けない よくいる工学部のクソ学生の典型例 292 名前：１３２人目の素数さん [2025/04/27(日) 05:39:34.43 ID:4nXxfb8w.net] まあ、かくいう俺もクソ学生だったがな 数学科卒のくせに、ガロア理論がわからなかったんだから なんでガロア群が巡回群だとべき根で解けるのか分からなかった ラグランジュの分解式を使った解き方を具体的に示した方法を ネットのＨＰで読んでやっと理解した次第 線形代数でいえば、掃き出し法が分かってないようなもん そりゃわかるわけないわ 藤原松三郎「代数学」でも丁寧に書いてあるが いまどきのガロア理論の本ではそういう「算数」はあまり書かない ガロア理論は方程式を解くための理論じゃないから当然である 円分方程式がべき根で解けるというガウスの発見は ガロア理論に至る道の最初のブレイクスルーだが 今ではそんな古道をそのまま通る奴はいないということか 293 名前：１３２人目の素数さん [2025/04/27(日) 05:44:49.95 ID:4nXxfb8w.net] 数学というのは分かってしまうと 「なんだそんなことか」 と思えるから不思議である ガウスの発見もガロア理論も 理解できてないうちは 「天才のチョー難しい発見」 と思うのだが、理解してしまうと 「なんだ、そんなことなら俺でも１０代で気づけたわ」 とか不遜なことを思ってしまう もちろん、それは勘違いなのだが 自分で見つけることと人が見つけたことを理解するのは そのくらい難しさが違うのである そして数学の学習がサクサクできたからといって 数学の研究が同じようにサクサクできるわけじゃない ということは大学の博士課程に進んで 自分が何かを研究し論文を書く段になって 初めて気づくことなのである まあ、学習すらサクサクすすまなかった自分は そんな地獄を見ることがなかったから関係ないんだがね 294 名前：１３２人目の素数さん [2025/04/27(日) 05:54:13.29 ID:4nXxfb8w.net] 分数の計算ができん小学生 二次方程式が解けん中学生 三角関数がわからん高校生 大学の数学の理論がわからん大学生 学校とは自分の限界を知る場所である まあ知らないよりは知ったほうが全然いい またつまづきは遅ければ遅いほどいいとかいうこともない つまづかないのが一番ということもない 今まで誰かがみつけたことを全部理解できたとしても その先自分が新しく何かをみつけるのはいばらの道である まあ、分かりたいことが分からないのは不遇といえば不遇だが そんなつまらんことで悩むのはゼータクといえばゼータクなのである 295 名前：１３２人目の素数さん [2025/04/27(日) 06:02:35.33 ID:4nXxfb8w.net] 現代数学の系譜 雑談 ◆yH25M02vWFhP　は 「ＩＱ真理教」とかいうカルト宗教の熱狂的信者らしい 分からないより分かるほうが偉い、とわけもなく信じている だからなんでもかんでも分かったフリして他人にマウントしようとする 検索コピペは分かったフリを演じるためのテクニック　まあ無意味だけどな 「ＩＱ真理教」は学校で叩き込まれるので皆多かれ少なかれかぶれている 自分もかぶれていたころは、こいつの詐欺テクニックにイラついたもんだ しかし、まあＩＱ真理教の影響から抜け出すにつれ 「ああ、こいつ、憐れな奴なんだな」 と憐憫の情をもつようになった 別に分かったものが分からんものを下に見て憐れんでるわけではない むしろ興味のないものを「知らなきゃ馬鹿にされること」と思って 必死になって誤魔化そうとするのが哀れに思えるわけだ 別に知りたくなきゃ知らなくても全然いいだろう 世の中には算数すらロクにできなくても別に恥ずかしげもなく生きてる人などゴマンといる そもそも算数なんて読み書き同様、人類の生存に不可欠な技能でもなんでもない 現代人は無駄な芸ばかり覚えてだんだん小利口な馬鹿になっているのである 憐れなもんである 296 名前：１３２人目の素数さん [2025/04/27(日) 06:05:18.63 ID:4nXxfb8w.net] 現代数学の系譜 雑談 ◆yH25M02vWFhP　は おかしなHNで、わかりもせんことをコピペする 恥ずかしいマウント芸などやめて 数学板への書き込み、数学板のアクセスすらやめて 囲碁将棋にあけくれる平和な生活を送るのが一番である 数学に興味ないんだから そもそも文章の読み書きすら興味ないんだから 囲碁将棋しか興味ないんだから 297 名前：１３２人目の素数さん [2025/04/27(日) 06:39:48.77 ID:Hxobn1tQ.net] >自分で見つけることと人が見つけたことを理解するのは >そのくらい難しさが違うのである 発見されるまではそこに「なかった」わけだからね 298 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 07:44:38.68 ID:liEzxrgl.net] 新しい解法や定理を生み出すのに正確に理解するとかわかることはある程度しか必要ないんじゃないの。成績が悪くても数学的な業績は残せる。 299 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 07:46:43.60 ID:liEzxrgl.net] だから続けることが大事で成績は上げないでいいと思う。 300 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 07:50:31.84 ID:liEzxrgl.net] 何かしら数学的な業績を上げることが大事なわけでそういう数学者も必ずしも成績は良く 301 名前：なかったはずだ。躓いているところに新しい問題提起があるかもしれないむしろ。 [] [ここ壊れてます] 302 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 07:53:23.58 ID:liEzxrgl.net] 教育や管理には成績がいるかもしれないがそれは他人のためだ。 303 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 07:54:30.37 ID:liEzxrgl.net] だから天才なんていらない。 304 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 07:56:13.37 ID:liEzxrgl.net] 埋もれたものを発掘したりまだ結果が出せていない人を援助したりが大事。 305 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 07:59:39.37 ID:liEzxrgl.net] 自我が優秀であることに数学の客観性は関係がない、一部のエリートや天才だけでなく皆がとりいれることが大事だ。倫理やルール、マナーは大事だけれども。 306 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 08:00:19.17 ID:liEzxrgl.net] 光も怠惰ではないですか。 307 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 08:01:44.30 ID:liEzxrgl.net] 社会を良いものにする理論や結果ができることが大事。 308 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 08:03:30.38 ID:liEzxrgl.net] 出世で人を蹴落とすのは恐怖や嫉妬劣等感。 309 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 08:04:41.54 ID:liEzxrgl.net] 数学で人格が良くなればそれは良い。 310 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 08:06:00.73 ID:liEzxrgl.net] しかし人を扱うには勉強だけはしておかなくてはならないなあ。 311 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 08:07:35.38 ID:liEzxrgl.net] 裏方なんかしないで遊んでるのが本当の幸せかもね。 312 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 08:09:29.83 ID:liEzxrgl.net] 数学をするものは奴隷、恩恵を受けるものが富者、勝者。 313 名前：現代数学の系譜 雑談 [2025/04/27(日) 08:21:48.67 ID:ZZby/myn.net] >>284 (引用開始) >自分で見つけることと人が見つけたことを理解するのは >そのくらい難しさが違うのである 発見されるまではそこに「なかった」わけだからね (引用終り) 巡回ありがとうございます そうですね デデキントは、>>275の渕野昌先生「R.Dedekindの数学の基礎付けと集合論の公理化」 にある通り 無限に関する集合は 「無限公理(無限集合の存在を主張する公理)」で扱うべきもので つまり、”無限の存在が集合論の他の公理から独立である”ということ に気づいていなかった 平たく言えば、基礎論の無限については 原則として 無限に関する集合は、証明されるべきものではなく 無限公理として導入されるべきもの ということですね （勿論、一旦ある無限公理が導入されれば、そこから導かれる無限集合も沢山あるのですが。また、導かれない無限集合も沢山あるのでしょう。到達不能基数とか） 314 名前：１３２人目の素数さん [2025/04/27(日) 08:45:49.30 ID:eF7xVrhs.net] >>275 >１）さて、渕野昌先生が、「R.Dedekindの数学の基礎付けと集合論の公理化」で >　Dedekindが ”無限（集合）の存在証明”を 試みた 書物の出版を批判している >　つまり、現代の目からみれば、無限に関する集合は 「無限公理(無限集合の存在を主張する公理)」で扱うべきもので >　つまり、”無限の存在が集合論の他の公理から独立である”ということです（wikipedia 独立性 (数理論理学) もご参照） >２）さて、現代でも基礎論の錯乱者がいます。”無限集合の存在を証明せよ”などと 宣う(>>179) 無限公理が存在を主張する集合はNzではない。つまり集合Nzの存在は要証明。 君、ぜんぜん分かってないんだね。そりゃゼロ点で落第する訳だわ。 315 名前：１３２人目の素数さん mailto:sage [2025/04/27(日) 08:52:08.02 ID:4nXxfb8w.net] >>300 > 無限公理が存在を主張する集合はNzではない。つまり集合Nzの存在は要証明。 > 君、ぜんぜん分かってないんだね。そりゃゼロ点で落第する訳だわ。 大学１年の微積と線形代数で落第したオチコボレが 集合論を全然理解できてなくても当然というか全然驚きはない そんな人物が自分が数学分かってると思い込んで 検索結果をコピペして読者にマウントしようと必死なのをみると 「ああ、こいつもＩＱ真理教の被害者だな　哀れだな」 と思うばかり 316 名前：１３２人目の素数さん [2025/04/27(日) 08:53:57.87 ID:eF7xVrhs.net] >>299 >平たく言えば、基礎論の無限については >原則として >無限に関する集合は、証明されるべきものではなく >無限公理として導入されるべきもの >ということですね 問１は無限公理を用いてどう証明するかを問う問題なのに何をトンチンカンなこと言ってるのやら > １．ZFにおいてツェルメロの自然数全体の集合Nz:={{},{{}},{{{}}},・・・}が存在する。 317 名前：１３２人目の素数さん [2025/04/27(日) 08:54:05.12 ID:Hxobn1tQ.net] 無限集合の定義は 「自身と対等な真部分集合を持つもの」 とすればよいが 「自然数全体の集合と対等な部分集合をもつもの」 としてもかまわない 318 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 09:02:17.10 ID:liEzxrgl.net] 分析哲学じゃないけど専門分野が多様で細分化されているから一部のエリートも専門外はほとんどさっぱりという社会情勢。 319 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 09:03:56.36 ID:liEzxrgl.net] そういう中で統合も絶対的でないほうがよく相対的になるしかない。 320 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/27(日) 09:08:23.79 ID:liEzxrgl.net] 言語記号の分析哲学と表象なんかが流行るかもな。 321 名前：１３２人目の素数さん [2025/04/27(日) 09:14:54.61 ID:Hxobn1tQ.net] 変化の本質は統合にある 322 名前：現代数学の系譜 雑談 [2025/04/27(日) 19:39:45.57 ID:ZZby/myn.net] >>179 (引用開始) ツェルメロの自然数が大好きなおサルへの問題 {},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。 略 ６．ZFにおいて集合{{・・・{}・・・}}（無限重括弧）は存在しない。 (引用終り) なんか、臭くないか？ なんか、素人臭くないか？ｗ ；ｐ） Dedekindが主張した ”無限（集合）の存在証明”を 渕野昌先生は 批判している（>>275） 本質的に、”無限（集合）の存在”というものは、他の公理から独立だと そして、ツェルメロは 彼の自然数の定義として 後者関数 suc(a) で、0 := {}, suc(a) := {a} と定義した(>>12) そうして、ツェルメロは彼の無限公理を 下記のように定義した https://en.wikipedia.org/wiki/Zermelo_set_theory （>>212より） Zermelo set theory （Zermeloの無限公理） 　7.AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element." もし、{a}が有限個で終われば、有限集合しか構成できないから 無限公理として機能するためには、{a}が無限個存在しなければならない ということだね（当然 ツェルメロは そう考えていたはず） そして、再度 『本質的に、”無限（集合）の存在”というものは、他の公理から独立だ』ということを強調しよう ZFの公理系として、ノイマンの無限公理を採用したとして、ノイマンの無限公理から ツェルメロの無限が導けないことは ありうるだろう しかし それは、ツェルメロの無限が ノイマンの無限公理からの 独立を意味するだけで、決して ツェルメロの無限を否定するものではない 再度 下記を参考に添えておく https://en.wikipedia.org/wiki/Zermelo_set_theory Zermelo set theory Connection with standard set theoryThe axiom of infinity is usually now modified to assert the existence of the first infinite von Neumann ordinal ω; the original Zermelo axioms cannot prove the existence of this set, nor can the modified Zermelo axioms prove Zermelo's axiom of infinity.[2] Zermelo's axioms (original or modified) cannot prove the existence of Vω as a set nor of any rank of the cumulative hierarchy of sets with infinite index. In any formulation, Zermelo set theory cannot prove the existence of the von Neumann ordinal ω⋅2, despite proving the existence of such an order type; thus the von Neumann definition of ordinals is not employed for Zermelo set theory. 323 名前：１３２人目の素数さん [2025/04/27(日) 20:15:42.87 ID:eF7xVrhs.net] >>308 集合{{・・・{}・・・}}（無限重括弧）は何の後者と？ >　7.AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element." から{{・・・{}・・・}}の存在が言えると言うなら上記問いに答える必要がある。答えよ。 尚、 >　7.AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element." から無限集合の存在は言える。その集合のどの元も有限重括弧、つまりその集合こそNz。 しかし問１はZFについて問うているのだから当然問１の解答にはならない。 ほんとサルってバカだね 324 名前：１３２人目の素数さん [2025/04/27(日) 20:24:39.94 ID:eF7xVrhs.net] >>308 >しかし それは、ツェルメロの無限が ノイマンの無限公理からの 独立を意味するだけで、決して ツェルメロの無限を否定するものではない 何をトンチンカンなこと言ってるのやら。 ヒント出したじゃん。「問１は無限公理を用いてどう証明するかを問う問題」（>>302）と。無限公理を用いるんだから当然従属だろバカｗ 325 名前：１３２人目の素数さん [2025/04/27(日) 20:34:06.22 ID:eF7xVrhs.net] おサルは公理の独立性も分かってないのか？ 「選択公理はZFと独立」とは選択公理はZFにおいて証明も反証もできない、すなわち（ZFが無矛盾なら）ZF+CもZF+¬Cも無矛盾、という意味だぞ やれやれ 326 名前：１３２人目の素数さん [2025/04/27(日) 20:39:30.35 ID:eF7xVrhs.net] おサルよ 掲示板へのコピペは何の勉強にも、知識を有することのエビデンスにもならないことが分かったか？ 分かったらやめな　みっともないから 327 名前：１３２人目の素数さん [2025/04/28(月) 09:11:57.92 ID:UtW8eIc+.net] おサル、{{・・・{}・・・}}が何の後者か答えられず逃亡 そりゃそうだ。おサルが持ち出した論拠 >　7.AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element." から、{{・・・{}・・・}}の存在はまったく言えず、おサルの単純な思い違いなだけだから 自分の頭の悪さが分かったかい？おサルくん 328 名前：１３２人目の素数さん [2025/04/28(月) 09:31:36.44 ID:UtW8eIc+.net] おサルの成績 問１　証明すべき命題を「公理だから証明不要」と回答　0点 問２　白紙回答　0点 問３　白紙回答　0点 問４　白紙回答　0点 問５　白紙回答　0点 問６　証明すべき命題を偽と回答　0点 合計：0/600点。落第。 担当教官からのアドバイス：おサルに大学数学は無理なので諦めましょう 329 名前：１３２人目の素数さん [2025/04/28(月) 13:03:58.14 ID:heJunuWl.net] >>303 (引用開始) 無限集合の定義は 「自身と対等な真部分集合を持つもの」 とすればよいが 「自然数全体の集合と対等な部分集合をもつもの」 としてもかまわない (引用終り) ありがとうございます。 下記の「デデキント無限」ですね (参考) https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90 無限 無限（むげん、infinity、∞）とは、限りの無いことである。 デデキント無限 →詳細は「デデキント無限」を参照 ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在するとき、その集合はデデキント無限であるという。デデキント無限でない集合はデデキント有限であるという。デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。無限集合が、デデキント無限集合であるということと、可算無限部分集合を持つことは同値である。 https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%87%E3%82%AD%E3%83%B3%E3%83%88%E7%84%A1%E9%99%90 デデキント無限 集合A がデデキント無限（Dedekind-infinite）である、またはデデキント無限集合であるとは、A と同数（equinumerous）であるようなA の真部分集合B が存在することである。つまり、A とA の真部分集合B の間に全単射が存在するということである。集合 A がデデキント無限でないとき、デデキント有限であるいう。 デデキント無限は、自然数を用いないような最初の無限の定義である。選択公理を除いたツェルメロ・フレンケルの公理系は、任意のデデキント有限集合は有限個の元を持つという意味での有限である、ということを証明するだけの強さを持たない[1]。デデキント無限以外にも、選択公理を用いない有限集合や無限集合の定義が存在する。 通常の無限集合の定義との比較 デデキントの意味での“無限集合”は、普通の意味での無限集合と比較されるべきであろう: 集合A が無限であるとは、どのような自然数 n に対しても、{0,1,2,..., n -1}（有限順序数）と A との間に全単射が存在しないことである。 無限とは、全単射が存在しないという意味で文字通り有限でないという集合である。 19世紀後半、多くの数学者はデデキント無限であることと通常の意味の無限は同値であると単純に考えていた。しかし実際は、選択公理（“AC”）を除いたツェルメロ・フレンケルの公理系（通常、“ZF”と表記される）からは、その同値性は証明されえない。弱いACを使うことで証明でき、フルの強さは要求されない。その同値性は、可算選択公理（“CC”）より真に弱い形で証明できる。 ZFにおけるデデキント無限 次の4条件は、ZF上同値である。特に、これらの同値性はACを用いないで証明できることに注意せよ。 ・A はデデキント無限である。 ・全射ではないが単射であるようなA からA への関数が存在する。 ・自然数の集合N からA への単射が存在する。 ・A は可算無限な部分集合を持つ。 以下略す 選択公理との関係 略す 可算選択公理を仮定した無限との同値性の証明 デデキント無限集合が無限であることはZFで容易に証明される。実際、任意の有限集合はある有限順序数と等濃であって、有限順序数がデデキント有限であることは帰納法により証明できる。 略す 330 名前：１３２人目の素数さん [2025/04/28(月) 13:18:12.50 ID:heJunuWl.net] >>307 >変化の本質は統合にある ありがとうございます。 下記の Terence Taoなどが提唱する 下記の「3.The “post-rigorous” stage」ですね “rigorous”の初歩レベルから脱することができなかった 数学科１年でオチコボレさんで 詰んだ人がいます そういう人に限って、“rigorous”だけを振り回して いばるのですｗｗｗ それ、滑稽ですね。ご当人は 至極まじめらしいが、大笑いですｗ ；ｐ） (参考) https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/ By Terence Tao There’s more to mathematics than rigour and proofs July 2016 (1) 3.The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond. (google訳) 3. 「ポスト厳密」段階。この段階では、選択した分野の厳密な基礎知識すべてに慣れ、厳密な理論によってしっかりと裏付けられた直感を用いて、その分野における厳密化以前の直感を再検討し、洗練させる準備が整っています。（例えば、この段階では、スカラー計算との類推を用いたり、無限小数やビッグオー記法などを非公式かつ半厳密な形で使用したりすることで、ベクトル計算の計算を迅速かつ正確に実行できるようになり、必要に応じて、こうした計算をすべて厳密な議論に変換できるようになります。）この段階では、応用、直感、そして「全体像」に重点が置かれます。この段階は通常、大学院後期以降に行われます。 (引用終り) 331 名前：１３２人目の素数さん [2025/04/28(月) 13:32:51.20 ID:UtW8eIc+.net] >>316 >“rigorous”の初歩レベルから脱することができなかった >数学科１年でオチコボレさんで 詰んだ人がいます おサルの場合「非厳密」ではなく「初歩的間違い」だけどな つまり“rigorous”の初歩レベルにすら辿り着けなかったのがおサル 332 名前：１３２人目の素数さん [2025/04/28(月) 13:38:00.70 ID:UtW8eIc+.net] 無限集合の存在は公理だからNzの存在証明は不要　←非厳密ではなく初歩的間違い ツェルメロの無限公理は集合{{・・・{}・・・}}の存在を主張している　←非厳密ではなく初歩的間違い 333 名前：１３２人目の素数さん [2025/04/28(月) 13:58:01.81 ID:y1JRbL0Q.net] 間違いを理解できないのではなく認めないのだということが 理解できないことが 理解できない 334 名前：現代数学の系譜 雑談 [2025/04/28(月) 14:24:20.60 ID:heJunuWl.net] >>308 補足 >>179 (引用開始) ツェルメロの自然数が大好きなおサルへの問題 {},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。 略 ６．ZFにおいて集合{{・・・{}・・・}}（無限重括弧）は存在しない。 (引用終り) 全く素人くさいよね、おサルさん>>7 素人は、まず 下記の 東北大 尾畑研 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf) 第14章順序数と第15章 自然数 とを、百回音読しなｗ ；ｐ） その上で、下記の 上島晟宏 神戸大学 ”Zermelo と von Neumann の無限公理の同値性” 2023年 すうがく徒のつどい 第4回 を、99回写経しなよ 分からないところは、上島晟宏へ質問しろ！ｗ ；ｐ） (参考) https://www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大 尾畑研 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf) https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_14.pdf TAIKEI-BOOK : 2019/1/1(22:21) 第14章順序数 https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_15.pdf TAIKEI-BOOK : 2019/1/1(22:21) 第15章 自然数 15.1 ペアノの公理 P234 要は空集合Φから始めて後続順序数を次々に考えることで自然数が次々に得られるのである7) 注 7)このアイデアは順序数の定義第節とともにフォン・ノイマンによる https://math-tsudoi.jp/4/ すうがく徒のつどい 第4回 2023年9月16日(土)および9月17日(日)に開催。 https://math-tsudoi.jp/4/schedule 9月17日 301教室「Zermelo と von Neumann の無限公理の同値性」 (一般枠) 上島晟宏 (Abstract, スライド) https://math-tsudoi.jp/4/slides/ikotondo.pdf Zermelo と von Neumann の無限公理の同値性 上島晟宏 神戸大学大学院システム情報学研究科研究生 目次 1.歴史と無限公理の意味 2. von Neumann 流の無限公理が「改良」足り得る理由 3. 証明の概略 　von Neumann 流 =⇒ Zermelo 流 　Zermelo 流 =⇒ von Neumann 流 335 名前：現代数学の系譜 雑談 [2025/04/28(月) 15:02:32.44 ID:heJunuWl.net] >>319 >間違いを理解できないのではなく認めないのだということが >理解できないことが >理解できない これは御大か 巡回ご苦労様です いやね おサルさん>>7 石の強弱が分かっていない Zermeloの >>12 0 := {}, suc(a) := {a} （後者関数定義） で、Zermeloが自然数の定義に失敗しているとか バカなことを言ってきたけど 上島晟宏氏 神戸大学 が、>>320のように発表しているし >>179で、『{{・・・{}・・・}}（無限重括弧）は存在しない』とかいうが 論の立て方がおかしい Zermeloは、Zermelo流の無限公理を採用しているので、まずは そこからがスタートです そもそも ”無限” とは >>303で 御大が ご指摘された ごとくデデキントなど（カントールも）が ZFCの公理化のずっと前に 考察を進めていたのです ”葦（よし）の髄（ずい）から天井をのぞく” デデキント、カントール以前にも ガウス、コーシー、リーマン、ワイエルシュトラスらが ”無限”（の概念）を縦横につかって 数学を展開していた その一つに、数列の収束と発散があります 　>>12より 　0 := {} 　1 := {0} = {{}} 　2 := {1} = {{{}}} 　3 := {2} = {{{{}}}} つまり ・0＜1＜2＜3＜・・・ →∞ 　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・→{・・・{}・・・}（無限重括弧） これを、否定することはできない！ ZermeloなりZF公理から 証明はできないかもしれないが、否定することは 絶対にできないだろう 即ち、百歩譲っても ”{・・・{}・・・}（無限重括弧）”の存在は、ZermeloなりZF公理から 独立だ とすれば、ゲーデルの不完全性定理の示すところ ”{・・・{}・・・}（無限重括弧）”の存在を公理として認めれば それで終わり！ です （＾＾ まあ、目あり目無し の攻め合いみたいなものですねｗ ；ｐ） 336 名前：１３２人目の素数さん [2025/04/28(月) 15:50:16.64 ID:UtW8eIc+.net] >>321 >　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・→{・・・{}・・・}（無限重括弧） >これを、否定することはできない！ >ZermeloなりZF公理から 証明はできないかもしれないが、否定することは 絶対にできないだろう いいえ、簡単にできます。 ZFにおいて集合{・・・{}・・・}（無限重括弧）:=Xが存在すると仮定。 Xの元は一番外側の括弧を外したものでありそれはX自身、すなわちX∈X、すなわち正則性公理と矛盾。よって仮定は間違い。 >即ち、百歩譲っても ”{・・・{}・・・}（無限重括弧）”の存在は、ZermeloなりZF公理から 独立だ いいえ、何歩譲ろうが ”{・・・{}・・・}（無限重括弧）”の存在はZFと矛盾します。独立していません。 >無限集合の存在は公理だからNzの存在証明は不要　←非厳密ではなく初歩的間違い >ツェルメロの無限公理は集合{{・・・{}・・・}}の存在を主張している　←非厳密ではなく初歩的間違い 集合{{・・・{}・・・}}の存在はZFから独立　←非厳密ではなく初歩的間違い New! 口を開けば初歩的間違いを犯すおサルさんでしたとさ 337 名前：１３２人目の素数さん [2025/04/28(月) 16:10:55.04 ID:y1JRbL0Q.net] 大数学者たちも初歩的間違いはしょっちゅう犯す 338 名前：１３２人目の素数さん [2025/04/28(月) 16:54:08.88 ID:UtW8eIc+.net] おサルは初歩的間違いしか犯さない 339 名前：１３２人目の素数さん [2025/04/28(月) 18:42:01.73 ID:y1JRbL0Q.net] コピペ自体は初歩的間違いとは言えない 340 名前：１３２人目の素数さん [2025/04/28(月) 18:54:56.37 ID:UtW8eIc+.net] 誰がコピペが間違いと言ったの？幻聴が聞こえるなら病院へ 341 名前：１３２人目の素数さん [2025/04/28(月) 19:37:25.88 ID:Yvr3RDW/.net] ならコピペを批判するのは筋違い 342 名前：１３２人目の素数さん [2025/04/28(月) 19:39:25.23 ID:UtW8eIc+.net] なぜ？ 343 名前：１３２人目の素数さん [2025/04/28(月) 20:10:25.10 ID:Yvr3RDW/.net] 幻聴が聞こえるなら病院へ 344 名前：１３２人目の素数さん [2025/04/28(月) 20:30:36.72 ID:UtW8eIc+.net] 頭イカレテるなら病院へ 345 名前：現代数学の系譜 雑談 [2025/04/28(月) 20:51:25.51 ID:JYnUNKou.net] >>322 (引用開始) 　>>321より >・0＜1＜2＜3＜・・・ →∞ >　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・→{・・・{}・・・}（無限重括弧） >これを、否定することはできない！ >ZermeloなりZF公理から 証明はできないかもしれないが、否定することは 絶対にできないだろう いいえ、簡単にできます。 ZFにおいて集合{・・・{}・・・}（無限重括弧）:=Xが存在すると仮定。 Xの元は一番外側の括弧を外したものでありそれはX自身、すなわちX∈X、すなわち正則性公理と矛盾。よって仮定は間違い。 (引用終り) ふっふ、ほっほ １）下記の通り 任意実数は 有理数からなる コーシー列の収束先として定義できる 　つまり、有理数からなる コーシー列の収束先は、有理数に限る必要がない 　と同様に、有限範囲で 列 {}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ を構成する各要素が持つ性質について 　その極限の集合が 全てを引き継ぐ必要ない ２）また、スレタイ 箱入り無数目 で 時枝氏は ”箱の可算無限個”を考える 　ならば、”棒の可算無限個”も可能だろう。例えば、||||・・・と棒が可算あるとする 　この棒を |→} (右カッコ)に置き換えると }}}}・・・ となる 　この鏡映で 無限の左カッコ ・・・{{{{ ができる 　間に空を入れて ・・・{{{{ }}}}・・・ ができる 　一番外のカッコ ｛ or } は存在しない とできる 　なぜならば、極限順序数だから。（如何なる前者も存在しない。下記の”極限順序数”wikipedia をご参照） ３）類似で、”{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・→{・・・{}・・・}”を、下記 無限遠点と考えることもできる ４）言いたいことは、{・・・{}・・・}については、自ら定義していいので、辻褄の合うようにすれば良いだけです 　『一番外側の括弧を外したもの』とか、考える必要がない 　というか、Zermeloのシングルトンの極限は 自ら適当に定義していいのであって、「こいつだけ 正則性公理の例外」と定義してもいいし 　他にも 適当な処理を考えれば済むだけのことですよ 「正則性公理と矛盾」なんて、全くアホのパッパラパーｗｗ ；ｐ） (参考) https://mathlandscape.com/cauchy-seq/ 数学の景色 【微分積分学】コーシー列とは〜定義と収束性の証明〜 2022.09.25 コーシー列(基本列)は，大学1年生の微分積分学において，収束値は分からないが収束することが分かる，収束判定の道具といえます。これについて，定義と収束性の証明を行いましょう。 https://rio2016.5ch.net/test/read.cgi/math/1736907570/1 スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある 以下略 https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 極限順序数 極限順序数は、0 でなく、直前の順序数を持たない順序数だから、例えば、 ω や ω2 などがそうである。 つづく 346 名前：現代数学の系譜 雑談 [2025/04/28(月) 20:51:54.08 ID:JYnUNKou.net] つづき https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96 コンパクト化 K はいわばXのに「点を付け加えて」コンパクト化したものとみなす事ができる。実応用上、こうした「付け加えた点」 （すなわちK∖i(X)の点）は直観的には無限の彼方にあるとみなせるケースが多いので、 K∖i(X) をコンパクト化 (K,i) の無限遠境界といい、無限遠境界上の点を無限遠点という事がある。 著名なコンパクト化の方法として、アレクサンドロフの一点コンパクト化とストーン・チェックのコンパクト化という両極端なものがある。 (引用終り) 以上 347 名前：１３２人目の素数さん [2025/04/28(月) 21:07:02.83 ID:Yvr3RDW/.net] >>330 頭イカレテるなら病院へ 348 名前：１３２人目の素数さん [2025/04/28(月) 21:10:16.06 ID:UtW8eIc+.net] >>331 >１）下記の通り 任意実数は 有理数からなる コーシー列の収束先として定義できる はい、大間違いです。 有理数全体の集合は完備でないので、有理コーシー列は（一般に）収束しません。収束しないものの収束先？？？ やれやれ、また初歩的間違いですか。おサルさん、口を開けば間違いばかりですね。 349 名前：１３２人目の素数さん [2025/04/28(月) 21:14:22.42 ID:UtW8eIc+.net] >>331 >列 {}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ を構成する各要素が持つ性質についてその極限の集合が 全てを引き継ぐ必要ない 寝言いう前に、まず列 {}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・の極限なるものの定義を示して下さいね 350 名前：１３２人目の素数さん [2025/04/28(月) 21:32:09.60 ID:UtW8eIc+.net] >>331 >例えば、||||・・・と棒が可算あるとする >この棒を |→} (右カッコ)に置き換えると }}}}・・・ となる >この鏡映で 無限の左カッコ ・・・{{{{ ができる >間に空を入れて ・・・{{{{ }}}}・・・ ができる あのー、括弧じゃなく集合の話をしてるんですけど。 >一番外のカッコ ｛ or } は存在しない とできる 一番外の括弧が無ければ集合じゃないんですけど。 >　なぜならば、極限順序数だから。（如何なる前者も存在しない。下記の”極限順序数”wikipedia をご参照） いや順序数どころか集合ですらないんですけど。 やれやれ、また初歩的間違いですか。おサルさん、口を開けば間違いばかりですね。 351 名前：１３２人目の素数さん [2025/04/28(月) 21:44:59.02 ID:UtW8eIc+.net] >>331 >類似で、”{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・→{・・・{}・・・}”を、下記 無限遠点と考えることもできる いみふ >４）言いたいことは、{・・・{}・・・}については、自ら定義していいので、辻褄の合うようにすれば良いだけです いやZFでは正則性公理との辻褄が合わないからダメです。 >　『一番外側の括弧を外したもの』とか、考える必要がない ありますよ。集合の一番外側の括弧を外したものがその要素ですから。 >　というか、Zermeloのシングルトンの極限は 自ら適当に定義していいのであって、「こいつだけ 正則性公理の例外」と定義してもいいし >　他にも 適当な処理を考えれば済むだけのことですよ >「正則性公理と矛盾」なんて、全くアホのパッパラパーｗｗ ；ｐ） つまりおサルさんはZFと無関係な独自数学をやりたいと？　それ、チラシの裏でやって。ここは数学板であっておサル数学板ではないから。 352 名前：１３２人目の素数さん [2025/04/28(月) 21:47:17.46 ID:UtW8eIc+.net] むかし哀れな素人は無限集合は存在しないと言っていた。 トンデモさんは独自数学がお好きなようで。 353 名前：現代数学の系譜 雑談 [2025/04/28(月) 22:11:27.03 ID:JYnUNKou.net] >>334 (引用開始) >１）下記の通り 任意実数は 有理数からなる コーシー列の収束先として定義できる はい、大間違いです。 有理数全体の集合は完備でないので、有理コーシー列� 354 名前：ﾍ（一般に）収束しません。収束しないものの収束先？？？ やれやれ、また初歩的間違いですか。おサルさん、口を開けば間違いばかりですね。 (引用終り) ふっふ、ほっほ 初歩的間違いは、ど ち ら？？ ｗｗｗ 下記の 高校数学の美しい物語 コーシー列 を百回音読してねｗｗ 数学科に入ったのはいいが 冷や水をあびせられて 学部1年で 詰んだ男か？ｗ ；ｐ） (参考) https://manabitimes.jp/math/2844 高校数学の美しい物語 コーシー列 更新 2023/08/31 目次 ・実数のコーシー列 ・コーシー列の応用 ・有理数のコーシー列 ・展望〜距離空間への一般化 有理数のコーシー列 コーシー列はどのような数列にも適用できる概念です。 そこで，有理数からなるコーシー列 {an} を考えましょう。有理数は実数なので， {an} は実数の範囲では収束値を持ちます。 では，その収束値は必ず有理数でしょうか？ 答えは実はNoです。 [] [ここ壊れてます] 355 名前：１３２人目の素数さん [2025/04/28(月) 22:11:46.38 ID:UtW8eIc+.net] >>331 >１）下記の通り 任意実数は 有理数からなる コーシー列の収束先として定義できる これ、エスパーすると、実数空間における有理コーシー列のことを言ってるのでしょうね。 でもそれって実数を定義するためには実数が必要ってことですよね。バカですね。 356 名前：１３２人目の素数さん [2025/04/28(月) 22:23:20.79 ID:UtW8eIc+.net] >>339 >有理数からなるコーシー列{an} を考えましょう。有理数は実数なので，{an} は実数の範囲では収束値を持ちます。 まったくトンチンカンですよ？ なぜなら実数を定義する手段として有理コーシー列を持ち出したはずなのに、「実数の範囲では収束値を持つ」は実数の存在を前提としてますから。 実数の定義で実数を使っちゃダメって分からないんですか？　バカなんですか？ 357 名前：１３２人目の素数さん [2025/04/28(月) 22:23:27.26 ID:Yvr3RDW/.net] >有理数全体の集合は完備でないので、有理コーシー列は（一般に）収束しません。 有理数全体の集合は完備でないので、有理コーシー列は（一般に）有理数には収束しません。 358 名前：現代数学の系譜 雑談 [2025/04/28(月) 22:28:18.19 ID:JYnUNKou.net] >>337 >つまりおサルさんはZFと無関係な独自数学をやりたいと？　それ、チラシの裏でやって。ここは数学板であっておサル数学板ではないから。 前世紀（20世紀）の学部で詰んだ 数学科生よ 哀れだな 下記 数学セミナー 　2025年3月号 池上大祐 「フェルマーの最終定理はZFCの下で証明できるか？」があって 興味深く読みました 池上大祐氏の答えは、「分らない」だが 実のところ ZFCを拡張した 「グロタンディーク宇宙/到達不可能基数」で フェルマーの最終定理は 証明された また、望月氏の宇宙際タイヒミュラー理論もまた 「グロタンディーク宇宙/到達不可能基数」で ABC予想が証明されたのです 21世紀は、ZFだのZFCだのに、固執する必要は ありません！ ｗｗｗ ；ｐ） (参考) https://www.nippyo.co.jp/shop/magazine/9438.html 数学セミナー 　2025年3月号 集合論の雑学――無限についてのおはなし フェルマーの最終定理はZFCの下で証明できるか？／ グロタンディーク宇宙と到達不可能基数 　　……池上大祐　60 https://ja.ｙｏｕｒpedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96 宇宙際タイヒミュラー理論 提供: Yourpedia 宇宙際理論の計算の精密化により、フェルマーの最終定理の初等証明を与える強いABC予想も容易に証明できるという。 グロタンディーク宇宙 公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。 圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。このモデルとなるのがグロタンディーク宇宙である。 359 名前：１３２人目の素数さん [2025/04/28(月) 22:32:27.24 ID:UtW8eIc+.net] まあ、この完全にトンチンカンな書き込みからおサルさんは実数がまったく分かってないことが分かりました。 集合もまったく分かってないし大学数学の初歩の初歩からダメダメですね。 なんで数学板なんかに居るんです？ 360 名前：１３２人目の素数さん [2025/04/28(月) 22:35:38.23 ID:UtW8eIc+.net] >>342 そんな訂正は不要 なぜなら実数を定義するコンテキストでの発言だから 実数が未定義なんだから「収束しない」でまったく正しい 頭だいじょうぶ？ 361 名前：１３２人目の素数さん [2025/04/28(月) 22:40:27.41 ID:UtW8eIc+.net] >>343 >21世紀は、ZFだのZFCだのに、固執する必要はありません！ ｗｗｗ ；ｐ） だからといっておサル数学に数学的価値が有ることにはならないね　残念！ 362 名前：１３２人目の素数さん [2025/04/28(月) 22:59:42.49 ID:Yvr3RDW/.net] >有理数全体の集合は完備でないので、有理コーシー列は（一般に）収束しません。 有理数全体の集合は完備でないので、有理コーシー列は（一般に）有理数には収束しません。 そこで、実数というものを有理コーシー列の同値類として導入することにより 有理数の集合の完備化を構成します。 363 名前：１３２人目の素数さん [2025/04/28(月) 23:02:40.32 ID:UtW8eIc+.net] 訂正が無くても「そこで」以降が通じる つまり訂正は不要 364 名前：１３２人目の素数さん [2025/04/28(月) 23:06:32.69 ID:Yvr3RDW/.net] 収束先を作ってあげるというニュアンスが伝わるように 「（一般に）」を入れたのではなかったのか 365 名前：１３２人目の素数さん [2025/04/28(月) 23:09:11.91 ID:UtW8eIc+.net] そもそも実数が存在しない前提なんだから収束しないんだよ 「有理数には」なんて余計な言葉を入れてしまうのは暗に実数の存在を前提としてしまっているから 存在しないはずのものを存在する前提にするのはおかしい 366 名前：１３２人目の素数さん [2025/04/28(月) 23:11:34.00 ID:UtW8eIc+.net] >>349 まったく見当違い 反例が存在するからだよ　例えば 0,0,0,・・・ 367 名前：１３２人目の素数さん [2025/04/29(火) 03:27:01.41 ID:1aHDdtT3.net] 線型代数ダメ 実数論ダメ 集合論ダメ そりゃ大学一年で落ちこぼれる訳だわ

---

---

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

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