Nullfunktion

Die reelle Nullfunktion hat überall den Wert Null.

Die Nullfunktion oder Nullabbildung ist in der Analysis eine Funktion, deren Funktionswert unabhängig vom übergebenen Wert immer die Zahl Null ist. Allgemeiner ist die Nullabbildung in der linearen Algebra eine Abbildung zwischen zwei Vektorräumen, die stets den Nullvektor des Zielraums ergibt. Noch allgemeiner wird die Nullabbildung in der Algebra gefasst und dort ist sie eine Abildung von einer beliebigen Menge in eine Menge, auf der eine Verknüpfung mit neutralem Element definiert ist, die immer dieses neutrale Element ergibt. Die Nullfunktion hat viele Eigenschaften und wird in der Mathematik oft als Beispiel oder als Gegenbeispiel verwendet. Sie ist die triviale Lösung einer Reihe mathematischer Probleme, wie zum Beispiel homogener linearer Differentialgleichungen und Integralgleichungen.

Reelle Nullfunktion

Definition

In der reellen Analysis ist die Nullfunktion die reelle Funktion $f\colon \mathbb {R} \to \mathbb {R}$, die jedem Argument die Zahl Null zuordnet, das heißt es gilt

$f(x)=0$

für alle $x\in \mathbb {R}$. Mit Hilfe des Identitätssymbols wird die Nullfunktion auch durch

$f\equiv 0$

notiert. Der Graph der Nullfunktion ist die gesamte x-Achse. Gelegentlich wird der Definitionsbereich der Nullfunktion auch auf eine Teilmenge $\Omega \subset \mathbb {R}$ eingeschränkt.

Eigenschaften

Einordnung

Die Nullfunktion ist ein Spezialfall folgender Funktionenklassen:

• Sie ist eine spezielle konstante Funktion $f(x)=c$, und zwar gerade diejenige, deren Konstante $c=0$ ist.
• Sie ist eine spezielle lineare Funktion $f(x)=mx+b$, und zwar diejenige, deren Steigung $m=0$ und Ordinatenabschnitt $b=0$ sind.
• Sie ist eine spezielle Polynomfunktion $f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\dotsb +a_{1}x+a_{0}$, nämlich das Nullpolynom, bei dem alle Koeffizienten $a_{i}=0$ sind. Der Grad des Nullpolynoms wird meist nicht als $0$, sondern als $-\infty$ definiert.

Symmetrien

Die Nullfunktion ist als einzige Funktion gleichzeitig gerade und ungerade, das heißt es gilt

$f(x)=f(-x)=-f(x)$.

Weiter ist sie weder positiv noch negativ, stattdessen ist sie sowohl nichtpositiv, als auch nichtnegativ, also

$f(x)\leq 0$   und   $f(x)\geq 0$.

Die Nullstellen der Nullfunktion sind damit alle Zahlen der Definitionsmenge und ihre Nichtnullstellenmenge ist demnach leer. Das Minimum und das Maximum der Nullfunktion sind ebenfalls Null. Weiterhin ist die Nullfunktion, wie jede konstante Funktion, gleichzeitig monoton steigendend und fallend (jedoch nicht streng) und, wie jede lineare Funktion, gleichzeitig konvex und konkav.

Ableitungen

Die Nullfunktion ist gleichmäßig stetig und beliebig oft differenzierbar, wobei jede ihrer Ableitungen wieder die Nullfunktion selbst ist, das heißt

$f^{(n)}(x)=f(x)$

für jedes $n\in N$. Neben der Exponentialfunktion ist die Nullfunktion die einzige Funktion mit dieser Eigenschaft. Die Nullfunktion selbst ist wiederum die Ableitung einer konstanten Funktion und allgemein die $(n+1)$-te Ableitung eines Polynoms vom Grad $n$.

Integral

Das Integral der Nullfunktion ergibt unabhängig von den Integrationsgrenzen immer Null, also

$\int _{a}^{b}f(x)~dx=0$.

für alle $a,b\in \mathbb {R} \cup \{-\infty ,\infty \}$. Damit ist die Nullfunktion Stammfunktion von sich selbst; da die Integrationskonstante frei wählbar ist, ist auch jede konstante Funktion Stammfunktion der Nullfunktion.

Lösungen

Die Nullfunktion ist die triviale Lösung der vier Cauchy-Funktionalgleichungen:

${\begin{aligned}f(x+y)&=f(x)+f(y)\\f(x+y)&=f(x)\cdot f(y)\\f(x\cdot y)&=f(x)+f(y)\\f(x\cdot y)&=f(x)\cdot f(y)\\\end{aligned}}$

Weiter löst die Nullfunktion jede homogene lineare Differentialgleichung der Form

$a_{n}(x)f^{(n)}(x)+a_{n-1}(x)f^{(n-1)}+\ldots +a_{1}(x)f'(x)+a_{0}(x)f(x)=0$

und jede homogene lineare Integralgleichung der Art

$\lambda f(x)+\int _{a}^{x}K(x,y)f(y)~dy=0$

