↰ 0.1 | Material | 1.2 → |
← 0.5 | HM 2 | 2.1 ↳ |
In der Analysis begegnen wir einem mathematischen Grundprinzip,
das in der linearen Algebra noch keine Rolle gespielt hat:
der Approximation von (komplizierten) Objekten oder Größen
durch einfachere, beherrschbare.
Das erste Problem wird in der Differentialrechnung, das zweite und das dritte werden in der Integralrechnung behandelt.
Approximation
bedeutet hier:
wir nähern uns dem gesuchten Objekt
beliebig nahe an.
Wir werden dies mit Hilfe des Begriffs der Konvergenz von Folgen
präzise fassen.
Eine Folge \((a_n)_{n\in\NN}\) reeller Zahlen gibt zu jeder natürlichen Zahl \(n\in\NN\) ein Folgenglied \(a_n\in\RR\) an.
Wir werden allgemeiner auch Folgen komplexer Zahlen, Folgen von Vektoren, Folgen von Matrizen oder Folgen von Funktionen betrachten.
Alle diese Folgen werden wir aber auf Folgen reeller Zahlen zurückführen.
Die Folge \((a_n)_{n\in\NN}\) mit \(a_n=\frac1n\): \[ a_1=1\,,\quad a_2=\frac12\,,\quad a_3=\frac13\,,\quad a_4=\frac14\,,\quad \ldots \]
Die durch \(a_n:=(-1)^n\) gegebene Folge \((a_n)_{n\in\NN}\): \[ -1\,,\quad 1\,,\quad -1\,,\quad 1\,,\quad -1\,,\quad 1\,,\quad -1\,,\quad \ldots \]
Folgen, die (wie diese) bei jedem Folgenglied das Vorzeichen wechseln, nennt man alternierend.
Eine Folge wird rekursiv definiert, indem man jedes Folgenglied durch seine Vorgänger festlegt und außerdem genügend viele Anfangsglieder vorgibt.
Durch \(b_1:=0\), \(b_2:=1\) und \(b_n:=b_{n-1}+2\,b_{n-2}\) wird eine Folge \((b_n)_{n\in\NN}\) definiert, deren erste Glieder lauten \[ b_1=0\,, \quad b_2=1\,, \quad b_3=1\,, \quad b_4=3\,, \quad b_5=5\,, \quad b_6=11\,, \quad \ldots \]
Ein und dieselbe Folge kann auf sehr verschiedene Arten beschrieben werden.
Die Folge \((b_n)_{n\in\NN}\) aus 1.1.6 stimmt überein mit der Folge \((c_n)_{n\in\NN}\), die definiert wird durch \(c_1:=0\) und \(\forall\,n\in\NN\setminus\{1\}\colon c_n:=2\,c_{n-1}+(-1)^n\).
\(\IA\) Es gilt \(c_1=0=b_1\) und \(c_2=2\,c_1+(-1)^2 = 0+1 = 1 = b_2\).
\(\IS\) Angenommen, die Behauptung \(b_k=c_k\) sei bewiesen für alle \(k\le n\): Dann gilt einerseits
\( \begin{array}{rcl} b_{n+1} & = & b_{n}+2\,b_{n-1} \mathbin{\smash{\mathop{=}\limits^{\IH}}} c_n + 2\,c_{n-1} \\[2ex] & {}={} & 2\,c_{n-1} + (-1)^{n} + 2\,c_{n-1} = 4\,c_{n-1} + (-1)^n \,, \end{array}\)
andererseits aber auch
\( \begin{array}{rcl} c_{n+1} & = & 2\,c_{n}+(-1)^{n+1} = 2\,\left(2\,c_{n-1}+(-1)^n\right) + (-1)^{n+1} \\ & {}={} & 4\,c_{n-1} + 2\,(-1)^n - (-1)^n {}={} 4\,c_{n-1} + (-1)^n \,. \end{array} \)
↰ 0.1 | Material | 1.2 → |
← 0.5 | HM 2 | 2.1 ↳ |