Antworte auf:  Definition der holomorphen Funktion von sulky
Forum:  Holomorphie, moderiert von: Curufin epsilonkugel

[Zur Forum-Gliederung] [Wie man Fragen beantwortet] [Themenstart einblenden]

  Alle registrierten Mitglieder können Mitteilungen schreiben.
Benutzername:
Passwort:
Nachricht-Icon:                   
                  
              
Nachricht:


 
 


Input assistance tools (JavaScript): [Link extern intern] [MathML?] [$$?]
[fed-area] [LaTeX-inline] [LaTeX-display] [Tikz] [hide-area][show-area] [Source code [num.]][?]
 Show Preview      Write using fedgeo formula editor or Latex.

Smilies for your message:
😃 😄 😁 🙂 🙃 😉 🤗 🤫 🤔 🙄 😴 🤒 😎 😮 😲 😂
🙁 😖 😒 😐 😡 👌 👍 👎 🤢 🤧 🥵 🥶 😵 🤯 😛 😷
Optionen: Deaktiviere HTML in dieser Nachricht
Deaktiviere MATHML in dieser Nachricht. Wenn Dein Text $-Zeichen enthält, die nicht LaTeX-Formeln begrenzen.
Deaktiviere Smilies in dieser Nachricht
Zeige die Signatur (Kann in 'Mein Profil' editiert werden.)
    [Abbrechen]
 
Beachte bitte die [Forumregeln]


Themenübersicht
Vercassivelaunos
Senior
Dabei seit: 28.02.2019
Mitteilungen: 1192
 Beitrag No.6, eingetragen 2020-08-29 20:21    [Diesen Beitrag zitieren]
