Hebbare Definitionslücke

Hebbare Definitionslücke

Die stetig behebbare oder hebbare Definitionslücke tritt unter anderem bei Funktionen der Mathematik auf, die aus der Division einer Funktion durch eine zweite entstehen.

Formal geschrieben sei

 f(x) = \frac{u(x)}{v(x)} .

Prinzipiell können sowohl u(x) als auch v(x) den Wert Null annehmen. Man hat dann folgende drei Situationen:

Eine Definitionslücke kann, je nach dem Verhalten der Zähler- und Nennerfunktion, eine Polstelle oder aber eine stetig ergänzbare Lücke sein (Polstellen können hingegen nicht stetig ergänzt werden).

Anmerkung: Die Ausdrücke stetig behebbar, stetig ergänzbar und stetig fortsetzbar werden gleichbedeutend verwendet. Auch der Ausdruck hebbare Definitionslücke ist geläufig. In der Funktionentheorie spricht man von einer hebbaren Singularität.

Zu beachten ist, dass f an den Stellen, bei denen der Nenner gleich 0 ist, zunächst eine Lücke im Definitionsbereich angenommen werden muss. Zur Untersuchung der stetigen Fortsetzbarkeit ist daher eine genauere Betrachtung der Umgebung notwendig! So ist z. B. die Funktion f(x) = 1 / x in ihren gesamten Definitionsbereich D= \mathbb{R}\setminus \{0\} stetig, hat aber an der Stelle 0 eine Definitionslücke, die sich bei genauerer Betrachtung als eine Polstelle herausstellt.

Inhaltsverzeichnis

Definition der stetigen Fortsetzung und der stetigen Fortsetzbarkeit einer Funktion

Gegeben sei eine Funktion  f\colon D \to \mathbb{R} und  x_0 \notin D ein Häufungspunkt von D.

Die Funktion \tilde{f}\colon D\cup\{x_0\}\to\R heißt stetige Fortsetzung von f (auf  D \cup\{x_0\} ), falls \tilde{f} auf D mit f übereinstimmt und \tilde{f} in x0 stetig ist.

Existiert eine solche stetige Fortsetzung, so heißt f in x0 stetig fortsetzbar.

Anmerkung: Diese Definitionen lassen sich analog für komplexwertige Funktionen formulieren.

Eigenschaften

Für eine stetige Fortsetzung muss \tilde{f}(x_0) = \lim_{x\to x_0\atop x\in D}f(x) gelten, es kann also höchstens eine stetige Fortsetzung geben.

Umgekehrt gilt: Falls der Grenzwert \lim_{x\to x_0}f(x) existiert (uneigentliche Grenzwerte, also +\infty oder -\infty, liegen nicht in \R und sind hier auszuschließen), so ist die (abschnittsweise definierte) Funktion

 
 \tilde{f}\colon D \cup \{x_0\} \to \mathbb{R},\,
 x \mapsto 
\begin{cases} f(x)\, & , x \isin D \\ \lim_{x \to x_0} f(x) &, x=x_0 \end{cases}

eine bzw. die stetige Fortsetzung von f (auf  D \cup\{x_0\} ).

Es ergibt sich also als Kriterium: f ist genau dann in x0 stetig fortsetzbar, wenn der Grenzwert \lim_{x\to x_0}f(x) existiert.

Beispiel

Gegeben sei

 f\colon \mathbb{R}_{\geq 0} \setminus \{1\} \to \mathbb{R},\, x \mapsto \frac{\sqrt{x}-1} {x-1}.

Die Funktion f ist in x0 = 1 stetig fortsetzbar:

 \lim_{x \to 1} \frac{\sqrt{x}-1} {x-1} = \lim_{x \to 1} \frac{\sqrt x-1}{(\sqrt{x}+1)(\sqrt x-1)} = \lim_{x \to 1} \frac {1}{\sqrt{x}+1}=\frac 12
 \tilde{f}:\mathbb{R}_{\geq 0} \to \mathbb{R},\, x \mapsto 
\begin{cases} \frac {\sqrt{x}-1}{x-1} & ,x \neq 1 \\ \frac12 &, x=1 \end{cases}.

An diesem Beispiel kann man noch bemerken, dass \tilde{f} auch ohne Fallunterscheidung geschrieben werden kann, es gilt nämlich \tilde{f}(x) = \frac {1}{\sqrt{x}+1} für alle x\ge 0. In anderen Fällen kann es sein, dass die Fallunterscheidung unumgänglich ist. So hat etwa

g\colon \mathbb{R}\setminus\{0\}\to \mathbb{R},\, x\mapsto x\cdot\sin(\tfrac 1x)

die stetige Fortsetzung

 \tilde{g}:\mathbb{R} \to \mathbb{R},\, x \mapsto 
\begin{cases} x\cdot\sin(\tfrac 1x) & ,x \neq 0 \\ 0 &, x=0 \end{cases}.

Spezialfall rationaler Funktionen

Gebrochen rationale Funktionen, deren Nenner und Zähler an derselben Stelle Null werden, können nach dem folgenden Verfahren stetig ergänzt werden.

Rationale Funktionen der Mathematik haben die Form

 f(x) = \frac{u(x)}{v(x)} ,

wobei u(x) und v(x) Polynomfunktionen sind.

Da u(x) und v(x) Polynome sind, ist ihr Verhalten an ihren Nullstellen bekannt: die Nullstellen der Zähler- und Nennerfunktionen lassen sich ausfaktorisieren. Wenn also u(x) und v(x) an der Stelle x0 eine Nullstelle haben, so ist immer

 u(x) = ( x - x_0 )^{N_u} \; s(x)

und

 v(x) = ( x - x_0 )^{N_v} \; t(x)

