Kegelförmige Umgebung

Eine kegelförmige Menge im ${ℝ}^2$ - Für innere Punkte der Menge ist dies eine kegelförmige Umgebung dieser Punkte.

Eine kegelförmige Umgebung ist ein Objekt aus der Mathematik, das insbesondere im Bereich der mikrolokalen Analysis benutzt wird. Sie ist eine Umgebung eines Vektors, die die Form eines Kegels hat. Die kegelförmige Umgebung wird benötigt, um elliptische Pseudodifferentialoperatoren und die Wellenfrontmenge zu definieren.

Definition

Eine Menge $K\subset {ℝ}^n\setminus \{0\}$ heißt kegelförmige Menge, wenn für $r\in K$ auch $\lambda r\in K$ für alle $\lambda >0$ gilt. Analog kann die kegelförmige Menge auch als Teilmenge eine topologischen Vektorraums definiert werden.

Die kegelförmige Menge $K\subset {ℝ}^n\setminus \{0\}$ wird kegelförmige Umgebung von $x\in K$ (beziehungsweise von $S\subseteq K$) genannt, falls eine offene Menge $U\subseteq K$ mit $x\in U$ (beziehungsweise mit $S\subseteq K$) existiert - $K$ also eine Umgebung von $x$ (beziehungsweise von $S$) in $K$ ist.

Beispiel

• Sei $(U_i{)}_i$ eine offene Überdeckung der $(n-1)$-Einheitssphäre, dann ist

$(C_i{)}_i={\left(\{x\in {ℝ}^n\setminus \{0\};\frac{x}{|x|}\in U_i\}\right)}_i$

eine Überdeckung von ${ℝ}^n\setminus \{0\}$ mittels kegelförmiger Mengen. Das heißt, durch diese Konstruktion hat man für jeden Punkt $x\in {ℝ}^n\setminus \{0\}$ mindestens eine kegelförmige Umgebung von $x$ erhalten.

Anwendung

Kegelförmige Mengen bestehen aus Halbgeraden im ${ℝ}^n$, die im Nullpunkt des Koordinatensystems beginnen. Da kegelförmige Umgebungen im Gegensatz zu (kegelförmigen Mengen) immer offene Teilmengen enthalten, haben diese ein Lebesgue-Maß ungleich Null. Der Begriff der kegelförmigen Umgebung wird im Bereich der mikrolokalen Analysis genutzt. Dort werden Richtungen im Definitionsbereich einer Funktion $f:{ℝ}^n\to ℝ$ durch die Halbgeraden einer kegelförmigen Umgebung beschrieben. Dies ist nützlich um Singularitäten einer Distribution genauer zu beschreiben und führt zu dem Begriff der Wellenfrontmenge.

Singuläre Punkte einer Distribution sind solche, für die keine Umgebung existiert, so dass die Distribution mittels des $L^2$-Skalarprodukts als Integral ausgedrückt werden kann. Nach einer Variante des Satzes von Paley-Wiener kann eine Distribution mit kompaktem Träger $u\in {ℰ}^{\prime }(U)$ mit $U\subset {ℝ}^n$ genau dann mit einer glatten Funktion identifiziert werden - ist also regulär, falls $|ℱ(u)|\le C_N(1+|q|{)}^{-N}$ für alle $N\in \mathbb{N}$ gilt, wobei $ℱ$ die Fourier-Laplace-Transformation ist.

Auf analoge Weise kann für eine Distribution mit kompaktem Träger $u\in {ℰ}^{\prime }(U)$ eine kegelförmige Umgebung $\mathrm{\Sigma }(u)$ eingeführt werden, die alle $\eta \in {ℝ}^n\setminus \{0\}$ enthält, für die es keine kegelförmige Umgebung gibt, so dass $|ℱ(u)|\le C_N(1+|q|{)}^{-N}$ gilt. Die Menge $\mathrm{\Sigma }(u)$ ist eine abgeschlossene kegelförmige Menge. Sie ist genau dann leer falls die Distribution $u$ durch eine glatte Funktion dargestellt werden kann. Während der singuläre Träger den Ort der Singularität beschreibt, zeigt $\mathrm{\Sigma }(u)$ die Richtung der Störung.

Verallgemeinerung für topologische Kegel

Eine kegelförmige Umgebung von einem Punkt $p$ in einem topologischen Raum $Y$ ist eine offene Menge $U$ mit $p\in U$, die (punktiert)isomorph zu einem topologischen Kegel $cZ$ für einen topologischen Raum $Z$ ist, wobei der Punkt $p$ auf die Spitze des Kegels abgebildet wird.