nach oben

Erschienen in:

2013 | OriginalPaper | Buchkapitel

5. The New Topology

verfasst von : Dirk van Dalen

Erschienen in: L.E.J. Brouwer – Topologist, Intuitionist, Philosopher

Verlag: Springer London

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The next step in Brouwer’s topological research was the study of continuous maps on manifolds. The program opened with a bang: in a brief note Brouwer proved the invariance of dimension under homeorphisms. This publication led to an unpleasant altercation with Lebesgue, who claimed to have already found a proof. In fact he had deduced the invariance from the paving principle, but failed to prove the paving principle. In the end Brouwer’s priority and superior insight was fully vindicated. In subsequent papers Brouwer enriched the arsenal of basic notions of topology with simplicial approximation and the mapping degree. The contacts with Baire, Hadamard, Blumenthal, and Hilbert, are described. Brouwer’s name became lastingly attached to his fixed point theorem. Brouwer also proved the invariance of domain theorem, which he subsequently used to salvage Klein’s continuity method for proving uniformisation. This brought him into a conflict with Paul Koebe, who was the uncrowned king of uniformisation and complex function theory. This first topological period closed with a significant feat: Brouwer defined, following Poincaré’s first approach, the general notion of dimension, and proved its ‘correctness’, i.e. showed that ℝⁿ is n-dimensional.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Cantor–Schoenflies Topology

Nächstes Kapitel Making a Career

This chapter makes essential use of Freudenthal’s comments in Volume II of the Collected Works and of the paper The Problem of the Invariance of Dimension in the Growth of Modern Topology I, II of Dale Johnson.

Ein Beitrag zur Mannigfaltigkeitslehre.

The history of this particular theorem is published by Emmy Noether and Jean Cavaillès, Noether and Cavaillès (1937).

There is a fairly simple geometric representation of the above mapping, Johnson (1979), p. 171 and Young and Young (1906), pp. 165, 291.

Among others Hilbert and Moore, cf. Young and Young (1906).

Brouwer (1909b), p. 297.

Het wezen der meetkunde. The translation of ‘wezen’ by ‘nature’ is somewhat flat. Wezen expresses something more, like ‘essence’.

Brouwer (1909a), CW I, p. 116.

Brouwer (1909a), CW I. p. 117.

Not to be confused with Methodenreinheit (purity of methods) of older generations. Brouwer was quite prepared to use whatever means were available.

The first term was introduced by Poincaré (1885), the second one by Brouwer, Brouwer (1919f, 1919g).

Freudenthal (1975), cf. CW II, p. 422 ff.

CW II, p. 421, see also Brouwer to Scheltema 3 December 1909.

Concerning the ‘Analysis Situs’-paper, cf. p. 144.

Freudenthal in CW II, p. 425.

Hadamard (1910).

Freudenthal (1979).

Cf. p. 213.

Freudenthal (CW II, p. 435 ff.) has given a thorough historic and mathematical analysis of the invariance of dimension episode. The reader is referred to Freudenthal’s comments for more technical details.

Sur la non-applicabilité de deux domaines appartenant respectivement à des espaces à n et n+p dimensions (Extrait d’une lettre à M. O. Blumenthal), Lebesgue (1911a).

Pflaster Satz.

By Baire.

Cf. Johnson (1981), p. 191.

CW II, p. 440.

Schoenflies (1908).

Zoretti (1911).

Sur la non-applicabilité de deux continus à n et n+p dimensions.

The dimension paper, cf. p. 174.

Alexander (1922) and Alexandroff and Hopf (1935), Chap. XI elaborated the ideas involved.

Sur l’invariance du nombre de dimensions d’un espace et sur le théorème de M.Jordan relatif aux variété fermées, Lebesgue (1911b).

Johnson (1981), pp. 198, 199.

Blumenthal to Brouwer, 16.6.1911.

Johnson (1981), p. 203.

CW II, p. 440.

Über den natürlichen Dimensionsbegriff, Brouwer (1913a).

Lebesgue (1911b).

Brouwer (1913a).

Sur l’invariance du nombre de dimensions d’un espace et sur le théorème de M. Jordan relatif aux variété fermées. Lebesgue (1911b).

Baire (1907a).

Lebesgue (1911a), p. 168.

CW II, p. 439.

Baire to Brouwer, 5 December 1911.

The n-dimensional Jordan theorem, Brouwer (1911e).

Cf. Lebesgue (1911a).

Cf. Lebesgue (1921).

Basics of Set Theory.

Hopf (1966).

Über Abbildung von Mannigfaltigkeiten, Brouwer (1911c).

