ϵ−δϵ−δ\epsilon-\delta Definition für Grenzen mit ∞∞\infty

Für eine allgemeine Begrenzung der ϵ δ Definition einer Grenze (die formale Definition einer Grenze) sagt das aus

lim X     A F ( X ) = L ϵ > 0   (   δ > 0   :   ( 0 < | X A | < δ | F ( X ) L | < ϵ ) )

Jedoch die ϵ δ Definition eines Limits ändert sich für Limits wie X + Und X , und es ändert sich erneut für Grenzwerte, die ausgewertet werden + Und


1. Begrenzen als X +

lim X     + F ( X ) = L   ϵ > 0 (   δ : ( X > δ | F ( X ) L | ϵ ) )

2. Begrenzen als X

lim X     F ( X ) = L   ϵ > 0 (   δ : ( X < δ | F ( X ) L | ϵ ) )

3. Auswertung auf + beschränken

lim X     A F ( X ) = + M > 0   (   δ > 0   :   ( 0 < | X A | < δ F ( X ) > M )

4. Auswertung einschränken auf -

lim X     A F ( X ) = N < 0   (   δ > 0   :   ( 0 < | X A | < δ F ( X ) < N )


Aber warum ist das so? Ich verstehe das, wenn Sie das Normale verwenden ϵ δ Definition einer Grenze In diesen Fällen erhalten Sie Widersprüche, die gerne auftauchen 0 < | X | < δ δ > , mit der man nichts weiter machen kann.

Während einige dieser Unterschiede subtil sein mögen, scheint es einfach kontraintuitiv, eine formale und allgemeine Definition zu ändern.

Ich weiß, dass die Grundidee hinter dem ϵ δ Die Definition bleibt in all diesen Beispielen gleich (dass wir, egal wie klein wir unsere "Fehlerdistanz" machen wollen ( ϵ ) können wir immer eine "Entfernung zu unserem Grenzpunkt" finden ( δ ), die die Definition einer Grenze erfüllt), aber um zu dieser Grundidee zu kommen, die ϵ δ Die Definition muss für jedes dieser Beispiele subtil geändert werden (und ich beziehe mich nicht auf Änderungen in der Notation).

Oder ist es nur so, dass die ϵ δ Definition für die allgemeine Grenze, die ich ganz am Anfang dieses Beitrags gesetzt habe, ist nicht so allgemein, wie ich dachte?


Außerdem, wie funktioniert die ϵ δ Definition einer Grenzwertänderung für diese Fälle (die formalen Definitionen davon scheinen in keinem einführenden Lehrbuch zur Analysis behandelt zu werden).

5. Begrenzen als X + = +

lim X     + F ( X ) = +   ? ? ?

6. Begrenzen als X =

lim X     F ( X ) =   ? ? ?

7. Begrenzen als X = +

lim X     F ( X ) = +   ? ? ?

8. Begrenzen als X + =

lim X     + F ( X ) =   ? ? ?

Wie kannst du nach innen kommen? ϵ der Unendlichkeit?
@JohnDouma Ich verstehe, was du sagst, in diesem Fall sind die letzten 4 Fälle, die ich skizziert habe, durch die nicht beweisbar ϵ δ Definition einer Grenze?
Überlegen Sie, was die Definitionen sagen. Wenn ich mich einem Wert nähere, bekomme ich einen Wert. Wenn dieser Wert unendlich ist, was kein Wert ist, müssen wir sagen, dass wir beliebig groß werden. Verwenden Sie Ihre Nummer 1 als Beispiel, anstatt zu sagen, wenn X ist drinnen δ der Unendlichkeit sagen wir, dass wenn X > δ Dann F ( X ) ist drinnen ϵ von L .
Das Problem besteht darin, dass es schwierig ist, unendlich und unendlich klein zu definieren. Also finden wir Definitionen, die diese problematischen Konzepte vermeiden. Infinitesimal wird < ϵ und unendlich wird > N.
Dies ist etwas fortgeschrittener, aber alle diese Grenzen können mit dem Begriff "Grenze eines Filters" vereinheitlicht werden. Also für endliche Grenzen, wenn F ist ein Filter an X Und F : X Y , dann können wir sagen lim F F ( X ) = L wenn der filter F ( F ) hat Grenze L . Sonderfälle: " X X 0 " würde der Filter von durchstochenen Nachbarschaften sein X 0 ; X wäre der Filter generiert durch ( N , ) ; X X 0 + wäre der Filter generiert durch ( X 0 , X 0 + ϵ ) ; usw.
Und für unendliche Grenzen, könnten wir sagen F ( X )   G als X F Wenn G F F - oder anders gesagt, für jeden S G , F 1 ( S ) F . Also zum Beispiel zu sagen " F ( X ) als X “ würde übersetzen: für alle N , es existiert M so dass wann immer X > M , Dann F ( X ) > N .
Es ist ϵ - δ , nicht ϵ δ . Es ist nämlich ein Strich dazwischen ϵ Und δ , anstelle eines Minuszeichens.
Durch die Verwendung einer kontinuierlichen Funktion wie F ( X ) = X 1 + | X | oder G ( X ) = arctan X , können Sie die Realzahlen in ein offenes Intervall endlicher Länge umwandeln. Durch Hinzufügen der Endpunkte erhalten Sie ein geschlossenes Intervall endlicher Länge, das den reellen Zahlen mit entspricht ± . Dann können Sie die Standarddefinitionen für alles verwenden: lim X H ( X ) = lim u 1 H ( F 1 ( u ) ) = lim u ( π / 2 ) H ( bräunen ( u ) ) Und lim X A H ( X ) = bedeutet lim X A F ( H ( X ) ) = 1 .

Antworten (2)

Um dies zu verstehen, müssen Sie an die Intuition hinter dem denken ϵ - δ Definition. Wir wollen lim X A F ( X ) = L wenn wir machen können F ( X ) so nah dran L wie wir es gerne machen X ausreichend nah dran A . Anders formuliert könnten wir sagen:

lim X A F ( X ) = L wenn eine Nachbarschaft gegeben ist U von L , es gibt eine Nachbarschaft v von A so dass Elemente von v werden abgebildet von F zu Elementen von U (außer evtl A selbst).

In diesem Zusammenhang eine "Nachbarschaft" eines Punktes P sind so zu verstehen, dass "Punkte, die nahe genug beieinander liegen, gemeint sind P ". Lassen Sie uns das präzisieren, indem wir definieren, was wir unter "nahe" verstehen ϵ > 0 (es wird angenommen, ist aber nicht erforderlich, dass es sehr klein ist) definieren

B ( X , ϵ ) := { j : | X j | < ϵ } ,
die Kugel des Radius ϵ um X . Für unsere Zwecke sagen wir U ist eine Nachbarschaft von X Wenn U = B ( X , ϵ ) für einige ϵ > 0 . (Die übliche Definition verlangt nur das U enthält einen solchen Ball.) Angenommen ϵ > 0 sehr klein ist, stimmt dies mit unserer Intuition überein, was Nähe bedeuten sollte. Wenn wir nun auf unsere Nachbarschafts-„Definition“ einer Grenze zurückkommen, sollten Sie in der Lage sein, ein wenig darüber nachzudenken und sich davon zu überzeugen, dass sie der üblichen Definition entspricht.

Wie hängt das mit dem Problem mit der Unendlichkeit zusammen? Angesichts der Tatsache, dass Unendlich keine reelle Zahl ist (und Dinge wie die Entfernung von Unendlich keinen Sinn ergeben), müssen wir überarbeiten, was es bedeutet, "nah" an Unendlich zu sein. So für M > 0 (diesmal als sehr groß angenommen) definieren

B ( + , M ) := { j : j > M } , B ( , M ) := { j : j < M } ,
die Stadtteile von ± . Hoffentlich können Sie erkennen, warum diese als Definitionen sinnvoll sind; eine Zahl sollte nahe unendlich sein, wenn sie sehr groß ist (mit dem richtigen Vorzeichen), also sollte eine Umgebung von unendlich alle ausreichend großen Zahlen enthalten.

Jetzt erweitern wir unsere Nachbarschaftsdefinition von Grenzen um den Fall wo A oder L kann sein ± . Es ist eine ähnliche Übung wie zuvor, jetzt zu überprüfen, ob die Definition immer noch der alten entspricht, nur haben wir jetzt in gewissem Sinne etwas vereinheitlicht.

Nur aus Neugier, wo genau hast du diese Definition her? B ( X , ϵ ) := { j : | X j | ϵ } , wird es zufällig in den Prinzipien der mathematischen Analyse behandelt?
Dies ist eine Standarddefinition in der gesamten Analyse.

Wir müssen hier die formale Definition ändern, weil ± sind keine Mitglieder von R .

Eine Möglichkeit, dies zu verallgemeinern, besteht darin, die Menge zu betrachten R = R { } . Beachten Sie hier, dass wir keinen Unterschied machen zwischen ± . Wir können auf dieser Menge eine Hausdorff-Topologie auf der Grundlage offener Mengen definieren

{ U R : U  ist offen } { B ( δ ) : δ > 0 }
wo wir den offenen Ball über die Unendlichkeit als definieren B ( δ ) = { X R : | X | > δ } . Dieser topologische Raum ist kompakt und wird Ein-Punkt-Kompaktifizierung von genannt R . Es ist homöomorph zu einem Kreis.

(Wenn Sie hier verloren sind, weil Sie noch nie von Topologie gehört haben, stellen Sie sich einfach vor, Sie würden die echte Linie um einen Kreis wickeln und die Enden an einem Punkt zusammenkleben, den wir nennen . Dann „vergiss“ die ursprünglichen Zahlen und behandle alle Teile des Kreises gleich. Insbesondere funktionieren Limits überall auf diesem Kreis gleich.)

Sie können diese Funktion beweisen F : R R ist an einem Punkt stetig A R (unter Verwendung der Standarddefinition für Kontinuität in einem Hausdorff-Raum), wenn die Einschränkung F | R ist stetig bei A . Ebenso kann man beweisen, dass es stetig at ist A = R wenn die Grenzen lim X + | F | R | Und lim X | F | R | existieren (unter Verwendung Ihrer Definitionen für diese Grenzen und der Konvention = | ± | ) Und

lim X + | F | R | = lim X | F | R | = F ( ) .

Es könnte Ihnen gefallen zu bemerken (und zu beweisen), dass, wo es existiert,

lim X + F ( X ) = lim X + 0 F ( 1 / X ) .
Wenn Sie sich über Möbius-Karten informiert haben R , das wirst du finden X 1 / X ist eine Möbius-Kartenaufnahme 0 Und 0 . Diese (algebraische) Definition ist von der Analyse hier inspiriert. Die Möbius-Karten bilden eine Gruppe unter Zusammensetzung und sind sehr wichtig in mehreren Bereichen der Mathematik (zB in der Theorie der modularen Kurven).


In Bezug auf Ihre Definitionen 5-8 waren Sie Ihrer vorherigen Vermutung sehr nahe. Es ist eine nützliche Übung, explizit aufzuschreiben, was Sie mit Sätzen wie „als“ meinen X ".

Wenn wir über beides sprechen X oder F ( X ) zu etwas neigen ± , meinen wir, dass es „wirklich groß wird“ (im positiven oder negativen Sinne). Wir drückten „wirklich nahe kommen“ durch die Verwendung von aus ϵ - δ Definition, mit der Sie zufrieden sind. In Ihren Definitionen 1-4 haben Sie diese geändert, um eine der Aussagen „wirklich nahe dran zu werden“ in eine Aussage „wirklich groß zu werden“ zu ändern.

Ausdrücken X + in 1 haben Sie den relevanten Teil der Aussage in geändert ( δ : X > δ ) . Ausdrücken F ( X ) + in 3 haben Sie den relevanten Teil der Aussage in geändert ( M > 0 : ( δ : F ( X ) > M ) ) .

Wenn wir diese Charakterisierungen zusammenfügen, kommen wir zu der Definition für 5

lim X + ich N F T j F ( X ) = M > 0 ( δ : X > δ F ( X ) > M ) .

Sehen Sie, ob Sie jetzt 6-8 schaffen.