Summen und Produkte – Analysis I (Kap. 1-9)

3.1 Summen und Produkte

Sei $n \in ℕ$ und seien $a_{1}, \dots, a_{n} \in ℂ$ oder $a_{1}, \dots, a_{n}$ Elemente eines Vektorraums $V$ (wie zum Beispiel $ℝ^{d}$ für ein $d \geq 1$ ). Wir wollen hier für eine natürliche Zahl $n \in ℕ$ die Summe von $a_{1}$ bis $a_{n}$ , also

$\begin{array}{l} \sum_{j = 1}^{n} a_{j} = a_{1} + \dots + a_{n}, \end{array}$

besprechen und formal korrekt definieren.

Vom formalen Standpunkt her gesehen ist $j \mapsto a_{j} \in V$ eine Funktion, (die oft auch durch eine konkrete Formel gegeben sein wird und) deren Definitionsbereich die Menge

${j \in ℕ ∣ 1 \leq j \leq n}$

enthalten muss. Wir können $\sum_{i = 1}^{n} a_{j}$ rekursiv definieren durch

$\sum_{j = 1}^{1} a_{j} = a_{1} und \sum_{j = 1}^{k + 1} a_{j} = (\sum_{j = 1}^{k} a_{j}) + a_{k + 1}$

für $k \in {1, \dots, n - 1}$ . Diese Definition entspricht einem einfachen rekursiven Algorithmus, um die Summe $\sum_{i = 1}^{n} a_{j}$ zu berechnen. Allgemeiner ist die Summe $\sum_{i = m}^{n} a_{j}$ für ganze Zahlen $m, n$ ebenso rekursiv durch

