Kritischer Punkt (Mathematik)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Eine stetig differenzierbare Abbildung zwischen zwei differenzierbaren Mannigfaltigkeiten besitzt an einer Stelle einen kritischen oder stationären Punkt, falls dort das Differential nicht surjektiv ist. Andernfalls handelt es sich um einen regulären Punkt. Gibt es einen oder mehrere kritische Punkte im Urbild eines Punktes, nennt man ihn kritischen beziehungsweise stationären Wert, sonst: regulären Wert.

Definition[Bearbeiten]

Es sei U \subset \mathbb{R}^n eine offene Menge und f\colon U \rightarrow \mathbb{R}^m eine stetig differenzierbare Funktion.

Ein Wert x_0 \in U heißt kritischer oder stationärer Punkt von f, wenn \operatorname{D} f(x_0) nicht surjektiv ist, das heißt, wenn \operatorname{rang}\left(\operatorname{D} f \left([x_0]\right)\right)< m gilt, wobei \operatorname{D}f das totale Differential bezeichnet.

Ein y \in \R^m heißt kritischer oder stationärer Wert, wenn es einen kritischen Punkt x_0 \in U mit f(x_0) = y gibt.

Beispiele[Bearbeiten]

  • Die Definition enthält insbesondere den eindimensionalen Spezialfall. Ist f\colon U \subseteq \R \to \R eine stetig differenzierbare Funktion, so ist x genau dann ein kritischer Punkt von f, wenn die Ableitung von f an der Stelle x verschwindet, also f'(x) = 0 gilt. Ist beispielsweise das Polynom \textstyle p(x) = 6 x - \frac{1}{2} x^2 - \frac{1}{3} x^3 gegeben, so gilt p'(x) = 6 - x - x^2 = 0 genau dann, wenn x \in \{-3,2\} ist. Also sind x = 2 und x = -3 die kritischen Punkte von p.
  • Eine stetig differenzierbare reellwertige Abbildung f in n reellen Variablen besitzt genau dann einen kritischen Punkt an der Stelle x = (x_1,\dotsc,x_n) \in \R^n, wenn an dieser Stelle ihr Gradient gleich dem Nullvektor ist, also wenn dort alle partiellen Ableitungen verschwinden:
\frac{\partial f}{\partial x_1}(x) = \dots = \frac{\partial f}{\partial x_n}(x) = 0.

Eigenschaften[Bearbeiten]

Die Menge der kritischen Punkte einer Funktion kann groß sein, zum Beispiel ist jeder Punkt im Urbild einer konstanten Abbildung kritisch. Per Definition ist auch jeder Punkt kritisch, wenn n < m, selbst im Falle einer Immersion.

Der Satz von Sard besagt hingegen, dass die Menge aller kritischen Werte einer genügend differenzierbaren Abbildung Maß null besitzt; es gibt also „sehr wenige“ kritische Werte. An diesen Stellen schlägt der Satz vom regulären Wert fehl: Das Urbild eines kritischen Wertes ist im Allgemeinen keine Mannigfaltigkeit.

Entartung[Bearbeiten]

Im Falle einer reellwertigen Funktion kann mithilfe der Hesse-Matrix festgestellt werden, ob es sich um einen entarteten kritischen Punkt handelt. Dieses ist genau dann der Fall, wenn die Hesse-Matrix singulär, also nicht invertierbar, ist. Mit Funktionen ohne entartete kritische Punkte beschäftigt sich die Morsetheorie.

Falls keine Entartung vorliegt, kann bei reellwertigen Funktionen auch festgestellt werden, ob es sich um ein lokales Minimum, ein lokales Maximum oder einen Sattelpunkt der Funktion handelt.