Ich lerne Real Analysis anhand des Textes Understanding Analysis von Stephen Abbott. Ich möchte, dass jemand überprüft, ob meine Beweise/Gegenbeispiele zur folgenden Übung streng und korrekt sind.
[Abbott, 4.4.6] Nennen Sie jeweils ein Beispiel für Folgendes oder sagen Sie, dass eine solche Anfrage unmöglich ist. Geben Sie für alle Fälle, die nicht möglich sind, eine kurze Erklärung an, warum dies der Fall ist.
(a) Eine stetige Funktion und eine Cauchy-Folge so dass ist keine Cauchy-Folge.
(b) Eine gleichmäßig stetige Funktion und eine Cauchy-Folge so dass ist nicht Cauchy.
(c) Eine stetige Funktion und eine Cauchy-Folge so dass ist keine Cauchy-Folge.
Nachweisen.
(a) Bedenke definiert und kontinuierlich an .
Lassen sei eine Cauchy-Folge in , Wo .
ist eine unbeschränkte Folge, also nicht Cauchy.
(b) Diese Anfrage ist unmöglich.
Vermuten ist eine Cauchy-Folge in . Dann für alle , es existiert , für alle .
Seit ist für alle gleichmäßig stetig , es existiert , so dass für alle Punkte befriedigend , wir haben .
Folglich für alle , es existiert , so dass für alle .
So, ist Cauchy.
(c) Diese Anfrage ist unmöglich.
ist eine abgeschlossene Menge. Für alle Cauchy-Folgen so dass , die Bildfolge . So, ist Cauchy.
Ihre Antworten sind richtig. Die Begründung für die dritte Antwort ist jedoch nicht gut geschrieben. Ich würde es wie folgt formulieren:
Wenn ist eine Cauchy-Folge von Elementen von , dann konvergiert es zu einigen und da ist eine abgeschlossene Teilmenge von , . Also seit ist kontinuierlich, und die Tatsache, dass konvergiert impliziert, dass es sich um eine Cauchy-Folge handelt.
Eine andere Möglichkeit besteht darin, wenn zu sagen eine Cauchy-Folge ist, dann ist sie beschränkt. Also für manche , . Aber die Einschränkung von Zu ist gleichmäßig stetig, und gleichmäßig stetige Funktionen bilden Cauchy-Folgen in Cauchy-Folgen ab.
Die Schrift auf b könnte etwas verbessert werden. Sie möchten damit beginnen , verwenden Sie die gleichmäßige Stetigkeit, um zu erhalten , und verwenden Sie dann, dass die Sequenz Cauchy ist, um zu erhalten dafür speziell . Die Notwendigkeit dafür ist leichter zu erkennen, wenn man das erkennt kommt drauf an Und kommt drauf an .
BCLC