Skip to main content
10 of 10
replaced the dead link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

I can muddy the waters...!

According to editor E. Scholz of Hausdorff’s Collected Works (2008, p. 884):

In a note of 3/20/1933 (Nachlass, fasc. 449) and in a further undated note (fasc. 571), Hausdorff symbolized the functoriality property of homology (in our later terminology) with a commutative diagram of homomorphisms between the terms of two sequences of groups $(A_n)_{n\in\mathbf N}$, $(A'_n)_{n\in\mathbf N}$: commutative diagram (Nachlass, fasc. 571, leaf 1).

Could this have, somehow, made its way out of Bonn (where Hausdorff lectured on combinatorial topology that year) and to Hurewicz, Eilenberg, Steenrod, et al.? This seems not impossible, as e.g. Tucker (1932, footnote 4) mentions discussion of Hausdorff letters in the Princeton seminar. Maybe also noteworthy: Hausdorff’s colleague and mentor in Bonn was Eduard Study, author of another early commutative diagram.

Addition: Two years later, essentially the same “schema” is in print, p. 151 of H. Freudenthal, Die Hopfsche Gruppe, eine topologische Begründung kombinatorischer Begriffe, Compos. Math. 2 (1935) 134-162. And six years earlier, Fritz London (son of yet another Bonn mathematician) already had, in Winkelvariable und kanonische Transformationen in der Undulationsmechanik, Z. f. Physik 40 (Dec. 1926) 193-210:

London

(For the story of the arrows themselves, see the relevant questions on $\to$ and $\mapsto$.)

Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176