>>134 追加
下記 渕野 昌
”ハウスドルフの集合論と位相空間論の誕生”
「数理科学」2022年6月号拡張版 が、面白く また 参考になるだろう
https://fuchino.ddo.jp/index-j.html
渕野昌
[22.07.14]『数理科学』2022年6月号特集に掲載された論説 「ハウスドルフの集合論と位相空間論の誕生」のpdfファイルをupdateしました.出版社との約束で,本文が白紙になったものをしばらく置いてあったのですが,ほとぼりがさめたので,可読なヴァージョンで置き換えてあります
https://fuchino.ddo.jp/misc/hausdorff-x.pdf
特集/集合・位相の考え方—数学の基礎をなす概念—
ハウスドルフの集合論と位相空間論の誕生
—現代,ないし(仮想的) 近未来の視点からの考察
本稿は「数理科学」2022年6月号特集に寄稿した論考の2024年12月17日の時点での拡張版
本稿の最新版は,https://fuchino.ddo.jp/misc/hausdorff.html から download できます.この拡張版には,寄稿記事では,ページ数の制限のために割愛した引用文の原文が含まれています.また,最新版には,寄稿後の修正/拡張も,含まれてい (る可能性があり) ます
目次
1. 今,なぜ,ハウスドルフなのか . . . . . 1
略
P8
ハウスドルフは,フォン・ノイマ
ンの 1920 年代の順序数の基礎付けの研究に気がつい
ていなかったようである.その結果として,順序型の
同値クラス (これは真のクラスになってしまう) のカ
ノニカルな代表元を順序数や基数と定義する,とい
うフォン・ノイマンの発見したトリックを
[Hausdorff 192716)] で採用できず,関連する箇所の記述がもたつい
たものになっている ∗18).しかも,現代の集合論に翻
訳して考えると,ここでは,同値類が真のクラスにな
るような同値関係での同値類の代表元をとる,という,
もうひとひねり加えないとうまく実現できない ∗19)こ
とを,あたかも実行できているかのように扱って議論
しているので,基礎付けが完全でないものになってしまっている.
P11
以上,スッペスの [Suppes 195731)] を除くと,どの
教科書も,論理体系への言及は全くなく,順序数や
基数については,[Suppes 196032)] を除くと,どれも,
それを読んだだけでは,整合的な導入ができるのか
どうかは,不明な書き方になっている ∗23).筆者は,
2007年に行なった学部学生向けの講演で,順序数と
超限帰納法に関連する話題に触れたときに,同席さ
れていた上野健爾先生から,「それはきちんと定式化
できるものなのですか」と質問されて面喰った記憶
がある.しかし,彼が,ここで挙げたような教科書
で「集合論」を習っていたのだとすると,そのよう
な感想が出てきたとしても,何の不思議もないと言
えるかもしれない.順序数や基数については,[彌永
200218)] の 38 ページに「濃度や順序数の一般論はそ
の後それほど利用されることもなく,進展もなかった」
と書かれるなど,(日本では?) 今だに,無理解と継子
扱いに曝されているようである.
参考文献
18) 彌永昌吉: ガロアの時代ガロアの数学,第二部 数学篇,
シュプリンガー・フェアラーク東京 (2002)
純粋・応用数学・数学隣接分野(含むガロア理論)21
141現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/07/26(土) 23:24:32.82ID:w9PY0JQsレスを投稿する
ニュース
- 【富士山】「考え方がズルい」市長発言にクライマー猛反発「アルピニストが育たなくなる」6000人超の反対署名を本日提出 [ぐれ★]
- 【円安】1ドル162円台まで下落 円相場が39年半ぶりの円安ドル高水準に ★4 [ぐれ★]
- 【🇰🇷🇯🇵】日の丸を描いたマカロン「食べたら国旗毀損罪」⋯小泉進次郎防衛相が公開した写真 ★2 [少考さん★]
- 【W杯】ブラジルに敗れた森保監督「これからも世界一を目指して日本のために頑張りたい」★5 [ネギうどん★]
- 高市政権、野党不在にかまわず法案の審議入り強行 「戦時中の翼賛政治を上回る強権だ」非難強まる [少考さん★]
- 【W杯】スペインメディア「日本はアジアサッカー史に残る快挙となるはずだった勝利を、自ら手放してしまった」 [王子★]
- 高市首相に仇をなした日刊ゲンダイの記者のアカウント、凍結されるwwww [595118796]
- 【高市悲報】なぜ、簡単に離婚してしまうのか?「大大大好き♡!」と結婚したはずなのに [219241683]
- 【速報】高市早苗「明日から電気・ガス料金支援を開始するわよ!標準的なご家庭で3ヶ月で5000円程度の負担軽減となります!」 [856698234]
- お前らってよwwwwwwwwwwwwwwwwwwwwwwwww
- 【訃報】円安、止まらない [943688309]
- 【緊急高市速報】宮内庁が高市を朝敵認定か? [469534301]