Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

244: １３２人目の素数さん [] 2025/08/26(火) 12:53:32.65 ID:nzEtO0b1

>>146
>無限回の行為が行えるならゼノンのパラドックスはそもそもパラドックスたりえない

下記 『小亀淳，”「ゼノンの逆理」は逆理か？“ 2010年3月10日』 NAIS Journal
が面白い

(参考)
https://nais.or.jp/en/journal/
NAIS
Nippon Applied Informatics Society
Journal
NAIS Journal vol. 5 2010年3月10日
https://nais.or.jp/wp-content/uploads/2014/11/Vol5_016-030.pdf
小亀淳，”「ゼノンの逆理」は逆理か？“ 2010年3月10日
１．はじめに
結論を言えば，ゼノンの議論は，それ自身の中に自己矛盾を内蔵する，誤った命題の表明にすぎないことが判明する。ゼノンが批判の対象とする「通常説（事象の観測のままのわれわれの理解）」に立ち向かえるような論理ではない。つまり，正常な意味での「逆説・逆理」の主張ではあり得ない。　2000年以上の長きにわたって，「逆説」でないものを「逆説」としてしか捉えず，それを真っ向から解こうとしたところで，不毛に終わるのは，むしろ当然というか，自然な結果である。

ゼノンの逆説を，文字通り逆説・逆理として捉え，あれこれ考えられたこと・考えられ続けてきたことが無意味だというのではない。その逆である。それらの思索の中から，有益な多くの成果が生みだされた。何より，共通のテーマとして，各分野の立場から論じ合う場を提供すること自体，大変有益である。ただ，「逆説」として問題自体が正しく解決されることはないと言うだけのことである。事実，解決されないからこそ，さらに考察が深められ，あまたの考えが模索され続けている。先に，「逆説」の解明が「束ねた葦で西瓜をたたくようなもの」と評価したが，それは，ありもしない逆説を「逆説」として解こうとする道具にするからで，束ねられた一本一本の葦は，「逆説」を解こうとする努力によって，はじめて生み出された価値ある成果であることも，大いにあり得る。もしかすると，ゼノンは，一見逆理のように見えるかもしれない表現を考案し，運動や時間，無限や連続などの不確かな概念の，さらなる熟考と掘り下げの必要性に目覚めさせることを目論んだのではないか，とさえ思えるほどである。

２．概念のイメージ化

https://www.accumu.jp/author/ka_gyo/%E5%B0%8F%E4%BA%80%20%E6%B7%B3.html
小亀 淳
Jun Kokame
東京大学名誉教授
理学博士
1947年京都大学理学部物理学科卒業
京都大学科学研究所研究員，京都大学助手（化学研究所），東京大学助教授（原子核研究所），東京大学教授（同），国士舘大学教授（情報科学センター）を歴任
元・京都コンピュータ学院情報システム開発研究所所長
上記の肩書・経歴等はアキューム18号発刊当時のものです。

http://rio2016.5ch.net/test/read.cgi/math/1755784703/244

250: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 13:32:38.46 ID:nzEtO0b1

>>246
(引用開始)
>結論を言えば，ゼノンの議論は，それ自身の中に自己矛盾を内蔵する，誤った命題の表明にすぎないことが判明する
何がどう判明したのか、もちろん君は分かって引用したんだよね？　じゃあ説明してみて
(引用終り)

いやね
複雑で難しい対象は、多面的な角度や切り口で眺めろというのが
私の 人生哲学というか 手法でね
会社上司の東北大出身の部長から 教わった
なるほどと思ったよ

小亀 淳さんの切り口が これね
次が、中村 亮一さんの切り口ね

(参考)
https://www.nli-research.co.jp/report/detail/id=71452?site=nli
ニッセイ基礎研究所
2022年06月17日
無限について−無限に関するパラドックス（１）−
中村 亮一
ゼノンのパラドックス−アキレスと亀

ゼノンのパラドックス−飛んでいる矢は止まっている

二分法のパラドックス

（参考）実無限と可能無限
数学の世界では、基本的には「実無限」の考え方に基づいて論理が展開されているので、今回を含めて、今後の無限に関する研究員の眼のシリーズでは、基本的には「実無限」の考え方をベースに記述していくことにする。