mit Integralkern $K(x,y)$ und Vorfaktor $\lambda$. Umgekehrt wird eine inhomogene lineare Differential- oder Integralgleichung nie durch die Nullfunktion gelöst.

Nullabbildungen zwischen Vektorräumen

Definition

In der linearen Algebra heißt eine Abbildung $T\colon V\to W$ zwischen zwei Vektorräumen $V$ und $W$ über dem gleichen Körper $K$ Nullabbildung, wenn für alle Vektoren $v\in V$

$T(v)=0_{W}$

gilt, wobei $0_{W}$ der eindeutig bestimmte Nullvektor von $W$ ist. Gelegentlich wird die Nullabbildung auch direkt durch $0$ notiert, sofern aus dem Kontext klar ist, ob die Nullabbildung oder die Zahl Null gemeint ist. Auch hier kann der Definitionsbereich der Nullabbildung auf eine Teilmenge $U\subset V$ eingeschränkt werden.

Beispiele

• die reelle Nullfunktion des vorangegangenen Abschnitts und allgemeiner reelle oder komplexe Funktionen ein oder mehrerer Variablen, deren Funktionswert die Zahl Null oder der Nullvektor ist
• jede Abbildung von einem beliebigen Vektorraum $V$ in den Nullvektorraum $\{0\}$ und jede lineare Abbildung vom Nullvektorraum in einen beliebigen Vektorraum $W$
• eine quadratische Matrix, die in ihr charakteristisches Polynom eingesetzt wird, nach dem Satz von Cayley-Hamilton
• die Determinantenfunktion auf der Menge der singulären quadratischen Matrizen

Eigenschaften

Linearität

Die Nullabbildung ist eine lineare Abbildung, also ein Vektorraumhomomorphismus, das heißt es gilt

$T(av+bw)=aT(v)+bT(w)$

für alle $v,w\in V$ und $a,b\in K$. Jede Nullabbildung zwischen endlichdimensionalen Vektorräumen kann daher durch die Nullmatrix dargestellt werden, deren Rang $0$ ist. Ist $V=W$, dann ist besitzt die Nullabbildung als einzigen Eigenwert die Zahl Null und der zugehörige Eigenraum ist ganz $V$.

Operatornorm

Sind $V$ und $W$ normierte Räume mit jeweiligen Normen $\|\cdot \|_{V}$ und $\|\cdot \|_{W}$, dann ist die Operatornorm der Nullabbildung

$\|T\|=\sup _{\|v\|_{V}=1}\|T(v)\|_{W}=\|0_{W}\|_{W}=0$.

Die Nullabbildung selbst stellt eine Halbnorm dar.

Lösungen

Im Vektorraum der linearen Abbildungen $L(V,W)$ ist die Nullabbildung selbst der Nullvektor. Allgemein löst damit die Nullabbildung jede homogene lineare Operatorgleichung

${\mathcal {L}}u=0$,

wobei ${\mathcal {L}}\in L(V,W)$ ein linearer Operator ist, $u$ die gesuchte Funktion und $0$ die Nullfunktion ist. Umgekehrt wird eine inhomogene lineare Operatorgleichung, bei der also die rechte Seite ungleich der Nullfunktion ist, nie durch die Nullabbildung gelöst.

Nullabbildungen zwischen Mengen

Definition

Ist $X$ eine beliebige Menge und $Y$ eine Menge, auf der eine Verknüpfung $\ast$ mit neutralem Element $0$ definiert ist, dann heißt eine Abbildung $\phi \colon X\to Y$ Nullabbildung, wenn für alle $x\in X$

$\phi (x)=0$

gilt. Wichtige Beispiele für $(Y,\ast )$ sind Gruppen, Ringe, Moduln und – wie im vorangegangenen Abschnitt – Vektorräume.

Beispiele

• die boolesche Funktion der Kontradiktion in einen booleschen Ring bzw. eine boolesche Algebra
• die Polynomfunktion $X^{q}-X$ in einem Polynomring über einem endlichen Körper der Ordnung $q-1$
• die $k$-te Potenz einer nilpotenten Abbildung in einen Ring für entsprechend großes $k$

Eigenschaften

• Sind $X$ und $Y$ zwei Gruppen, dann ist die Nullabbildung ein Gruppenhomomorphismus.
• Sind $X$ und $Y$ zwei Ringe, dann ist die Nullabbildung ein Ringhomomorphismus.
• Sind $X$ und $Y$ zwei Moduln, dann ist die Nullabbildung ein Modulhomomorphismus.

Siehe auch

• Nullring
• Nullteiler

Literatur

• Martin Barner, Friedrich Flohr: Analysis I. de Gruyter, 2000, ISBN 3-11-016778-6. 
• Siegfried Bosch: Lineare Algebra. Springer, 2009, ISBN 3-540-76437-2. 
• Gilbert Strang: Lineare Algebra. Springer, 2003, ISBN 3-540-43949-8. 

Weblinks

• zero map. In: PlanetMath. (englisch)
• Eric W. Weisstein: Zero Map. In: MathWorld (englisch).