Angeordneter Körper/Cauchyfolge/Charakterisierung mit n0 und n/Fakt/Beweis

Aus Wikiversity
Wechseln zu: Navigation, Suche
Beweis

Eine Cauchy-Folge erfüllt auch die angegebene Bedingung, da man ja setzen kann.
Für die Umkehrung sei vorgegeben. Die Bedingung der Aussage gilt insbesondere für , d.h. es gibt ein derart, dass für jedes die Abschätzung

gilt. Damit gilt aufgrund der Dreiecksungleichung für beliebige die Abschätzung

so dass eine Cauchy-Folge vorliegt.

Zur bewiesenen Aussage