関連レポート
無限について−無限に関するパラドックス（２）−
巨大数について（その１）−数詞で表現される巨大数等−
巨大数について（その２）−ハイパー演算、各種の表記法等−
無理数について（その１）−無理数同士や有理数との四則演算結果はどうなっているのだろう（πとeの和・積は無理数なのか）−
無理数について（その２）−無理数の（有理数や無理数）べき乗や無理数度等−
無理数について（その３）−無理数はどのようなところに現れてくるのか−

https://www.biz-book.jp/%E4%B8%AD%E6%9D%91%20%E4%BA%AE%E4%B8%80/author/5167
中村 亮一（なかむら りょういち）
プロフィール
ニッセイ基礎研究所 研究理事 日本アクチュアリー会正会員、日本保険学会会員 東京大学大学院数理科学研究科非常勤講師（2012 〜 2019 年）、同志社大学大学院商学研究科非常勤講師（2007 〜 2010 年）、企業会計基準委員会（ASBJ）委員（2007 〜 2009 年）、国際アクチュアリー会（IAA）保険監督委員会委員（2000 〜 2003 年）、国際実務基準委員会委員（2012 〜 2014年） 　1982 年　東京大学理学部数学科卒業、日本生命保険相互会社入社 　2007 年　日本生命保険相互会社 保険計理人 　2015 年　ニッセイ基礎研究所 取締役研究理事 　2016 年　同 取締役研究理事兼年金総合リサーチセンター長 　2018 年　同 常務取締役研究理事兼ヘルスケアリサーチセンター長 　2021年〜　現職

http://rio2016.5ch.net/test/read.cgi/math/1755784703/250

254: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 14:11:42.72 ID:nzEtO0b1

>>243
>あれほど無限操作は可能と言い続けたんだから

無限操作の定義によるが・・ｗｗ
現代数学としては可能でしょ？！ｗｗｗ 　；ｐ）

前記「二分法のパラドックス」(>>250)  中村 亮一氏で思い出すのが
”哀れな素人”（下記）こと 安達 弘志氏
旧ガロア スレにも来てくれてね
面白い人だった。本を出したと 紹介してくれた（下記）

彼は、”ケーキを食べつくすことはできない”と論争をふっかけてきた
曰く、ケーキを1/2にして 半分食べる。これを繰り返すと 終わらないという
「二分法のパラドックス」と同じだね
だから、安達 弘志氏はきっと有限主義ではなかったんだよ

安達 弘志氏よりレベル低い 自称数学科修士の二人
安達 弘志氏より低レベルの バカ発言と自覚してほしいもんだｗ　；ｐ）

(参考)
://i
test.5ch.net/rio2016/test/read.cgi/math/1567930973
現代数学はインチキだらけ
0001 哀れな素人 2019/09/08(日)
現代数学はインチキだらけである。たとえば
0.99999……＝１
無限小数は実数である
実数は非可算である
実数は連続性がある
非可測な長さ・面積・体積が存在する
超限順序数ωが存在する
無限公理・無限集合が存在する
空集合は任意の集合の部分集合である
調和級数の発散
等々は全部インチキである
略す

＜アマゾン＞
相対性理論はペテンである/無限小数は数ではない 単行本（ソフトカバー） – 2019/6/1
安達 弘志 (著)
「無限小数は数ではない」無限小数というようなものは存在しないし、数として存在できない。現代数学のインチキの根源であるカントール実数論の大インチキを暴く!
「解析学の大錯誤」ワイエルシュトラスの定理その他、解析学の基本公理はすべて誤りである。カントールの対角線論法やゲーデルの不完全性定理のインチキにも言及
「すべてのパラドックスは詐欺である」ラッセルのパラドックスその他、すべてのパラドックスはくだらない詐欺である
「任意の四角形の二等分線で、その重心を通るものは、少なくとも3本はある」後世、「安達の定理」と呼ばれるであろうユニークな定理
「アルキメデスの螺旋」アルキメデスが、円周の長さに等しい直線の作図に螺旋を用いることを着想した秘密に迫る
「ギュルダンの定理」ギュルダンがこの定理を発見した秘密に迫る
「射影幾何学の落とし穴」平行線は無限遠点で交わるという思想は誤りである。非ユークリッド幾何学のインチキにも言及
「円に内接する最大三角形は正三角形である」数式を一切用いないシンプルな証明
「ガロア第一論文のシンプル解説」現代の抽象代数学の用語を一切用いない、シンプルで、深い、最良の解説書
「相対性理論はペテンである」相対性理論は、光の本性に無知な科学者がひねり出した珍説である。この小論文が世界を変える!
「質量という不可解な概念について」質量という概念の謎に迫る
著者
安達弘志 1953年5月5日生れ 京大文学部国文科卒
主な著作「卑彌呼は満鮮にいた」「馬韓も百済も満州にあった」
「相対性理論はペテンである/無限小数は数ではない」その他「ケルン・マニ教写本」等の翻訳及び短編小説等
つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/254