Poincaré had already defined the notion in Poincaré (1899). Brouwer does not quote Poincaré, so presumably he was not aware of the paper.

Note that in the letter to Hilbert of 1 January 1910, Brouwer still uses polynomial approximations.

The reader need not worry, nobility has not been created in the Netherlands for more then a century.

Dieudonné (1989), p. 161.

Simplicial topology.

Dieudonné (1989), p. 168.

After the ascent of homology theory, a much simpler definition of the degree of a mapping became available: let f be a continuous mapping from M to M′, where M and M′ are compact, connected, oriented (pseudo-) manifolds, then for f ^∗:H _n(M;Z)→H _n(M′;Z), we have f ^∗([cM])=c[M′] where c is the mapping degree.

Beweis der Invarianz des n-dimensionalen Gebiets. Brouwer (1911d).

Brouwer (1911b).

CW II, p. 443.

Baire (1907a, 1907b).

Zur Invarianz des n-dimensionalen Gebiets, Brouwer (1912c).

See the letter to Baire of 5.11.1911, Johnson (1981), p. 218.

Brouwer (1912j).

Brouwer (1910a).

Sur l’invariance de la courbe fermée, Beweis der Invarianz der geschlossenen Kurve, Brouwer (1912e, 1912i).

Brouwer (1912h).

Über den natürlichen Dimensionsbegriff. Brouwer (1913a).

Alexander (1922).

Cf. p. 190, Wiessing (1960), p. 143 ff.

Brouwer (1928e).

That is, Brouwer showed that ℝ_n has dimension n.

For a precise and general definition of uniformisation the reader is referred to the literature, for example Nevanlinna (1953), Beardon (1984).

Klein (1927).

Weyl to Mulder, 29 July 1910.

Cf. Kühnau (1981).

Blumenthal to Brouwer, 26 August 1911.

The Invariance of domain-paper was sent to the Mathematische Annalen on 14 June 1911, published November 1911.

JDMV 1912.

Cf. Behnke and Sommer (1955).

…, Koebe aber nur eine gewisse Ahnung, dass sich etwas mit seinem Verzerrungssatz in der Kontinuitäts Methode lasse, mitbrachte.

He quoted the author: ‘The simplest and most natural of all these proofs [of the uniformisation theorem] is the first one given by Koebe.’ Modesty was not one of Koebe’s defects.

Brouwer (1912d).

Of which only a few have survived.

Brouwer (1912f).

I.e. the notes for the Göttinger Gesellschaft submitted by Klein and Hilbert on 13 January 1912.

Undated letter, mentioned above.

Cf. Alexandrov (1972), Zorin (1972).

Cf. Freudenthal’s commentary; CW II, p. 581 ff.

One of the objections of Koebe to Brouwer’s note.

Fricke and Klein (1897, 1912)

Lebenspendend.

14 January 1912, see CW II, p. 585.

Brouwer to Hilbert, 9 March 1912.

There goes the great function theorist.

The greatest function theorist of Luckenwalde.

Freudenthal (1984).

All of Europe talks about it: Koebe is mailing reprints.

Van de Waerden to Van Dalen, 25 February 1992.

Freudenthal in CW II, p. 575.

See CW II, p. 571. The sticker summed up Brouwer’s grievances mentioned above.

100

Koebe to Hilbert, 29 February 1912.

101

Koebe (1914).

102

On the absence of singularities of the module manifold, Brouwer (1912f).

103

rühmlichst bekannt.

104

Brouwer (1919i).

105

von einer mir unbekannten Hand.

106

Klein (1923).

107

Wesen der Kontinuitätsmethode, ‘after lectures held at the meetings of the German Mathematical Society in September 1913 in Vienna and September 1935 in Stuttgart’, Koebe (1936).

108

On the continuity proof of the fundamental theorem, Klein (1923).

109

Wiessing (1960), p. 143 ff.

110

High school, see p. 4.

Alexander, J.W.: A proof and extension of the Jordan–Brouwer separation theorem. Trans. Am. Math. Soc. 23, 333–349 (1922) MATHCrossRef

Alexandroff, P., Hopf, H.: Topologie I. Springer, Berlin (1935)

Alexandrov, P.S.: Poincaré and topology. Russ. Math. Surv. 27, 157–166 (1972) CrossRef

Baire, R.: Sur la non-applicabilité de deux continus à n et n+p dimensions. C. R. Math. Acad. Sci. Paris 144, 318–321 (1907a) MATH

Baire, R.: Sur la non-applicabilité de deux continus à n et n+p dimensions. Bull. Sci. Math. 31, 94–99 (1907b)