\(\begingroup\)\(\newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\F}{\mathbb{F}} \newcommand{\K}{\mathbb{K}} \newcommand{\E}{\mathbb{E}} \newcommand{\H}{\mathbb{H}} \newcommand{\D}{\mathrm{D}} \newcommand{\d}{\mathrm{d}} \newcommand{\i}{\mathrm{i}} \newcommand{\e}{\mathrm{e}} \newcommand{\diag}{\operatorname{diag}} \newcommand{\span}{\operatorname{span}} \newcommand{\im}{\operatorname{im}} \newcommand{\id}{\operatorname{id}} \newcommand{\grad}{\operatorname{grad}} \newcommand{\zyk}[1]{\Z/#1\Z} \newcommand{\matrix}[1]{\left(\begin{matrix}#1\end{matrix}\right)} \newcommand{\vector}[1]{\left(\begin{array}{c}#1\end{array}\right)} \newcommand{\align}[1]{\begin{align*}#1\end{align*}} \newcommand{\ket}[1]{\left\vert#1\right>} \newcommand{\bra}[1]{\left<#1\right\vert} \newcommand{\braket}[2]{\left<#1\middle\vert#2\right>} \newcommand{\braketop}[3]{\left<#1\middle\vert#2\middle\vert#3\right>} \newcommand{\mean}[1]{\left<#1\right>} \newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert} \newcommand{\lVert}{\left\Vert} \newcommand{\rVert}{\right\Vert} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\F}{\mathbb{F}} \newcommand{\K}{\mathbb{K}} \newcommand{\E}{\mathbb{E}} \newcommand{\H}{\mathbb{H}} \newcommand{\D}{\mathrm{D}} \newcommand{\d}{\mathrm{d}} \newcommand{\i}{\mathrm{i}} \newcommand{\e}{\mathrm{e}} \newcommand{\diag}{\operatorname{diag}} \newcommand{\span}{\operatorname{span}} \newcommand{\im}{\operatorname{im}} \newcommand{\id}{\operatorname{id}} \newcommand{\grad}{\operatorname{grad}} \newcommand{\zyk}[1]{\Z/#1\Z} \newcommand{\matrix}[1]{\left(\begin{matrix}#1\end{matrix}\right)} \newcommand{\vector}[1]{\left(\begin{array}{c}#1\end{array}\right)} \newcommand{\align}[1]{\begin{align*}#1\end{align*}} \newcommand{\ket}[1]{\left\vert#1\right>} \newcommand{\bra}[1]{\left<#1\right\vert} \newcommand{\braket}[2]{\left<#1\middle\vert#2\right>} \newcommand{\braketop}[3]{\left<#1\middle\vert#2\middle\vert#3\right>} \newcommand{\mean}[1]{\left<#1\right>} \newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert} \newcommand{\lVert}{\left\Vert} \newcommand{\rVert}{\right\Vert} \newcommand{\Abb}{\operatorname{Abb}}\)
Hallo sulky,

die Definition des Grenzwertes einer Funktion hängt nicht von deren spezifischem Definitions- und Wertebereich ab. Rein von der Intuition her lautet die Definition: wenn $x$ ausreichend nah an $x_0$ liegt, dann liegt $f(x)$ beliebig nah an $y$. Das notiert man kurz als

\[\lim_{x\to x_0}f(x)=y.\]
Dann muss nur noch festgelegt werden, was man unter beliebig nah und ausreichend nah versteht. Es läuft darauf hinaus, dass $\vert y-f(x)\vert$ beliebig klein gemacht werden kann, wenn $\vert x-x_0\vert$ ausreichend klein ist. Also: man kann $f(x)$ in einen Kreis mit Zentrum $y$ und beliebig kleinem Radius $\varepsilon$ zwingen, indem man $x$ aus einem Kreis mit Zentrum $x_0$ wählt, dessen Radius $\delta$ klein genug gewählt ist.

Beachte, dass hier in keinster Weise davon ausgegangen wurde, dass die auftauchenden Größen reell sind. Sie funktioniert genauso gut für komplexe Zahlen. Dieses Bild des Grenzwertes solltest du im Kopf haben, dann sollte die Definition der komplexen Differenzierbarkeit kein größeres Problem darstellen, als die der normalen, reellen Differenzierbarkeit.

Viele Grüße
Vercassivelaunos

[Die Antwort wurde nach Beitrag No.4 begonnen.]
\(\endgroup\)

Red_
Aktiv
Dabei seit: 28.09.2016
Mitteilungen: 850
Herkunft: Erde

 Beitrag No.5, eingetragen 2020-08-29 20:14    [Diesen Beitrag zitieren]

Das ist die gleiche Definition wie für die relle Differenzierbarkeit im $\mathbb{R}^{2}$.

Aufpassen bei der Formulierung. Das besondere an der komplexen Differenzierbarkeit ist, dass wir in der Definition die Multiplikation der komplexen Zahlen mit einbeziehen (wir teilen durch eine komplexe Zahl). Das führt zu der viel stärkeren Bedingung, dass wenn man dies als Matrix auffasst, eine komplexe Zahl in Matrixform erhält (Cauchy-Riemann DGL).
Bei der reellen Version betrachtet man im Nenner lediglich den Betrag (bzw. Norm).

@sulky: Du schreibst du weißt nicht, wie man eine komplexe Zahl \(z\) gegen eine andere komplexe Zahl \(z_0\) laufen lässt?
Ich hoffe ihr hattet metrische Räume. Denn du hast ja eine Metrik auf den komplexen Zahlen \(d(z,z'):=|z-z'|\) (der ganz normale Betrag).
Komplexe Differenzierbarkeit sagt (wie im normalen Fall), wenn du eine beliebige Folge \(z_n\) nimmst, die gegen \(z_0\) konvergiert (aber in keinem Glied selbst \(z_0\)  ist, sonst teilen wir durch 0...), so konvergiert auch \(\frac{f(z_n)-f(z_0)}{z_n-z_0}\) gegen eine bestimmte Zahl. Das wichtige ist: Egal wie deine Folge \(z_n\) aussieht (solange sie gegen \(z_0\) konvergiert und ungleich \(z_0\) ist), soll bei \(\frac{f(z_n)-f(z_0)}{z_n-z_0}\) immer das gleiche Ergebnis rauskommen. Mache dir das z.B. im reellen Fall an \(f(x)=|x|\) klar, dass es in 0 nicht differenzierbar ist, da zwei unterschiedliche Folgen zu unterschiedliche Werte führen (von links und von rechts einmal an die 0 approximieren).
Und wie du bereits richtig sagtest: Eine komplexe Folge \(z_n\) konvergiert gegen \(z_0\) genau dann, wenn Realteil und Imaginärteil der Folge gegen Realteil und Imaginärteil von \(z_0\) konvergiert.
Anschaulich heißt das nur: In der Ebene wählst du dir eine komplexe Zahl \(z_0\) aus und eine Folge, die ab einem bestimmten Glied sehr nahe an \(z_0\) ist (Epsilon-Definition).

Und bei dem limes Prozess gehst du nicht von zwei Limiten aus, sondern von einem innerhalb der komplexen Zahlen. Der Ausdruck \(\frac{f(z_n)-f(z_0)}{z_n-z_0}\) ist ja selbst eine Folge in den komplexen Zahlen und du guckst, ob dieser konvergiert.
Ich hoffe ich konnte helfen. Was du also nochmal nachschlagen solltest:
-Anschauung der reellen Differenzierbarkeit im eindimensionalen Fall, dann im höher dimensionalen Fall
-metrische Räume und Konvergenz (auch via Anschauung veranschaulichen, damit du eine intuitives Verständnis von diesen Objekten erhälst und versteht, warum sie so definiert wurden, wie sie definiert sind).


Ehemaliges_Mitglied
 Beitrag No.4, eingetragen 2020-08-29 15:43    [Diesen Beitrag zitieren]

Hallo,

Das habe ich nicht gemeint, ich meinte jede Folge $z_{n}$ die gegen $z_{0}$ konvergiert. Das ist die gleiche Definition wie für die relle Differenzierbarkeit im $\mathbb{R}^{2}$. Das konkrete Kriterium für komplexe Differenzierbarkeit sind die Cauchy Riemannschen DGLn. Da wird dann reelle Differenzierbarkeit auf komplexe Zahlen übertragen.

Gruß von BigR2020


sulky
Aktiv
Dabei seit: 21.12.2009
Mitteilungen: 1651
 Beitrag No.3, eingetragen 2020-08-29 14:40    [Diesen Beitrag zitieren]

hallo strglaltenft und BigR

Vielen Dank für eure schnelle antworten.

Also das was BigR gesagt hat deute ich so, dass die Funktion genau dann an $z_0$ komplex differenzierbar ist, wenn sich $z$ auf beliebigem Weg auf einem einfach zusammenhängendem, offenen $\Omega \subset \mathbb{C}$ dem $z_0$ nähern kann.

Dies ist zwar einleuchtend, hilft aber nicht weiter.
Wir wollen ja einfach die opperation $lim_{z\to z_0}\frac{f(z)-f(z_0}{z-z_0}$ ausführen können.



Ehemaliges_Mitglied
 Beitrag No.2, eingetragen 2020-08-29 14:01    [Diesen Beitrag zitieren]

Hallo,

Falls jede Folge $z_{n}$ die gegen $z_{0}$ strebt den eindeutigen Grenzwert $f'(z_{0})$ ergibt, spricht man von komplexer Differenzierbarkeit an der Stelle $z_{0}$.

Gruß von BigR2020


StrgAltEntf
Senior
Dabei seit: 19.01.2013
Mitteilungen: 6687
Herkunft: Milchstraße

 Beitrag No.1, eingetragen 2020-08-29 13:41    [Diesen Beitrag zitieren]

Hallo sulky,

2020-08-29 10:49 - sulky im Themenstart schreibt:
So bin ich sehr skeptisch ob dies mathematisch korrekt ist, schliesslich haben wir in der Reelen Analysis gesehen, dass man nicht in jedem Fall die $lim$ vertauschen darf.

Wie lässt man korrekt $z$ gegen $z_0$  laufen?

Deine Skepsis trügt hier nicht. Um das Vertauschen geht es hier noch nicht einmal. Stichwort: \(\epsilon-\delta\)


sulky
Aktiv
Dabei seit: 21.12.2009
Mitteilungen: 1651
 Themenstart: 2020-08-29 10:49    [Diesen Beitrag zitieren]

Hallo zusemmen,

Ich stolpere über die Definition einer holomorphen Funktion.

Ich erinnere mich, wie bereits in Analysis I die Definition des $lim$ komplett vergessen ging und mir hier auf MP es jemand genau erklärt hat.

Nun wiederholt sich die Frage im Komplexen.

$\lim_{z \to z_0}\frac{f(z)-f(z_0)}{z-z_0}$

Nun weiss ich nicht, wie man $z$ gegen $z_0$ gehen lassen kann.


Setzte ich nun: $=\lim_{Re(z)\to Re(z_0)} lim_{Im(z)\to Im(z_0)}\frac{f(z)-f(z_0)}{z-z_0}$
So bin ich sehr skeptisch ob dies mathematisch korrekt ist, schliesslich haben wir in der Reelen Analysis gesehen, dass man nicht in jedem Fall die $lim$ vertauschen darf.

Wie lässt man korrekt $z$ gegen $z_0$  laufen?




 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]