Zerlegung der Eins - LinkFang.de





Zerlegung der Eins


Eine Zerlegung der Eins (auch: Teilung der Eins) ist eine Konstruktion aus der Mathematik. Unter gewissen Gegebenheiten muss in der Mathematik zwischen einer lokalen und einer globalen Perspektive unterschieden werden. Zum Beispiel:

  • Um in der Analysis das Flächenintegral zu definieren, oder allgemein über Mannigfaltigkeiten zu integrieren, müssen Koordinaten gewählt werden, was nur lokal möglich ist. Der Integrand muss also so zerlegt werden, dass er lokal integrierbar bleibt, außerhalb des Geltungsbereiches des Koordinatensystems aber zu Null wird.
  • In der Lösungstheorie partieller Differentialgleichungen kann die Lösung einer partiellen Differentialgleichung auf einem beliebigen Gebiet häufig mit Hilfe der Zerlegung der Eins durch Lösungen der Gleichung auf dem Ganzraum und dem (gestörten) Halbraum zusammengesetzt werden (sog. Lokalisierung).

Definition

Eine (stetige) Zerlegung der Eins über einem topologischen Raum [math]E[/math] ist eine Familie [math](f_i)_{i \in I}[/math] stetiger Funktionen von [math]E[/math] in den Raum der reellen Zahlen [math]\R[/math], so dass für jeden Punkt [math]x \in E[/math] gilt:

  • Die Funktionen [math]f_i[/math] bilden in das Intervall [math][0,1][/math] ab, das heißt, es gilt [math]0 \leq f_i(x) \leq 1[/math].
  • Die (möglicherweise unendliche) Summe aller Funktionswerte im Punkt x ist 1, das heißt, es gilt [math]\textstyle \sum_{i \in I} f_i(x) = 1[/math].

Man spricht von einer lokal endlichen Zerlegung der Eins, wenn zusätzlich die folgende Bedingung erfüllt ist:

  • Jeder Punkt [math]x[/math] hat eine Umgebung, in der nur endlich viele Funktionen [math]f_i[/math] einen von 0 verschiedenen Funktionswert haben.

Ist außerdem [math]\mathcal{X} = \{X_i\}_{i \in I}[/math] eine offene Überdeckung von [math]E[/math] und gilt zusätzlich [math]\operatorname{supp}(f_i) \subset X_i[/math], dann heißt [math](f_i)_{i \in I}[/math] eine Zerlegung der Eins bezüglich der Überdeckung [math]\mathcal{X}[/math].[1] [math]\operatorname{supp}(f)[/math] bezeichne dabei den Träger von [math]f[/math]. Eine Zerlegung der Eins bezüglich einer lokal endlichen Überdeckung ist stets lokal endlich.

In der Topologie

In jedem normalen Raum existiert zu jeder lokal endlichen offenen Überdeckung eine Zerlegung der Eins bezüglich dieser. Dies hat zur Folge, dass für jede lokal endliche offene Überdeckung [math]\mathcal{X}[/math] einer abgeschlossenen Teilmenge [math]F[/math] eines normalen Raums eine Familie stetiger Funktionen existiert, die eingeschränkt auf [math]F[/math] eine lokal endliche Zerlegung der Eins ist, und deren Summe außerhalb der offenen Überdeckung, also außerhalb von [math]\bigcup \mathcal{X}[/math] null ist. Hierfür ergänze man einfach die offene Überdeckung mit dem Komplement der abgeschlossenen Menge [math]F[/math] zu einer offenen Überdeckung des ganzen Raumes, wähle eine Zerlegung der Eins bezüglich dieser Überdeckung und addiere all diese Funktionen mit Ausnahme der Funktion, deren Träger im Komplement von [math]\bigcup \mathcal{X}[/math] liegt.[2] Wird [math]F[/math] als kompakt vorausgesetzt, so überträgt sich das Ergebnis auf beliebige Unterräume normaler Räume (das sind gerade alle vollständig regulären Räume), denn Kompakta und Umgebungen bleiben auch als Element eines größeren Raumes aufgefasst Kompakta bzw. Umgebungen, da Einbettungen stetig bzw. offen sind. Insbesondere existiert für jede kompakte Teilmenge eines vollständig regulären Raums mit einer offenen Umgebung eine stetige Funktion ins Einheitsintervall, die auf dem Kompaktum eins und außerhalb der Umgebung null ist. Ist zudem der Raum lokalkompakt, so existiert eine solche Familie von Funktionen sogar, wenn man die Forderung stellt, dass ihre Träger kompakt seien. Hierfür konstruiere man eine Verfeinerung von [math]\mathcal{X}[/math] aus relativ kompakten Mengen, die noch immer [math]F[/math] überdeckt, und wähle eine endliche Teilüberdeckung.[3]