Beardon, A.F.: A Primer on Riemann Surfaces. Cambridge University Press, Cambridge (1984) MATH

Behnke, H., Sommer, F.: Theorie der analytische Funktionen. Springer, Berlin (1955) CrossRef

Brouwer, L.E.J.: Het wezen der meetkunde. Clausen, Amsterdam (1909a). Inaugural address privaat docent, 12.10.1909. Also in Brouwer (1919b) MATH

Brouwer, L.E.J.: Die Theorie der endlichen continuierlichen Gruppen unabhängig von den Axiomen von Lie. In: Castelnuovo, G. (ed.) Atti IV Congr. Intern. Mat. Roma, vol. 2, pp. 296–303. Acad. Naz. Lincei, Roma (1909b)

Brouwer, L.E.J.: Beweis des Jordanschen Kurvensatzes. Math. Ann. 69, 169–175 (1910a). Corr. in Brouwer (1910i, 1919o) MathSciNetMATHCrossRef

Brouwer, L.E.J.: Beweis der Invarianz der Dimensionenzahl. Math. Ann. 70, 161–165 (1911b) MathSciNetMATHCrossRef

Brouwer, L.E.J.: Über Abbildung von Mannigfaltigkeiten. Math. Ann. 71, 97–115 (1911c). Corr. in Brouwer (1911h, 1921c) MathSciNetCrossRef

Brouwer, L.E.J.: Beweis der Invarianz des n-dimensionalen Gebiets. Math. Ann. 71, 305–313 (1911d) MathSciNetCrossRef

Brouwer, L.E.J.: Beweis des Jordanschen Satzes für den n-dimensionalen Raum. Math. Ann. 71, 314–319 (1911e) MathSciNetCrossRef

Brouwer, L.E.J.: Zur Invarianz des n-dimensionalen Gebiets. Math. Ann. 72, 55–56 (1912c) MathSciNetMATHCrossRef

Brouwer, L.E.J.: Über die topologischen Schwierigkeiten des Kontinuitätsbeweises der Existenztheoreme eindeutig umkehrbarer polymorpher Funktionen auf Riemannschen Flächen (Auszug aus einem Brief an R. Fricke). Nachr. Akad. Wiss. Gött. Math.-Phys. Kl., 2B 999, 603–606 (1912d)

Brouwer, L.E.J.: Sur l’invariance de la courbe fermée. C. R. Math. Acad. Sci. Paris 154, 862–863 (1912e) MATH

Brouwer, L.E.J.: Über die Singularitätenfreiheit der Modulmannigfaltigkeit. Nachr. Akad. Wiss. Gött. Math.-Phys. Kl., 2B 999, 803–806 (1912f)

Brouwer, L.E.J.: Über den Kontinuitätsbeweis für das Fundamentaltheorem der automorphen Funktionen im Grenzkreisfall. Jahresber. Dtsch. Math.-Ver. 21, 154–157 (1912g)

Brouwer, L.E.J.: Continuous one-one transformations of surfaces in themselves, V. K. Ned. Akad. Wet. Proc. Sect. Sci. 15, 352–360 (1912h)

Brouwer, L.E.J.: Beweis der Invarianz der geschlossenen Kurve. Math. Ann. 72, 422–425 (1912i) MathSciNetMATHCrossRef

Brouwer, L.E.J.: On looping coefficients. K. Ned. Akad. Proc. 15, 113–122 (1912j)

Brouwer, L.E.J.: Über den natürlichen Dimensionsbegriff. J. Reine Angew. Math. 142, 146–152 (1913a). Corr. in Brouwer (1924h) MATH

Brouwer, L.E.J.: Énumération des groupes finis de transformations topologiques du tore. C. R. Math. Acad. Sci. Paris 168, 845–848 (1919f) MATH

Brouwer, L.E.J.: Énumération des groupes finis de transformations topologiques du tore. C. R. Math. Acad. Sci. Paris 168, 1168 (1919g)

Brouwer, L.E.J.: Über eineindeutige stetige Transformationen von Flächen in sich, VI. K. Ned. Akad. Wet. Proc. Sect. Sci. 21, 707–710 (1919i)

Brouwer, L.E.J.: Zur Geschichtsschreibung der Dimensionstheorie. K. Ned. Akad. Wet. Versl. Gewone Vergad. Afd. Natuurkd. 37, 626 (1928e)

Dieudonné, J.: A History of Algebraic and Differential Topology, 1900–1960. Birkhäuser, Basel (1989) MATH

