Über allgemeine lineare Mittelbildungen. (Q1476544)

Ist die Folge \((s_n)\) konvergent, so ist bekanntlich auch die Folge \((t_n)\) der arithmetischen Mittel \[ t_p=\frac{s_1+s_2+\cdots+s_p}{p}\quad (p = 1, 2,\dots) \] konvergent und hat denselben Grenzwert, während das Umgekehrte nicht zu gelten braucht. Setzt man in allgemeinerer Mittelbildung \[ t_p = a_{p1} s_1 + a_{p2}s_2 +\cdots + a_{p,n_p}s_{n_p}, \] so wird die Frage aufgeworfen: Wie muß die Matrix \((a_{pq})\) beschaffen sein, damit die Folge \(t_n\) für jede konvergente Folge \((s_n)\) selbst konvergent ausfällt. Als notwendig ergibt sich sofort: 1. \(\lim_{p=\infty} (a_{p1}+a_{p2}+\cdots+a_{p,n_p}) = 1\) d.h. die Zeilensummen müssen den Limes 1 haben. 2. \(\lim_{p=\infty} a_{pq}=0\) \((q= 1, 2,\dots)\), d. h. die Kolonnenglieder müssen den Limes 0 haben. -- Etwas tiefer liegt: 3. \(\sum_q| a_{pq}|\leqq M\), \(p = 1, 2,\dots\), d.h. die Summen der Beträge der Zeilenglieder müssen beschränkt sein. -- Und es zeigt sich nun, daß diese 3 Bedingungen auch stets \textit{hinreichend} sind, um aus \(\lim s_n = s\) auch \(\lim t_n = s\) stets folgern zu können. Mit Hülfe dieser Bedingungen läßt sich dann auch (wenigstens, falls stets \(n_p = p\) und \(a_{pp}\neq 0\)) entscheiden, wann zwei verschiedene Mittelbildungen \((a_{pg})\) und \((b_{pq})\) dasselbe ``Konvergenzfeld'' besitzen, d. h. so beschaffen sind, daß \(a_{p1} s_1 + a_{p2}s_2+\cdots+ a_{pp}s_p\) und \(b_{p1} s_1 + b_{p2}s_2 + \cdots + b_{pp}s_p\) stets gleichzeitig konvergent oder divergent sind. .