$\begin{array}{l} \sum_{j = m}^{n} a_{j} = {\begin{matrix} 0 & falls m > n, \\ a_{m} & falls m = n und \\ (\sum_{j = m}^{n - 1} a_{j}) + a_{n} & falls m < n \end{matrix} \end{array}$

definiert. Wir werden $a_{j}$ als die Summanden und $j$ als den Index der Summe $\sum_{j = 1}^{n} a_{j}$ bezeichnen.

Falls nun $m, n$ ganze Zahlen und $a_{m}, \dots, a_{n} \in ℂ$ sind, dann können wir auch das Produkt $\prod_{j = m}^{n} a_{j}$ von $a_{m}$ bis $a_{n}$ rekursiv durch

$\begin{array}{l} \prod_{j = m}^{n} a_{j} = {\begin{matrix} 1 & falls m > n, \\ a_{m} & falls m = n und \\ (\prod_{j = m}^{n - 1} a_{j}) \cdot a_{n} & falls m < n \end{matrix} \end{array}$

definieren. Wir werden $a_{j}$ als die Faktoren und $j$ als den Index des Produkts $\prod_{j = m}^{n} a_{j}$ bezeichnen.

Der Index $j$ in der Summe $\sum_{j = 1}^{n} a_{j}$ oder dem Produkt $\prod_{j = 1}^{n} a_{j}$ hat ausserhalb der Summe oder dem Produkt keinerlei Bedeutung; er ist sozusagen eine interne Variable für das rekursive Teilprogramm und wird von einem Programm, welches das Teilprogramm aufruft, nicht gesehen. Insbesondere gilt

$\begin{array}{l} \sum_{j = m}^{n} a_{j} = \sum_{k = m}^{n} a_{k} = \sum_{ℓ = m}^{n} a_{ℓ} \end{array}$

und analog für das Produkt. Manchmal werden wir auch eine Indexverschiebung anwenden, wie zum Beispiel in

$\begin{align} \sum_{j = m}^{n} a_{j} = \sum_{k = m - 1}^{n - 1} a_{k + 1} = \sum_{ℓ = m + 1}^{n + 1} a_{ℓ - 1} . & (3.1) \end{align}$

Dies lässt sich direkt mittels vollständiger Induktion beweisen (siehe die folgende Übung), doch wollen wir bemerken, dass es leicht ist, sich diese Formeln zu merken. Statt diese auswendig zu lernen, überprüfen Sie einfach bei Auftreten von Indexverschiebungen dieser Form bei beiden Summen, ob jeweils diesselben Ausdrücke für den ersten und den letzten Summanden auftreten.

Übung 3.1 (Indexverschiebung).

Beweisen Sie Gleichung (3.1) und eine analoge Formel für das Produkt mittels vollständiger Induktion.

Hinweis.

Bei dem Induktionsbeweis bezüglich der Variable $n \geq m$ werden Sie feststellen, dass man genau die Eigenschaften in obiger Merkregel verwendet: Für den Induktionsanfang $n = m$ müssen die ersten Summanden übereinstimmen. Für den Induktionsschritt von $n$ nach $n + 1$ müssen die zusätzlichen (also die letzten) Summanden übereinstimmen.

Der einfachste Fall einer Funktion $j \mapsto a_{j}$ ist der Fall der konstanten Funktion $a_{j} = z$ für ein $z$ und für alle $j$ . In diesem Fall ergibt sich die Summe zu $\sum_{j = 1}^{n} z = n z$ für alle $n \in ℕ$ und $z \in ℂ$ (oder $z$ in einem Vektorraum). Im Falle des Produkts erhalten wir aber die Definition der Potenzfunktion für $z \in ℂ$ und $n \in ℕ$

$\begin{array}{l} z^{n} = \prod_{j = 1}^{n} z, \end{array}$

die somit rekursiv durch

$\begin{array}{l} z^{1} = z und z^{n + 1} = z^{n} z \end{array}$

für alle $n \in ℕ$ definiert ist. Wir nennen $z$ die Basis und $n$ den Exponenten. Wir erweitern diese Definition durch

$\begin{align} z^{0} = 1 & (3.2) \end{align}$

für alle $z \in ℂ$ (insbesondere† Da $z \in ℂ \mapsto z^{0}$ die konstante Funktion mit Wert $1$ darstellt, wäre es sehr eigenartig (und im nächsten Abschnitt bei der Diskussion von Polynomen extrem störend), wenn wir diese Funktion für $z = 0$ undefiniert lassen oder mit einem anderen Wert versehen. Trotzdem ist der Ausdruck $0^{0}$ undefiniert, wenn dieser losgelöst von der Diskussion der Potenzfunktion $z \in ℂ \mapsto z^{n}$ für $n = 0$ auftritt. für $z = 0$ ) und

$\begin{array}{l} z^{- n} = {(z^{n})}^{- 1} \end{array}$

für alle $z \in ℂ^{\times} : = ℂ ∖ {0}$ und $n \in ℕ$ . Die nächste Übung zeigt, dass die so definierte Potenzfunktion die üblichen Rechenregeln erfüllt.

Wichtige Übung 3.2.

Beweisen Sie ${(z w)}^{m} = z^{m} w^{m}$ , $z^{m + n} = z^{m} z^{n}$ und ${(z^{m})}^{n} = z^{m n}$ zuerst für alle $z, w \in ℂ$ und $m, n \in ℕ_{0}$ mit vollständiger Induktion und dann für alle $z, w \in ℂ^{\times}$ und $m, n \in ℤ$ .

Teillösung.

Wir beweisen ${(z w)}^{m} = z^{m} w^{m}$ für alle $z, w \in ℂ$ und $m \in ℕ_{0}$ mittels Induktion nach $m$ . Für $m = 0$ ergibt sich $1 = 1 \cdot 1$ nach Definition. Angenommen die Aussage gilt bereits für ein $m \in ℕ_{0}$ , dann gilt ebenso

${(z w)}^{m + 1} = {(z w)}^{m} (z w) = z^{m} w^{m} z w = z^{m + 1} w^{m + 1} .$

Dies beweist den Induktionsschritt und damit die gewünschte Aussage.

Bemerkung.

Formal gesehen sollten wir auch alle weiteren Rechenregeln in diesem Abschnitt mit vollständiger Induktion beweisen. Da uns diese Beweise aber sehr wenig lehren, werden wir darauf verzichten.

3.1.1 Rechenregeln für die Summe

Die Summe erfüllt für gegebene ganze Zahlen $m, n$ mit $m \leq n$ die Gleichungen

$\begin{array}{l} \sum_{k = m}^{n} (a_{k} + b_{k}) = \sum_{k = m}^{n} a_{k} + \sum_{k = m}^{n} b_{k} \end{array}$

und

$\begin{array}{l} \sum_{k = m}^{n} (c a_{k}) = c \sum_{k = m}^{n} a_{k}, \end{array}$

wobei $a_{m}, \dots, a_{n}$ , $b_{m}, \dots, b_{n}$ in einem reellen (respektive komplexen) Vektorraum $V$ liegen und $c \in ℝ$ (respektive $c \in ℂ$ ) ein Skalar ist. (Die erste Eigenschaft ist eine Mischung aus Assoziativgesetz und Kommutativgesetz für die Addition, und die zweite Eigenschaft ist eine Verallgemeinerung des Distributivgesetzes.)

Diese beiden Eigenschaften (die Summe wird auf die Summe und das skalare Vielfache auf das skalare Vielfache abgebildet) werden auch als Linearität der Abbildung $\sum$ bezeichnet, wobei $\sum$ auf dem Vektorraum $V^{{m, \dots, n}}$ der Funktionen von ${m, \dots, n}$ nach $V$ definiert ist, den Vektorraum $V$ als Zielbereich besitzt, und $(a_{m}, \dots, a_{n}) \in V^{{m, \dots, n}}$ auf $\sum_{k = m}^{n} a_{k}$ abbildet. Wie der Name sagt, wird Linearität ausführlicher in der Linearen Algebra besprochen. Es handelt sich dabei aber auch um eine wichtige Eigenschaft für die Analysis, welche also häufig auftreten.

Des Weiteren gilt die Formel für die Teleskopsumme

$\begin{array}{l} \sum_{k = m}^{n} (a_{k + 1} - a_{k}) & = (a_{m + 1} - a_{m}) + (a_{m + 2} - a_{m + 1}) + \dots + (a_{n} - a_{n - 1}) + (a_{n + 1} - a_{n}) \\ = a_{n + 1} - a_{m} \end{array}$

wobei $a_{m}, \dots, a_{n + 1}$ in einem reellen oder einem komplexen Vektorraum liegen. Formaler argumentiert gilt

$\begin{array}{l} \sum_{k = m}^{n} (a_{k + 1} - a_{k}) & = \sum_{k = m}^{n} a_{k + 1} - \sum_{k = m}^{n} a_{k} = \sum_{j = m + 1}^{n + 1} a_{j} - \sum_{k = m}^{n} a_{k} \\ = (a_{n + 1} + \sum_{j = m + 1}^{n} a_{j}) - (a_{m} + \sum_{k = m + 1}^{n} a_{k}) = a_{n + 1} - a_{m} \end{array}$

wie bereits behauptet. Die Formel für die Teleskopsumme lässt sich zur Abel-Summationsformel verallgemeinern, welche überraschend viele Anwendungen in der Analysis und Zahlentheorie findet.

Übung 3.3 (Abel-Summation).

Seien $a_{1}, \dots, a_{n}, b_{1}, \dots, b_{n} \in ℂ$ . Wir setzen $A_{k} = \sum_{j = 1}^{k} a_{j}$ für $k \in ℕ_{0}$ mit $k \leq n$ . Zeigen Sie die Abel-Summationsformel

$\begin{array}{l} \sum_{k = 1}^{n} a_{k} b_{k} = A_{n} b_{n} + \sum_{k = 1}^{n - 1} A_{k} (b_{k} - b_{k + 1}) . \end{array}$

Verwenden Sie dazu die Gleichung $a_{k} = A_{k} - A_{k - 1}$ für alle $k \in ℕ$ mit $k \leq n$ . Wenden Sie des Weiteren die Abel-Summation auf die Summe $\sum_{k = 1}^{2 n} \frac{{(- 1)}^{k}}{k}$ an.

Lösung.

Wir bemerken zuerst, dass $a_{k} = A_{k} - A_{k - 1}$ für alle $k \in ℕ$ mit $k \leq n$ auf Grund von $A_{0} = 0$ und der rekursiven Definition der Summe $A_{k} = \sum_{j = 1}^{k} a_{j}$ gilt. Nun gehen wir wie vorgeschlagen vor und erhalten

$\begin{array}{l} \sum_{k = 1}^{n} a_{k} b_{k} & = \sum_{k = 1}^{n} (A_{k} - A_{k - 1}) b_{k} \\ = \sum_{k = 1}^{n} A_{k} b_{k} - \sum_{j = 0}^{n - 1} A_{j} b_{j + 1} \\ = A_{n} b_{n} + \sum_{k = 1}^{n - 1} A_{k} (b_{k} - b_{k + 1}), \end{array}$

wobei wir die Linearität der Summe, die Rekursionsformel der Summe und Indexverschiebung verwendet haben.

In dem Spezialfall $a_{k} = {(- 1)}^{k}$ für $1 \leq k \leq 2 n$ ergibt sich (mittels vollständiger Induktion), dass $A_{k} = 0$ für alle geraden $k \leq 2 n$ , insbesondere $A_{2 n} = 0$ , und $A_{k} = - 1$ für alle ungeraden $k \leq 2 n$ . Da die ungeraden ganzen Zahlen $k$ mit $1 \leq k \leq 2 n$ genau die Form $k = 2 ℓ - 1$ für $ℓ = 1, \dots, n$ haben, erhalten wir daraus

$\sum_{k = 1}^{2 n} b_{k} = - \sum_{ℓ = 1}^{n} (b_{2 ℓ - 1} - b_{2 ℓ}) .$

Also entspricht die Abel-Summation in diesem Fall einer Zusammenfassung von jeweils zwei benachbarten Summanden. Falls $b_{k} = \frac{1}{k}$ für $1 \leq k \leq 2 n$ , können wir noch $b_{2 ℓ - 1} - b_{2 ℓ} = \frac{1}{2 ℓ (2 ℓ - 1)}$ in diese Formel einsetzen.

Anstelle der Dreiecksungleichung werden wir oft auch folgende verallgemeinerte Dreiecksungleichung für Summen verwenden.

Wichtige Übung 3.4 (Verallgemeinerte Dreiecksungleichung).

Zeigen Sie, dass für alle Zahlen $a_{1}, \dots, a_{n} \in ℂ$ die Ungleichung

$\begin{array}{l} | \sum_{i = 1}^{n} a_{i} | \leq \sum_{i = 1}^{n} | a_{i} | . \end{array}$

gilt.

Hinweis.

Wenden Sie Induktion nach $n$ an und verwenden Sie die reguläre Dreiecksungleichung und die rekursive Definition der Summe für den Induktionsschritt.

Manchmal wollen wir in einer Summe einen gewissen Summanden getrennt betrachten und dazu die Summe aufteilen. Dies kann dann zum Beispiel für $1 \leq k \leq n$ die Form

$\sum_{j = 1}^{n} a_{j} = \sum_{j = 1}^{k} a_{j} + \sum_{j = k + 1}^{n} a_{j} = \sum_{j = 1}^{k - 1} a_{j} + a_{k} + \sum_{j = k + 1}^{n} a_{j}$

annehmen. In dem Spezialfall $k = 1$ sollte dies aber mit $a_{1} + \sum_{j = 2}^{n} a_{j}$ und in dem Spezialfall $k = n$ mit $\sum_{j = 1}^{n - 1} a_{j} + a_{n}$ übereinstimmen, was auf Grund unserer Definitionen $\sum_{j = 1}^{0} a_{j} = 0$ und $\sum_{j = n + 1}^{n} a_{j} = 0$ in der Tat gilt. (Der formale Beweis erfolgt wiederum mit Induktion nach $n \geq k$ .)

3.1.2 Rechenregeln für das Produkt

Für ganze Zahlen $m \leq n$ und $a_{m}, \dots, a_{n}, b_{m}, \dots, b_{n} \in ℂ$ gilt

$\begin{array}{l} \prod_{k = m}^{n} (a_{k} b_{k}) = (\prod_{k = m}^{n} a_{k}) (\prod_{k = m}^{n} b_{k}) . \end{array}$

Insbesondere ist für alle $c \in ℂ$

$\begin{array}{l} \prod_{k = m}^{n} (c a_{k}) = c^{n - m + 1} (\prod_{k = m}^{n} a_{k}) . \end{array}$

Des Weiteren gilt für alle $a_{m}, \dots, a_{n} \in ℂ ∖ {0}$ die Formel für das Teleskopprodukt

$\begin{array}{l} \prod_{k = m}^{n} \frac{a_{k + 1}}{a_{k}} & = (\prod_{k = m}^{n} a_{k + 1}) (\prod_{k = m}^{n} \frac{1}{a_{k}}) = (\prod_{k = m + 1}^{n + 1} a_{k}) (\prod_{k = m}^{n} \frac{1}{a_{k}}) \\ = a_{n + 1} (\prod_{k = m + 1}^{n} a_{k}) (\prod_{k = m + 1}^{n} \frac{1}{a_{k}}) \frac{1}{a_{m}} = \frac{a_{n + 1}}{a_{m}} . \end{array}$

Lemma 3.5 (Bernoulli’sche Ungleichung).

Für alle reellen Zahlen $a \geq - 1$ und $n \in ℕ_{0}$ gilt ${(1 + a)}^{n} \geq 1 + n a$ .

Beweis.

Wir verwenden vollständige Induktion. Für $n = 0$ haben wir ${(1 + a)}^{n} = 1 = 1 + n a$ . Angenommen die Ungleichung ${(1 + a)}^{n} \geq 1 + n a$ gilt für ein $n \in ℕ_{0}$ . Nach Annahme an $a$ ist $a \geq - 1$ , was in Kombination mit der Annahme an $n$

$\begin{array}{l} {(1 + a)}^{n + 1} & = {(1 + a)}^{n} (1 + a) \\ \geq (1 + n a) (1 + a) = 1 + n a + a + n a^{2} \\ \geq 1 + (n + 1) a \end{array}$

ergibt und damit den Induktionsschritt zeigt. Das Lemma folgt.

■

Übung 3.6 (Archimedisches Prinzip für Potenzen).

Verwenden Sie die Bernoulli’sche Ungleichung und das Archimedische Prinzip (Satz 2.68), um folgende Aussage zu beweisen. Für alle $x, y \in ℝ$ mit $x > 1$ existiert ein $n \in ℕ_{0}$ , so dass $x^{n} \geq y$ .

Lösung.

Sei $a = x - 1 > 0$ . Dann gilt $x^{n} = {(1 + a)}^{n} \geq n a$ auf Grund der Bernoulli’schen Ungleichung. Auf Grund des Archimedischen Prinzip hat $ℕ$ keine obere Schranke in $ℝ$ . Daher und wegen $a > 0$ existiert für jedes $y \in ℝ$ ein $n \in ℕ$ mit $n a > y$ . Zusammen erhalten wir daraus $x^{n} > y$ .

Übung 3.7 (Zifferndarstellungen natürlicher Zahlen).

Sei $q \in ℕ$ eine natürliche Zahl. Zeigen Sie, dass sich jede natürliche Zahl $m$ als Summe der Form $m = \sum_{k = 0}^{ℓ} a_{k} q^{k}$ schreiben lässt wobei $ℓ \in ℕ_{0}$ und die Koeffizienten $a_{0}, \dots, a_{ℓ} \in ℕ_{0} \cap [0, q - 1]$ . Diese Aussage kennen Sie schon für $q = 10$ wegen der Dezimaldarstellung natürlicher Zahlen und vielleicht auch für $q = 2$ wegen der Binärdarstellung. Für ein allgemeines $q$ spricht man auch von der $q$ -nären Darstellung.

Hinweis.

Nach Übung 3.6 existiert für alle $m \in ℕ$ ein $ℓ \in ℕ$ mit $m < q^{ℓ}$ . Sei nun $A (ℓ)$ die Aussage, dass sich jede natürliche Zahl $m$ mit $q^{ℓ} \leq m < q^{ℓ + 1}$ in der gewünschten Form schreiben lässt. Verwenden Sie vollständige Induktion über $ℓ \in ℕ_{0}$ und Division mit Rest für den Induktionsschritt.

3.1.3 Die geometrische Summe

In diesem kurzen Abschnitt möchten wir folgende, vermutlich schon bekannte und für uns später sehr wichtige Formel beweisen.

Proposition 3.8 (Geometrische Summenformel).

Sei $n \in ℕ_{0}$ und $q \in ℂ$ . Dann gilt

$\begin{array}{l} \sum_{k = 0}^{n} q^{k} = {\begin{matrix} n + 1 & falls q = 1 \\ \frac{q^{n + 1} - 1}{q - 1} & falls q \neq 1 \end{matrix} . \end{array}$

Der direkte (aber sicher nicht eleganteste) Beweis verwendet vollständige Induktion:

Beweis.

Für $q = 1$ ist $q^{k} = 1$ für alle $k \in ℕ_{0}$ und die Aussage folgt aus den Eigenschaften der Summe. Sei nun $q \neq 1$ . Für $n = 0$ gilt $\sum_{k = 0}^{0} q^{k} = q^{0} = 1 = \frac{q - 1}{q - 1}$ , was also den Induktionsanfang zeigt. Angenommen die Formel in der Proposition gilt bereits für $n$ . Dann ist

$\begin{array}{l} \sum_{k = 0}^{n + 1} q^{k} = \sum_{k = 0}^{n} q^{k} + q^{n + 1} = \frac{q^{n + 1} - 1}{q - 1} + q^{n + 1} = \frac{q^{n + 1} - 1}{q - 1} + \frac{q^{n + 2} - q^{n + 1}}{q - 1} = \frac{q^{n + 2} - 1}{q - 1}, \end{array}$

womit der Induktionsschritt gezeigt ist und die Proposition folgt.

■

Wir laden Sie dazu ein, in folgender Übung einen eleganteren Beweis zu finden.

Übung 3.9 (Geometrische Summenformel).

Verwenden Sie eine Teleskopsumme um die geometrische Summenformel (Proposition 3.8) für $q \neq 1$ zu beweisen.

Hinweis.

Multiplizieren Sie $\sum_{k = 0}^{n} q^{k}$ mit $q - 1$ .

Übung 3.10 (Eindeutigkeit der Ziffernentwickung natürlicher Zahlen).

Zeigen Sie, dass die $q$ -näre Darstellung einer natürlichen Zahl in Übung 3.7 eindeutig bestimmt ist. Das heisst, für jedes $m \in ℕ$ mit $m = \sum_{k = 0}^{ℓ} a_{k} q^{k}$ und $a_{ℓ} \neq 0$ sind $ℓ \in ℕ_{0}$ und die Koeffizienten $a_{0}, \dots, a_{ℓ} \in ℕ_{0} \cap [0, q - 1]$ eindeutig durch $m$ bestimmt.

Hinweis.

Zeigen Sie zuerst für $b_{0}, \dots, b_{ℓ} \in ℤ$ mit $| b_{k} | < q$ für $k = 1, \dots, ℓ$ die Abschätzung $| \sum_{k = 0}^{ℓ} b_{k} q^{k} | < q^{ℓ + 1}$ . Nehmen Sie indirekt an, dass es eine natürliche Zahl $m$ mit zwei Darstellungen gibt und wählen Sie eine minimale derartige Zahl. Sei nun $m = \sum_{k = 0}^{ℓ} a_{k} q^{k} = \sum_{k = 0}^{ℓ^{'}} a_{k}^{'} q^{k}$ zwei Darstellungen von $m$ . Auf Grund der Minimalität von $m$ muss $ℓ \neq ℓ^{'}$ gelten, doch auf Grund der Abschätzung kann dies zu einem Widerspruch geführt werden.

3.1 Summen und Produkte

Übung 3.1 (Indexverschiebung).

Wichtige Übung 3.2.

Bemerkung.

3.1.1 Rechenregeln für die Summe

Übung 3.3 (Abel-Summation).

Wichtige Übung 3.4 (Verallgemeinerte Dreiecksungleichung).

3.1.2 Rechenregeln für das Produkt

Lemma 3.5 (Bernoulli’sche Ungleichung).

Übung 3.6 (Archimedisches Prinzip für Potenzen).

Übung 3.7 (Zifferndarstellungen natürlicher Zahlen).

3.1.3 Die geometrische Summe

Proposition 3.8 (Geometrische Summenformel).

Übung 3.9 (Geometrische Summenformel).

Übung 3.10 (Eindeutigkeit der Ziffernentwickung natürlicher Zahlen).

License