Halbnorm

</math> ist eine Halbnorm im Raum <math>\R^2</math>

In der Mathematik versteht man unter einer Halbnorm (oder unter einer Seminorm)<ref group="A">Damit verwandt, aber nicht identisch sind Quasinormen und Pseudonormen.</ref> ein Funktional, das sowohl absolut homogen als auch subadditiv ist. Mit dem Konzept der Halbnorm wird das Konzept der Norm verallgemeinert, indem auf die Eigenschaft der positiven Definitheit verzichtet wird. Jede Halbnorm ist nichtnegativ, symmetrisch bezüglich Vorzeichenumkehr, sublinear und konvex. Aus jeder Halbnorm kann durch Restklassenbildung eine zugehörige Norm abgeleitet werden. Mit Hilfe von Familien von Halbnormen können auch lokalkonvexe Vektorräume definiert werden. Halbnormen werden insbesondere in der linearen Algebra und in der Funktionalanalysis studiert. Eng verwandt mit dem Konzept der Halbnorm ist das Konzept des Minkowski-Funktionals.

Definition

Sei <math>V</math> ein Vektorraum über dem Körper <math>\mathbb{K} \in \{\R, \Complex\}</math>. Eine Halbnorm auf <math>V</math> ist eine Abbildung <math>p \colon V \to \R_0^{+}</math> mit den Eigenschaften absolute Homogenität und Subadditivität,<ref name="seminorm 24-25">{{#invoke:Vorlage:Literatur|f}}</ref> das heißt für alle <math>\lambda \in \mathbb{K}</math> und für alle <math>x,\,y \in V</math> gelten

<math>p(\lambda x) = |\lambda| p(x)</math> (absolute Homogenität)

und

<math>p(x+y) \leq p(x) + p(y)</math> (Subadditivität),

wobei <math>|\cdot|</math> den Betrag des Skalars darstellt. Ein Vektorraum zusammen mit einer Halbnorm heißt halbnormierter Raum <math>(V, p)</math>.

Beispiele

Jede Norm ist eine Halbnorm, die zudem auch positiv definit ist.
Die Nullfunktion <math>p \equiv 0</math>, die jedes Element des Vektorraums auf Null abbildet, ist eine Halbnorm.
Der Betrag einer reell- oder komplexwertigen linearen Funktion ist eine Halbnorm.
Jede positiv semidefinite symmetrische Bilinearform oder – im komplexen Fall – hermitesche Sesquilinearform<math> ( \cdot, \cdot )</math> induziert durch Setzung von <math>p(x):= \sqrt{( x, x )}</math> eine Halbnorm. Hierbei geht ein, dass die Cauchy-Schwarz-Ungleichung für jede positiv semidefinite symmetrische Bilinearform (beziehungsweise hermitesche Sesquilinearform) gilt, woraus sich die Subadditivität folgern lässt.
Ist <math>X</math> ein topologischer Raum und <math>K\subset X</math> kompakt, so ist durch <math>\textstyle p_K(f) := \sup_{x\in K}|f(x)|</math> eine Halbnorm auf dem Raum aller stetigen Funktionen <math>X \rightarrow \Complex</math> gegeben. Hier wird verwendet, dass stetige Funktionen auf kompakten Mengen beschränkt sind und daher das Supremum endlich bleibt.
Das Minkowski-Funktional <math> p_U </math> zu einer absorbierenden, absolutkonvexen Teilmenge <math>U</math> eines Vektorraumes.
Auf dem Dualraum <math>X^*</math> eines normierten Raumes definiert <math>p_x(\varphi) = |\varphi(x)|</math> für <math>x \in X</math> und <math>\varphi \in X^*</math> eine Halbnorm.
Auf der Menge <math>\mathfrak{L}(X,Y)</math> der beschränkten linearen Operatoren lassen sich durch <math>p_x(T) = \|Tx \|</math> (<math>x \in X</math>) sowie durch <math>p_{x,\psi}(T) = |\psi(Tx)|</math> (<math>x \in X, \psi \in Y^*</math>) Halbnormen definieren.

Eigenschaften

Durch Setzen von <math>\lambda = 0</math> in der Definition folgt sofort

<math>p(0) = 0</math>,

die Halbnorm des Nullvektors ist damit null. Im Gegensatz zu Normen kann es aber auch Vektoren <math>x \neq 0</math> geben, deren Halbnorm <math>p(x)=0</math> ist. Durch Setzen von <math>y = -x</math> folgt dann aus der Subadditivität (auch Dreiecksungleichung genannt) und der absoluten Homogenität die Nichtnegativität

für alle <math>x \in V</math>. Durch Setzen von <math>\lambda = -1</math> sieht man weiter, dass eine Halbnorm symmetrisch bezüglich Vorzeichenumkehr ist, das heißt

und aus der Anwendung der Dreiecksungleichung auf <math>x-y+y</math> folgt daraus dann die umgekehrte Dreiecksungleichung

<math>| p(x) - p(y) | \leq p(x - y)</math>.

Weiter ist eine Halbnorm sublinear, da absolute Homogenität positive Homogenität impliziert, und auch konvex, denn es gilt für reelles <math>0 \leq t \leq 1</math>

<math>p(tx + (1-t)y) \leq p(tx) + p((1-t)y) = tp(x) + (1-t)p(y)</math>.

Umgekehrt ist jede absolut homogene und konvexe Funktion subadditiv und damit eine Halbnorm, was durch Setzen von <math>t = \tfrac{1}{2}</math> und Multiplikation mit <math>2</math> ersichtlich ist.

Restklassenbildung

Aufgrund der absoluten Homogenität und der Subadditivität ist die Menge

<math>Z = \{ x \in V\colon p(x) = 0 \}</math>

der Vektoren mit Halbnorm null ein Untervektorraum von <math>V</math>. Daher kann eine Äquivalenzrelation auf <math>V</math> durch

<math>x \sim y :\Longleftrightarrow x - y \in Z</math>

definiert werden. Der Vektorraum <math>\tilde{V}</math> aller Äquivalenzklassen aus obiger Äquivalenzrelation ist zusammen mit der Halbnorm <math>p</math> ein normierter Raum. Man nennt diesen Vorgang Restklassenbildung in <math>V</math> bezüglich der Halbnorm und bezeichnet <math>\tilde{V}</math> als Faktorraum <math>V / Z</math>. Diese Konstruktion kommt beispielsweise bei der Definition der L^p-Räume zum Einsatz.

Familie von Halbnormen

In der Funktionalanalysis werden im Bereich der lokalkonvexen Vektorräume nicht zuletzt Familien <math>(p_i)_{i \in I}</math> von Halbnormen betrachtet. Mit diesen kann es möglich sein, auf dem ursprünglichen Vektorraum <math>V</math> eine Topologie zu definieren, die ihn zu einem topologischen Vektorraum macht. Dazu legt man fest, dass die Menge <math>U \subset V</math> offen ist, falls für <math>x \in U</math> ein <math>\epsilon > 0</math> und endlich viele Indizes <math>i_1, \ldots ,i_r</math> existieren, sodass

für alle <math>y\in V</math> gilt.

In diesem Zusammenhang sind Familien mit einer bestimmten Trennungseigenschaft von besonderem Interesse. Eine Familie von Halbnormen <math>(p_i)_{i \in I}</math> heißt trennend, falls es für jedes <math>x \in V \setminus \{0\}</math> mindestens eine Halbnorm <math>p_i</math> gibt, so dass <math>p_i(x) \neq 0</math> gilt. Ein Vektorraum <math>V</math> ist nämlich genau dann bezüglich der oben erklärten Topologie hausdorffsch, wenn die Familie von Halbnormen trennend ist. Solch ein topologischer Vektorraum wird lokalkonvexer Vektorraum genannt.<ref name="seminorm 26-27">{{#invoke:Vorlage:Literatur|f}}</ref>

Ein Satz von Gelfand

In der Funktionalanalysis gehört zu den zahlreichen Resultaten, die hier von dem Mathematiker Izrail M. Gelfand geliefert wurden, ein Satz, der die Frage behandelt, wie die Halbnormen auf einem reellen normierten Raum <math>X</math> mit der gegebenen Norm verknüpft sind. Der Satz geht auf eine Arbeit Gelfands aus dem Jahr 1936 zurück.<ref name="LWK-GPA-01">Kantorowitsch/Akilow: Funktionalanalysis in normierten Räumen. 1978, S. 206–207</ref>

Formulierung des Satzes

Anknüpfend an die Darstellung in der Monographie von Kantorowitsch/Akilow lässt sich der Satz folgendermaßen formulieren:<ref name="LWK-GPA-002">Kantorowitsch/Akilow, op. cit., S. 206</ref>

Gegeben seien ein normierter <math>\R</math>-Vektorraum <math>(X, \| \cdot \|)</math> und darauf eine numerische Funktion <math>p \colon X \to [0, +\infty]</math>, welche die oben genannten Eigenschaften einer Halbnorm aufweist.<ref group="A">In ihrer Monographie bezeichnen Kantorowitsch und Akilow eine derartige numerische Funktion <math>p</math> auf einem reellen normierten Raum als konvexes Funktional. Dabei lassen sie ausdrücklich auch <math>+\infty</math> als <math>p</math>-Wert zu und fordern dabei die absolute Homogenität allein für <math>x \in X</math> mit <math>p(x) < +\infty</math>.</ref>

Dabei sei <math>p</math> unterhalbstetig und zudem existiere in <math>X</math> eine Teilmenge zweiter Kategorie <math>K \subset X</math> mit der Eigenschaft, dass für alle <math>x \in K</math> die Ungleichung <math>p(x) < +\infty</math> gilt.

Dann gibt es eine Konstante <math>M > 0</math> mit <math>p(x) \leq M \, \| x \|</math> für alle <math>x \in X</math>.

Literatur

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}

Anmerkungen

Einzelnachweise

Weblinks

{{#invoke:Vorlage:Literatur|f}}{{#if:|Vorlage:EoM/id}}
{{#if: Todd Rowland | Todd Rowland | Eric W. Weisstein }}: Seminorm. In: MathWorld (englisch). {{#if: Seminorm | {{#ifeq: {{#property:P2812}} | Seminorm | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
{{#if: Robert Milson, D. Allan Drummond|Robert Milson, D. Allan Drummond: }}Seminorm. In: PlanetMath. (englisch)