281: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 15:14:24.73 ID:nzEtO0b1

>>233 補足
>ω1 は多少エキゾチックに聞こえるかもしれないが実は有用な概念である。応用例は可算の操作に関して「閉じるようにする」ことである。例えば、部分集合の任意の集まりによって生成されるσ-代数を明示的に記述しようとすること（例えばボレル階層を見よ）。これは代数（ベクトル空間や群など）における「生成」のたいていの明示的な記述よりも難しい。なぜならばこれらのケースにおいて有限の操作 - 和、積、などに関して閉じているだけでよいからだ

”σ-代数”下記だね（演算を可算無限回まで含めて順序完備（英語版）化したもの）
そういえば、箱入り無数目で 測度論オチコボレさんで、大学の確率論テキストが読めない人たちが居たね　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E3%83%9C%E3%83%AC%E3%83%AB%E9%9A%8E%E5%B1%A4
ボレル階層
ボレル集合
→詳細は「ボレル集合」を参照
任意の位相空間においてのボレル代数とは、全ての開集合を含んでいて可算和と補集合を取る操作について閉じている最小の集合族である。ボレル代数は可算交叉についても閉じている

https://wiis.info/math/measure/measure-space/sigma-algebra/
測度空間
σ-代数（完全加法族）の定義と具体例

https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%85%A8%E5%8A%A0%E6%B3%95%E6%97%8F
完全加法族
完全加法族（英: completely additive class [of sets], completely additive family [of sets]）とは、主な用途として測度を定義することに十分な特定の性質を満たす集合の集合である。特に測度が定義される集合全体を集めた集合族は完全加法族になる。

可算加法族（英: countably additive class [of sets], countably additive family [of sets]）、(σ-)加法族（英: σ-additive family [of sets]）、σ-集合代数（英: σ-algebra [of subsets over a set], σ-set algebra）、σ-集合体（英: σ-field [of sets]）[注 1]ともいうこの概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い（つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう）ので注意が必要である

この概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い（つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう）ので注意が必要である[1]。

演算を可算無限回まで含めて順序完備（英語版）化したものになっている

動機付け
望むべくは、互いに素な集合の和の測度が、個々の集合の測度の和になること、特にそれが互いに素な集合の無限列に関してさえも成り立つことである。
σ-集合代数 Σ は、可算無限回の演算まで含めて完備である

http://rio2016.5ch.net/test/read.cgi/math/1755784703/281

301: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 18:25:03.41 ID:nzEtO0b1

>>205 補足
　再録
https://www.mathsoc.jp/publications/tushin/backnumber/index21-4.html
「数学通信」第２１巻（２０１６年度）第４号目次
数学の発展と展望 砂田　利一 ２３
https://www.mathsoc.jp/publication/tushin/2104/2016sunada.pdf
Ｐ2
2　無限の概念
P3
高校で習う数列と極限の定義にも，日常的言語で説明した方が理解を容易にするせいか，「可能無限」的表現が使われている．2
注釈
2念のため，数列と収束の現代的定義を述べておく．「数列{an} n=1〜∞ は自然数の集合Nから実数の集合Rへの写像であり，lim n→∞ an = a であるとは，「任意の正数ϵに対して，ある自然数Nが存在して，
任意の自然数nについてn≥Nならば| an−a |＜ ϵが成り立つことである」．
ここで注目すべきは，実無限と可能無限の双方を取り入れた形で収束を定義していることである．

