Finden der Grenze anhand des Beispiels ihrer Epsilon-Delta-Definition

Nehmen wir an, wir haben eine Funktion F definiert auf einem Intervall zentriert A R , Und X R .

Wenn wir das wissen

| X A | < δ | F ( X ) L ' | < ε
Wo L ' R Und δ , ε > 0 sind nur zwei beliebige Zufallszahlen (keine vollständige Definition).

Ich denke, dass wir das vernünftigerweise nicht ableiten können

lim X A F ( X ) = L '
weil die Definition der Grenze besagt, dass es für jedes Epsilon ein Delta gibt, wobei wir hier nur den Fall von Epsilons annehmen, die größer oder gleich dem von uns gewählten Wert von Epsilon sind.

Aber was können wir dazu sagen L ' in Bezug auf das Tatsächliche lim X A F ( X ) ?

EDIT : Vergessen hinzuzufügen, dass wir das wissen lim X A F ( X ) existiert.

Auf den ersten Blick sieht es so aus, als ob das tatsächliche Limit alles in diesem Bereich sein könnte [ L ' ε , L ' + ε ] , aber das kann ich mathematisch nicht schlussfolgern.

Antworten (2)

Die Grenze muss gar nicht existieren. Zum Beispiel

F ( X ) = { Sünde 1 X , X 0 0 , X = 0
Dann wähle L ' = 0 , A = 0 , ε = 1.1 Und δ = 1 .

Bearbeiten : Wenn das Limit existiert, haben wir | lim X A F ( X ) L ' | ε . Lassen Sie mich Ihnen zeigen, wie. Wählen Sie eine Sequenz aus X N so dass X N A . Dann finden wir eine N 0 so dass für alle N N 0 wir haben | X N A | < δ . Deshalb diese X N erfüllen | F ( X N ) L ' | < ε . Seit | | stetig ist folgt das Ergebnis.

Oh es tut mir leid. Ich habe vergessen hinzuzufügen, dass wir wissen , dass die Grenze tatsächlich existiert. Ich bin mir nicht sicher, wie ich vergessen konnte, ein so wichtiges Detail zu erwähnen.
Ich habe meine Antwort entsprechend bearbeitet.

Dies ist eine einfache Folge der Grenzwertgesetze in Bezug auf Ungleichungen. Ihre gegebene Bedingung impliziert dies

L ' ϵ < F ( X ) < L ' + ϵ
in einer Nachbarschaft von A . Das Nehmen von Limit schwächt nur die Ungleichungen ab (Sie sollten ein Beispiel konstruieren, das zeigt, dass eine strenge Ungleichheit nach dem Nehmen von Limit nicht garantiert werden kann) und Sie erhalten
L ' ϵ lim X A F ( X ) L ' + ϵ
so dass
| lim X A F ( X ) L ' | ϵ