数について

何はともあれ「数」は数学の基本である。 代数的トポロジーを学ぶためにも「数」について色んなことが必要になる。 その中でも数を数えるのは基本だろう。 例えば, コホモロジー作用素を使うときには, 二項係数が必要になる。

また 様々な空間を定義するときには, Euclid空間やその部分空間をよく使う。 なので, 実数について知っている必要がある。

  • 実数

例えば, 閉区間 \([0,1]\) は, トポロジーでは homotopy や path を定義するための定義域としても基本的である。 その視点からの \([0,1]\) の特徴付けが, Leinster の [Lei11] にある。 元は Freyd によるもののようであるが。

  • self-similarity による \([0,1]\) の特徴付け

自然数は集合論の公理から得られ, 整数や有理数は自然数から代数的な構成により得られる。 しかしながら, 有理数から実数を構成するには, 完備化の操作が必要になる。 その構成の中で最も有名なものは, Dedekind の切断だろうが, それ以外にも, 様々なものがある。 それらを集めたものとして, Ittay Weiss の [Wei15] がある。 19の方法が紹介されている。他にも次のようなものがある。

  • MacNeille の方法
  • A’Campo の構成 [ACa21]
  • Hermans の BSc thesis [Her18]

MacNeille の実数については, この nLab の記事を読むのが良いと思う。

A’Campo の構成と類似の方法は Street の [Str03] に書かれているが, そこでは Schanuel による, とされている。Arthan の [Art] にも登場する。

実数の次は複素数である。 複素数についても高校の頃 (?) から慣れ親しんでいるだろうが, 例えば, Arnol\('\)d の [Arn95] の§5にあるような実数と複素数の比較は, ある程度勉強した後でないと理解するのは難しいだろう。

  • Morse 理論の複素数版は, Picard-Lefschetz theory
  • Stiefel-Whitney class の複素数版は, Chern class
  • 向きの付いた多様体の複素数版は Calabi-Yau多様体
  • 境界を持つ多様体の複素数版は \(2\)-ramified covering

境界を持つ多様体の複素数版が \(2\)-ramified covering である, ということについては, Arnol\('\)d の [Arn00] に簡単な説明がある。 Morse theory の複素数版が Picard-Lefschetz theory であることについても, 簡単な説明がある。

最近でも, Donaldson-Thomas 理論 [DT98] のように, 既存の理論の複素数版を考えることにより, 大きく進展した分野もある。

\(\R \) と \(\bbC \) の次は四元数体 \(\Ha \), その次は八元数体 \(\mathbb {O}\), 通称 Cayley数体である。

上記の Arnol\('\)d による実数と複素数の比較に四元数も入れたものを, triality と呼ぶようである。Arnol\('\)d の [Arn00] に25個の triality の例を一覧表にしたものがある。 Chapoton による表もある。

Composition algebra は, \(\R \), \(\bbC \), \(\Ha \), \(\mathbb {O}\) 以外に存在しないというのが, Hurwitz の定理である。

  • composition algebra
  • Hurwitz の定理

ただ, composition algebra という条件を外せば, この次元を\(2\)倍にする操作 (Dicksonの2重化) を続けることはできる。そのようにしてできた“algebra” を Cayley-Dickson algebra と呼ぶ。

実数の拡張 (?) としては, Morier-Genoud らによる実数の \(q\)-deformation [MO22] もある。

  • \(q\)-deformed real number

逆に実数の中で重要なものとして, 当然であるが, 素数がある。 もちろん数学の基本として素数のことは知っておかなければならないが, 代数的トポロジーでは, 空間をある素数で局所化して考えることが多いし, ホモロジーの計算でも素数\(p\)を法とした係数, つまり有限素体 \(\F _p\)係数での計算に帰着させて議論することが多いからである。 そのような計算では, 二項係数の mod \(p\) での公式を知っていると役に立つ。

また \(0\) で局所化するということは, rational homotopy type を考えることになる。

\(\Q \) を位相空間とみなしたときには, Sierpinskiの定理により同相 \(\Q ^2\cong \Q \) があるので, この MathOverflow の質問 にあるように, \(\Q ^n\) をモデルとした多様体を考えることは意味がなさそうである。 Sierpinski の定理については, この MathOverflow の質問への Chapman の回答を見るとよい。

もちろん, より高度な数論の知識もあった方がよい。特に, 安定ホモトピー論を勉強するためには。

References

[ACa21]

Norbert A’Campo. “A natural construction for the real numbers”. In: Elem. Math. 76.3 (2021), pp. 89–105. arXiv: math/0301015. url: https://doi.org/10.4171/em/455.

[Arn00]

V. I. Arnold. “Polymathematics: is mathematics a single science or a set of arts?” In: Mathematics: frontiers and perspectives. Providence, RI: Amer. Math. Soc., 2000, pp. 403–416.

[Arn95]

V. I. Arnol\('\)d. “Remarks on eigenvalues and eigenvectors of Hermitian matrices, Berry phase, adiabatic connections and quantum Hall effect”. In: Selecta Math. (N.S.) 1.1 (1995), pp. 1–19. url: http://dx.doi.org/10.1007/BF01614072.

[Art]

R. D. Arthan. The Eudoxus Real Numbers. arXiv: math/0405454.

[DT98]

S. K. Donaldson and R. P. Thomas. “Gauge theory in higher dimensions”. In: The geometric universe (Oxford, 1996). Oxford: Oxford Univ. Press, 1998, pp. 31–47.

[Her18]

T.J.D. Hermans. An elementary construction of the real numbers, the \(p\)-adic numbers and the rational adele ring. 2018. url: https://www.universiteitleiden.nl/binaries/content/assets/science/mi/scripties/bachelor/2017-2018/hermans-bscthesis.pdf.

[Lei11]

Tom Leinster. “A general theory of self-similarity”. In: Adv. Math. 226.4 (2011), pp. 2935–3017. arXiv: 1010 . 4474. url: https://doi.org/10.1016/j.aim.2010.10.009.

[MO22]

Sophie Morier-Genoud and Valentin Ovsienko. “On \(q\)-deformed real numbers”. In: Exp. Math. 31.2 (2022), pp. 652–660. arXiv: 1908. 04365. url: https://doi.org/10.1080/10586458.2019.1671922.

[Str03]

Ross Street. Update on the efficient reals. 2003. url: http://web.science.mq.edu.au/~street/reals.pdf.

[Wei15]

Ittay Weiss. “Survey article: The real numbers—a survey of constructions”. In: Rocky Mountain J. Math. 45.3 (2015), pp. 737–762. arXiv: 1506. 03467. url: https://doi.org/10.1216/RMJ-2015-45-3-737.