Skip to main content
added 630 characters in body
Source Link
ThiKu
  • 10.4k
  • 2
  • 38
  • 64

The topological proof of the Euler polyhedron formula is a special case of the general proof that the alternating sum of Betti numbers equals the alternating sum of numbers of simplices, which follows from the Hopf trace formula proved after 1925, after Hopf had learned from Noether to consider homology as abelian groups, while Poincaré was considering Betti numbers and torsion coefficients just as numerical invariants, not as algebraic objects. I guess that it is hard to avoid thinking of chains and homology as abelian groups (or better vector spaces) if one wants to prove the Hopf trace formula, so it is not clear to me how Poincaré might have gotten at a topological proof of the Euler polyhedron formula. Also topological invariance of Betti numbers was not known at the time. (But perhaps there is a simpler argument just for the 2-sphere?)

EDIT (after looking at Hopf’s paper) In Hopf’s paper (Göttingen 1928) he calls this formula the Euler-Poincaré formula, so apparently he is attributing it to Poincaré. The paper actually gives a proof of the more general Lefschetz fixed point formula. His acknowledgment in the introduction translates as follows: “My original proof of this generalization of the Euler-Poincaré formula could be made much more transparent and simple in the course of a lecture that I gave in summer 1928 in Göttingen by using group-theoretical notions under the influence of Miss E. Noether. In the following I present this changed proof.”

The topological proof of the Euler polyhedron formula is a special case of the general proof that the alternating sum of Betti numbers equals the alternating sum of numbers of simplices, which follows from the Hopf trace formula proved after 1925, after Hopf had learned from Noether to consider homology as abelian groups, while Poincaré was considering Betti numbers and torsion coefficients just as numerical invariants, not as algebraic objects. I guess that it is hard to avoid thinking of chains and homology as abelian groups (or better vector spaces) if one wants to prove the Hopf trace formula, so it is not clear to me how Poincaré might have gotten at a topological proof of the Euler polyhedron formula. Also topological invariance of Betti numbers was not known at the time. (But perhaps there is a simpler argument just for the 2-sphere?)

The topological proof of the Euler polyhedron formula is a special case of the general proof that the alternating sum of Betti numbers equals the alternating sum of numbers of simplices, which follows from the Hopf trace formula proved after 1925, after Hopf had learned from Noether to consider homology as abelian groups, while Poincaré was considering Betti numbers and torsion coefficients just as numerical invariants, not as algebraic objects. I guess that it is hard to avoid thinking of chains and homology as abelian groups (or better vector spaces) if one wants to prove the Hopf trace formula, so it is not clear to me how Poincaré might have gotten at a topological proof of the Euler polyhedron formula. Also topological invariance of Betti numbers was not known at the time. (But perhaps there is a simpler argument just for the 2-sphere?)

EDIT (after looking at Hopf’s paper) In Hopf’s paper (Göttingen 1928) he calls this formula the Euler-Poincaré formula, so apparently he is attributing it to Poincaré. The paper actually gives a proof of the more general Lefschetz fixed point formula. His acknowledgment in the introduction translates as follows: “My original proof of this generalization of the Euler-Poincaré formula could be made much more transparent and simple in the course of a lecture that I gave in summer 1928 in Göttingen by using group-theoretical notions under the influence of Miss E. Noether. In the following I present this changed proof.”

Source Link
ThiKu
  • 10.4k
  • 2
  • 38
  • 64

The topological proof of the Euler polyhedron formula is a special case of the general proof that the alternating sum of Betti numbers equals the alternating sum of numbers of simplices, which follows from the Hopf trace formula proved after 1925, after Hopf had learned from Noether to consider homology as abelian groups, while Poincaré was considering Betti numbers and torsion coefficients just as numerical invariants, not as algebraic objects. I guess that it is hard to avoid thinking of chains and homology as abelian groups (or better vector spaces) if one wants to prove the Hopf trace formula, so it is not clear to me how Poincaré might have gotten at a topological proof of the Euler polyhedron formula. Also topological invariance of Betti numbers was not known at the time. (But perhaps there is a simpler argument just for the 2-sphere?)