Lemma von Toeplitz

mathematischer Lehrsatz aus dem Gebiet der Analysis

Das Lemma von Toeplitz (englisch Toeplitz lemma) ist ein mathematischer Lehrsatz aus dem Gebiet der Analysis, der auf den Mathematiker Otto Toeplitz (1881–1940) zurückgeht und eng mit dem Lemma von Kronecker verwandt ist. Beide Lemmata liefern wichtige Aussagen zur Konvergenz von Folgen reeller Zahlen, die nicht zuletzt für den Beweis des Ersten und Zweiten Gesetzes der großen Zahlen bedeutsam sind.[1][2][3]

Formulierung Bearbeiten

Das Lemma lässt sich wie folgt angeben:[4][2]

Gegeben sei eine reelle Zahlenfolge   aus lauter nichtnegativen Zahlen. Die zugehörige Partialsummenfolge der   soll durchweg aus positiven Zahlen bestehen und unbeschränkt sein.[A 1]
Weiter gegeben sei eine konvergente reelle Zahlenfolge   mit dem Grenzwert   .[A 2]
Dann gilt
  .

Korollar Bearbeiten

Die obige Schlussfolgerung gilt insbesondere – bei sonst gleichen Voraussetzungen – für den Spezialfall  .

Man hat dann also:[4][2]

  .

Allgemeiner Grenzwertsatz Bearbeiten

In seinem Lehrbuch Probability Theory I hat Michel Loève eine noch allgemeinere Fassung des Lemmas von Toeplitz geliefert, welche Matrizen anstelle von Folgen zugrunde legt und dabei das Toeplitz'sche Lemma in der obigen Fassung miteinschließt.[5]

Zu dieser von Loève gegebenen Fassung des Lemmas gehört wiederum eine allgemeiner Grenzwertsatz, der auf einer Arbeit von Otto Toeplitz aus dem Jahre 1911 beruht[A 3] und mit dem eine Verallgemeinerung eines früheren Grenzwertsatzes von Augustin Louis Cauchy vorliegt. Konrad Knopp bezeichnet ihn in seinem Lehrbuch Theorie und Anwendung der unendlichen Reihen auch als Cauchy-Toeplitz'schen Grenzwertsatz .[6]

In seiner am weitesten gehenden Version lässt sich dieser Satz folgendermaßen formulieren:[7]

Gegeben seien eine komplexwertige Nullfolge   sowie eine unendliche Matrix   , deren Elemente also ebenfalls komplexe Zahlen sein sollen.[A 4]
Dabei sollen zusätzlich die folgenden beiden Bedingungen gelten:
(i) Für jeden Spaltenindex   bilden die Elemente der  -ten Spalte von   eine Nullfolge .
(ii) Für jeden Zeilenindex   bilden die Elemente der  -ten Zeile von   eine absolut konvergente Reihe.
Dann gilt:
Bildet man für jeden Zeilenindex   die zugehörige Reihe   , so gewinnt man eine absolut konvergente Reihe und die dadurch gegebene Zahlenfolge   ist ebenfalls eine komplexwertige Nullfolge.

Literatur Bearbeiten

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  1. A. N. Širjaev: Wahrscheinlichkeit. 1988, S. 380–383
  2. a b c Lexikon der Mathematik in sechs Bänden. Fünfter Band. Sed bis Zyl. 2002, S. 213
  3. M. Loève: Probability Theory I. 1977, S. 250 ff.
  4. a b Širjaev, op. cit., S. 383
  5. Loève, op. cit., S. 250
  6. Konrad Knopp: Theorie und Anwendung der unendlichen Reihen. , 6. Auflage, 1996, S. 73 ff., 404 ff.
  7. Knopp, op. cit., S. 404–405

Anmerkungen Bearbeiten

  1. Es ist demnach   mit  .
  2.   ist der Körper der reellen Zahlen.
  3. Hier findet auch die Benennung des Lemmas nach Toeplitz eine Erklärung.
  4.   besteht aus den ganzen Zahlen  .  ist der Körper der komplexen Zahlen, versehen mit der komplexen Betragsfunktion.