Die Existenz einer Zerlegung der Eins bezüglich jeder Überdeckung aus zwei offenen Mengen impliziert umgekehrt bereits das Lemma von Urysohn und damit die Normalität des Raumes. In einem parakompakten Hausdorffraum existieren Zerlegungen der Eins bezüglich jeder beliebigen offenen Überdeckung, dies ergibt sich daraus, dass eine solche per definitionem eines parakompakten Raumes dort eine lokal endliche Verfeinerung besitzt und zudem jeder parakompakte Hausdorffraum normal ist.[4]

In der Analysis

In der Analysis wird meist noch verlangt, dass die Funktionen differenzierbar sind und einen kompakten Träger haben. Damit kann dann eine Funktion g in Funktionen

[math]g_i = g \cdot f_i[/math]

zerlegt werden, welche alle einen kompakten Träger haben. Dann ist

[math]\sum_{i \in I} g_i = \sum_{i \in I} g \cdot f_i = g \cdot \sum_{i \in I} f_i = g \cdot 1 = g.[/math]

Ist hingegen eine Familie [math](h_i)_{i \in I}[/math] vorgegeben, wobei die hi nur auf den jeweiligen Trägern der fi definiert und differenzierbar sind, so ist die Summe

[math]\sum h_i \cdot f_i[/math]

eine konvexe Linearkombination, überall definiert und differenzierbar.

Jede parakompakte [math]C^k[/math]-Mannigfaltigkeit ([math]1\leq k\leq \infty[/math]) besitzt auch eine [math]C^k[/math]-Zerlegung der Eins.

Analytische Zerlegungen der Eins sind jedoch nicht möglich, da eine analytische Funktion, die in einer nichtleeren, offenen Menge (wie etwa dem Komplement ihres Trägers) konstant 0 ist, bereits überall konstant 0 ist.

Beispiel

Die Funktion

[math]r(x)=\begin{cases} \exp \left(- x^{-2} \right), & x \gt 0,\\ 0, & x \le 0,\end{cases}[/math]

ist beliebig oft differenzierbar. Die Funktion s mit

[math]s(x) = r (x+1) \cdot r(1-x)[/math]

ist dann ebenfalls beliebig oft differenzierbar, strikt positiv im Intervall (-1; 1) und gleich null außerhalb. Die Funktionen [math]f_i, i \in \mathbb{Z},[/math] mit

[math]f_i(x)= \frac{s(x-i)}{\sum_{k \in \mathbb{Z}} s(x-k)}[/math]

bilden nun eine beliebig oft differenzierbare Zerlegung der Eins auf der reellen Achse, die der offenen Überdeckung [math](i - 1; i + 1), i \in \mathbb{Z},[/math] untergeordnet ist; es gilt also an jedem Punkt x:

[math] \sum_{i \in \Z} f_i(x)=1.[/math]

Man beachte, dass in der Definition von [math]f_i[/math] an jeder Stelle x immer mindestens ein Summand und höchstens zwei Summanden im Nenner ungleich null sind (nur die zu x benachbarten ganzen Zahlen k können überhaupt einen positiven Summanden liefern).

Quellen

  • Ralph Abraham, Jerrold E. Marsden, Tudor Ratiu: Manifolds, Tensor Analysis and Applications (= Global analysis, pure and applied 2). Addison-Wesley, Reading MA 1983, ISBN 0-201-10168-8.

Einzelnachweise

  1. John M. Lee: Introduction to Smooth Manifolds (= Graduate Texts in Mathematics 218). Springer-Verlag, New York NY u. a. 2003, ISBN 0-387-95448-1, S 54.
  2. Nicolas Bourbaki: Topologie Générale (= Éléments de mathématique). Springer, Berlin 2007, ISBN 3-540-33936-1, Kap. 9, S. 46 ff.
  3. Gerald B. Folland: Real Analysis. Modern Techniques and Their Applications. 2. Auflage. John Wiley & Sons, New York 1999, ISBN 0-471-31716-0, S. 134.
  4. Bourbaki, S. 49

Kategorien: Differentialtopologie | Analysis

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Zerlegung der Eins (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.