b) Was ist hier mit a(n) gemeint? Sind damit die Folgen aus a) gemeint?
Ich diskutiere die Aufgaben für allgemeine Folgen und sage dann noch jeweils etwas zu den Folgen aus a).
I) Unabhängig davon, ob die Folge a rekursiv definiert ist oder explizit, gilt:
Wenn a(n) und b(n) konvergent sind, dann ist auch a(n)*b(n) konvergent und konvergiert gegen das Produkt der Grenzwerte.
Der Beweis erfolgt leicht über die Definition der Konvergenz: wenn der Folgenindex n groß genug ist, wird die Differenz zwischen a(n) und a (bzw. b(n) und b) beliebig klein. Mit anderen Worten: die Folgen e(n) und d(n), die definiert sind durch
e(n) := |b(n)-b|
d(n) := |a(n)-a|
sind Nullfolgen.
Es gilt also:
|b(n)-b|*|a(n)-a| = |b(n)*a(n)-b*a(n)-a*b(n)+a*b| = e(n)*d(n)
Da in b*a(n) und a*b(n) jeweils nur eine Folge enthalten ist, sind deren Konvergenzen trivial und es gilt
b*a(n) → b*a
a*b(n) → a*b
Zu zeigen ist nun nur noch, dass mit e(n), d(n) Nullfolgen auch e(n)*d(n) Nullfolge folgt.
Dass die beiden Folgen Nullfolgen sind, bedeutet, dass für jedes noch so kleine ε ein n0 existiert, sodass für jedes n, das größer ist, |e(n)| < ε gilt.
Für ein gegebenes ε lassen sich also insbesondere auch ein n0 und ein m0 finden, sodass |e(n)|<√ε und |d(m)|<√ε für alle m>m0 und n>n0. Sei nun k0>m0, n0, dann gilt:
|d(k)|*|e(k)| = |d(k)*e(k)| < ε für alle k > k0
Also ist d(n)*e(n) eine Nullfolge.
Damit konvergiert |b(n)*a(n)-b*a(n)-a*b(n)+a*b| gegen 0, also konvergiert b(n)*a(n) gegen b*a, was zu beweisen war.
Dies gilt z.B. im Fall II aus (a).
Wenn a(n) nicht konvergent ist, kann auch b(n)*a(n) nicht konvergieren.
Wenn a(n) nicht konvergiert, bedeutet das, dass ein ε existiert, sodass für alle n0 gilt, dass darüber noch n existieren, für die die Folge die Epsilonumgebung eines jeden Punktes verlässt. Wenn das aber so ist, dann kann auch kein Punkt existieren, in dessen Epsilonumgebung a(n)*b(n) bleibt, es sei denn, b(n) konvergiert gegen 0, aber dazu im zweiten Teil.
Ist a(n) divergent und b(n) ist keine Nullfolge, dann ist auch das Produkt divergent.
Divergenz ist so definiert, dass für alle c ein Index n0 existiert, ab dem alle Folgenglieder größer sind als dieses c. Solange b keine Nullfolge ist, existiert (wegen der Konvergenz) eine untere Schranke K, sodass gilt:
a(n)*b(n) > a(n)*K → ∞
II) Wenn b(n) eine Nullfolge ist, dann braucht a(n) nur beschränkt zu sein, damit das Produkt konvergiert. Denn wenn gilt:
|a(n)| < K, dann gilt:
|b(n)*a(n)| = |b(n)|*|a(n)| < |b(n)|*K → 0
Also geht auch das Produkt gegen 0.
Das trifft auf beide Folgen aus a) zu.
Wenn a(n) divergent ist, also keine solche Schranke existiert, kann keine allgemeine Aussage über die Konvergenz des Produktes getroffen werden.