さて
＜関連＞
https://ja.wikipedia.org/wiki/%E4%BD%8D%E7%9B%B8%E7%A9%BA%E9%96%93
位相空間
収束
本節の目標は、位相空間上での収束概念を定義し、収束概念によってこれまで述べてきた様々な概念を捉え直す事にある。 位相空間における収束概念は、距離空間における点列の収束概念を適切に修正する事により得られる：
定義 (距離空間における点列の収束) ―  (X,d)を距離空間とする。Xの点列
(xn)n∈NがXの点xに収束するとは以下が成立する事を言う：
∀ε>0 ∃n0∈N ∀n>n0 : xn∈Bε(x)
ここで、
Bε(x)={y∈X|d(y,x)<ε}
である。
位相空間における収束を定義するにあたり、上述の距離空間における収束の定義に２つの変更を行う：
1.ε-近傍Bε(x)の代わりに一般の近傍を用いる。
2.点列の概念を一般化した有向点族の概念を導入し、有向点族の収束を定義する。
1番目の変更を行うのは、位相空間には距離の概念がないので、そもそもε-近傍を定義できないからである。
一方2番目の変更を行うのは、点列の収束概念だけでは位相空間の諸概念を定式化するのに不十分だからである。
たとえば距離空間の場合には連続性の概念は
lim n→∞ f(xn)=f(lim n→∞ xn)
が収束する任意の点列に対して成り立つ事により定式化できるが、
一般の位相空間の場合は「任意の点列」ではなく「任意の有向点族」に対してこれと類似の性質が成り立つ事により連続性を定義する必要がある。
なぜなら点列の場合は添字集合が可算なので、点列の概念で連続性を捉え切るには位相空間の方にも何らかの可算性を要求する必要があり（列型空間を参照）、一般の位相空間の連続性の概念を適切に定義するには点列の概念では不足だからである。
なお、位相空間上ではフィルターの収束という、もう一つの収束概念を定式化できる事が知られているものの、収束する有向点族と収束するフィルターとにはある種の対応関係がある事が知られている。詳細は有向点族#フィルターとの関係を参照

つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/301

306: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 21:00:55.16 ID:dSyweoWi

>>304
>君、頭大丈夫？
>添え字集合が有限だろうと可算無限だろうと非可算無限だろうと、無限操作なるものが存在するなんの証拠にもなってないことが分からないの？

ふっふ、ほっほ
１）まず、下記の公理的集合論 集合の公理系 において
　その集合に対する操作は、無限有限の区別なし！
　無限集合を扱うのだから、その公理も 無限を扱えるように設定されているのだよｗ　；ｐ）
２）君は、『加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
　Terence Tao “big picture”』が欠落している
３）つまり、日常の数学の下に素朴集合論があり、その下に 公理的集合論がある
　三階建で、3階が日常の数学、2階が素朴集合論、1階が公理的集合論だ
　それで、3階の日常の数学で 何か無限操作を考えるとき
　それを 2階の素朴集合論 なり 1階の公理的集合論に翻訳できれば
　その日常の数学の無限操作は許されるのだよ■　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
集合の公理系
ツェルメロ＝フレンケル集合論（ZF公理系）
・対の公理　任意の要素 x, y に対して、x と y のみを要素とする集合が存在する：
∀x∀y∃A∀t(t∈A↔(t=x∨t=y)) 。
外延性の公理から、x と y に対して対の公理が存在を主張する集合はただ一つであることが言えるので、これを {x,y}で表す。
{x,x} を {x}で表す。これにより順序対の存在が言え、それにより直積集合の存在も言える。
・和集合の公理　任意の集合 X に対して、X の要素の要素全体からなる集合が存在する：
∀X∃A∀t(t∈A↔∃x∈X(t∈x)) 。
外延性の公理から、X に対して和集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X の和集合と呼び、∪Xで表す。
∪{x,y} を x∪y で表す。
・冪集合公理　任意の集合 X に対して X の部分集合全体の集合が存在する：
∀X∃A∀t(t∈A↔t⊆X) 。
外延性の公理から、X に対して冪集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X の冪集合と呼び、
P(X)または2^xで表す。
・置換公理　"関数クラス"による集合の像は集合である：
∀x∀y∀z((ψ(x,y)∧ψ(x,z))→y=z)→∀X∃A∀y(y∈A↔∃x∈Xψ(x,y)) 。
この公理は、論理式 ψ をパラメータとする公理図式である。

