Absorbierende Menge
aus Wikipedia, der freien Enzyklopädie
In der Mathematik wird eine Teilmenge T eines reellen oder komplexen Vektorraumes V absorbierend genannt, wenn es zu jedem Vektor x in V eine strikt positive reelle Zahl r gibt, so dass r x ein Element von T ist.
Die Bezeichnung rührt daher, dass obige Definition äquivalent zu der folgenden ist: Für alle x in V gibt es r > 0 so dass x ein Element von r T ist. (Es genügt offenbar, obiges r > 0 durch 1/r zu ersetzen.) Das heißt, die Menge T kann durch skalare Multiplikation so "aufgeblasen" werden, dass sie jeden beliebigen Vektor enthalten, d.h. "absorbieren" kann.
Diese zweite Formulierung scheint auf den ersten Blick natürlicher. Die erstgenannte Definition wird jedoch bevorzugt, da sie sich auf natürliche Weise auf die Definition einer beschränkten Menge eines topologischen Moduls übertragen lässt (nämlich, eine Menge die von jeder Nullumgebung absorbiert wird). Wegen der möglichen Existenz von Nullteilern und der möglichen nicht-Existenz von beschränkten Nullumgebungen, ist in diesem Fall eine Definition im Sinne der zweiten Formulierung nicht sinnvoll.
[Bearbeiten] Konsequenzen und Alternativen
Da r strikt positiv gefordert wird, muss T den Nullvektor enthalten.
Würde man r nicht positiv fordern, so wäre bereits eine "halbe" Einheitssphäre absorbierend. (Im komplexen Fall würde gewissermaßen bereits ein Viertel ausreichen.)
Zumindest in der Funktionalanalysis betrachtet man im Kontext von "absorbierend" vor allem konvexe ausgewogene Mengen welche den Ursprung enthalten; für diese sind alle dieser alternativen Definitionen äquivalent.
