Linearform
# Linearform

Eine Linearform ist ein Objekt aus dem mathematischen Teilgebiet der linearen Algebra. Es handelt sich dabei um eine lineare Abbildung von einem Vektorraum in den zugrundeliegenden Körper.

Im Kontext der Funktionalanalysis, das heißt im Falle eines topologischen $\mathbb {R}$- oder $\mathbb {C}$-Vektorraums, sind die betrachteten Linearformen meistens stetige lineare Funktionale.

## Definition

Es sei $K$ ein Körper und $V$ ein $K$-Vektorraum. Eine Abbildung $f\colon V\to K$ heißt Linearform, wenn für alle Vektoren $x,y\in V$ und Skalare $\alpha \in K$ gilt:

* $f(x+y)=f(x)+f(y)$ (Additivität);
* $f(\alpha x)=\alpha f(x)$ (Homogenität).

Die Menge aller Linearformen über einem gegebenen Vektorraum $V$ bildet dessen Dualraum $V^{*}$ und damit selbst wieder in natürlicher Weise einen $K$-Vektorraum.

## Eigenschaften

Allgemeine Eigenschaften für Linearformen sind zum Beispiel:

* Wie jede lineare Abbildung sind sie durch ihre Werte für eine beliebige Basis von $V$ vollständig bestimmt.
* Sie sind entweder trivial (überall identisch $0_{K}$) oder surjektiv.
* Haben zwei von ihnen gleiche Kerne, so unterscheiden sie sich nur durch die Multiplikation mit einem Skalar.

Speziell für lineare Funktionale gilt außerdem:

* Sie sind genau dann stetig wenn ihr Kern abgeschlossen ist.
* Ihr absoluter Betrag ist stets eine Halbnorm auf $V$.
* Lineare Funktionale $\mathbb {K} ^{n}\to \mathbb {K}$ sind genau die Abbildungen $x\mapsto \langle v,x\rangle$, wobei $v\in \mathbb {K} ^{n}$ einen Vektor und $\langle \cdot ,\cdot \rangle$ das Standardskalarprodukt bezeichnen.

## Linearform als Tensor

Eine Linearform $f$ ist ein kovarianter Tensor erster Stufe; man nennt sie deshalb manchmal auch 1-Form. 1-Formen bilden die Grundlage für die Einführung von Differentialformen.

## Verwandte Begriffe

Gilt speziell $K=\mathbb {C}$ und ändert man die zweite Bedingung in $f(\alpha x)={\overline {\alpha }}f(x)$ ab, wobei ${\overline {\alpha }}$ das komplex Konjugierte von $\alpha$ bezeichnet, erhält man eine Semilinearform.

Eine Abbildung, die linear oder semilinear in mehr als einem Argument ist, ist eine Sesquilinearform, eine Bilinearform, oder allgemein eine Multilinearform.

