# Semi-inneres Produkt

Das semi-innere Produkt ist ein Begriff aus dem mathematischen Teilgebiet der Funktionalanalysis. Es ist für $\mathbb {K}$-Vektorräume definiert, wobei $\mathbb {K}$ für den Körper der reellen oder komplexen Zahlen steht, und verallgemeinert den Begriff des inneren Produktes.

## Definition

Ein semi-inneres Produkt auf einem $\mathbb {K}$-Vektorraum $V$ ist eine Abbildung $[\cdot ,\cdot ]:\,V\times V\rightarrow \mathbb {K}$ mit folgenden Eigenschaften
* $x\mapsto [x,y]$ ist für jedes $y\in V$ ein lineares Funktional.
* $[x,x]\,>\,0$ für alle von 0 verschiedenen $x\in V$.
* $|[x,y]|^{2}\,\leq \,[x,x][y,y]$ für alle $x,y\in V$.

## Vergleich mit inneren Produkten

Ist $\langle \cdot ,\cdot \rangle :V\times V\rightarrow \mathbb {K}$ ein inneres Produkt auf dem Vektorraum $V$, so erfüllt dieses trivialer Weise die ersten beiden der obigen Bedingungen, und die Cauchy-Schwarzsche Ungleichung zeigt, dass auch die dritte erfüllt ist. Daher ist jedes innere Produkt ein semi-inneres Produkt.
Die Umkehrung gilt nicht. Was dem semi-inneren Produkt fehlt, um ein inneres Produkt zu sein, sind die Hermitezität und die Linearität oder Sesquilinearität im zweiten Argument.

## Normierte Räume

Ist $[\cdot ,\cdot ]$ ein semi-inneres Produkt auf einem $\mathbb {K}$-Vektorraum $V$, so wird dieser durch die Definition $\|x\|:=[x,x]^{1/2}$ zu einem normierten Raum. Umgekehrt kann man zeigen, dass jeder normierte Raum auf diese Weise durch ein semi-inneres Produkt entsteht, das heißt zu jeder Norm gibt es ein semi-inneres Produkt, so dass obige Beziehung gilt. Das war die Motivation für G. Lumer, diesen Begriff einzuführen. Dieser hat bei Weitem nicht die Bedeutung wie das innere Produkt, erlaubt aber in manchen Situationen, Hilbertraum-Argumente auf Banachräume zu übertragen.
Ein semi-inneres Produkt zu einem normierten Raum, das heißt ein solches, das durch obige Formel die gegebene Norm darstellt, ist im Allgemeinen nicht eindeutig. Man kann zeigen, dass man immer ein solches wählen kann, das konjugiert-homogen im zweiten Argument ist, das heißt, für das $[x,\lambda y]={\overline {\lambda }}[x,y]$ für alle $x,y\in V$ und $\lambda \in \mathbb {K}$ gilt. Dabei steht der Querstrich für die komplexe Konjugation, die im Falle reeller Vektorräume entfällt.

## Beispiele

* Die Norm auf Hilberträumen ist durch ein Skalarprodukt gegeben, allgemeiner ist die Norm auf einem Innenproduktraum als die durch das innere Produkt induzierte Norm gegeben.
* L$^p$-Räume: Ist $(X,\mu )$ ein Maßraum und ist $1<p<\infty$, so setze für $x,y\in L^{p}(X,\mu )$:
       $[x,y]:={\frac {1}{\|y\|_{p}^{p-2}}}\int _{X}x|y|^{p-1}\mathrm {sgn} \,y\,\mathrm {d} \mu$
    Dies ist ein semi-inneres Produkt, das die $p$-Norm auf $L^{p}(X,\mu )$ definiert.

## Stetigkeitseigenschaften

Es sei $S$ die Menge aller Vektoren der Norm 1 eines normierten Vektorraums. Ein semi-inneres Produkt $[\cdot ,\cdot ]$ zu einem normierten Raum heißt stetig, wenn $\lim _{\lambda \to 0}\mathrm {Re} ([y,x+\lambda y])=\mathrm {Re} ([y,x])$ für alle $x,y\in S$, dabei steht Re für die Bildung des Realteils. Bei diesem Begriff ist Vorsicht geboten, denn er bedeutet nicht, dass das semi-innere Produkt als Abbildung $V\times V\rightarrow \mathbb {K}$ stetig ist, obige Stetigkeitseigenschaft ist offenbar sehr viel schwächer. Man sagt, das semi-innere Produkt sei gleichmäßig stetig, wenn obige Limesgleichung gleichmäßig auf der Menge $\{(x,y);x,y\in S\}$ besteht.
Diese Stetigkeiteigenschaften lassen sich mit Differenzierbarkeitseigenschaften der Norm in Verbindung bringen. Ein normierter Raum heißt Gâteaux-differenzierbar, falls
    $\lim _{\lambda \to 0}{\frac {\|x+\lambda y\|-\|x\|}{\lambda }}$
für alle $x,y\in S$ existiert, und gleichmäßig Fréchet-differenzierbar, falls dieser Limes gleichmäßig auf $\{(x,y)\mid x,y\in S\}$ existiert.
Es gilt folgender Satz:
* Ein semi-inneres Produkt ist genau dann stetig (bzw. gleichmäßig stetig), wenn die Norm Gâteaux-differenzierbar (bzw. gleichmäßig Fréchet-differenzierbar) ist.

## Der Dualraum

Für eine bestimmte Klasse von Banachräumen lässt sich ein zum Darstellungssatz von Fréchet-Riesz analoger Satz beweisen:
* Ist $V$ ein gleichmäßig konvexer Banachraum mit einem stetigen semi-inneren Produkt $[\cdot ,\cdot ]$, so gibt es zu jedem stetigen, linearen Funktional $f$ auf $V$ genau ein $y\in V$ mit $f(x)=[x,y]$ für alle $x\in V$.
Daraus kann man natürlich nicht wie im Falle der Hilberträume schließen, dass $V$ zu seinem Dualraum isomorph ist, denn die Zuordnung $f\mapsto y$ in obigem Satz ist im Allgemeinen nicht linear. Im obigen Beispiel der $L^{p}$-Räume liegt ein gleichmäßig konvexer Banachraum mit stetigem semi-inneren Produkt vor. Jedes stetige lineare Funktional hat demnach die Form $x\mapsto [x,y]$ mit einem $y\in L^{p}(X,\mu )$. Das in obigem Integral auftauchende $|y|^{p-1}$ ist ein Element aus $L^{q}(X,\mu )$, wobei ${\tfrac {1}{p}}+{\tfrac {1}{q}}=1$. Dies ist dann nichts anderes als die übliche Dualität von $L^{p}$-Räumen.

## Numerischer Wertebereich

Der numerische Wertebereich eines linearen Operators $T$ auf einem normierten Raum $V$ lässt sich mittels eines zugehörigen semi-inneren Produktes $[\cdot ,\cdot ]$ beschreiben. Der numerische Wertebereich von $T$ ist der Abschluss der konvexen Hülle der Menge $\{[Tx,x];x\in V,[x,x]=1\}$.