0 Daumen
621 Aufrufe

Aufgabe:

Wieso ist der Begriff "positiv-definit" wohldefiniert?

Problem/Ansatz:

Ich habe ein Problem mit dieser Frage, weil ich mir nicht vorstellen kann, wie für so etwas Wohldefiniertheit zu zeigen ist und in was für einem Zusammenhang diese Wohldefiniertheit mit hermiteschen Formen steht.

Wenn mir jemand helfen könnte, wäre das toll :)

Avatar von

Ich vermute, dass es um Basis-Unabhängigkeit geht.

Ist h eine hermitesche Sesquilinearform auf V, dann nennt man h

positiv definit     \iff h(v,v)>0h(v,v) > 0 für alle v0v≠0

Aber es ist ja h h eine Abbildung h :  V×VC h :~V \times V \to \mathbb C

Der Ausdruck h(v,v)>0h(v,v) > 0  ergibt aber nur Sinn, falls h(v,v)R h(v,v) \in \R , denn auf den komplexen Zahlen kann man keine Ordnung angeben wie bspw. auf R \R .

Oh ja. Das ist eine bessere Deutung !

1 Antwort

0 Daumen
 
Beste Antwort

Das Problem kommt daher, dass eine Sesquilinearform ,\langle\cdot,\cdot\rangle von V×VV\times V nach KK abbildet, wobei KK ein Körper und VV ein KK-Vektorraum ist.

Ist K=CK = \mathbb{C}, dann ergibt die Forderung

        v,v>0vV\langle v,v\rangle > 0\quad \forall v\in V

unter Umständen keinen Sinn, weil C\mathbb{C} nicht angeordnet werden kann.

Positive Definitheit ist aber nur für hermitesche Sesquilinearformen definiert. In hermiteschen Sesquilinearformen ist v,v\langle v,v\rangle für alle vVv\in V reell. Wäre das nicht der Fall, dann wäre positive Definitheit unter Umständen nicht wohldefiniert. Das hängt vom genauen Wortlaut deiner Definition ab.

Avatar von 107 k 🚀

Ein anderes Problem?

Stell deine Frage