>>8-9より 再録
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
Terence Tao “big picture”
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ

つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/306

307: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 21:01:27.94 ID:dSyweoWi

つづき

形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*)　　MP ーーーー形式化ー＞ FT
のことである。
形式化図式と数学の「理解」
形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない。
＜“big picture”＞
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
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.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1755784703/307

313: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 23:37:37.09 ID:dSyweoWi

>>308-312

村田 全先生
「ベールの有限主義は論理的には強固であっても，実際にはかえってやっかい厄介になり，しかも自然数の自然列は誰もが同じ心像をもつ（らしい）のでこれを認めるが・・・」
と記す
まあ、他人が”有限主義”であっても、どうしようもない
個人の自由ですからね
？ 数学科生だって？ そりゃ 君 ”有限主義”やってれば 数学科ではオチコボレは必定だよｗ　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E6%9D%91%E7%94%B0%E5%85%A8
村田 全（むらた たもつ、1924年3月11日 - 2008年7月6日）は、日本の数学史学者・数理哲学者、立教大学名誉教授
著書
『数学と哲学との間』 玉川大学出版部、1998
http://www.cam.hi-ho.ne.jp/munehiro/science/scilib.html
科学図書館
村田　全の部屋
http://www.cam.hi-ho.ne.jp/munehiro/science/Murata/France-keiken.pdf
『数学と哲学との間』所収。フランスの数学者、ボレル、ベール、ルベーグたちのヒルベルトの公理主義のアンチテーゼとしての経験主義を解明する。
フランス経験主義の数学思想 村田　全
付録1　
ゲーデルの決定不能定理
付録2　
帰納的関数と帰納的述語
この論文の原型「数学におけるフランス経験主義」は『科学基礎論研究』（第巻，）に書かれたものだが，
「ボレルのエフェクチブ概念の形成1)」の補足として収録した。
単独で読まれることを考慮した余り「ボレルのエフェクチブ概念の形成」との重複が残ったのは遺憾だが，
多少でも現代的意味があるように大幅な削除と加筆をした。
挿入部分【補注】と章末の【補説】がそれである。
今から見ると，私はボレルたちの数学の本当の内容を離れて「思想」ばかりにこだわり，かえってその数学の本質を失した面もあったかと思うが，【補説】で少しは補ったつもりである。

P4
ボレルは色々な試論のあげく揚句，自然数全体は認め，もう一つの全体は認めぬと言う結論に達するのであるが，その根拠は必ずしも論理的なものでなく，プラグマティックないし心理的なものである。ここにはボアンカレの影響もあったであろう。即ち「ベールの有限主義は論理的には強固であっても，実際にはかえってやっかい厄介になり，しかも自然数の自然列は誰もが同じ心像をもつ（らしい）のでこれを認めるが・・・

http://rio2016.5ch.net/test/read.cgi/math/1755784703/313

315: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 23:53:10.75 ID:dSyweoWi

>>306
さて
１）昔学部の1〜2年で”リーマン球面と無限遠点”の話を聞いて、えらく感心したのを覚えている
　実関数y=1/x を考えると 原点x＝0 に負側から近づくと-∞で、正の方からなら+∞に発散するところ
　複素平面を球面にして、複素関数y=1/x で x→∞ だと y→∞（プラスやマイナス関係ないのでビツクリ）
２）いまリーマン球面にアキレスが居るとして 原点0 から出発して 実軸上をどんどん＋側に進むと北極点に到達する
　アキレスの足をもってすれば、これは簡単だ
３）ところが、複素平面のままなら そうはいかない。アキレスの足でも無限遠点に到達するのはタイヘンなのです

これは、たとえ話
無限だのへったくれだの言うが、リーマン球面か複素平面かで考え方が大きく変わるのだ
リーマン えらい！！（＾＾

