Wie im Titel gefragt:
Gibt es schriftliche Quellen (aus dem 19. Jahrhundert), die ausdrücklich die Annahme vertreten, dass eine Funktion, die die Zwischenwerteigenschaft erfüllt, stetig ist?
(Ich glaube nicht, dass es sinnvoll ist, nach früheren Quellen zu suchen, da der Begriff der Kontinuität selbst erst im 19. Jahrhundert rigoros gemacht wurde. Diese Frage entstand aus einer Antwort, die ich gegeben habe bei Math.Stackexchange. Was folgt, lehnt sich stark an diese Antwort an.)
Wenn ich ein Intervall bin und f: I → ℝ, sagen wir, dass f das hat Zwischenwerteigenschaft genau dann, wenn a ≠ b Punkte von I sind, wenn c zwischen f (a) und f (b) liegt, dann gibt es eine Anzeige zwischen a und b mit f (d) = c.
Bozen veröffentlichte 1817 seine Arbeit Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, das ein entgegengesetzes Ergebnis Rein analytischer Beweis des Satzes, dass zwischen zwei beliebigen Werten, die Ergebnisse mit entgegengesetztem Vorzeichen ergeben, mindestens eine echte Wurzel der Gleichung liegt). Dort beweist er, dass stetige Funktionen die Zwischenwerteigenschaft erfüllen. Wie er in der Arbeit angibt, wurde allgemein angenommen, dass der Satz wahr ist, und es wurden mehrere "geometrische" Argumente angeführt, um ihn zu rechtfertigen.
Andererseits wissen wir jetzt, dass die Zwischenwerteigenschaft ist weitaus schwächer als Kontinuität. Eine schöne Umfrage mit detaillierten Beispielen für Funktionen, die diskontinuierlich sind und dennoch die Zwischenwerteigenschaft haben, ist
I. Halperin, Diskontinuierliche Funktionen mit der Darboux-Eigenschaft , Can. Mathematik. Bull., 2 (2) (Mai 1959), 111-118.
In Halperins Artikel finden wir das amüsante Zitat
Bis zur Arbeit von Darboux im Jahr 1875 glaubten einige Mathematiker, dass die Eigenschaft [der Zwischenwert] tatsächlich die Kontinuität von f (x) implizierte.
Diese Behauptung wird an (vielen) anderen Stellen wiederholt. Zum Beispiel lautet hier
Im 19. Jahrhundert glaubten einige Mathematiker, dass die Eigenschaft [der Zwischenwert] der Kontinuität entspricht.
Dies ist sehr ähnlich zu dem, was wir in A. Bruckner, Differenzierung realer Funktionen , AMS, 1994, finden. Auf Seite 5 lesen wir
Einige Mathematiker des 19. Jahrhunderts glaubten, dass diese Eigenschaft der Eigenschaft der Kontinuität entspricht.
In der Vergangenheit wurde diese Zwischenwerteigenschaft als Definition für die Kontinuität von Funktionen mit realem Wert vorgeschlagen [Zitieren erforderlich].
Ich konnte keine direkte Quelle zum Ausdruck bringen dieser Glaube. Dass dies tatsächlich der Fall war, wird möglicherweise durch die folgenden zwei Zitate aus Gaston Darboux ' Mémoire sur les fonctions, , Ann. Sci. Scuola Norm. Sup., 4, (1875), 161–248. Zuerst lesen wir auf den Seiten 58-59:
Au risque d'être trop long, j'ai tenu avant tout, sans y réussir peutêtre, à être rigoureux. Bien des points, qu'on regarderait à bon droit comme évidents oder que l'on accorderait dans les Anwendungen der Wissenschaft aux fonctions usuelles, doivent être soumis à une Kritik rigoureuse dans l'exposé des Vorschläge Verwandte aux fonctions les plus générales. Zum Beispiel setzt sich die Frage fort, ob es sich nicht um eine Croissante handelt oder ob es sich um ein Intervall handelt, und um eine Frage zu stellen, ob es sich um eine andere Art von Passant handelt, um die valeurs intermédiaires / p>
Darboux 'Arbeit beweist, dass Derivate die Zwischenwerteigenschaft haben und dass es diskontinuierliche Derivate gibt, wodurch zunächst überprüft wird, dass die beiden Begriffe nicht äquivalent sind. (Aus diesem Grund wird die Zwischenwerteigenschaft manchmal als Darboux-Eigenschaft bezeichnet, oder man sagt sogar, dass eine Funktion mit dieser Eigenschaft Darboux-stetig em ist >.)
Der Beweis, dass Ableitungen die Zwischenwerteigenschaft haben, beginnt auf Seite 109, wo wir lesen:
En partant de la remarque précédente, nous allons montrer qu ' il existe des fonctions stellt die qui jouissent d'une propriété que l'on regarde quelquefois comme le caractère ein, wenn die Funktion weiter besteht / blockquote>
Wikipedia erwähnt Folgendes:
Bevor die formale Definition der Kontinuität gegeben wurde, wurde die Zwischenwerteigenschaft als Teil der Definition von a angegeben kontinuierliche Funktion. Zu den Befürwortern gehört Louis Arbogast, der davon ausgegangen ist, dass die Funktionen keine Sprünge aufweisen, die Zwischenwerteigenschaft erfüllen und Inkremente aufweisen, deren Größe den Größen der Inkremente der Variablen entspricht.
Der Artikel zitiert diese Seite, obwohl ich dies nicht anhand der Schriften von Arbogast (oder der verlinkten Seite) überprüfen konnte. In der Tat scheint Arbogast einen Funktionsbegriff zu haben, der wesentlich restriktiver ist als unser moderner Begriff der Kontinuität, und daher gilt dort der Zwischenwertsatz. Ich sehe nicht, dass er die Zwischenwerteigenschaft direkt anspricht oder darauf hinweist, dass dies Kontinuität impliziert. (Angesichts seines Verständnisses, was eine Funktion ist, bin ich mir nicht einmal sicher, ob dies sinnvoll gewesen wäre.)
Lassen Sie mich abschließend fragen:
Wenn es tatsächlich nicht so ist, dass der Glaube an die Gleichwertigkeit dieser beiden Begriffe in der Literatur ausdrücklich angegeben wurde, woher stammt dann die falsche Behauptung? (Ist es in Halperins Zeitung?)