要旨
論文67 は $m=4\pi=2\pi\chi(S^2)$ をポアンカレ=ホップとして読んだ。本稿が問うのは、$\chi$ を数える道が何本あるかである。答は、三本あり、どれも他の二本から出ないである。新しい数学定理も新しい法則も主張しない。
第一に、三つの数え方が同じ整数を返す。曲率の積分・ベクトル場の零点・関数の臨界点(第2節)。
第二に、これが本稿の芯である。トーラスの高さ関数は臨界点を四つ要し、三つにはできない(第3節)。
第三に、曲率の積分は大きさを見ない。球の半径を $1$ にしても $6371$ km にしても、積分は $\mathbf{12.566371}$ である(第4節)。
第四に、トーラスでは正と負が厳密に打ち消す。数値積分で $\mathbf{-1\times10^{-13}}$ 未満、すなわち零(第4節)。
第五に、要るものが三つとも違う。計量・ベクトル場・関数(第5節)。
第六に、分離子は「何を余分に持ち込むか」である。$\chi$ 自身はそのどれも要らない(第6節)。
射程(何を示さないか)
新しい数学定理も新しい法則も主張しない。ガウス=ボンネの定理、ポアンカレ=ホップの定理、モース理論とモースの不等式、毛玉の定理は、いずれも標準的である。位相幾何学を作らない。使うのは一つの数値積分と、一つの臨界点の勘定だけである。三つの定理を証明しない。どれの証明にも立ち入らない。同じ値を返すことを数で確かめ、要るものが違うことを並べる。高次元を扱わない。閉曲面(二次元)だけを見る。ガウス=ボンネ=シャーンの一般化には立ち入らない。ホモロジーを構成しない。ベッチ数は引くだけであり、モースの不等式の証明にも立ち入らない。特異点を扱わない。退化した臨界点や、境界のある曲面は扱わない。既刊との関係:論文67 は $m=4\pi=2\pi\chi(S^2)$ をポアンカレ=ホップとして読んだ。本稿はその隣にある三本目(モース)を置き、三本を並べる。論文128 は $4\pi=2\pi\chi$ が三次元だけで成り立つと示した。本稿は次元を動かさず、数え方だけを動かす。論文224 は「どこを触っても平らで、それでも合計は $4\pi$」と書いた。本稿の第4節はその打ち消しをトーラスで数値に出す。論文91 は曲率が内在的だと示した。ガウス=ボンネが計量を要ることの裏側である。論文300 は同根か別根かは判定できると示した。本稿はその基準を三本に当てる。論文236 は同じ「$=0$」が五つの別の集まりを返すと示した。本稿は同じ整数を三つの別の勘定が返すという、向きの逆の話である。加えたのは三つの数え方を四つの曲面で表にしたこと、トーラスの曲率積分を自前で数値積分して零を確かめたこと、球の半径を動かして積分が動かないことを示したこと、三つが要求する対象を並べて別根と判定したことである。
1. 記法と問い
設定:向き付け可能な閉曲面を考える。種数 $g$(穴の数)に対し、オイラー標数は $\chi=2-2g$ である。
観察 1.1 論文67 は $m=4\pi=2\pi\chi(S^2)$ をポアンカレ=ホップとして読み、論文128 は $4\pi=2\pi\chi$ が三次元だけで成り立つと示した。
問い:では、$\chi$ を数える道は何本あるのか。
観察 1.2 答は三本である。そしてどの一本も、他の二本から代入では出ない。
2. 三つの数え方が、同じ整数を返す
検算 2.1:四つの曲面で並べる。
| 曲面 | モース(最小$-$鞍$+$最大) | ポアンカレ=ホップ | ガウス=ボンネ $\oint K dA$ |
|---|---|---|---|
| 球面 | $1-0+1=\mathbf{+2}$ | $\mathbf{+2}$ | $+12.566371=2\pi\cdot 2$ |
| トーラス | $1-2+1=\mathbf{0}$ | $\mathbf{0}$ | $0=2\pi\cdot 0$ |
| 種数 $2$ | $1-4+1=\mathbf{-2}$ | $\mathbf{-2}$ | $-12.566371=2\pi\cdot(-2)$ |
| 種数 $3$ | $1-6+1=\mathbf{-4}$ | $\mathbf{-4}$ | $-25.132741=2\pi\cdot(-4)$ |
観察 2.2 三列とも一致する。片方は連続量の積分、他の二つは離散的な勘定である。積分が整数を返すこと自体が、まず異様である。
観察 2.3 論文236 は同じ「$=0$」が五つの別の集まりを返すと書いた。本稿は向きが逆である。三つの別の勘定が、同じ一つの整数を返す。
3. 芯:トーラスの臨界点は、三つにはできない
設定:トーラスを立てて、高さを関数に取る。臨界点は「そこで接平面が水平になる点」である。
検算 3.1:
| 臨界点 | 個数 | 指数 |
|---|---|---|
| 最小(底) | $1$ | $0$ |
| 鞍(内側の上下) | $2$ | $1$ |
| 最大(天) | $1$ | $2$ |
| 交代和 | 、 | $1-2+1=\mathbf{0}$ |
観察 3.2 これが本稿の芯である。四つより少なくはできない。モースの不等式が、臨界点の個数をベッチ数の総和で下から押さえるからである。
検算 3.3:
| 曲面 | ベッチ数 $b_0,b_1,b_2$ | 臨界点の下限 $\sum b_i$ |
|---|---|---|
| 球面 | $1,0,1$ | $\mathbf{2}$ |
| トーラス | $1,2,1$ | $\mathbf{4}$ |
| 種数 $2$ | $1,4,1$ | $\mathbf{6}$ |
| 種数 $g$ | $1,2g,1$ | $\mathbf{2+2g}$ |
観察 3.4 どう関数を選んでも、トーラスでは三つにできない。置き方を変えても、傾けても、滑らかに変形しても(四つは要る)これは関数の性質ではなく、曲面の性質である。
観察 3.5 交代和と総和は別の量である。交代和は $\chi=0$、総和の下限は $4$、$\chi$ が零でも、臨界点が消えるわけではない。打ち消しているのであって、無いのではない。
観察 3.6 論文227 は「同じ $\le$ が触れる壁と触れない壁を指す」と書いた。モースの不等式は触れる壁である。$2+2g$ は実際に達成できる(適切な高さ関数で)。
4. 曲率の積分は、大きさを見ない
検算 4.1:半径 $R$ の球面では $K=1/R^2$ が至るところ一定、面積は $4\pi R^2$。
| $R$ [km] | $K$ [$/\mathrm{km}^2$] | 面積 [$\mathrm{km}^2$] | $\oint K dA$ |
|---|---|---|---|
| $1$ | $1.000000$ | $12.566371$ | $\mathbf{12.566371}$ |
| $2$ | $0.250000$ | $50.265482$ | $\mathbf{12.566371}$ |
| $6371$ | $2.463683\times10^{-8}$ | $5.100645\times10^{8}$ | $\mathbf{12.566371}$ |
観察 4.2 半径が約分されて消える。地球でもビー玉でも $12.566371=4\pi$、積分は大きさを見ていない。
検算 4.3:トーラス(管の半径 $r=1$、輪の半径 $R=3$)で数値積分する。$K=\cos u/\{r(R+r\cos u)\}$、面積要素は $r(R+r\cos u) du dv$。
| 量 | 値 |
|---|---|
| 分割数 | $4000$ |
| $\oint K dA$(本稿で計算) | $\mathbf{-1.0\times10^{-13}}$ 未満 |
| 理論値 $2\pi\chi$($\chi=0$) | $\mathbf{0}$ |
観察 4.4 面積要素の $r(R+r\cos u)$ が、曲率の分母とそのまま約分する。残るのは $\cos u$ の一周積分だけで、これが厳密に零になる。外側の正の曲率と内側の負の曲率が、面積で重みをつけたうえで打ち消す。
観察 4.5 論文224 は「どこを触っても平らで、それでも合計は $4\pi$ である」と書いた。トーラスはその逆側である。どこも平らでないのに、合計が零になる。
観察 4.6 $R$ と $r$ を動かしても零のままである。ドーナツを太らせても細らせても変わらない。形を動かして動かない量だから、位相の量なのである。
5. 要るものが、三つとも違う
検算 5.1:
| 数え方 | 持ち込むもの | 無ければ |
|---|---|---|
| ガウス=ボンネ | 計量(長さの測り方) | 曲率が定義できない |
| ポアンカレ=ホップ | ベクトル場(零点が孤立) | 零点が数えられない |
| モース | 関数(臨界点が非退化) | 指数が定まらない |
観察 5.2 三つとも、曲面そのものには無いものを持ち込んでいる。計量もベクトル場も関数も、後から乗せる道具である。それなのに答は乗せ方に依らない。
観察 5.3 これが $\chi$ が位相不変量であることの、三通りの現れ方である。道具を変えても答が変わらない。論文91 が「曲率は内在的である」と書いたのと同じ構造の、一段外側。
観察 5.4 毛玉の定理は、この三本目から出る。
| 曲面 | $\chi$ | 零点の無いベクトル場は |
|---|---|---|
| 球面 | $+2$ | 存在しない |
| トーラス | $0$ | 存在する |
| 種数 $2$ | $-2$ | 存在しない |
観察 5.5 梳かせるのはトーラスだけである。理由は形ではなく整数である。$\chi\neq0$ なら、どんなベクトル場も必ずどこかで零になる。球が梳かせないのは、丸いからではない。
6. 分離子:何を余分に持ち込むか
観察 6.1 分離子、数えるために何を余分に持ち込むか。$\chi$ 自身は、そのどれも要らない。三角形分割の頂点・辺・面を数えれば出る。
検算 6.2:論文300 の判定基準を三本に当てる。
| 基準 | 結果 |
|---|---|
| 恒等性を保つ対応があるか | いいえ。曲率から零点を作る構成は無い |
| 同じ量が入っているか | いいえ。計量・ベクトル場・関数 |
| 一方から他方が出るか | いいえ。代入では移れない |
| 値は一致するか | はい。つねに $\chi$ |
観察 6.3 三つ「いいえ」、一つ「はい」である。機構は別根で、値だけが同じ、論文300 が「同じ数が現れることは、同じ根を持つことではない」と書いたとおりである。
観察 6.4 では、なぜ一致するのか。三つとも同じ位相不変量を別の道具で読み出しているからで、道具どうしが似ているからではない。一致の理由は下にあって、横にはない。
観察 6.5 正直に書くべき点、本稿は「三本しかない」とは言っていない。高次元には指数定理という、この三本を含む枠がある。閉曲面という狭い場所で、三本を数えただけである。
観察 6.6 最後に一つ、$\chi$ が零であることと、何も無いことは別である。トーラスの臨界点は四つ在り、曲率も至るところ零でない。零なのは合計だけである。打ち消しを不在と読み違えないことが、ここでの規律である。
7. 点呼と結び
- 三列が一致する(検算2.1):積分が整数を返す。
- トーラスは $1-2+1=0$(検算3.1):臨界点は四つ。
- 三つにはできない(観察3.4):下限は $2+2g$。
- 交代和と総和は別(観察3.5):$\chi=0$ でも四つ在る。
- 半径が消える(検算4.1):どの $R$ でも $12.566371$。
- トーラスは厳密に零(検算4.3):$10^{-13}$ 未満。
- $R$ と $r$ を動かしても零(観察4.6):だから位相の量。
- 要るものが三つとも違う(検算5.1):計量・場・関数。
- 梳かせるのはトーラスだけ(観察5.5):理由は整数である。
- 三「いいえ」一「はい」(検算6.2):機構は別根、値だけ同じ。
結び:論文67 は $m=4\pi=2\pi\chi(S^2)$ をポアンカレ=ホップとして読んだ。$\chi$ を数える道は三本ある。曲率を積む・ベクトル場の零点を数える・関数の臨界点を数える。四つの曲面で三列とも一致し、片方は連続量の積分なのに整数を返す。そしてトーラスの高さ関数は臨界点を四つ要し、三つにはできない。モースの不等式が下限をベッチ数の総和 $2+2g$ で押さえるからで、置き方を変えても傾けても変わらない。これは関数の性質ではなく曲面の性質である。曲率の積分は大きさを見ない。半径 $1$ でも $6371$ km でも $\mathbf{12.566371}$ であり、$R$ が約分されて消える。トーラスでは正と負が厳密に打ち消し、数値積分は $\mathbf{10^{-13}}$ 未満に落ちた。$R$ を太らせても細らせても零のままで、形を動かして動かないから位相の量なのである。分けるものは一つ、数えるために何を余分に持ち込むか。ガウス=ボンネは計量を、ポアンカレ=ホップはベクトル場を、モースは関数を要る。三つとも曲面そのものには無いものであり、それなのに答は乗せ方に依らない。論文300 の基準では三つ「いいえ」一つ「はい」で、機構は別根、値だけが同じ、一致の理由は下にあって、横にはない。最後に一つ、$\chi$ が零であることと、何も無いことは別である。トーラスの臨界点は四つ在り、曲率も至るところ零ではない。零なのは合計だけであり、打ち消しを不在と読み違えてはいけない。
参考文献
- Milnor, J. (1963). Morse Theory. Princeton: Princeton University Press.
- Hopf, H. (1927). Vektorfelder in n-dimensionalen Mannigfaltigkeiten. Mathematische Annalen, 96(1).
- Poincare, H. (1885). Sur les courbes definies par les equations differentielles. Journal de Mathematiques Pures et Appliquees, 4(1).
- do Carmo, M. P. (1976). Differential Geometry of Curves and Surfaces. Englewood Cliffs: Prentice-Hall.
- Bott, R. (1988). Morse Theory Indomitable. Publications Mathematiques de l’IHES, 68.
- 山岸勇輝 (2026). $4\pi$ パッチのオイラー標数的起源、$m=4\pi=2\pi\chi(S^2)$ というポアンカレ=ホップの読み [論文67]. Zenodo. 10.5281/zenodo.21642170
- 山岸勇輝 (2026). 曲率は内在的である。リーマンと、体系のいくつもの「曲率」を混同しないための言語 [論文91]. Zenodo. 10.5281/zenodo.21758406
- 山岸勇輝 (2026). $4\pi=2\pi\chi$ が成り立つのは、三次元だけである [論文128]. Zenodo. 10.5281/zenodo.22079576
- 山岸勇輝 (2026). どこを触っても平らで、それでも合計は $4\pi$ である [論文224]. Zenodo. 10.5281/zenodo.22120836
- 山岸勇輝 (2026). 同じ「$\le$」が、触れる壁と触れない壁を指している [論文227]. Zenodo. 10.5281/zenodo.22123129
- 山岸勇輝 (2026). 同じ「$=0$」でも、解の集まりは五つの別の種類のものである [論文236]. Zenodo. 10.5281/zenodo.22129043
- 山岸勇輝 (2026). 三百本目の点呼、同根か別根かは、判定できる [論文300]. Zenodo. 10.5281/zenodo.22171914
作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
書誌
山岸勇輝(2026)「同じ整数を、三つの別の数え方が返す」[論文316]. Zenodo.
DOI: 10.5281/zenodo.22208229
日付の証拠(OpenTimestamps):日本語版の .ots・英語版の .ots・SHA256SUMS
予備の置き場所(ミラー。中身は上と同じです):PDF 日本語・PDF English・SHA256SUMS
住所:https://www.yamagishiyuuki.com/yoi/316・DOI 10.5281/zenodo.22208229・CC BY 4.0・プレプリント(査読を経ていません)・ORCID 0009-0006-8587-3450
引用するとき
山岸勇輝 (2026). 同じ整数を、三つの別の数え方が返す [論文316]. YOI: https://www.yamagishiyuuki.com/yoi/316 ・ DOI: 10.5281/zenodo.22208229
Yamagishi, Y. (2026). The Same Integer Comes Back from Three Different Counts [Paper 316]. YOI: https://www.yamagishiyuuki.com/yoi/316; DOI: 10.5281/zenodo.22208229
@misc{yamagishi2026yoi316,
author = {Yamagishi, Yuuki},
title = {The Same Integer Comes Back from Three Different Counts},
year = {2026},
howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/316},
doi = {10.5281/zenodo.22208229},
note = {Preprint, edition 1}
}
指紋(SHA-256)と確かめ方
dceec0e505e20984ddeb8319db534516d9ad2b6a8af38b0360abc9a99cf7143a yamagishi_yoi316_v1_jp.pdfae5152e5334e5da8cc610947db32ee5513ea38d992bee0c2681f5d8a71366801 yamagishi_yoi316_v1_en.pdfPDF と .ots を同じ場所に保存し、opentimestamps.org に .ots、続けて PDF を落とすと、記録された日時が表示されます。PDF が 1 バイトでも変わっていれば通りません。