Conclusions
The historical evolution of the homotopy concept for paths illustrates how the introduction of a concept (be it implicit or explicit) depends upon the interests of the mathematicians concerned and how it gradually acquires a more satisfactory definition.
In our case the equivalence of paths first meant for certain mathematicians that they led to the same value of the integral of a given function or that they led to the same value of a multiple-valued function. (See for instance [Cau], [Pui], [Rie].) Later this dependency upon given functions is dropped (by Jordan for surfaces, by Riemann and most explictly by Poincaré) and this leads to a concept which depends only upon the manifold. It thus becomes a concept which belongs to topology.
As a consequence of this hesitant evolution, there was at first a confusion between concepts and hence no attention to relations between them. At a later stage these relations were investigated, as for instance the fact that homotopy equivalence implies homology equivalence: in1882, Klein gave an example of a closed curve on a surface which is the boundary of a part of the surface but could not be shrunk to a point. In 1904, Poincaré explicitly said that this curve is “homologue à zéro” (null homologous), but not “équivalent à zéro” (null homotopic). Poincaré obtains the homologies from the fundamental group by allowing changes in the order of the terms in the “équivalences”. This means also that the equivalences imply homologies but not vice versa.
From a methodological standpoint, this situation of using properties without asking about relations between them or without even properly defining them is reminiscent of mathematics of a century earlier. An example is the way differentiability was used for the differentiation of functions without consciously questioning the properties of this concept until in the nineteenth century examples were given by Bolzano (1834), Weierstrass (1872), Riemann (1854) and others of functions which are continuous but nowhere differentiable [Kli].
Another example is the use eighteenth-century mathematicians made of series without inquiring about the validity of the operations they used on them. Another aspect which had its influence was the success of algebraic methods in topology which explains the preference for theories with “base point” and constrained deformation even though free deformation is a more natural concept.
As we can see the evolution of the homotopy concept for paths did not progress without impediments. It also had an influence on the evolution of the abstract group concept and the basic principle of equivalence. These aspects make it a history which is not only intrinsically interesting (how did homotopic paths come to be?), but also because it illustrates relations between different branches of mathematics.
Similar content being viewed by others
References
Abel, N. H., Recherches sur les fonctions elliptiques. (Crelle's) Journal für die reine und angewandte Mathematik. Bd. 2, 3; 1827, 1828 = Oeuvres complètes p. 268.
Abel, N. H., Mémoire sur une propriété générale d'une classes très étendue de fonctions transcendantes, 1826. Mémoire des savants étrangers, 7, 1841, pp. 176–264 = Oeuvres complètes p. 145–211.
Belhoste, B. Cauchy. Un mathématicien légitimiste au XIXe siècle, 1985, Belin.
Betti, E., Sopra gli spazi di un numero qualunque di dimensioni. Annali di matematica pura ed applicata, serie 2, tomo 4, 1871, pp. 140–158.
Bollinger, M., Geschichtliche Entwicklung des Homologiebegriffs. Archive for History of Exact Sciences, 9, 1972, pp. 94–170.
Bottazzini, U., The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass., 1986, Springer-Verlag.
Bottazzini, U., Riemanns Einfluss auf E. Betti und F. Casorati. Archive for History of Exact Sciences 18, 1977, pp. 27–37.
Brill A. Von & Noether, M., Die Entwicklung der Theorie der algebraischen Funktionen in älterer und neuerer Zeit. Bericht erstattet der Deutschen Mathematiker-Vereinigung von A. Brill und M. Noether. Jahresbericht der Deutschen Mathematiker-Vereinigung, 3, 1892–1893, pp. 107–565.
Briot, C. A. A., & Bouquet, J. C., Théorie des fonctions elliptiques. Gauthier-Villars Paris, 2ième ed. 1875.
Brouwer, E. L. J., Beweis der Invarianz der Dimensionenzahl. Mathematische Annalen, 70, 1911, p. 161–165 = Collected Works, 2, pp. 430–434.
Brouwer, E. L. J., Continuous one-one transformations of surfaces in themselves. Koninklijke Nederlandse Akademie van Wetenschapen, Proceedings, 15, 1912, p. 352–360 = Collected Works, 2, pp. 527–535.
Brouwer, E. L. J., Beweis der Invarianz der geschlossenen Kurve. Mathematische Annalen, 72, 1912, p. 422–425 = Collected Works, 2, pp. 523–526.
Brown, R., Elements of modern topology, McGrawhill 1968.
Cantor, G., Über unendliche lineare Punktmannigfaltigkeiten. Mathematische Annalen, 21, 1883, p. 545–586 = Gesammelte Abhandlungen, pp. 165–209.
Casorati, F., Teorica delle funzioni di variabili complesse. 1868, Pavia.
Cauchy, A. L., Mémoire sur les intégrales définies prises entre des limites imaginaires. Brochure publiée en août 1825 chez de Bure à Paris = Oeuvres complètes, série 2, volume 15, p. 41–89.
Cauchy, A. L., Analyse mathématique: Rapport sur un Mémoire présenté à l'Académie par M. Puiseux et intitulé: Recherches sur les fonctions algébriques. Comptes Rendus T. XXXII, p. 276 (25 février 1851) = Oeuvres complètes, série 1, volume 11, pp. 325–335.
Cauchy, A. L., Calcul intégral: Sur les intégrales qui s'étendent à tous les points d'une courbe fermée. Comptes Rendus T. XXIII, p. 251 (3 août 1846) = Oeuvres complètes, série 1, volume 10, pp. 70–74.
Cauchy, A. L., Calcul intégral: Mémoire sur les intégrales dans lesquelles la fonction sous le signe ∫ change brusquement de valeur. Comptes Rendus T. XXIII, p. 537 (14 septembre 1846) = Oeuvres complètes, série 1, volume 10, pp. 133–134.
Cauchy, A. L., Calcul intégral: Mémoire sur les intégrales dans lesquelles la fonction sous le signe ∫ change brusquement de valeur. Comptes Rendus T. XXIII, p. 557 (21 septembre 1846) = Oeuvres complètes, série 1, volume 10, pp. 135–143.
Cauchy, A. L., Calcul intégral: Mémoire sur les intégrales imaginaires des équations différentielles, et sur les grands avantages que l'on peut retirer de la considération de ces intégrales, soit pour établir des formules nouvelles, soit pour éclaircir des difficultés qui n'avaient pas été jusqu'ici complètement résolues. Comptes Rendus T. XXIII, p. 563 (21 September 1846) = Oeuvres complètes, série 1, volume 10, pp. 143–150.
Cauchy, A. L., Calcul intégral: Mémoire sur les diverses espèces d'integrales d'un systeme d'équations differentielles. Comptes Rendus T. XXIII, p. 729 (19 octobre 1846) = Oeuvres complètes, série 1, volume 10, pp. 171–186.
Cauchy, A. L., Calcul intégral: Sur les rapports et les différences qui existent entre les intégrales rectilignes d'un système d'équations différentielles et les intégrales complètes de ces mêmes équations. Comptes Rendus T. XXIII, p. 779 (26 octobre 1846) = Oeuvres complètes, série 1, volume 10, pp. 186–196.
Cauchy, A. L., Analyse mathématique: Sur la théorie des fonctions. Comptes Rendus T. XLIII, p. 69 (14 juillet 1856) = Oeuvres complètes, série 1, volume 12, pp. 333–341.
Cayley, A., On the Theory of Groups, as Depending on the Symbolic Equation θ n = 1. Philosophical Magazine, 7, 1854 = Collected Papers, 2, pp. 123–130.
Cayley, A., On the Theory of Groups, as Depending on the Symbolic Equation θ n = 1. Second part. Philosophical Magazine, 7, 1854 = Collected Papers, 2, pp. 131–132.
Cayley, A., The Theory of Groups. American Journal of Mathematics, 1, 1878 = Collected Papers, 10, pp. 401–403.
Čech, E., Höherdimensionale Homotopiegruppen. Verhandlungen des internationalen Mathematiker-Kongresses Zurich, volume 3, p. 203, 1932.
Clebsch, (R. F.) A., Zur Theorie der Riemann'schen Fläche. Mathematische Annalen 6, 1872, pp. 216–230.
Clebsch, (R. F.) A., & Gordan, P., Theorie der Abelschen Funktionen. Teubner Leipzig 1866.
Clifford, W. K., On the canonical form and dissection of a Riemann's surface. Proceedings of the London Mathematical Society, volume VIII, No. 122, p. 292–304, 1877 = Mathematical Papers, pp. 241–254.
Cohn, P. M., Algebra. John Wiley and Sons 1974. Volume 1.
Dehn, M., Über die Topologie des dreidimensionalen Raumes. Mathematische Annalen, 69, 1910, p. 137–168.
Dehn, M., Über unendliche diskontinuerliche Gruppen. Mathematische Annalen, 71, 1912, pp. 116–144.
Dehn, M., Transformation der Kurven auf Zweiseitigen Flächen. Mathematische Annalen, 72, 1912, pp. 413–421.
Dehn, M., & Heegaard, P., Analysis situs. Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen. Leipzig B. G. Teubner, Bd. III, Teil I, Hälfte I, 1907, pp. 153–220.
Dieudonné, J., Abrégé d'histoire des mathématiques 1700–1900. 1ière ed. Hermann 1978, 2 vols.
Dieudonné, J., A history of algebraic and differential topology 1900–1960. Birkhäuser 1989.
Ford, L., Automorphic Functions. Chelsea Publishing Company 1951, 1st ed. New York 1929.
Fréchet, M., Les espaces abstraits. Paris 1928.
Fréchet, M., Fréchet's doctoral thesis, published in Rendiconti del Circolo Matematico di Palermo, 22, 1906, pp. 1–71.
Fuchs, I. L., Zur Theorie der linearen Differentialgleichungen. Journal für die Reine und Angewandte Mathematik, 66, 1866, pp. 121–160.
Galois, E., Sur les conditions de résolubilité des équations par radicaux (1831), published in Journal de Mathématiques Pures et Appliquées, 11, 1846, pp. 381–444.
Gauss, C. F., Über das Wesen und die Definition der Funktionen. Gauss an Bessel, 18 December 1811 = Werke, 8, pp. 90–92.
Gauss, C. F., Allgemeine Lehrsätze in Beziehung auf die im verkehrten Verhältnisse des Quadrats der Entfernung wirkenden Anziehungs- und Abstossungs-Kräfte, 1840, Ostwald's Klassiker der exakten Wissenschaften, nr. 2, 1902 Leipzig, W. Engelmann.
Gieseking, H., Analytische Untersuchungen über topologische Gruppen. Hildenbach 1912.
Grabiner, J., The Origins of Cauchy's Rigorous Calculus. Cambridge, Massachusetts 1981.
Gray, J., Linear differential equations and group theory from Riemann to Poincaré. Birkhäuser Boston 1986.
Green, G., Essay on the application of mathematical analysis to the theory of electricity and magnetism. 1828. Reprinted in Crelle's Journal für die Reine und Angewandte Mathematik vols. xliv, xlv, 1846.
Hausdorff, F., Grundzüge der Mengenlehre. Leipzig 1914.
Hensel, H. & Landsberg, G., Theorie der algebraischen Funktionen. B. G. Teubner, Leipzig 1902.
Hirsch, G., Comment la topologie est-elle devenue algébrique? Cahiers Fundamenta Scientiae n∘ 100, 1982, Strasbourg.
Hirsch, G, Topologie. = [Di 1], ch. X, pp. 211–265.
Hopf, H., Eine Verallgemeinerung der Euler-Poincaréschen Formel. Nachrichten (von) der (Königlichen) Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-Physikalische Klasse, 1928, pp. 127–136.
Hurewicz, W., Beiträge zur Topologie der Deformationen. I. Höherdimensionale Homotopiegruppen: II. Homotopie- und Homologiegruppen. Proceedings Koninklijke Academie Wetenschappen Amsterdam, t. 38, 1935, pp. 112–119 and pp. 521-528.
Hurwitz, A., Über Riemanh'sche Flächen mit gegebenen Verzweigungspunkten. Mathematische Annalen, 39, 1891, pp. 1–61.
Jacobi, C. G., Fundamenta nova theoriae functionum ellipticarum. Regiomonti, Sumtibus Fratrum Borntraeger 1829. = Gesammelte Werke, 1, pp. 49–239.
Jacobi, C. G., Über die Curve, welche alle von einem Punkte ausgehenden geodätischen Linien eines Rotationsellipsoides berührt. Nachlass = Werke, 7, pp. 72–87.
Jordan, C., Des contours tracés sur les surfaces. Journal de Mathématiques Pures et Appliquées (2), t. XI, 1866, pp. 110–130 = Oeuvres, 4, pp. 91–112.
Jordan, C., Sur la déformation des surfaces. Journal de Mathématiques Pures et Appliquées (2), t. XI, 1866, pp. 105–109 = Oeuvres, 4, pp. 85–89.
Jordan, C., Commentaire sur Galois. Mathematische Annalen, 1, 1869, pp. 141–160.
Jordan, C., Mémoire sur les groupes de mouvements. Annali di Matematica pura ed applicata, série 2, 2, 1868–1869, pp. 167–215, pp. 322–345.
Jordan, C., Cours d'analyse. Paris, Gauthier-Villars, 3 vols. 1st ed. (1882, 1883, 1887) 2nd ed. (1893, 1894, 1896), 3rd ed. (1909, 1913, 1915).
Jourdain, P. E. B., The theory of functions with Cauchy and Gauss. Biblioteca Mathematica (III), 6, 1905, pp. 190–207.
Klein, F. Über Riemanns Theorie der algebraischen Functionen und ihrer Integrale. 1882, B. G. Teubner = Gesammelte mathematische Abhandlungen, 3, pp. 501–573.
Klein, F., Über eindeutige Funktionen mit linearen Transformationen in sich. (Erste Mitteilung. [Das Rückkehrschnittheorem]). Mathematische Annalen, 19, 1882 = Gesammelte mathematische Abhandlungen 3, pp. 622–626.
Klein, F., Über eindeutige Functionen mit linearen Transformationen in sich (Zweite Mitteilung. [Das Grenzkreistheorem]). Mathematische Annalen, 20, 1882 = Gesammelte mathematische Abhandlungen, 3, pp. 627–629.
Klein, F., Neue Beiträge zur Riemannschen Funktionentheorie. Mathematische Annalen, 21, 1882–1882, p. 141–218 = Gesammelte mathematische Abhandlungen, 3, pp. 630–710.
Klein, F., Über den Begriff des funktionentheoretischen Fundamentalbereichs. Mathematische Annalen, 40, 1891–1892 = Gesammelte mathematische Abhandlungen, 3, pp. 711–720.
Klein, F., Über die Transformation der elliptischen Funktionen und die Auflösung der Gleichungen fünften Grades. Mathematische Annalen, 14, 1878–1879 = Gesammelte mathematische Abhandlungen, 3, pp. 13–75.
Klein, F., Briefwechsel zwischen F. Klein und H. Poincaré in den Jahren 1881/1882 = Gesammelte mathematische Abhandlungen, 3, pp. 587–621.
Kline, M., Mathematical Thought from Ancient to Modern Times. New York Oxford University Press 1972.
Lang, S., Algebra. Addison Wesley, 1965.
Lagrange, J. L., Essai d'une nouvelle méthode pour déterminer les maxima et les minima des formules intégrales indéfinies. Miscellanea Philosophica — Mathematica Societatis Privatae Taurinensis, 2, 1760–1761 = Oeuvres, 1, p. 336–362.
Lagrange, J. L., Leçons sur le calcul des fonctions. 2nd ed. Paris, Courcier 1806, in Oeuvres, 10.
Listing, J. B., Der Census räumlicher Complexe. Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen, 10, 1861, pp. 97–182.
Lüroth, J., Note über Verzweigungsschnitte und Querschnitte in einer Riemann'schen Fläche. Mathematische Annalen, 4, 1871, pp. 181–184.
Markoff, A., Comptes Rendus de l' Académie des Sciences URSS, t. 55, 1947, pp. 583–586.
Möbius, A. F., Theorie der elementaren Verwandtschaft. Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, 15, 1863, p. 18–57 = Werke, 2, pp. 433-471.
Neuenschwander, E., Riemann und das “Weierstrassche” Prinzip der analytischen Fortsetzung durch Potenzreihen. Jahresbericht der Deutschen MathematikerVereinigung, 82, 1980, pp. 1–11.
Neuenschwander, E., Studies in the history of complex function theory. Interactions among the French School, Riemann and Weierstrass. Bulletin of the American Mathematical Society, 5, 1981, p. 87–105.
Noether, Emmy, Gesammelte Abhandlungen. Springer-Verlag 1983.
Novikov, P. S., On the algorithmic unsolvability of the word problem in group theory. Trudy Mathematical Inst. Steklov n∘ 44, 1955. American Mathematical Society Translations (2), 9, 1958, pp. 1–122.
Poincaré, H., Théorie des groupes fuchsiens. Acta mathematica, t. 1, pp. 1–62, 1882 = Oeuvres, 2, pp. 108–168.
Poincaré, H., Mémoire sur les groupes kleinéens. Acta mathematica t. 3, pp. 49–92, 1883 = Oeuvres, 2, pp. 258–299.
Poincaré, H., Sur un théorème de la théorie générale des fonctions. Bulletin de la Société Mathématique de France, t. 11, 1882–83, pp. 112–125.
Poincaré, H., Sur, les groupes des équations linéaires. Acta mathematica, t. 4, pp. 201–311, 1884 = Oeuvres, 2, pp. 300–401.
Poincaré, H., Sur l'Analysis situs. Comptes Rendus de l'Académie des Sciences, t. 115, 31 octobre 1892, pp. 633–636 = Oeuvres, 6, pp. 189–192.
Poincaré, H., Analysis situs. Journal de l'Ecole Polytechnique, t. 1, pp. 1–121, 1895 = Oeuvres, 6, pp. 193–288.
Poincaré, H., Sur les nombres de Betti. Comptes Rendus de l'Académie des Sciences, t. 128, pp. 629–630, 13 mars 1899 = Oeuvres, 6, p. 289.
Poincaré, H., Complément à l'Analysis situs. Rendiconti del Circolo Matematico di Palermo, t. 13, pp. 285–343, 1899 = Oeuvres, 6, pp. 290–337.
Poincaré, H., Second complément à l'Analysis situs. Proceedings of the London Mathematical Society, t. 32, pp. 277–308, 14 juin 1900 = Oeuvres, 6, pp. 338–370.
Poincaré, H., Cinquième complément à l'Analysis situs. Rendiconti del Circolo Matematico di Palermo, t. 18, pp. 45–110, 1904 = Oeuvres, 6, pp. 435–498.
Poincaré, H., Sur un théorème de géometrie. Rendiconti del Circolo Matematico di Palermo, t. 33, pp. 375–407, 1912 = Oeuvres, 6, pp. 499–538.
Poisson, S. D., Suite du mémoire sur les intégrales définies. Journal de l'Ecole Polytechnique, 11, 1820, pp. 295–341.
Pont, J. C., La Topologie algébrique des originesà Poincaré. P.U.F. 1974.
Post, E., Recursive unsolvability of a problem of Thue. Journal of Symbolic Logic, t. 12, pp. 1–11, 1947.
Puiseux, V., Recherches sur les fonctions algébriques. Journal de mathématiques pures et appliquées, tome 15, 1850, pp. 365–480.
Rado, Über den Begriff der Riemannschen Fläche. Acta Universitatis Szegediensis 2, 1925, pp. 101–121.
Riemann, B., Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse. Inauguraldissertation, Göttingen, 1851 = Werke pp. 3–43.
Riemann, B., Theorie der Abel'schen Functionen. Borchardt's Journal für die reine und angewandte Mathematik, 54, 1857 = Werke pp. 88–142.
Riemann, B., Beiträge zur Theorie der durch die Gauss'sche Reihe F(α., β, γ, x) darstellbaren Functionen. Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen, 7, 1857 = Werke pp. 67–83.
Riemann, B., Fragment aus der Analysis Situs. Nachlass = Werke pp. 479–482.
Scholz, E., Geschichte des Mannigfaltigkeitsbegriffs von Riemann bis Poincaré. Birkhäuser, 1980.
Schoenflies, A., Die Entwicklung der Lehre von den Punktmannigfaltigkeiten I. Jahresbericht der Deutschen Mathematiker-Vereinigung, Bd. 8, 1900, pp. 1–250.
Schoenflies, A., Die Entwicklung der Lehre von den Punktmannigfaltigkeiten II. Jahresbericht der Deutschen Mathematiker-Vereinigung, 2er Ergänzungsband, 1908.
Schoenflies, A., Bemerkung zu meinem zweiten Beitrag zur Theorie der Punktmengen. Mathematische Annalen, 65, pp. 431–432.
Schreier, O., Die Verwandtschaft stetiger Gruppen im Grossen. Abhandlungen aus dem Mathematischen Seminar Hamburgischen Universität, 5, 1927, pp. 233–244.
Seifert, H., & Threlfall, W., Lehrbuch der Topologie. B. G. Teubner 1834, Chelsea Publishing Company 1947.
Siegel, C. L., Topics in complex function theory. John Wiley & Sons 1971.
Springer, G., Introduction to Riemann surfaces. Reading MA, Addition- Wesley 1957.
Struik, D. J., A concise history of mathematics. 2nd ed. Dover, 1956. 1st ed. 1948 Constable & Company).
Tietze, H., Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten. Monatshefte für Mathematik und Physik, XIX Jahrgang, 1908, pp. 1–118.
Tietze, H., Sur les représentations continues des surfaces sur elles-mêmes. Comptes rendus de l'Académie des Sciences, Paris, 157, 1913, pp. 509–512.
Tietze, H., & Vietoris, L., Beziehungen zwischen den verschiedenen Zweigen der Topologie. Enzyklopädie der mathematischen Wissenschaften (III) AB 13, 1930 Abgeschlossen 15 October 1929, pp. 141–237.
Weierstrass, K., Definition analytischer Functionen einer Veränderlichen vermittelst algebraischer Differentialgleichungen, 1842 = Mathematische Werke, 1 pp. 75–84.
Weierstrass, K., Vorlesungen über die Theorie der Abelschen Transcendenten, 1875–1876 = Mathematische Werke, 4.
Weierstrass, K., Vorlesungen über Variationsrechnung, 1875-1879-1882 = Mathematische Werke, 7.
Weierstrass, K., Beispiele isometrischer Probleme, Vorlesungen 1875–1882 = Mathematische Werke, 7, pp. 254–264.
Weyl, H., Die Idee der Riemannschen Fläche, 1st ed. B. G. Teubner 1913, 2nd ed. Chelsea Publishing Company 1947, 3rd ed. B. G. Teubner Stuttgart 1955.
Wussing, H., Die Genesis des abstrakten Gruppenbegriffes. VEB Deutscher Verlag der Wissenschaften, Berlin, 1969.
Author information
Authors and Affiliations
Additional information
Communicated by J. Gray
Rights and permissions
About this article
Cite this article
Eynde, R.V. Historical evolution of the concept of homotopic paths. Arch. Hist. Exact Sci. 45, 127–188 (1992). https://doi.org/10.1007/BF00374251
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00374251