Dirichlet-Funktion

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Dirichletsche Sprungfunktion)
Zur Navigation springen Zur Suche springen
Graphische Darstellung der Dirichlet-Funktion, zwei parallele, scheinbar durchgezogene Linien. Die blaue (bzw. rote) Linie stellt die in den reellen Zahlen dicht liegenden rationalen (bzw. irrationalen) Zahlen dar. Der Graph enthält entlang der blauen (bzw. roten) Linie überabzählbar (bzw. abzählbar) viele Löcher ohne Ausdehnung, weshalb sie in der Darstellung nicht sichtbar sind.

Die Dirichlet-Funktion (nach dem deutschen Mathematiker Peter Gustav Lejeune Dirichlet, manchmal auch als Dirichletsche Sprungfunktion bezeichnet) ist eine mathematische Funktion. Eine ihrer Eigenschaften ist es, Lebesgue-integrierbar, aber nicht Riemann-integrierbar zu sein.

Die Dirichlet-Funktion wird üblicherweise mit bezeichnet. Sie ist die charakteristische Funktion der rationalen Zahlen als Teilmenge der reellen Zahlen. Somit ist sie definiert als:

Die Dirichlet-Funktion ist ein Beispiel für

,

Riemann-Integrierbarkeit

[Bearbeiten | Quelltext bearbeiten]

Die Dirichlet-Funktion ist in keinem echten Intervall Riemann-integrierbar, da für jede Zerlegung im Teilintervall stets sowohl rationale als auch irrationale Zahlen liegen und somit

die Untersumme

stets 0 ist (weil das Infimum stets 0 ist) und

die Obersumme

stets die Länge des Intervalls, über das integriert wird, ist (weil das Supremum immer 1 ist und somit einfach die Länge der einzelnen Teilintervalle addiert wird).

Riemann-Integrierbarkeit verlangt aber gerade die Gleichheit, also dass gilt:

Da aber für jede beliebige Zerlegung die Unter- und Obersummen nicht gegen den gleichen Wert konvergieren, ist auf keinem Intervall Riemann-integrierbar.

Lebesgue-Integrierbarkeit

[Bearbeiten | Quelltext bearbeiten]

Da die Dirichlet-Funktion eine einfache Funktion ist, also eine messbare Funktion, die nur endlich viele Werte annimmt, die noch dazu nicht negativ sind, lässt sich das Lebesgue-Integral über ein beliebiges Intervall wie folgt schreiben:

,

wobei für das Lebesgue-Maß steht.

Bei jedem beliebigen Wert von ergibt sich aus der Multiplikation mit 0 das Resultat 0. Das gilt aufgrund einer Konvention in der Maßtheorie auch dann, wenn der andere Faktor unendlich ist. Im Gegensatz dazu ist stets 0, da die Punktmenge der rationalen Zahlen abzählbar und somit eine -Nullmenge ist.

Insgesamt ergibt sich damit für die Dirichlet-Funktion in jedem Intervall:

.

Verwandte Funktion

[Bearbeiten | Quelltext bearbeiten]

Eine verwandte Funktion ist auf wie folgt definiert:

Sie ist an jeder rationalen Stelle ihres Definitionsbereichs unstetig und an jeder irrationalen Stelle stetig und im Gegensatz zur Dirichlet-Funktion auch Riemann-integrierbar:

.

Sie wird unter anderem etwa Thomaesche Funktion genannt.