Partition eines Intervalls

Eine Partition eines Intervalls ist in der Mathematik eine endliche, streng aufsteigende Folge, die das Intervall in Teilintervalle aufteilt, so dass deren Vereinigung wieder das ursprüngliche Intervall ergibt. Der Begriff ist fundamental für die Definition der Variation.

Partition eines Intervalls

Die Partition eines reellen kompakten Intervalls $[a,b]$, wobei $a,b\in ℝ\cup \{\pm \mathrm{\infty }\}$, ist eine endliche Folge ${\mathrm{\Pi }}_n=(t_0,t_1,\dots ,t_n)$, so dass

$a=t_0<t_1<\dots <t_n=b$

gilt.

Ein Intervall der Form $[t_i,t_{i+1}]$ für $t_i,t_{i+1}\in {\mathrm{\Pi }}_n$ mit $i=0,\dots ,n-1$ nennt man Teilintervall der Partition ${\mathrm{\Pi }}_n$.

Norm

Die Länge des größten Teilintervalls $|{\mathrm{\Pi }}_n|$ nennt man Norm oder Maschenweite von ${\mathrm{\Pi }}_n$, d. h.

$|{\mathrm{\Pi }}_n|:=\sup \{t_{i+1}-t_i:t_{i+1},t_i\in {\mathrm{\Pi }}_n\}$

Verfeinerung einer Partition

Hat man zwei Partitionen ${\mathrm{\Pi }}_n$ und ${\mathrm{\Pi }}_m$ des gleichen Intervalls $[a,b]$, so dass ${\mathrm{\Pi }}_n\subseteq {\mathrm{\Pi }}_m$, dann ist ${\mathrm{\Pi }}_m$ eine Verfeinerung von ${\mathrm{\Pi }}_n$. Das heißt also ${\mathrm{\Pi }}_m$ ist von der Form

${\mathrm{\Pi }}_m={\mathrm{\Pi }}_n\cup \{t_{i_{n+1}},t_{i_{n+2}},\dots ,t_{i_m}\},$

wobei im Fall $m=n$ natürlich ${\mathrm{\Pi }}_m={\mathrm{\Pi }}_n$ gilt.

Folge von Partitionen

In der Regel betrachtet man Folgen von Partitionen desselben Intervalls $[a,b]$.

Mit konstanter Länge

Folgen von Partitionen $({\mathrm{\Pi }}_n^{(N)}{)}_N$ derselben Tupellänge $n$, das heißt $(t_0,\dots ,t_n)$, notiert man als

$a=t_0^{(N)}<t_1^{(N)}<\dots <t_n^{(N)}=b.$

Mit wachsender Länge

Häufig interessiert man sich für Folgen von Verfeinerungen $\dots \subseteq {\mathrm{\Pi }}_n^{(N)}\subseteq {\mathrm{\Pi }}_m^{(N+1)}\subseteq \dots$ so dass $\lim {\mathrm{\backslash limits}}_{N\to \mathrm{\infty }}|{\mathrm{\Pi }}_{n(N)}^{(N)}|=0$.