Intervallschachtelung

1. Definition

Eine Intervallschachtelung ist eine absteigende Folge von abgeschlossenen Intervallen in den Reelle Zahlen mit der Eigenschaft

\begin{align*} I_0 \supset I_1 \supset … \supset I_n \supset … \\ \lim_{n \to \infty}(\mathrm{diam}(I_n)) = 0 \end{align*}