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 \infty}$ , ist eine endliche Folge $Π_{n} = (t_{0}, t_{1}, \dots, t_{n})$ , so dass

a = t_{0} < t_{1} < \dots < t_{n} = b

gilt.^[1]

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

Norm

Die Länge des größten Teilintervalls $| Π_{n} |$ nennt man Norm oder Maschenweite von $Π_{n}$ , d. h.

| Π_{n} | := sup {t_{i + 1} - t_{i} : t_{i + 1}, t_{i} \in Π_{n}}

Verfeinerung einer Partition

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

Π_{m} = Π_{n} \cup {t_{i_{n + 1}}, t_{i_{n + 2}}, \dots, t_{i_{m}}},

wobei im Fall $m = n$ natürlich $Π_{m} = Π_{n}$ gilt.

Folge von Partitionen

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

Mit konstanter Länge

Folgen von Partitionen $(Π_{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 Π_{n}^{(N)} \subseteq Π_{m}^{(N + 1)} \subseteq \dots$ so dass $lim_{N \to \infty} | Π_{n (N)}^{(N)} | = 0$ .

Dyadische Partitionen

Sei $[0, T]$ ein Intervall, die dyadische Partition $τ_{n}$ der Ordnung $n$ ist die gleichmäßige Zerlegung des Intervals mit Stellen

τ_{n} = {\frac{k T}{2^{n}} : k = 0, \dots, 2^{n}} .

Die Folge dyadischer Partitionen $(τ_{n})_{n}$ ist eine verfeinerte Partition, das heißt $τ_{n} \subset τ_{n + 1}$ für alle $n$ . Die $2^{n}$ Intervalle sind dann durch

I_{n}^{k} =] t_{n}^{k - 1}, t_{n}^{k}], k = 1, \dots 2^{n} .

wobei $t_{n}^{k} := \frac{k T}{2^{n}}$ die $k$ -te Teilstelle bezeichnet.

Einzelnachweise

↑ Philip E. Protter: Stochastic Integration and Differential Equations. Hrsg.: Springer. 2004, ISBN 3-540-00313-4, S. 116.

[1] Philip E. Protter: Stochastic Integration and Differential Equations. Hrsg.: Springer. 2004, ISBN 3-540-00313-4, S. 116.

[1]