Cauchyscher Grenzwertsatz
# Cauchyscher Grenzwertsatz

Der Cauchysche Grenzwertsatz wurde erstmals von dem französischen Mathematiker Augustin Louis Cauchy formuliert. Er ist ein Spezialfall des allgemeineren Satzes von Cesàro–Stolz und besagt: Aus der Konvergenz einer Zahlenfolge folgt die Konvergenz der Cesàro-Mittel der Folge gegen denselben Grenzwert. Oder: Aus $a_{n}\to a$ folgt $(a_{1}+\cdots +a_{n})/n\ \to a$.

## Verwandte Resultate und Erweiterungen

Betrachtet man statt des gewöhnlichen arithmetischen Mittels ein gewichtetes Mittel, so folgt aus der Konvergenz der ursprünglichen Folge auch die Konvergenz der gewichteten Mittel, das heißt, es gilt der folgende Satz:
Sei $(a_{n})$ eine beliebige Folge mit $a_{n}\to a$ und $(p_{n})$ eine Folge positiver Zahlen mit ${\frac {1}{p_{1}+\cdots +p_{n}}}\to 0$. Dann gilt auch: ${\frac {p_{1}a_{1}+\cdots +p_{n}a_{n}}{p_{1}+\cdots +p_{n}}}\to a$ .
Für das geometrische Mittel gilt ebenfalls ein analoger Satz:
Sei $(a_{n})$ eine Folge mit $a_{n}>0$, $a_{n}\to a$. Dann gilt auch: ${\sqrt[{n}]{a_{1}\cdot a_{2}\cdot \cdots \cdot a_{n}}}\ \to a$ .

## Beweis des Cauchyschen Grenzwertsatzes

Sei $\varepsilon >0$ beliebig und $N\in \mathbb {N}$ so gewählt, dass $|a_{k}-a|\leq {\tfrac {\varepsilon }{2}}$ ist für alle $k\geq N$. Wegen $\lim _{n\to \infty }{\frac {1}{n}}\sum _{k=1}^{N}(a_{k}-a)=0$ gibt es ein  $M\in \mathbb {N}$ mit $\left|{\frac {1}{n}}\sum _{k=1}^{N}(a_{k}-a)\right|\leq {\frac {\varepsilon }{2}}$  für $n\geq M$ .
Für alle $n\geq \max(N,M)$ folgt dann
    ${\begin{aligned}\left|{\frac {1}{n}}\left(\sum _{k=1}^{n}a_{k}\right)-a\right|&=\left|{\frac {1}{n}}\sum _{k=1}^{n}(a_{k}-a)\right|=\left|{\frac {1}{n}}\sum _{k=1}^{N}(a_{k}-a)+{\frac {1}{n}}\sum _{k=N+1}^{n}(a_{k}-a)\right|\\&\leq \left|{\frac {1}{n}}\sum _{k=1}^{N}(a_{k}-a)\right|+{\frac {1}{n}}\sum _{k=N+1}^{n}|a_{k}-a|\leq {\frac {\varepsilon }{2}}+{\frac {(n-N)\varepsilon }{2n}}\leq \varepsilon .\end{aligned}}$