(参考)
https://manabitimes.jp/math/2663
高校数学の美しい物語
リーマン球面と無限遠点 2022/07/21
リーマン球面とは，複素平面 C に無限遠点 ∞ を追加したものである
リーマン球面を C^  などと書く
リーマン球面とは，複素数に一点を追加することでより便利に複素数を扱えるようにした集合です。
https://res.cloudinary.com/bend/f_auto/shikakutimes/s3/bend-image/1657605343.png
位相空間論からの話題：一点コンパクト化
リーマン球面の考え方は一点コンパクト化というトピックに関連します
有界な閉集合はコンパクト集合です
複素平面全体は無限に広がっているため，コンパクトではありません
既に見た通り，リーマン球面は三次元単位球面と見なすことができます。三次元単位球面は，有界で閉なのでコンパクト集合となります。
コンパクトではない複素平面に無限遠点を追加することでコンパクト集合が得られるのです
このようにコンパクトではない集合に一点を追加してコンパクト集合を得ることを一点コンパクト化といいます。無限に広がるものに一点追加することで有限のものとして解釈できることは非常に興味深いことです
実積分を複素積分から見たほうが簡単に計算できるように，複素数も一段階広いリーマン球面から見つめることでシンプルに見えてくることが多いです

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96
コンパクト化
一点コンパクト化の例
・自然数全体（離散位相）
N の一点コンパクト化は
N に最大元 ω を付け加えた順序集合
N∪{ω} の順序位相と同相になる
https://upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Riemann_sphere1.jpg/500px-Riemann_sphere1.jpg
複素平面の一点コンパクト化。複素数 A を埋め込み写像P により球面（リーマン球面と呼ばれる）の上の一点 α に写す。図でP (∞)と書かれている部分が無限遠点である

http://rio2016.5ch.net/test/read.cgi/math/1755784703/315

319: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/27(水) 07:28:23.07 ID:6Zc3kOJS

>>315 補足
>https://manabitimes.jp/math/2663
>高校数学の美しい物語
>リーマン球面と無限遠点 2022/07/21
>リーマン球面とは，複素平面 C に無限遠点 ∞ を追加したものである

さて>>306より
”日常の数学の下に素朴集合論があり、その下に 公理的集合論がある
　三階建で、3階が日常の数学、2階が素朴集合論、1階が公理的集合論だ
　それで、3階の日常の数学で 何か無限操作を考えるとき
　それを 2階の素朴集合論 なり 1階の公理的集合論に翻訳できれば
　その日常の数学の無限操作は許されるのだ”

話は飛ぶが、初期のパソコンでは（下記） ”当時ディスプレイは キャラクタディスプレイと呼ばれていた”
”画面全体を画像として出力するほどの性能がコンピュータ側になかったため、画面に表示する文字の情報だけをキャラクタディスプレイに渡して、ディスプレイ側が描写を受け持つ仕組み”
だった

『リーマン球面と無限遠点』は、あたかも 3階の日常の数学で グラフィックディスプレイ を使うようなもの
一方、1階の公理的集合論には、グラフィックな情報を扱う機能はありません！ｗ
これだけで、公理的集合論だけでは 日常の数学はできないと すぐわかるｗｗ
（いまの一般の日常は グラフィックディスプレイで 動画があたりまえ なのだ。数学解説動画もあるよ ；ｐ）

(参考)
https://www.rescue-center.jp/elementary/vol52.html
データレスキューセンター
ディスプレイについて
ディスプレイとは、コンピュータなどの機器から出力した情報を表示する装置で、モニターとも呼ばれています。かつては、パソコン用のディスプレイは、大きくて重いブラウン管のCRTディスプレイが主流でした。技術の進歩により液晶ディスプレイ、プラズマディスプレイ、有機ELディスプレイなどの薄型タイプのディスプレイへと移り変わっています。
現在では、省スペースで消費電力が少なく価格も抑えられた液晶ディスプレイが主流となっています。
当時のディスプレイは、キャラクタディスプレイと呼ばれていました。「キャラクタ」は文字という意味で、その名の通り、単色の文字を表示する機能しかありませんでした。
画面全体を画像として出力するほどの性能がコンピュータ側になかったため、画面に表示する文字の情報だけをキャラクタディスプレイに渡して、ディスプレイ側が描写を受け持つ仕組みとなっています。

http://rio2016.5ch.net/test/read.cgi/math/1755784703/319

上下前次 1-新書関写板覧索設栞歴

あと 642 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.023s