Nullfolge

In der Mathematik versteht man unter einer Nullfolge eine Folge (meist von reellen Zahlen), die gegen 0 konvergiert (sich annähert). Jede konvergente Folge kann als die Summe aus einer konstanten Zahl (nämlich ihrem Grenzwert) und einer Nullfolge dargestellt werden.

Zum Beispiel ist die Folge <math>(2^{-n})_{n\in\N}</math> eine Nullfolge reeller Zahlen.

Definition

Sei <math>\mathbb{K} \in \{\R,\Complex\}</math> der Körper der reellen oder komplexen Zahlen. Eine Folge <math>(a_n)_{n \in \N}</math> in <math>\mathbb{K}</math> heißt Nullfolge, falls sie konvergiert und dabei

<math>\lim\limits_{n \to \infty} a_n = 0</math>

gilt.

Anmerkung

Die Menge aller Nullfolgen bildet den Folgenraum <math>c_0</math>, der mit der Supremumsnorm  <math>\textstyle \left\|(a_n)_{n \in \N}\right\|_\infty := \sup_{n\in \N}|a_n|</math>  ein Banachraum wird.

Beispiele

Beispiele für Nullfolgen <math>(a_n)_{n\in\N}</math> sind:

• <math> a_n \,=\, 0</math>,

• <math> a_n \,=\, \frac{1}{n}</math>,

• <math> a_n \,=\, \frac{1}{n^2}</math>,

• <math> a_n \,=\, (-1)^n\frac{1}{n}</math>,

• <math> a_n \,=\, (-0{,}5)^n</math>,

• <math> a_n \,=\, \sqrt[n]{5} - 1</math>.

Sätze

I

Ist <math>(a_n)_{n \in \N} </math> eine Folge in <math>\mathbb{K}</math> und <math>a\in \mathbb{K}</math>, so konvergiert jene gegen den Grenzwert <math>a</math> dann und nur dann, wenn <math>(a_n - a)_{n \in \N} </math> eine Nullfolge ist.<ref></ref>

II

Sind <math>(a_n)_{n \in \N} </math> und <math>(b_n)_{n \in \N} </math> zwei beschränkte Folgen in <math>\mathbb{K}</math> und ist eine davon eine Nullfolge, so ist auch <math>(a_n \cdot b_n)_{n \in \N} </math> eine Nullfolge.<ref></ref>

III

Für eine in <math>\mathbb{K}</math> konvergente Reihe <math> \sum_{n \in \N} {a_n}</math> ist die zugehörige Folge <math>(a_n)_{n \in \N} </math> stets eine Nullfolge.<ref></ref>

IV

Ist <math>(a_n)_{n \in \N} </math> eine alternierende Folge in <math>\R</math> und ist dabei die zugehörige Folge <math>(|a_n|)_{n \in \N}</math><ref group="AE"> <math>| \cdot |</math> ist die reelle Betragsfunktion.</ref> eine monoton fallende Nullfolge, so ist <math> \sum_{n \in \N} {a_n}</math> eine konvergente Reihe.<ref></ref><ref group="AE">Dieser Satz ist als Leibniz-Kriterium bekannt.</ref>

Verallgemeinerung

Sei <math>(G, +, d)</math> eine metrisierbare topologische Gruppe, d. h. eine Gruppe, die mit einer Metrik so ausgestattet ist, dass die Gruppenverknüpfung und die Inversenbildung stetig sind (z. B. die additive Gruppe in einem bewerteten Körper oder normierten Vektorraum).

Eine konvergente Folge in <math>G</math> heißt genau dann Nullfolge, wenn sie gegen das neutrale Element konvergiert.

Die Eigenschaft einer Folge, Nullfolge zu sein, hängt natürlich von der Metrik ab: Die oben als Beispiel angegebene Folge <math>a_n = (-0{,}5)^n</math> ist in <math>\mathbb{Q}</math> eine Nullfolge bezüglich der üblichen Betragsmetrik, jedoch divergiert sie sogar bezüglich des 2-adischen Betrages auf <math>\mathbb{Q}</math>.

Eine Folge in einem normierten Vektorraum ist genau dann eine Nullfolge bezüglich der durch die Norm induzierten Metrik, wenn die Folge der Normen eine Nullfolge in <math>\mathbb{R}</math> ist.

Siehe auch

• Nullfolgenkriterium

Einzelnachweise

<references />

Anmerkungen und Erläuterungen

<references group="AE" />

Weblinks

[[wikt:|Wiktionary: ]] – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

• Nullfolgen auf www.mathematik.net