wobei

 s(x_0) \ne 0  \and  t(x_0) \ne 0 .

Die Terme Nu und Nv bezeichnet man auch als die Ordnung der jeweiligen Nullstelle.

Offensichtlich kann man die gemeinsamen Faktoren der Nullstellen kürzen.

  • Wenn Nu > Nv > 0, dann liegt eine stetig behebbare Definitionslücke vor, wobei der Grenzwert durch 0 gegeben ist.
  • Wenn Nu = Nv > 0, dann liegt eine stetig behebbare Definitionslücke vor, wobei der Grenzwert durch s(x0) / t(x0) gegeben ist.
  • Wenn Nu < Nv, dann liegt eine Polstelle vor.

Beispiel

Die Funktion

 f(x) = \frac{x^3+4x^2+5x+2}{x^3+x^2-x-1} = \frac{(x+1)^2(x+2)}{(x+1)^2(x-1)} = \frac{x+2}{x-1}

hat für x = -1 eine Lücke, die sich durch Kürzen mit dem Wert -1/2 beheben lässt.

Differenzierbare Funktionen (Regel von L’Hôpital)

Wenn sowohl die Zähler- als auch die Nennerfunktion an der gemeinsamen Nullstelle differenzierbar sind, gilt die folgende Regel von L’Hospital:

 \lim_{x\to x_0} \frac{u(x)}{v(x)} = \left. \frac{u'(x)}{v'(x)} \right|_{x=x_0}

Beispiel

Die Funktion

 f(x) = \frac{\sin(x)}{x}

ist für x = 0 nicht definiert. Anwendung der l'Hospital-Formel (Differenzierung des Sinus ergibt den Kosinus) ergibt

 \lim_{x \to 0} f(x) = \lim_{x \to 0} \frac{\sin(x)}{x}
= \lim_{x \to 0} \frac{\cos(x)}{1} = \lim_{x \to 0} \cos(x) = \cos(0) = 1 .

Die Lücke kann also durch den Wert 1 behoben werden.

Allgemeine Funktionen

Aussagen zu allgemeinen Funktionen sind nicht möglich. Unstetige Funktionen können ein beliebiges Verhalten zeigen, und sind individuell zu untersuchen.

Es kann beispielsweise vorkommen, dass eine Definitionslücke zwei unterschiedliche (einen linksseitigen und einen rechtsseitigen) Grenzwerte besitzt. In diesem Fall hat die Funktion eine Sprungstelle, und die Definitionslücke ist nicht stetig behebbar, obwohl keine Polstelle vorliegt.


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Definitionslücke — Eine Singularität bezeichnet in der Mathematik einen Punkt an dem ein mathematisches Objekt nicht definiert ist oder an der eine sonst zutreffende Eigenschaft nicht vorhanden ist. Beispiele von Mengen mit singulären Punkten sind: Ein Intervall,… …   Deutsch Wikipedia

  • Hebbare Singularität — Eine Singularität bezeichnet in der Mathematik einen Punkt an dem ein mathematisches Objekt nicht definiert ist oder an der eine sonst zutreffende Eigenschaft nicht vorhanden ist. Beispiele von Mengen mit singulären Punkten sind: Ein Intervall,… …   Deutsch Wikipedia

  • Stetig behebbare Definitionslücke — Die stetig behebbare oder hebbare Definitionslücke tritt unter anderem bei Funktionen der Mathematik auf, die aus der Division einer Funktion durch eine zweite entstehen. Formal geschrieben sei . Prinzipiell können sowohl u(x) als auch v(x) den… …   Deutsch Wikipedia

  • Stetige Fortsetzung — Die stetig behebbare oder hebbare Definitionslücke tritt unter anderem bei Funktionen der Mathematik auf, die aus der Division einer Funktion durch eine zweite entstehen. Formal geschrieben sei . Prinzipiell können sowohl u(x) als auch v(x) den… …   Deutsch Wikipedia

  • Extremstelle — Unter Kurvendiskussion versteht man in der Mathematik die Untersuchung des Graphen einer Funktion auf dessen Eigenschaften, wie zum Beispiel Nullstellen, Hoch und Tiefpunkte, Wendepunkte, Polstellen, Verhalten im Unendlichen usw. Die Ergebnisse… …   Deutsch Wikipedia

  • Extremwertproblem — Unter Kurvendiskussion versteht man in der Mathematik die Untersuchung des Graphen einer Funktion auf dessen Eigenschaften, wie zum Beispiel Nullstellen, Hoch und Tiefpunkte, Wendepunkte, Polstellen, Verhalten im Unendlichen usw. Die Ergebnisse… …   Deutsch Wikipedia

  • Funktionsuntersuchung — Unter Kurvendiskussion versteht man in der Mathematik die Untersuchung des Graphen einer Funktion auf dessen Eigenschaften, wie zum Beispiel Nullstellen, Hoch und Tiefpunkte, Wendepunkte, Polstellen, Verhalten im Unendlichen usw. Die Ergebnisse… …   Deutsch Wikipedia

  • Kurvendiskussion — Unter Kurvendiskussion versteht man in der Mathematik die Untersuchung des Graphen einer Funktion auf dessen geometrische Eigenschaften, wie zum Beispiel Nullstellen, Hoch und Tiefpunkte, Wendepunkte, gegebenenfalls Sattel und Flachpunkte,… …   Deutsch Wikipedia

  • Unbestimmter Ausdruck (Mathematik) — Ein unbestimmter Ausdruck ist in der Mathematik ein Term, dessen Auftreten bei der Untersuchung von Grenzwerten eine besondere Rolle spielt. Der Begriff ist zu unterscheiden vom undefinierten Ausdruck. Inhaltsverzeichnis 1 Problemdarstellung 2… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”