Tangentialkegel und Normalkegel

Der Tangential- beziehungsweise Normalkegel einer Teilmenge eines euklidischen Raumes ist in der Geometrie eine Verallgemeinerung des Begriffes des Tangentialraumes respektive des Normalenvektors einer Menge und ermöglicht dadurch die Anwendung algebraischer Methoden auch auf nicht-differenzierbare geometrische Objekte. Sowohl der Tangential- als auch der Normalkegel sind Kegel im Sinne der linearen Algebra, wodurch die Bezeichnung gerechtfertigt wird. Der Normalkegel wird auch als Polarkegel bezeichnet. Die erste einheitliche Fassung des Begriffs des Tangentialkegels stammt von dem US-amerikanischen Topologen Hassler Whitney aus dem Jahre 1965, allerdings beschrieb diese eher den Rand des Kegels im heutigen Sinne. Die modernen Definitionen entwickelten sich im Umfeld der Theorie der Mengen positiver Reichweite und ergänzten deren Programm, um Erkenntnisse aus der Differentialgeometrie auf eine größere Klasse von Mengen – als nur differenzierbare Mannigfaltigkeiten – übertragen zu können.

Definition

Sei $A\subseteq \mathbb{R} ^{n}$ eine Teilmenge eines euklidischen Raumes und $a\in \mathbb {R} ^{n}$ ein Punkt, der nicht notwendig selbst in liegen muss, schließlich bezeichne $\|\cdot \|$ die Euklidische Norm.

Dann heißt die Menge

$\operatorname {Tan} (A;a):=\left\{u\in \mathbb {R} ^{n}|\exists (a_{i})_{i\in \mathbb {N} }\subseteq A\setminus \{a\}\colon a_{i}\to a\land {\frac {a_{i}-a}{\|a_{i}-a\|}}\to {\frac {u}{\|u\|}}\right\}\cup \{{\underline {0}}\}$

der Tangentialkegel von an und sein polarer Kegel

$\operatorname {Nor} (A;a):=\operatorname {pol} \ \operatorname {Tan} (A;a)=\{v\in \mathbb {R} ^{n}|\forall u\in \operatorname {Tan} (A;a)\colon v^{T}u\leq 0\}$

wird Normalkegel oder Polarkegel von an genannt.

Falls im Rand $\partial A$ liegt, so besteht der Tangentialkegel anschaulich aus allen von ausgehenden Strahlen die noch in einem weiteren Punkt treffen. Der Normalkegel ist dann die Menge aller Vektoren, die mit allen diesen Strahlen einen Winkel von mindestens 90 ° einschließen.

Normaleneinheitsbündel

Auf diesen Begriffen aufbauend, lässt sich – in Analogie zum Einheitstangentialbündel der Differentialgeometrie – das Normaleneinheitsbündel definieren:

$\operatorname {nor} A:=\{(a;{\vec {o}})\in \mathbb {R} ^{2n}|a\in A\ \land \ {\vec {o}}\in \operatorname {Nor} (A;a)\ \land \ \|{\vec {o}}\|=1\}=\bigsqcup _{a\in A}\left(\operatorname {Nor} (A;a)\cap S^{n-1}\right)$

Es ist also die disjunkte Vereinigung der äußeren Normalenvektoren der Länge 1 zu jedem Punkt von . Diese Definition ist sinnvoll, denn ein Kegel wird jeweils vollständig durch seine Einheitsvektoren beschrieben.

Dabei ist zu beachten, dass das Normaleneinheitsbündel – im Gegensatz zum Tangentialbündel – im Allgemeinen kein Vektorraumbündel im Sinne der Vektoranalysis darstellt, da die Normalkegel in der Regel keine Untervektorräume sind.

Eigenschaften

Sowohl Tangential- als auch Normalkegel sind abgeschlossene Kegel.
Des Weiteren ist der Normalkegel stets konvex.
Zwischen den Kegeln gilt die Beziehung $\operatorname {pol} \ \operatorname {Nor} (A;a)\supseteq \operatorname {Tan} (A;a)$ .
Hat positive Reichweite, so gilt sogar .
- Insbesondere muss dann $\operatorname {Tan} (A;a)$ ebenfalls konvex sein.
- Außerdem lässt sich zeigen, dass $\operatorname {nor} A$ in diesem Fall im $\mathbb {R} ^{2n}$ abgeschlossen ist.
Falls $a\in A^{\circ }$ ein innerer Punkt ist, entarten die beiden Kegel zu $\operatorname {Tan} (A;a)=\mathbb {R} ^{n}$ und $\operatorname {Nor} (A;a)=\{{\underline {0}}\}$
Ist andersherum $a\in \mathbb {R} ^{n}\setminus {\overline {A}}$ von getrennt, dann gilt umgekehrt: $\operatorname {Tan} (A;a)=\{{\underline {0}}\}$ und $\operatorname {Nor} (A;a)=\mathbb {R} ^{n}$
In der Optimierung (Mathematik) verwendet man Tangentialkegel zur Herleitung von Optimalitätskriterien. Meist wird aber der linearisierte Tangentialkegel verwendet, da dieser leichter zu handhaben ist.

Hinweis: Einige Autoren beschränken sich deshalb in der Definition von vornherein auf Punkte im Abschluss $a\in {\overline {A}}$ .

Bildet der Rand des Tangentialkegels einen Untervektorraum im – in diesem Fall liegt notwendig im Rand – so ist im Punkt differenzierbar und stimmt mit dem klassischen Tangentialraum überein.
- Ist $\partial \operatorname {Tan} (A;a)$ sogar eine Hyperebene, das heißt von Kodimension 1, so wird $\operatorname {Nor} (A;a)$ vom entsprechenden Normalenvektor erzeugt.

Basierend auf einem Artikel in:

Wikipedia.de