Fragen zur Epsilon-Delta-Definition eines Grenzwerts

Die Definition einer Grenze, mit der ich arbeite:

Lassen F ( X ) eine Funktion sein, die auf einem offenen Intervall herum definiert ist A (Und F ( A ) muss nicht definiert werden). Wir sagen, dass die Grenze von F ( X ) als X Ansätze A Ist L , dh

lim X A F ( X ) = L

wenn für jeden ϵ > 0 es existiert ein δ > 0 so dass für alle X

0 < | X A | < δ | F ( X ) L | < ϵ

  1. Zunächst einmal, ist diese Definition korrekt? Ich nehme an, offenes Intervall bedeutet nur etwas von der Form ( A , B ) das schließt keine Endpunkte ein, aber brauchen wir nicht auch, dass dieses Intervall kontinuierlich ist? Keine Diskontinuitäten oder Asymptoten oder Sprünge oder verschobene Punkte oder ähnliches? Denn theoretisch könnten wir das machen ϵ > 0 groß genug, um undefinierte oder diskontinuierliche Teile der Funktion abzudecken.

Zum Beispiel

Geben Sie hier die Bildbeschreibung ein

Wenn wir ein wirklich großes Epsilon auswählen, würden wir einen Bereich abdecken, der eine Diskontinuität aufweist. Oder würden wir sagen, dass wir, wenn die Grenze existiert, auch in der Lage sein sollten, ein Delta zu finden, das so klein ist, dass es alle Diskontinuitäten umgeht, sobald wir nahe genug an den gewünschten Punkt herankommen? Ich weiß nicht, ob wir der Definition noch etwas hinzufügen müssen, damit dies funktioniert.

  1. Ich bin verwirrt über die Verwendung von "für alle". Wie bedeuten sie buchstäblich für alle X ? Wie in allen X R ? Alle X In ( , ) ? Oder nur die X wofür 0 < | X A | < δ ist befriedigt? Mir ist nicht klar, wie "alle" referenziert wird X oder wie es normalerweise verwendet wird.
