19/08/11 23:44:07.12 D5VJA43k.net
＜サル石を叩くための記録-その４-＞
－リーマン球面の∞とか射影平面の無限遠直線を考えるのに、無限公理は必要ない”編－ｗ（＾＾；
436 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/08/11(日) 08:23:48.38 ID:D5VJA43k [4/34]
>>430
＞スレ主 ←実無限と可能無限の区別さえ知らず、
スレ主 ←実無限と可能無限の区別は、数学では不要だという（>>429）
＞無限公理と無限集合を自然数の集合のことだと思っていた馬鹿(笑
無限公理より以前に、リーマンは拡張複素数として∞を数として扱いました（>>434）
無限公理は、リーマンらの19世紀数学の成果を、公理の体系としてまとめ上げるために、必須とされる公理です
これが、無限公理の位置付けです
無限公理があって、無限集合が生じ、拡張された数としての∞が生じる
但し、それは公理体系の中でです
歴史的には、∞が先で、無限公理が後です（＾＾；
443 返信：１３２人目の素数さん[] 投稿日：2019/08/11(日) 09:04:41.49 ID:aa8277WX [2/33]
>>436
＞∞が先で、無限公理が後
リーマン球面の∞とか射影平面の無限遠直線を考えるのに、無限公理は必要ない
471 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/08/11(日) 10:38:08.59 ID:D5VJA43k [9/34]
>>443
>＞∞が先で、無限公理が後
>リーマン球面の∞とか射影平面の無限遠直線を考えるのに、無限公理は必要ない
サルの言っていることは意味不明だな
現代数学は、公理体系の元で成立っている
ZFC公理系を採用すると、
ZFC公理系のもとで、いろんな集合が構成できる
例えば
自然数→整数→有理数→実数→複素数などが順に構成できる
その先に、集合論の中で、複素関数とそのベースたるリーマン球面が構成できる
全く、サルの言っていることは意味不明だな（＾＾
歴史的には、∞が先で、無限公理が後です（＾＾；