I was stimulated to write this story by the discussion in The American Mathematical Monthly between Peter Hilton and Jean Pederson on the one hand and Branko Grunbaum and G. C. Shephard on the other hand [HP] [GS]. The discussion as well as my story involves the Euler-Poincare Number, alias the Euler Characteristic. The discussion centers on whether the Euler-Poincare Number should be discussed in a historical way without mentioning the vast and dramatic generalization and depth of understanding that this most interesting invariant has acquired in this century. My position in this discussion is that Topology should not be viewed as an advanced subject whose theorems and concepts should be avoided until graduate school. Rather it is the study of continuity, and thus underlies the most basic geometric results. In this paper I show how the basic concept of angle leads naturally to the basic topological ideas of degree of mapping and of the EulerPoincare Number. My stozy spans the history of mathematics. It concerns what may be the most widely known non-obvious theorem of mathematics and it contains the same stunning generalization that characterizes the recent history of the Euler-Poincare number. In fact, it concerns one of the most important and earliest of the applications of the Euler-Poincare number. It shows the fickleness of mathematical fame, it shows the unreasonable power of unreasonable points of view, and it shows how easy it is for mathematicians to miss and forget beautiful and important theorems as well as simple and revealing points of view. This is a history of the Gauss-Bonnet theorem as I see it. I am not a mathematical historian. I quote only secondary sources or first hand papers that I quickly scanned, and I did not conduct any thorough interviews. Nonetheless, I am writing this history because I have contributed the last sentence to it (for the moment). I especially want to acknowledge the help of Hans Samelson. His scholarship greatly altered the thrust of earlier versions of this paper. He discovered Satz VI. He informed me of many points in this history; about Gauss' work, Descartes work, and Hopf's work. And he was a student of Hopf who generalized the GaussBonnet theorem himself.
[1]
I. Lakatos.
PROOFS AND REFUTATIONS (I)*†
,
1963,
The British Journal for the Philosophy of Science.
[2]
M. Spivak.
A comprehensive introduction to differential geometry
,
1979
.
[3]
Euler's Theorem for Polyhedra: A Topologist and Geometer Respond
,
1994
.
[4]
M Morse,et al.
Singular Points of Vector Fields under General Boundary Conditions.
,
1928,
Proceedings of the National Academy of Sciences of the United States of America.
[5]
E. Thomas.
Vector fields on manifolds
,
1969
.
[6]
M. Atiyah,et al.
Vector Fields on Manifolds
,
2013,
Arbeitsgemeinschaft für Forschung des Landes Nordrhein-Westfalen.
[7]
Zeroes of Pullback Vector Fields and Fixed Point Theory for Bodies
,
1989
.
[8]
Über die Curvatura integra geschlossener Hyperflächen
,
1926
.
[9]
G. E. Bredon.
Topology and geometry
,
1993
.
[10]
Daniel Henry Gottlieb,et al.
The Index of Discontinuous Vector Fields
,
1995
.
[11]
G. C. Shephard,et al.
A New Look at Euler's Theorem for Polyhedra
,
1994
.
[12]
I. Lakatos,et al.
Proofs and Refutations: Frontmatter
,
1976
.
[13]
J. Milnor.
On the immersion ofn-manifolds in (n+1)-space
,
1956
.
[14]
M. Kervaire.
Courbure intégrale généralisée et homotopie
,
1956
.
[15]
H. Samelson.
On Immersion of Manifolds
,
1960,
Canadian Journal of Mathematics.
[16]
C. B. Allendoerfer.
The Euler Number of a Riemann Manifold
,
1940
.
[17]
J. Stillwell.
Mathematics and Its History
,
2020,
Undergraduate Texts in Mathematics.
[18]
Imre Lakatos,et al.
On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery)
,
1977
.
[19]
On Total Curvatures of Riemannian Manifolds: I
,
1940
.
[20]
André Haefliger.
Quelques remarques sur les applications différentiables d'une surface dans le plan
,
1960
.