1. Davor steht ein Qualifier "for every". ϵ , also in der Praxis werden Sie festlegen 0 < ϵ (< beliebige Zahl). Sie können einstellen ϵ klein genug (z. B. kleiner als die Sprunghöhe), um die Diskontinuität zu beseitigen. 2. Betrachten Sie die [Dirichlet-Funktion[( en.wikipedia.org/wiki/… ), die jede rationale Zahl zu Eins und sonst zu Null auswertet.

Antworten (3)

Die Definition ist richtig. Beachten Sie, dass machen ϵ größer macht die Bedingung

0 < | X A | < δ | F ( X ) L | < ϵ
einfacher zu befriedigen. Mit anderen Worten, wenn Sie eine finden δ das geht bei manchen ϵ , es funktioniert auch für jeden größeren ϵ . Der eigentliche Inhalt der Definition ist also, egal wie klein ϵ ist, finden Sie immer noch eine δ das funktioniert. Mit anderen Worten, egal wie nah Sie zwingen möchten F ( X ) um zu sein L , finden Sie eine kleine δ so dass wann X ist drinnen δ von A , F ( X ) ist so nah dran L .

"Für alle X "bedeutet wörtlich "für alle". X ". Das ist, X kann alles sein , nicht einmal unbedingt eine Zahl! Es ist nicht notwendig zu erwähnen X eine Zahl sein oder verlangen 0 < | X A | < δ in diesem Teil, denn wenn diese Ungleichung nicht wahr ist, dann die Implikation

0 < | X A | < δ | F ( X ) L | < ϵ
ist vage wahr (eine falsche Aussage impliziert alles). Mit anderen Worten, es sagt, dass egal was passiert X ist, wenn X zufällig eine reelle Zahl ist, so dass 0 < | X A | < δ , Dann | F ( X ) L | < ϵ ist wahr.

(Um es klar zu sagen, damit dies Sinn macht, müssen Sie interpretieren | F ( X ) L | < ϵ als falsch, wenn X ist keine reelle Zahl im Definitionsbereich von F und ähnlich 0 < | X A | < δ als falsch, wenn X ist keine reelle Zahl. Auf diese Weise können Sie der Implikation in jedem Fall einen Wahrheitswert zuweisen X Ist.)

Wenn F ( X ) wird auf einem offenen Intervall definiert, das enthält A , dann wäre das alles nicht X muss schon in der Domäne sein?
Vielleicht, aber die Implikation funktioniert so: 0 < | X A | < δ impliziert | F ( X ) L | < ϵ . Die erste Ungleichheit zwingt schon X ( A δ , A ) ( A , A + δ ) .
Also ist "wenn p dann q" wahr, auch wenn p falsch ist? Das scheint seltsam / möglicherweise problematisch? Warum behaupten wir, dass etwas wahr ist, ohne die Beweise dafür zu haben?
„Wenn p, dann q“ ist als Ganzes immer wahr, wenn p falsch ist. Dies sind die „trivial wahren“ Fälle. Das sagt nichts darüber aus, ob q wahr ist. Wir meinen, dass die Implikation als Ganzes wahr ist, wenn p falsch ist.
„Wenn der Mond aus Käse ist, dann ist 1+1=3“ stimmt das?
Ja. Genau das bedeutet "wenn ... dann ..." in der Mathematik.
Bizarr, aber auch interessant! Ist das per Definition oder ergibt es sich aus einer anderen logischen Konsequenz oder einem anderen Ergebnis? Gibt es eine Möglichkeit zu beweisen, dass für falsches p "wenn p, dann q" wahr ist?
In der abstrakten Logik sind Aussagen entweder wahr oder falsch, und die Kausalität, die das eine verursacht hat, kommt nicht in Frage (zumindest nicht am Anfang). Wenn wir also "Wenn p, dann b" hatten und wir von Gottes eigener Hand wissen, dass es wahr ist, und wir auch wissen, dass b falsch ist, dann muss es so sein, dass p falsch ist. Und wir haben einen Fall von "wenn falsch, dann falsch" muss ... wahr sein.
" 𝑥 kann alles sein, nicht einmal unbedingt eine Zahl!" wirklich? wie was sein könnte X ? Die Definition von Kontinuität durch OP zeigt an, dass man drin ist R daher X sollte drin sein R , NEIN?
  1. Die Definition ist zutreffend. Alle Intervalle sind per Definition zusammenhängend, wenn Sie das mit "kontinuierlich" meinen. Funktionen sind stetig, aber Stetigkeit ist für ein Intervall nicht definiert.

  2. Hier ist die Sache mit Grenzen: Sie kümmern sich einfach nicht um das Verhalten der Funktion weit weg vom Punkt A : Sie sind NUR besorgt über das Verhalten von F ( X ) NAHE A . Wie nah? So nah wie irgendjemand (nicht Sie) will. Mit anderen Worten, Grenzen stellen die Frage: Was passiert, wenn Sie weiter hineinzoomen und weiter hineinzoomen und weiter hineinzoomen, ... Aber Sie kommen nicht wirklich an A . Sie würden also kein großes Epsilon auswählen. Epsilon wird immer als sehr kleine Zahl betrachtet. Übrigens auch Delta.

Du stellst die richtigen Fragen!

Lassen Sie mich Ihnen ein extremes Beispiel geben. Dann beantworte ich Ihre Frage.

Lassen F ( X ) dann die Funktion that.

Wenn X ist dann irrational F ( X ) = 2 + X .

Wenn X = A B Wo A B ist dann eine rationale Zahl in "niedrigsten Begriffen". F ( X ) = 2 + 1 B . (Wir gehen davon aus, dass der Nenner nicht negativ ist, obwohl der Zähler es sein könnte.)

Dann F ( 0 ) ist undefiniert (wie 2 + 1 N ) ist undefiniert) und diese seltsame Funktion ist sicherlich nicht stetig. Ich werde (zu diesem Zeitpunkt) nicht auf die genaue Bedeutung von kontinuierlich eingehen, aber Sie können sehen, dass es abspringt 2 Zu 2 1 B als X geht von rationalen zu irrationalen Werten und als Rationalen mit kleinen Nennern oder unendlich nahe an Rationalen mit hohen Nennern springt es herum wie ein Floh.

Anspruch 1: lim X 0 F ( X ) = 2 .

Anspruch 2: lim X 1 F ( X ) 3

Anspruch 3: lim X 1 F ( X ) = k wird auf jeden Fall falsch sein k wir pflücken.

Um zu beweisen, dass lim X 0 F ( X ) = 2 wir wollen zeigen, dass wir das "erzwingen" können F ( X ) s "sehr nah dran zu sein 2 „Wenn wir das erzwingen X s um "sehr nahe" zu kommen 0 .

Wenn wir das wollen F ( X ) s innerhalb sein 1 4 von 2 wir können das erzwingen X s innerhalb von a sein 1 4 von 0 . Wenn | X | < 1 4 dann entweder X ist irrational bzw X = A B für einige A , B .

Wenn X ist dann irrational F ( X ) = 2 + X . X ist drinnen 1 4 von Null, also F ( X ) ist drinnen 1 4 von 2 .

Wenn X = 0 da haben wir ein problem F ( X ) nicht definiert. Nun, das ist nicht wirklich ein Problem, weil uns das Verhalten von interessiert F ( X ) nahe 0 . Nicht bei 0 .

Wenn X = A B ist rational und X 0 Und | X | < 1 4 Dann B 4 Und 1 B < 1 4 . Das bedeutet F ( X ) = 2 + 1 B ist so das 2 < F ( X ) < 2 + 1 4 So F ( X ) ist mit 1 4 von 2 .

Also zwangen wir F ( X ) drin sein 1 4 von 2 durch Zwang X drin sein 1 4 von 0 .

Das war ein Beispiel, können wir uns etwas für alle Entscheidungen einfallen lassen , wie nah wir uns sein wollen?

Wenn wir wollen F ( X ) drin sein ϵ von 2 für jeden sehr sehr kleinen Wert von ϵ , können wir dies durch Erzwingen tun X drin sein δ = ϵ von 0 .

Wenn X ist irrational, F ( X ) = 2 + X . Aber X ist drinnen ϵ von 0 So F ( X ) liegt innerhalb von Epsilon von 2 .

Wenn X ist rational und X = A B ; A 0 Und | A B | < δ = ϵ . Dann B > 1 ϵ . SO F ( X ) = 2 + 1 B < 2 + ϵ . So F ( X ) ist drinnen ϵ von 2 .

Das tut es also. Wir können zwingen F ( X ) so nah sein 2 wie wir wollen durch Erzwingen X in einer bestimmten Entfernung sein 0 .

Anspruch 2: Versuch zu erzwingen F ( X ) zu etwas nahe sein 3 durch Zwang X zu etwas nahe sein 1 .

Versuchen wir es mit Gewalt F ( X ) drin sein 1 4 von 3 .

Nun, egal, wie nah wir gewählt haben X sein 1 wir werden eine rationale finden, R mit einem Nenner mehr als 4 Und F ( X ) = 2 + 1 4 < 2 + 1 4 und das wird nicht innerhalb sein 1 4 von 3 .

In der Tat für jeden X < 1 oder X > 1 die wir auswählen, werden wir feststellen, dass wir immer feststellen können, dass es eine ganze Zahl gibt N > 1 | X 1 | und entweder X < 1 1 N oder 1 + 1 N < X und so F ( 1 ± 1 N ) = 2 + 1 N aber es wird auch eine Irration geben j so dass X < j < 1 oder 1 < j < X . Und F ( X ) ist drinnen | X 1 | von 3 .

Also können wir nichts erzwingen F ( X ) an irgendetwas herankommen X = 1 .

....

Hoffentlich macht das die Definition klarer.

lim X A F ( X ) = L bedeutet

Für jede Distanz ϵ > 0 , egal wie klein, wir können zwingen F ( X ) drin sein ϵ von L (also Kraft | F ( X ) L | < ϵ ), indem man a findet δ damit, wann immer wir haben X innerhalb δ von A (dh | X A | < δ ) müssen wir haben | F ( X ) L | < ϵ .

Also zu deinen Fragen:

1) "Ich nehme an, offenes Intervall bedeutet nur etwas von der Form (a,b), das keine Endpunkte enthält, aber brauchen wir nicht auch, dass dieses Intervall kontinuierlich ist?"

Das offene Intervall liegt um die Eingänge herum A . Mit den Ausgängen hat das nichts zu tun F ( X ) , die wie Flöhe herumhüpfen können (vorausgesetzt, der Hüpfer wird immer kleiner X ist in der Nähe A .

Das alles sagt also aus, dass es einen kleinen Bereich gibt A wo all die X um A werde haben F ( X ) gut definiert.

2) "Ich bin verwirrt über die Verwendung von "für alle". Bedeuten sie wörtlich "für alle x"?

Nein. Sie meinen alle X so dass | X A | < δ . Mit anderen Worten, sie meinen alle X ( A δ , A + δ ) .

Die Verwendung von „für alle X " hier scheint die andere Antwort von Eric zu widersprechen - ich bin mir nicht sicher, was ich glauben soll!
Du hast recht, dass Eric und ich das „für alle“ unterschiedlich interpretieren. Aber wir interpretieren es beide auf gleichwertige Weise. "Für alle x, wenn x K tut, dann ..." hat genau das gleiche Ergebnis wie "Für alle x, wo x K tut, dann ...". In Erics lassen wir x alles sein, aber wir schauen nur, was passiert, wenn x K macht. In meinem Fall schauen wir nur auf das x, wo x K macht. Am Ende sehen wir beide dasselbe. Ich denke, sprachlich und erklärungsmäßig, meine ist klarer. Beim erneuten Lesen denke ich jedoch, dass Eric buchstäblich richtiger ist, wie die Definition formuliert wurde.