0 Daumen
1k Aufrufe

Aufgabe:

Ich soll zeigen, dass für eine Folge komplexer Zahlen gilt:

(cn)nN konvergiert    ((cn)) und ((cn)) konvergieren.(c_n)_{n \in N} \textrm{ konvergiert} \iff (\Re (c_n)) \textrm{ und }(\Im (c_n)) \textrm{ konvergieren.}

Außerdem soll ich zeigen, dass dann auch gilt:

limncn=limn((c)n)+ilimn((cn))\lim\limits_{n\to\infty}c_n = \lim\limits_{n\to\infty}(\Re (c_)n)+i \cdot \lim\limits_{n\to\infty}(\Im (c_n))


Problem/Ansatz:

Ich kenne die allgemeine Definition von Konvergenz im komplexen. Aber ich verstehe nicht, wie ich jetzt die beiden Implikationen im ersten Teil der Aufgabe zeigen soll. In den reellen Zahlen gilt ja: Wenn an und bn konvergieren, dann konvergiert auch an+bn, hier ist aber ja auch noch so ein Faktor i dazwischen.

Kann man irgendwie bei der Hinrichtung argumentieren, dass wenn eine Folge gegen einen Grenzwert konvergiert auch jede Teilfolge dagegen konvergiert, wobei ich mir nicht sicher bin, ob Re(cn) und Im(cn) überhaupt Teilfolgen von cn sind.


Ich bräuchte da ein wenig Starthilfe.

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort

wobei ich mir nicht sicher bin, ob Re(cn) und Im(cn) überhaupt Teilfolgen von cn sind.

Sind sie nicht, denn deren Folgenglieder sind keine von (cn)n∈ℕ .

Wohl eher so: Seien cn=an+ibn c_n=a_n+i*b_n   und c= a+bi und (cn)nN konvergiertgegenc. (c_n)_{n \in N} \textrm{ konvergiert} gegen c.

==>  Zu jedem ε>0 gibt es ein N, so dass gilt n>N ==> |cn - c| < ε   #

Um zu zeigen , dass die Folgen der Real- und Imaginärteile einzeln konvergieren

und es gilt limncn=limn((c)n)+ilimn((cn)) \lim\limits_{n\to\infty}c_n = \lim\limits_{n\to\infty}(\Re (c_)n)+i \cdot \lim\limits_{n\to\infty}(\Im (c_n)) kann man doch so beginnen:

Sei ε>0. Zu zeigen: Es gibt N1, N2 mit

n>N1 ==> |an - a| < ε und   n>N2 ==> |bn - b| < ε.

Wegen # gibt es für ε ein N, so dass gilt n>N ==> |cn - c| < ε.

Und es ist |cn - c|^2 = (cnc)(cnc) (c_n-c) \cdot \overline{(c_n-c)}

= (cnc)(cnc) (c_n-c) \cdot (\overline{c_n}-\overline{c})

= (an+ibn(a+ib))(anibn(aib)) (a_n+ib_n -(a+ib)) \cdot (a_n-ib_n -(a-ib) )

= (ana)+i(bnb))((ana)i(bnb)) (a_n-a)+i(b_n -b)) \cdot ((a_n-a)-i(b_n -b) )

= (ana)2+(bnb)2 (a_n-a)^2 +(b_n -b)^2

Das sind ja die Quadrate der reellen Beträge.

Also kann man oben fortsetzen :

|cn - c| < ε ==>  |an-a| + |bn-b| < ε

mit Dreiecksungleichung

==>    | (an-a) + (bn-b) | ≤   |an-a| + |bn-b| < ε.

Und wenn die Summe zweier nichtnegativer Zahlen < ε ist,

dann ist das jede einzeln auch, also konvergieren

die  Folgen der Real- und Imaginärteile einzeln und zwar

gegen a bzw. gegen b.

Avatar von 289 k 🚀

Du schreibst:

Und es ist: cnc2=(cnc)(cnc)|cn - c|^2 = (c_n-c) \cdot \overline{(c_n-c)}

Warum genau quadrierst du in diesem Schritt den Betrag? Ich verstehe nicht, ob das irgendwie zur Hauptrechnung gehört, oder ob das eine Nebenrechnung ist und warum man dann cnc<ε==>ana+bnb<ε|cn - c| < ε ==> |an-a| + |bn-b| < ε folgern kann.

Warum genau quadrierst du in diesem Schritt den Betrag?

Ich wollte das Hinschreiben der ganzen Wurzeln einsparen,

aber das war wohl nicht so clever.

Könnte ich denn nicht z.B. zeigen:

ana=(cnc)cnc<eps|a_n -a| = |\Re(c_n-c)| \leq |c_n-c|<eps und

bnb=(cnc)cnc<eps|b_n -b| = |\Im(c_n-c)| \leq |c_n-c|<eps


Ich habe diese Abschätzung mit:

(cnc)cnc|\Re(c_n-c)| \leq |c_n-c|

schonmal gesehen, wenn ich die beweisen könnte würde das doch auch gehen, oder? Da wäre dann nur wieder das nächste Problem xD

Das gilt für jede komplexe Zahl z. Wenn etwa z=a+bi

Dann gilt |z| = √(a2 + b2) ≥ √(a2) = |a| = |Re(z)|.

Mit z= cn-c hast du es. Das scheint mir auch noch

was pfiffiger zu sein als mein Ansatz.

Wunderbar, dank dir für deine Hilfe :D

Ein anderes Problem?

Stell deine Frage