Continuity axiom in Bolzano’s memoir Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege

Marlena Fila

Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia (2017)

  • Volume: 9, page 37-48
  • ISSN: 2080-9751

Abstract

top
Bernard Bolzano’s paper Rein analytischer Beweis des Lehrsatzes, dass zwischen jezwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelleWurzel der Gleichung liege was published in 1817. It presents a ”purely analytic proof” of the intermediate value theorem for the polynomials of variable x. Aside from polynomials, Bolzano considers other kinds of functions, however the domain of these functions is not clearly defined. In this article, we show that the variable x ranges over real numbers. Specifically, we identify the axioms for the ordered field that Bolzano implicitly applies. We also identify the versions of continuity axiom, and show that while some of them are implicitly applied, others are explicitly stated as ”basics truths”.

How to cite

top

Marlena Fila. "Aksjomat ciagłosci w rozprawie Bernarda Bolzana Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege." Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia 9 (2017): 37-48. <http://eudml.org/doc/296330>.

@article{MarlenaFila2017,
abstract = {Bernard Bolzano’s paper Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege was published in 1817. It presents a ”purely analytic proof” of the intermediate value theorem for the polynomials of variable x. Aside from polynomials, Bolzano considers other kinds of functions, however the domain of these functions is not clearly defined. In this article, we show that the variable x ranges over real numbers. Specifically, we identify the axioms for the ordered field that Bolzano implicitly applies. We also identify the versions of continuity axiom, and show that while some of them are implicitly applied, others are explicitly stated as ”basics truths”.},
author = {Marlena Fila},
journal = {Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia},
keywords = {Bernard Bolzano; Rein analytischer Beweis; continuity axiom; Archimedean axiom},
language = {pol},
pages = {37-48},
title = {Aksjomat ciagłosci w rozprawie Bernarda Bolzana Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege},
url = {http://eudml.org/doc/296330},
volume = {9},
year = {2017},
}

TY - JOUR
AU - Marlena Fila
TI - Aksjomat ciagłosci w rozprawie Bernarda Bolzana Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege
JO - Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia
PY - 2017
VL - 9
SP - 37
EP - 48
AB - Bernard Bolzano’s paper Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege was published in 1817. It presents a ”purely analytic proof” of the intermediate value theorem for the polynomials of variable x. Aside from polynomials, Bolzano considers other kinds of functions, however the domain of these functions is not clearly defined. In this article, we show that the variable x ranges over real numbers. Specifically, we identify the axioms for the ordered field that Bolzano implicitly applies. We also identify the versions of continuity axiom, and show that while some of them are implicitly applied, others are explicitly stated as ”basics truths”.
LA - pol
KW - Bernard Bolzano; Rein analytischer Beweis; continuity axiom; Archimedean axiom
UR - http://eudml.org/doc/296330
ER -

References

top
  1. Artin, E., Schreier, O.: 2007, Algebraische Konstruktion reeller Körper, Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 5 (1926), 85–99; The algebraic construction of real fields, w: M. Rosen (red.), Exposition by Emil Artin, AMS-LMS, 107–118. 
  2. Błaszczyk, P.: 2012, O ciałach uporządkowanych, Annales Academiae Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia 4, 15–30. 
  3. Błaszczyk, P.: 2016, A purely algebraic proof of the Fundamental Theorem of Algebra, Annales Universitatis Paedagogicae Cracoviensis Studia ad Didacticam Mathematicae Pertinentia 8, 6–22. 
  4. Bolzano, B.: 1817, Rein analytischer Beweis des Lehrsatzes, daß zwischen je zwei Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege, Gottlieb Hasse, Praga. 
  5. Bolzano, B.: 2004, Purely analytic proof of the theorem that between any two values which give results of opposite signs, there lies at least one real root of the equation, w: S. Russ (red.), The Mathematical Works of Bernard Bolzano, Oxford University Press, Oxford, 251–263. 
  6. Cohen, L. W., Ehrlich, G.: 1963, The Structure of the Real Number System, Van Nostrand Co., Princeton, New Jersey. 
  7. Dadaczynski, J.: 2006, Bernard Bolzano i idea logicyzmu, Biblos, Tarnów. 
  8. Freudenthal, H.: 1971, Did Cauchy Plagiarize Bolzano?, Archive for the History of Exact Science 7(5), 375–392. 
  9. Grabiner, J.: 1984, Cauchy and Bolzano. Tradition and transformation in the history of mathematics, w: E. Mendelsohn (red.), Transformation and Tradition in the Sciences. Essays in Honor of I. Bernhard Cohen, Cambridge University Press, Cambridge, 105–124. 
  10. Grattan-Guiness, I.: 1970, Bolzano, Cauchy and the ”New Analysis” of the Early Nineteenth Century, Archive for History of exact sciences 6, 372–400. 
  11. Teismann, H.: 2013, Toward a More Complete List of Completeness Axioms, The American Mathematical Monthly 120(2), 99–114. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.