Freudenthal, H.: The cradle of modern topology, according to Brouwer’s inedita. Hist. Math. 2, 495–502 (1975) MathSciNetMATHCrossRef

Freudenthal, H.: Een manuscript van Brouwer. In: Tweehonderd Jaar Onvermoeide Arbeid. Tentoonstellingscatalogus, vol. 2, pp. 43–55. Mathematisch Centrum, Amsterdam (1979)

Freudenthal, H.: A bit of gossip: Koebe. Math. Intell. 6, 77 (1984) CrossRef

Fricke, R., Klein, F.: Vorlesungen über die Theorie der automorphen Functionen I. Teubner, Leipzig (1897)

Fricke, R., Klein, F.: Vorlesungen über die Theorie der automorphen Functionen II. Teubner, Leipzig (1912)

Hadamard, J.: Sur quelques applications de l’indice de Kronecker. In: Tannéry, J. (ed.) Introduction à la théorie des fonctions, 2nd edn., vol. 2, pp. 437–477 (1910)

Hopf, H.: Ein Abschnitt aus der Entwicklung der Topologie. Jahresber. Dtsch. Math.-Ver. 68, 182–192 (1966) MathSciNetMATH

Johnson, D.M.: The problem of the invariance of dimension in the growth of modern topology, part I. Arch. Hist. Exact Sci. 20, 97–188 (1979) MathSciNetMATHCrossRef

Johnson, D.M.: The problem of the invariance of dimension in the growth of modern topology, part II. Arch. Hist. Exact Sci. 25, 85–267 (1981) MathSciNetMATHCrossRef

Klein, F.: Zum Kontinuitätsbeweise des Fundamentaltheorems. In: Bessel-Hagen, E., Fricke, R., Vermeil, H. (eds.) Gesammelte Mathematische Abhandlungen III, vol. 3, pp. 731–741. Springer, Berlin (1923) CrossRef

Klein, F.: Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert II. Springer, Berlin (1927)

Koebe, P.: Zur theorie der konforme Abbildung und Uniformisierung (Voranzeige). Sitzungsber. Sächs. Akad. Wiss. Leipz., Math.-Nat. Wiss. Kl. 66, 67–75 (1914)

Koebe, P.: Wesen der Kontinuitätsmethode. Dtsch. Math. 1, 859–879 (1936)

Kühnau, R.: Paul Koebe und die Funktionentheorie. In: Schumann, H., Beckert, H. (eds.) 100 Jahre Mathematisches Seminar der Karl-Marx-Universität Leipzig, pp. 183–194. VEB Deutscher Verlag der Wissenschaften, Leipzig (1981)

Lebesgue, H.: Sur la non-applicabilité de deux domaines appartenant respectivement des espaces à n et n+p dimensions (Extrait d’une lettre à M.O. Blumenthal). Math. Ann. 70, 166–168 (1911a) MathSciNetCrossRef

Lebesgue, H.: Sur l’invariance du nombre de dimensions d’un espace et sur le théorème de M. Jordan relatif aux variété fermées. C. R. Math. Acad. Sci. Paris 152, 841–843 (1911b) MATH

Lebesgue, H.: Sur les correspondances entre les points de deux espaces. Fundam. Math. 2, 256–285 (1921) MATH

Nevanlinna, R.: Uniformisierung. Springer, Berlin, (1953) MATHCrossRef

Noether, E., Cavaillès, J.: Briefwechsel Cantor–Dedekind. Hermann, Paris (1937) MATH

Poincaré, H.: Les méthodes nouvelles de la mécanique céleste. III. Gauthier-Villars, Paris (1899)

Schoenflies, A.: Die Entwicklung der Lehre von den Punktmannigfaltigkeiten. II. Teubner, Leipzig (1908) MATH

Wiessing, H.: Bewegend Portret. Moussault, Amsterdam (1960)

Young, G.C., Young, W.H.: The Theory of Sets of Points. Cambridge University Press, Cambridge (1906) MATH

Zoretti, L.: Review of A. Schoenflies’ “Entwicklung der Lehre von den Punktmannigfaltigkeiten. II”. Bull. Soc. Math. Fr. 35, 283–288 (1911)

Zorin, V.K.: On Poincaré’s letter to Brouwer. Russ. Math. Surv. 27, 166–168 (1972)

Titel: The New Topology
verfasst von: Dirk van Dalen
Verlag: Springer London
Buch: L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
Print ISBN: 978-1-4471-4615-5

Electronic ISBN: 978-1-4471-4616-2

Copyright-Jahr: 2013
DOI: https://doi.org/10.1007/978-1-4471-4616-2_5

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner