Was genau sind die Unterschiede zwischen echten Grenzwerten mit mehreren Variablen und komplexen Grenzwerten?

  1. Was ich verstehe, ist eine Definition von lim z z 0 F ( z ) = L ist wie folgt. Ist das richtig?

    • 1.1.

    Lassen F = u + ich v eine komplexe Funktion sein, die irgendwann in einer offenen gelöschten Nachbarschaft definiert ist z 0 = ( X 0 , j 0 ) C .

    • 1.2. Ich verstehe, dass das obige übersetzt wird

    Lassen G C . Lassen z 0 = ( X 0 , j 0 ) C . Lassen F : G C . Lassen U Seien Sie eine offene Nachbarschaft von z 0 mit U   { z 0 } G . Wir haben F = u + ich v , für u , v : G R .

    • 1.3. Dann lim z z 0 F ( z ) = L ist definiert als beide ff wahr sind

lim ( X , j ) ( X 0 , j 0 ) u ( X , j ) = ( L )

lim ( X , j ) ( X 0 , j 0 ) v ( X , j ) = ( L ) ,

wobei die reelle Grenzwertdefinition der reellen Multivariable gilt.


  1. Anscheinend ist das obige eine äquivalente Definition der ursprünglichen Definition von lim z z 0 F ( z ) = L was so etwas wie gegeben ist ...

    Für alle ε > 0 , es existiert δ > 0 st | F ( z ) L | < ε wann immer 0 < | z z 0 | = ( X X 0 ) 2 + ( j j 0 ) 2 < δ ABER anscheinend ...

... wir beschränken uns nicht nur auf z = ( X , j ) ( entweder G oder U oder U     { ( z 0 ) } . Ich finde U . ) oder etwas anderes im Fall für echte multivariable Grenzen ? Was ist los? Wie funktioniert ' F ( z ) ' sinnvoll, wenn Sie nicht haben z D Ö M A ich N ( F ) = G ? Und dann trifft das vielleicht sogar auf (1) oben zu.


2.1. UPDATE 1 : Ich habe zwar ein Lehrbuch außerhalb unseres Lehrplans gefunden, in dem es darum geht z G (von G ich meine Domäne von F ), Ich habe gerade ein Lehrbuch in unserem Lehrplan (Brown Churchill) ausgecheckt, das anscheinend nicht vorhanden ist z G . Was ist bitte los?

Geben Sie hier die Bildbeschreibung ein

  • UPDATE 2 : das nächste, was ich je gesehen habe z G ist das z 'hat ein Bild w', aber ich glaube nicht, dass es unbedingt bedeutet z G ... oder idk ... ich denke, "hat ein Bild von w" ist eher eine Annahme als eine Andeutung z G

  1. Insbesondere, was erhalten wir als Unterschied im Fall von v = 0 , dh F = u , dh F ist reellwertig (ich denke, in diesem Fall impliziert (3). ( L ) = 0 )? Ich meine, um den Unterschied zwischen zu fragen

lim ( X , j ) ( X 0 , j 0 ) u ( X , j ) = ( L )

lim z z 0 F ( z ) = L

Wenn es so einen Unterschied gibt, dann denke ich, die 2 lim 's sind tatsächlich anders, als wir nach der "komplexen Grenze" und der "echten Grenze" fragen. Ich denke, sowohl die komplexen als auch die realen Grenzen sind gleich, wenn sie beide existieren, aber anscheinend hat die komplexe Grenze strengere Anforderungen oder so etwas. Der einzige Unterschied in der Ausgabe besteht also darin, ob sie vorhanden sind oder nicht.


Hinweis : Dies ist die korrekte Version der falschen Frage, die ich zuvor gestellt habe .

Die ausreichend klein ϵ Ball ist das, was Ihnen das Äquivalent zu einer offenen, durchstochenen Nachbarschaft bringt (Da die Entfernung größer als 0 ist, eliminiert das F ( z ) und eine offene Menge muss eine offene enthalten ϵ Scheibe um alle ihre Punkte
@Alan danke für den Kommentar. Beachten Sie, dass ich ein Update mit einem Lehrbuch im Lehrplan veröffentlicht habe. 1 - Gibt es also einen Unterschied zwischen reellen und komplexen Grenzen? 2 - also gibt es einen Unterschied zwischen U Und G ?
Im zitierten Text ist der erste Absatz informell. Dies wird durch den Satz "Wir bringen die Definition der Grenze jetzt in einer präzisen und brauchbaren Form zum Ausdruck." Der erste Absatz soll Intuition vermitteln , der zweite Präzision .
@XanderHenderson ok gut in der genauen Version sehe ich keine z G . Aber wenn ich mich auf die intuitive Version beziehe, denke ich, dass es jetzt eine gibt z G . Also ist die genaue Version ohne die intuitive Version falsch?
Wenn z liegt nicht im Bereich von F , was ist dann der Wahrheitswert von | F ( z ) w 0 | < ε ?
@XanderHenderson LOL ok danke, aber der Punkt ist, dass es für real oder komplex dasselbe ist, oder? Übrigens habe ich ein 'Update 2' hinzugefügt.
Davon gehen sie implizit aus z liegt im Bereich von F .
Wenn es heißt "Lass... F an allen Stellen definiert werden z in einer gelöschten Nachbarschaft von z 0 ", das bedeutet ( fast per Definition), dass für ausreichend klein δ , alle z befriedigend 0 < | z z 0 | < δ liegen im Bereich von F . Deckt das Ihre verbleibenden Bedenken ab?
Auch wenn z „hat ein Bild w (unter F )", das ist genau dasselbe wie z in der Domäne von sein F
@MarkS. Vielen Dank an alle. das ist zu seltsam. Aber wie auch immer, ich bin jetzt voller Zuversicht, meinen Lehrer danach zu fragen.

Antworten (1)

Es gibt keinen Unterschied zwischen der „realen Grenze“ und der „komplexen Grenze“. Bei der Definition (2) muss man immer nehmen δ ausreichend klein, damit die durchstochene Bandscheibe 0 < | z z 0 | < δ liegt ganz im Bereich von F . Dies ist wegen der Bedingung (1.1) möglich.

Danke Ted. das ist so seltsam. Eigentlich hat mein Dozent die Vorlesungsnotizen für diesen Teil noch nicht veröffentlicht (oder vielleicht habe ich noch keinen Zugriff auf die Kurs-Webseite), aber im Unterricht sagte mein Dozent etwas darüber, dass komplexe Grenzen strenger sind als echte Grenzen. (bevor ich natürlich meinen lehrer selber frage) hast du schon was davon gehört? Ich glaube, ich habe einige Posts auf Stackexchange über den Unterschied zwischen komplexen und echten Single-/Multivariable-Derivaten in dieser Angelegenheit gesehen, aber ...
... was nur Grenzen betrifft, konnte ich online nichts finden (Stackexchange oder anderswo). (Ich muss die Lehrbücher in unserem Lehrplan noch überprüfen. Aber in 1 Lehrbuch außerhalb des Lehrplans, das ich bisher gesehen habe, heißt es z G )
Die komplexe Ebene C und das echte Flugzeug R 2 sind isometrisch (d. h. sie sind nicht als metrische Räume zu unterscheiden). Da sich der Grenzwert nur um die metrische Struktur kümmert, sind Grenzwerte in der komplexen Ebene identisch mit Grenzwerten in der reellen Ebene. Die Ableitungen in der komplexen und reellen Ebene sind jedoch etwas unterschiedlich – die komplexe Struktur ist "starrer" als die reale Struktur, daher ist es für eine Funktion "schwieriger", komplex differenzierbar als reell differenzierbar zu sein. @JohnSmithKyon
Ted und @XanderHenderson danke! Ich habe ein Update gepostet. Anscheinend in braunem Churchill ist es vielleicht nicht erforderlich z G (von G ich meine Domäne von F ). oder doch?
nvm. Vielen Dank an alle. das ist zu seltsam. Aber egal, ich bin jetzt voller Zuversicht, meinen Lehrer danach zu fragen: Ted, @XanderHenderson et al