Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Contradictions, from Consistency to Inconsistency Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

A Local-Global Principle for the Real Continuum

verfasst von : Olivier Rioul, José Carlos Magossi

Erschienen in: Contradictions, from Consistency to Inconsistency

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

We discuss the implications of a local-global (or global-limit) principle for proving the basic theorems of real analysis. The aim is to improve the set of available tools in real analysis, where the local-global principle is used as a unifying principle from which the other completeness axioms and several classical theorems are proved in a fairly direct way. As a consequence, the study of the local-global concept can help establish better pedagogical approaches for teaching classical analysis.

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 Coherence of the Product Law for Independent Continuous Events
Nächstes Kapitel Quantitative Logic Reasoning
Fußnoten
1
Precise definitions will be given in Sect. 4. Some of the statements require the Archimedean property: Any real number is upper bounded by a natural number.
 
2
Possibly infinite, e.g., \(\sup \;\mathbb {R} =\inf \;\varnothing =+\infty \), \(\sup \;\varnothing =\inf \;\mathbb {R} =-\infty \), \(\lim \;\pm n=\pm \infty \).
 
3
This is Borel’s statement, also (somewhat wrongly) attributed to Heine, and later generalized by Lebesgue and others [1].
 
4
Although proposed at the same time as Borel’s BL, Cousin has been largely overlooked since. It was only recently re-exhumed as a fundamental lemma for deriving the gauge (Kurzweil–Henstock) integral (e.g. [13]). Ind is much more recent and in fact inspired from LG (see [10, 19]).
 
5
A non-degenerate interval. Hence two adjacent intervals [u, v] and [v, w] (where \(u<v<w\)) are not overlapping since their intersection is reduced to a point.
 
6
Even though the proposed axioms appear to be second-order statements since they are quantified over properties of sets, in fact any property is simply identified to a family of subintervals. Therefore, the axioms only require the basic (first order) ZF theory (with or without the axiom of choice), as is usual when teaching real analysis at an elementary level.
 
7
We found it convenient for later developments that functions assume only finite values in order to leverage on the complete metric space property of the set of function values.
 
8
A literal translation of the French “inégalité des accroissements finis”, which advantageous replaces the “théorème des accroissements finis”, which is the mean value theorem.
 
Literatur
1.
Andre, N.R., M.E. Susannah and E.P. Adam. 2013. An Analysis of the First Proofs of the Heine-Borel Theorem. Convergence, vol. 10 Mathematical Association of America.
2.
Bartle, R.G. 1964, 1976. The Elements of Real Analysis. Wiley.
3.
Bers, L. 1967. On avoiding the mean value theorem. American Mathematical Monthly 74: 5, 583.
4.
Bottazzini, U. 1986. The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass. Springer.
5.
Clark, P.L. 2011. The instructor’s guide to real induction. Preprint.
6.
Cohen, L.W. 1967. On being mean to the mean value theorem. American Mathematical Monthly 74 (5): 581–582.CrossRef
7.
Courant, R., and F. John. 1965. Introduction to Calculus and Analysis I. Wiley. Springer (1989).
8.
Dedekind, R. 1901. Essays on the theory of numbers-Continuity and Irrational Numbers – The Nature and Meaning of Numbers. The Open Court Publishing Company. Dover Publications (1963, 2010).
9.
Dieudonné, J. 1960, 1969. Foundations of Modern Analysis. Academic Press.
10.
Duren, W.L. 1957. Mathematical induction in sets. American Mathematical Monthly 64 (8): 19–22.CrossRef
11.
Ford, L.R. 1957. Interval-additive propositions. American Mathematical Monthly 64 (2): 106–108.CrossRef
12.
Gordon, R.A. 1994. The Integrals of Lebesgue, Denjoy, Perron, and Henstock. Graduate Studies in Mathematics, vol. 4, American Mathematical Society.
13.
Gordon, R.A. 1998. The use of tagged partitions in elementary real analysis. American Mathematical Monthly 105 (2): 107–117.CrossRef
14.
Grabiner, J.V. 1983. Who gave you the epsilon? Cauchy and the origins of rigorous calculus. American Mathematical Monthly 91: 185–194.CrossRef
15.
Guedes de Figueiredo, D. 1973, 1996. Análise I, LTC Editora.
16.
Guyou, C. 1946. Algèbre et Analyse à l’Usage des Candidats aux Grandes Écoles. Paris: Vuibert.
17.
Hathaway, D. 2011. Using continuity induction. The College Mathematics Journal 42 (3): 240–242.CrossRef
18.
Henstock, R. 1963. Theory of Integration. Butterworths.
19.
Jungck, G. 1966. Interval induction. American Mathematical Monthly 73 (3): 295–297.CrossRef
20.
Kalantari, I. 2007. Induction over the continuum. In Induction, Algorithmic Learning Theory, and Philosophy, chap. 5, pp. 145–154. Springer.
21.
Kimber, J.E. 1965. Two extended Bolzano-Weierstrass theorems. American Mathematical Monthly 72 (9): 1007–1012.
22.
Klein, F. 1895. Ueber Arithmetisirung der Mathematik. In Göttinger Nachrichten (Geschäftliche Mittheilungen), p. 82.
23.
Kurzweil, J. 1957. Generalized ordinary differential equations and continuous dependence on a parameter. Czechoslovak Mathematical Journal 7 (3): 418–449.CrossRef
24.
Lages Lima, E. 1989. Análise Real I. Coleção Matemática Universitária.
25.
Lang, S. 1968. Analysis I. Addison-Wesley, Springer (1983, 1997).
26.
Leinfelder, H. 1982. A unifying principle in real analysis. Real Analysis Exchange 8: 511–518.CrossRef
27.
Lützen, J. 2003. The foundation of analysis in the 19th century. In A History of Analysis, chap. 6. Edited by Jahnke, H.N., pp. 155–195. American Mathematical Society.
28.
Moss, R., and G. Roberts. 1968. A creeping lemma. American Mathematical Monthly 75: 649–652.
29.
Rudin, W. 1953, 1964, 1976. Principles of Mathematical Analysis. McGraw-Hill.
30.
Shanahan, P. 1972. A unified proof of several basic theorems of real analysis. American Mathematical Monthly 79 (8): 895–898.CrossRef
Metadaten
Titel
A Local-Global Principle for the Real Continuum
verfasst von
Olivier Rioul
José Carlos Magossi
Copyright-Jahr
2018
Buch
Contradictions, from Consistency to Inconsistency

Print ISBN: 978-3-319-98796-5

Electronic ISBN: 978-3-319-98797-2

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-98797-2_11