ホモロジー (数学)のソースを表示

[[数学]]、とくに[[代数的位相幾何学]]や[[抽象代数学]]において、'''ホモロジー'''（{{lang-en|homology}}）は与えられた数学的対象、例えば[[位相空間]]や[[群 (数学)|群]]に、[[アーベル群]]や[[環上の加群|加群]]の列を対応させる一つの一般的な手続きをいう。ホモロジーの名は「同一である」ことを意味する[[ギリシャ語]]のホモス（{{lang|el|ὁμός}}）に由来する。より詳しい背景については [[ホモロジー論]] を見られたい。また、ホモロジーの手法の位相空間に対する具体的な適用については[[特異ホモロジー]]を、群についてのそれは[[群コホモロジー]]を、それぞれ参照されたい。

位相空間に対しては、ホモロジー群は一般に[[ホモトピー群]]よりもずっと計算しやすく、したがって、空間を分類する道具としてはより手軽に扱える。

== ホモロジー群の構成 ==
ホモロジー群は以下のような手続きを経て作られる。

数学的対象、たとえば位相空間 ''X'' が与えられたとき、まず ''X'' の情報を抽出した[[鎖複体|チェイン複体]] ''C''(''X'') を構成する。チェイン複体はアーベル群や加群 ''C''<sub>0</sub>, ''C''<sub>1</sub>, ''C''<sub>2</sub>, ... を'''境界作用素'''とよばれる[[群 (数学)#群の準同型・同型|群準同型]] ∂<sub>''n''</sub>: ''C<sub>n</sub>'' → ''C''<sub>''n''-1</sub> でつないだもの
: <math>\dotsb\overset{\partial_{n+1}}{\longrightarrow\,}C_n
\overset{\partial_n}{\longrightarrow\,}C_{n-1}
\overset{\partial_{n-1}}{\longrightarrow\,}
\dotsb
\overset{\partial_2}{\longrightarrow\,}
C_1
\overset{\partial_1}{\longrightarrow\,}
C_0\longrightarrow 0,</math>
である。ただし、0 は自明な群を表し、''i'' < 0 に対しては ''C<sub>i</sub>'' ≡ 0 と定義する。

さらに、境界作用素 2 つの合成はいつでも 0 であるという要求も付け加える。つまり、すべての ''n'' に対して、

:<math> \partial_n \circ \partial_{n+1} = 0 </math>

であるとする。右辺の 0 は群 ''C''<sub>''n''-1</sub> の単位元への定数写像を意味する。このことは im(∂<sub>''n''+1</sub>) ⊆ ker(∂<sub>''n''</sub>) を意味する。

いま、各 ''C<sub>n</sub>'' はアーベル群なので、im(∂<sub>''n''+1</sub>) は ker(∂<sub>''n''</sub>) の正規部分群である。さらに、この部分群を無視して考えたい。つまり、その差が im(∂<sub>''n''+1</sub>) に属するような 2 つの元は同値とみなし、ker(∂<sub>''n''</sub>) をその同値関係で分割するのである。'''''X'' の ''n'' 次ホモロジー群''' を[[剰余群]]（あるいは[[群 (数学)#剰余類・剰余群|剰余加群]]）

: ''H<sub>n</sub>''(''X'') = ker(∂<sub>''n''</sub>) / im(∂<sub>''n''+1</sub>)

によって定義する。また、ここでは ker(∂<sub>''n''</sub>) = ''Z<sub>n</sub>''(''X'') と書き、im(∂<sub>''n''+1</sub>) = ''B<sub>n</sub>''(''X'') と書く。すると、

: ''H<sub>n</sub>''(''X'') = ''Z<sub>n</sub>''(''X'') / ''B<sub>n</sub>''(''X'')

である。ホモロジー群の元を'''ホモロジー類'''という。

上の 2 つの群 ''Z<sub>n</sub>''(''X'') と ''B<sub>n</sub>''(''X'') は巨大な群であることが多く計算は難しい一方で、その商であるホモロジー群 ''H<sub>n</sub>''(''X'') を計算するには、さまざまな道具がある。

[[複体|単体複体]] ''X'' の [[単体的ホモロジー]]群 ''H<sub>n</sub>''(''X'') は、 ''C''(''X'')<sub>''n''</sub> として「''X'' の ''n'' 単体全体で生成される自由アーベル群」をとって得られる単体的チェイン複体 ''C''(''X'') を使うことで定義される。[[特異ホモロジー]]群は任意の位相空間 ''X'' に対して定義され、単体複体については単体的ホモロジー群と一致する。

チェイン複体が[[完全系列]]であるとは、(''n'' + 1) 番目の写像の像が、常に ''n'' 番目の写像の核に一致することである。''X'' のホモロジー群はしたがって、それから決まるチェイン複体が「どれだけ完全でないか」を測る量である。

コホモロジー群の定義も形式的には同様である。まず、[[コチェイン複体]]から始める。これはチェイン複体とほとんど同じものであるが、群のあいだをつなぐ矢印は ''n'' の減少方向ではなく ''n'' の増加方向を向いている。矢印を ''d<sup>n</sup>'' で表すことにすると、群 ker(''d<sup>n</sup>'') = ''Z<sup>n</sup>''(''X'') および群 im(''d''<sup>''n''-1</sup>) = ''B<sup>n</sup>''(''X'') は同じように定義され、さらに同様にコホモロジー群

: ''H<sup>n</sup>''(''X'') = ''Z<sup>n</sup>''(''X'') / ''B<sup>n</sup>''(''X'')

を得る。

== 例 ==
ホモロジーを考える動機になる例は[[代数的位相幾何学]]に由来している。その例は[[複体|単体複体]] ''X'' の[[単体的ホモロジー]]である。ここで ''A<sub>n</sub>'' は ''X'' の向き付けられた ''n'' 次元[[単体 (数学)|単体]]を生成元とする[[自由アーベル群]]である。写像は'''境界写像'''とよばれ、
:<math> (a[0], a[1], \dots, a[n]) </math>
を頂点とする単体を、和
:<math> \sum_{i=0}^n (-1)^i(a[0], \dots, a[i-1], a[i+1], \dots, a[n]) </math>
に写す。ここでの右辺は、''n'' = 0 のときには 0 であると考える。加群として、体上のものを取れば、''X'' の ''n'' 次元ホモロジー群の次元は ''X'' の ''n'' 次元の「穴」の数であると考えることができる。

この例をモデルとして、任意の[[位相空間]] ''X'' の特異ホモロジーを定義することができる。''X'' に対するチェイン複体は、 ''A<sub>n</sub>'' として
「''n'' 次元単体 から ''X'' への[[連続写像]]全体で生成される自由アーベル群（あるいは自由加群）」をとることで定義できる。準同型 ∂<sub>''n''</sub> は単体の境界写像により誘導されるものである。

[[抽象代数]]においては、ホモロジーを用いて[[導来関手]]、たとえば [[Tor関手]]を定義できる。まず、加法的共変関手 ''F'' と加群 ''X'' から出発する。加群 ''X'' に対するチェイン複体は次のようにして定義される。

まず、自由加群 ''F''<sub>1</sub> と[[全射]]準同型 ''p''<sub>1</sub>: ''F''<sub>1</sub> → ''X'' をえらぶ。次に自由加群 ''F''<sub>2</sub> と全射準同型 ''p''<sub>2</sub>: ''F''<sub>2</sub> → ker(''p''<sub>1</sub>) をえらぶ。このように繰り返してゆき、自由加群 ''F<sub>n</sub>'' と準同型 ''p<sub>n</sub>'' の列が定義できる。この列に関手 ''F'' を適用すると、チェイン複体が得られる。この複体のホモロジー ''H<sub>n</sub>'' は ''F'' と ''X'' とのみに依存する。これを ''F'' の ''n'' 次導来関手の ''X'' における値であると定義する。

== ホモロジー関手 ==
チェイン複体 <math>(d_n \colon A_n \rightarrow A_{n-1})</math> からチェイン複体 <math>(e_n \colon B_n \rightarrow B_{n-1})</math> への射を、準同型の列 <math> f_n\colon A_n \rightarrow B_n </math> であって任意の ''n'' に対して <math>f_{n-1} \circ d_n = e_{n} \circ f_n </math> が成立するようなものとして定義する。このようにしてチェイン複体は[[圏 (数学)|圏]]をなす。''n'' 次元ホモロジー群 ''H<sub>n</sub>'' はチェイン複体の圏からアーベル群（あるいは加群）の圏への共変[[関手]]であるとみなせる。

チェイン複体が対象 ''X'' に共変的に依存するものとする（つまり、任意の射 ''X'' → ''Y'' は ''X'' のチェイン複体から ''Y'' のチェイン複体への射を誘導するものとする）。このとき、''H<sub>n</sub>'' は ''X'' が属している圏からアーベル群（あるいは加群）の圏への共変[[関手]]である。

ホモロジーと[[コホモロジー]]とのただひとつの違いは、コホモロジーにおいてはチェイン複体が ''X'' に反変的に依存するという点で、したがってホモロジー群（この文脈ではこれを'''コホモロジー群'''と呼んで ''H<sup>n</sup>'' と表す）は ''X'' の属する圏からアーベル群あるいは加群の圏への反変関手となる。

== 性質 ==
チェイン複体 <math>(d_n : A_n \rightarrow A_{n-1})</math> において、有限個を除いて ''A<sub>n</sub>'' がすべてゼロであり、ゼロでない ''A<sub>n</sub>'' はすべて[[アーベル群#有限アーベル群|有限生成アーベル群]]（ないしは有限次元ベクトル空間であるとすると、そのチェイン複体の[[オイラー標数]]を

:<math> \chi = \sum (-1)^n \, \mathrm{rank}(A_n) </math>

によって定義できる（右辺の rank は、アーベル群の場合はその[[階数]]を意味し、ベクトル空間の場合には[[次元]]を意味する）。オイラー標数は、実はホモロジー群だけで計算できることがわかる。つまり、

:<math> \chi = \sum (-1)^n \, \mathrm{rank}(H_n) </math>

が成り立つ。これは、特に代数的位相幾何学においては、チェイン複体の元となった対象 ''X'' の重要な不変量 χ を計算する 2 つの方法を与えている。

チェイン複体の任意の[[短完全列]]

: 0 → ''A'' → ''B'' → ''C'' → 0

はホモロジー群の[[長完全列]]

:<math> \cdots \rightarrow H_n(A) \rightarrow H_n(B) \rightarrow H_n(C) \rightarrow H_{n-1}(A) \rightarrow H_{n-1}(B) \rightarrow H_{n-1}(C) \rightarrow H_{n-2}(A) \rightarrow \cdots. \,</math>

を生み出す。この長完全列での一連の写像は、[[蛇の補題]]により与えられる'''連結準同型''' <math>H_n(C) \rightarrow H_{n-1}(A)</math> を例外として、チェイン複体の間の写像から誘導されたものである。

== 歴史 ==

=== リーマン、曲面の連結度 ===
[[File:Riemann's idea transverse cut.svg|thumb|円板及び円環上の横断線の例。円板は、図の破線部分を横断線として切断することで2つに分かれる。一方、円環上には切断しても2つに別れない横断線が存在する。]]

1851年、[[ベルンハルト・リーマン]]は学位論文「複素一変数関数の一般論の基礎」の中で曲面の'''連結度'''（connectivity）というものを考えた{{Sfn|Riemann|1851}}。これは次のように定義される。まず、曲面の境界上の2点を結ぶ曲線を'''横断線'''と呼ぶことにする。曲面が円板のような形をしている場合には、横断線で曲面を切断すると曲面が2つに分かれる。どのような横断線で切断しても曲面が2つに分かれるとき、そのような曲面を'''単連結'''と呼ぶことにする（現代の定義とは異なる）。ある任意の曲面が {{mvar|n}} 本の横断線によって切断したとき {{mvar|m}} 個の単連結な領域に分割されるならば、その曲面の連結度を {{math|''n'' &minus; ''m''}} と定義する。例えば円板の連結度は {{math|&minus;1}} であり、円板から小さな円板をくり抜いた[[円環]]の連結度は {{math|0}} である。

この論文では考えている幾何学的対象に境界が存在することを仮定している。そして横断線というツールを使って連結度という数字（位相的不変量）が定義されている。リーマンは切断のアイデアを[[カール・フリードリヒ・ガウス]]から学んだと[[エンリコ・ベッチ]]に語っている{{Sfn|Weil|1979|p=95}}。ガウスは位置の幾何学、つまり現在トポロジーと呼ばれている数学の一分野について自分の研究成果を発表することは無かった。しかし位置の幾何学について書いた文章が数多く遺されており、終生興味を持ち続け熱心に研究していた。ガウスが位置の幾何学を重視していたことはリーマンにも影響を与えた<ref>
{{Cite book|和書
| publisher = 弘文堂
| author = 小松醇郎
| author-link = 小松醇郎
| title = 位相数学
| year = 1942
| id = {{NDLDC|1063394|format=NDLJP}}
| pages = 10-14
}}
</ref>。

[[File:Riemann's idea connectedness number.svg|thumb|円板及び円環上の閉曲線の例。円板上に描いた閉曲線は内部の領域の境界となる。一方、円環上に描いた閉曲線はそうはなっていない。現代的には1次元のホモロジー群の階数を見ていることになる。]]

1857年、リーマンは「アーベル関数の理論」と題した論文を公表する{{Sfn|Riemann|1857}}。この論文で再び[[曲面]]の'''連結性の数'''（connectedness number）という概念を考える{{Sfn|Weibel|1999|p=2}}。これは次のように定義される。曲面の上に {{mvar|n}} 本の閉曲線の族があり、どの閉曲線の組み合わせを取っても部分曲面の完全境界にならなかったとする。さらに、この族にどのような閉曲線を加えてもこの性質を満たさなくなるとする。このとき、この曲面を {{math|''n'' + 1}} 重連結であると呼ぶ。例えば、円板は1重連結であり、円環は2重連結である。連結性の数は境界の無い曲面に対しても定義することができ、例えば球面の連結性の数は1である。連結性の数の定義に完全境界という概念を使ったのは正則関数を領域の境界に沿って[[複素線積分|線積分]]すると0になることによる。

ここには、考えている曲面の境界は考えず、連結性の数の定義においてツールとして用いる曲線が境界かどうかを考えるという、発想の転換があり、サイクルのなす群をバウンダリのなす群で割るというアイデアの原型を見ることができる。

=== ベッチ、連結度の高次元化 ===
[[File:Betti's idea higher dimensional connectedness number.svg|thumb|中身の詰まったドーナツ。図に示した円板で切断しても2つに分かれない。]]
病弱だったリーマンは頻繁にイタリアに療養に出かけていた。イタリアでは友人のベッチに会っていた{{Sfn|Weibel|1999|p=2}}。

1863年、ベッチは友人でもあり同僚でもある Tardy に宛てた手紙の中で、リーマンと空間の連結度について話し合い、空間の連結度についてのアイデアが明確になった、と書いている。ベッチが手紙に書いた空間の連結度とは次のように定義される{{Sfn|Weil|1979|p=95}}。まず単連結の概念を高次元化する。空間が単連結であるとは、すべての閉曲面がある部分空間の境界になり、すべての閉曲線がある部分曲面の境界になることとする（現代の定義とは異なる）。例えば中身の詰まった球は単連結である。そして、空間の連結度が {{math|(''m'', ''n'')}} であるとは、空間を単連結にするために必要な曲面による切断が {{mvar|m}} 回、曲線による切断が {{mvar|n}} 回であることと定義する。例えば中身の詰まったドーナツを考える。これは単連結ではないが、ドーナツの一部を円板に沿って切断すれば単連結になるので、この空間の連結度は {{math|(1, 0)}} である。ベッチが手紙に書いている連結度はリーマンの学位論文に見られるアイデアを高次元化したものと思える。

1866年、リーマンが39歳で死亡する。

1871年、ベッチは "Sopra gli spazi di un numero qualunque di dimensioni" と題した論文を公表する。こちらでは、高次元空間の {{mvar|m}} 次元の連結度を {{math|m + 1}} 次元部分空間の境界にならない {{mvar|m}} 次元部分空間の最大数として定義しているようである{{Sfn|Stillwell|2009|p=7}}。これは、リーマンの1857年の論文「アーベル関数の理論」におけるアイデアを高次元化したものと思える。

=== ポアンカレ、ホモロジー ===

1895年、ポアンカレは記念碑的な論文「位置解析」を公表する{{Sfn|Stillwell|2009|p=61}}。この中でポアンカレは多様体の部分多様体の形式和にホモロジーという同値関係を定義し、これを基礎に多様体の連結度の新しい定義を与えた。そしてこれをベッチ数と呼んだ。ポアンカレは、ベッチ数は考えているがホモロジー群は考えていなかった（基本群は考えている）。

なお、ポアンカレの論文のタイトルにもなっている「位置解析」（Analysis Situs）という言葉は[[ゴットフリート・ライプニッツ]]による{{Sfn|Riemann|1857|p=4}}。

=== ネーター、数から群へ ===

ホモロジー群の概念は[[エミー・ネーター]]<ref>{{Harvnb|Hilton|1988|p=284}}</ref><ref>たとえばフランス語文献 [http://www.normalesup.org/~oudomphe/seminaires/spf/publi/expo13.pdf ''L'emergence de la notion de group d'homologie'', Nicolas Basbois (PDF)], の Note 40 においては、[[ホモロジー群]]の発明者として実際にネーターの名が挙げられている。</ref>により見出された。ある伝承によれば、それは1926年、アクサンドロフ{{Efn|
{{harvtxt|MacLane|1978|p=12}} では {{仮リンク|A. D. Alexandroff|en|Aleksandr Danilovich Aleksandrov}}と書かれているが、ただしくは[[パヴェル・アレクサンドロフ]]と思われる。
}}と{{仮リンク|ハインツ・ホップ|en|Heinz Hopf}}が[[レフシェッツ不動点定理]]の証明の難しい部分について研究していたときのことであったという。彼らがこれについてネーターと議論したとき、[[ベッチ数]]ではなくホモロジー群を考えその群の適当な[[自己準同型]]の[[跡 (線型代数学)|跡]]を考えれば証明が分かりやすくなることを彼女が指摘したという{{Sfn|MacLane|1978|p=12}}。また別の伝承によれば、彼女はベッチ数とねじれ係数（torsion coefficients）はあるアーベル群の標準的な[[不変量]]と見るべきもので、そのアーベル群こそがホモロジー的連結度の概念的定式化のための適切なツールだと単に見抜いたとされている{{Sfn|MacLane|1978|p=12}}。他の説によれば、それは1925年のことであったという{{Sfn|Weibel|1999|pp=1}}。彼女が[[ドイツ数学会]]の年次報告で[[有限生成アーベル群の構造定理]]のベッチ数とねじれ係数への応用について言及し、そして[[ゲッティンゲン大学|ゲッティンゲン]]の講義においてホモロジーとは単にベッチ数やねじれ係数ではなくアーベル群なのだと指摘したという{{Sfn|Weibel|1999|pp=5}}。彼女は、研究の主眼はホモロジー群に置くべきだと強調したと伝えられている{{Sfn|MacLane|1976|p=5}}。今となっては何が真実か定かではないが、はっきりしていることは、ネーターが1925年に有限生成アーベル群の構造定理のベッチ数・ねじれ係数への応用について言及したこと<ref>
{{Cite journal
| last = Noether
| first = Emmy
| title = Ableitung der Elementarteilertheorie aus der Gruppentheorie
| journal = Jahresbericht der Deutschen Mathematiker-Vereinigung
| volume = 34
| url = http://www.digizeitschriften.de/dms/img/?PID=PPN37721857X_0034%7Clog44&physid=phys357#navi
| year = 1926
| page = 104
}}
</ref>、1932年のアレクサンドロフの本『位相幾何学の基礎概念』の中でホモロジー'''群'''が使われていること<ref>
{{Cite book|和書
| publisher = 大雅堂
| author = P.アレクサンドロフ
| translator = 静間良次
| title = 位相幾何学の基礎概念
| date = 1946
| id = {{NDLDC|1063369|format=NDLJP}}
| page = 43
}}
Betti群という呼び方をしている。
</ref>、1935年のアレクサンドロフとホップの共著『Topologie』の序文でネーターの助言に対して謝辞が述べられていることである{{Sfn|MacLane|1978|p=12}}。

また、これと独立に、[[レオポルト・ヴィートリス]]と[[ヴァルター・マイヤー]]も1925年から28年にかけてホモロジー理論を発展させている<ref>[[フリードリッヒ・ヒルツェブルフ|Hirzebruch, Friedrich]], "Emmy Noether and Topology" in {{Harvnb|Teicher|1999|p=61?63}}.</ref>。これより前の時代には、[[組合せ位相幾何学]]においてホモロジー類にあたるものはアーベル群をなすとは考えられていなかった。ホモロジー群の[[急速]]な普及により、用語が変更され、「組合せ位相幾何学」の立場から「代数的位相幾何学」への移行が起こった<ref>[http://pages.vassar.edu/mccleary/files/2011/04/BourbakiAlgTop.pdf ''Bourbaki and Algebraic Topology'' by John McCleary (PDF)] に時代考証がある（フランス語の原版から英語への翻訳）。</ref>。

== 関連項目 ==
*[[単体的ホモロジー]]
*[[特異ホモロジー]]
*[[胞体的ホモロジー]]
*[[ホモロジー理論]]
*[[ホモロジー代数]]
*[[コホモロジー]]

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist|2}}

== 参考文献 ==
* [[Henri Cartan|Cartan, Henri Paul]] and [[Samuel Eilenberg|Eilenberg, Samuel]] (1956) ''Homological Algebra'', Princeton University Press, Princeton, NJ, [http://worldcat.org/oclc/529171 OCLC 529171]
* Herbert Edelsbrunner and John L. Harer: ''Computational Topology: An Introduction'', AMS (2010)
** Herbert Edelsbrunner、John L. Harer:「計算トポロジー入門」、共立出版、ISBN 978-4-32011494-4 (2023年9月12日）．
* Eilenberg, Samuel and Moore, J. C.  (1965) ''Foundations of relative homological algebra'' (Memoirs of the American Mathematical Society number 55) , American Mathematical Society, Providence, R.I., [http://worldcat.org/oclc/1361982 OCLC 1361982]
* Hatcher, A., (2002) ''[http://www.math.cornell.edu/~hatcher/AT/ATchapters.html Algebraic Topology]''  Cambridge University Press, ISBN 0-521-79540-0. 単体複体や多様体のホモロジー理論や、特異ホモロジーなどについての詳しい解説を含む。
* Tomasz Kaczynski, Konstantin Mischaikow and Marian Mrozek: ''Computational Homology'', Springer, ISBN 978-0-387-21597-6 (2004)

*{{planetmath reference|id=3720|title=Homology (Topological space)}}

=== 歴史関連 ===

*{{citation|last=Hilton|first=Peter|year=1988|title=A Brief, Subjective History of Homology and Homotopy Theory in This Century |journal = Mathematics Magazine|volume=60|issue=5|pages=282-291| url = http://www.jstor.org/stable/2689545?origin=JSTOR-pdf}}

*{{citation|title=The Heritage of Emmy Noether|first= M. (ed.)|last =Teicher|series=Israel Mathematical Conference Proceedings|publisher= [[Bar-Ilan University]]/[[American Mathematical Society]]/[[オックスフォード大学出版局|Oxford University Press]]|year= 1999|id= {{OCLC|223099225}}|isbn= 978-0198510451}}

* {{Cite conference| doi = 10.1016/B978-044482375-5/50029-8| last = Weibel| first = C.| title = CHAPTER 28 – History of Homological Algebra| date = 1999 |url = http://www.math.rutgers.edu/~weibel/HA-history.pdf |conference=}}

* {{Cite journal| volume = 82| issue = 1| pages = 1–40| last = MacLane| first = Saunders | title = Topology and logic as a source of algebra| journal = Bulletin of the American Mathematical Society| date = 1976| url = https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-82/issue-1/Topology-and-logic-as-a-source-of-algebra/bams/1183537593.full | doi = 10.1090/S0002-9904-1976-13928-6 | ref = harv}}

* {{Cite journal| volume = 24| issue = 2| pages = 1–29| last = MacLane| first = Saunders| title = Origins of the cohomology of groups| journal = L'Enseignement mathématique| date = 1978| url = https://www.e-periodica.ch/cntmng?pid=ens-001%3A1978%3A24%3A%3A9 | ref = harv}}

* {{Cite web| title = Poincare: Papers on Topology
 | url = https://www.maths.ed.ac.uk/~v1ranick/papers/poincare2009.pdf
 | first = John | last = Stillwell
 | year = 2009
 | ref = harv
 | accessdate = 2022-05-08
}}

* {{Cite journal| last = Riemann| first = B.| title = Grundlagen für eine allgemeine Theorie der Funktionen einer veränderlichen complexen| accessdate = 2022-05-06| year = 1851 | url = https://www.emis.de/classics/Riemann/Grund.pdf | ref = harv}}

* {{Cite journal| doi = 10.1515/crll.1857.54.115| pages = 115–155| last = Riemann| first = B.| title = Theorie der Abel'schen Functionen.| accessdate = 2022-05-06| year = 1857| url = https://www.emis.de/classics/Riemann/AbelFn.pdf | ref = harv}}

* {{Cite journal| issn = 0003-9519| volume = 20| issue = 2| pages = 91–96| last = Weil| first = André| title = Riemann, Betti and the Birth of Topology| journal = Archive for History of Exact Sciences| accessdate = 2022-05-06| date = 1979| url = https://www.jstor.org/stable/41133540| jstor = 41133540 | ref = harv}}

{{Topology}}
{{Normdaten}}
{{DEFAULTSORT:ほもろしい}}
[[Category:ホモロジー論|*]]
[[Category:数学に関する記事]]