0 Daumen
1,9k Aufrufe

Aufgabe:

Sei B eine reelle nichtsinguläre Matrix. Zeige: BtB ist positiv definit.


Problem/Ansatz:

nichtsingulär = reguläre, invertierbare Matrix

d.h.: es gilt A • A-1 = A-1 • A = I

für positiv definit gilt: xTAx > 0 für alle x aus V mit x ≠ 0

Beweis:

Da B regulär ist gilt: B • B-1 = B-1 • B = I

Das heißt B hat die Form einer quadratischen Matrix

B= \( \begin{pmatrix} b11 & ... & b1n \\ ... & ... & ... \\ bn1 & ... & bnn\end{pmatrix} \)

BT = \( \begin{pmatrix} b11 & ... & bn1 \\ ... & ... & ... \\ b1n & ... & bnn\end{pmatrix} \)

BTB = Doch wie geh ich jetzt weiter vor?


Danke !

Avatar von

1 Antwort

+2 Daumen
 
Beste Antwort

o.B.d.A. gilt für ein beliebiges x mit |x| = 1:

$$ x^TBx \in \mathbb{R} \Rightarrow (x^TBx)^2 =: c^2 > 0 $$ Denn wäre es gleich Null, wäre x = 0 (nicht singulär)

Und mit \(x^TBx = c \Rightarrow (x^TBx)^T = x^TB^Tx = c^T = c \Rightarrow 0 < (x^TBx)^2 = x^TBxx^TB^Tx =  x^TB|x|^2B^Tx = x^TBB^Tx\)

Avatar von

Hallo |x| wähle ich um det(1) zu ergänzen, oder?

Kann ich beim letzten Schritt nicht einfach:

0 < det(BT) det (xTBx)

0 < det (xTBTBx) weil dann habe ich die Definition von positiv definit gleich stehen?

Genau deshalb wählst du |x| = 1 :)

Nein, weil die Definition \(\mathrm{det}(x^TBx)\) > 0. Es ist so gemacht, damit eben genau die Definition dasteht ;)

Okay danke !

Dachte nur, dass man für die Matrix jede beliebige einsetzen kann und somit auch BTB

Nein du wählst ein beliebiges x. Außer du möchtest zeigen, dass \(B^TB\) positiv definit ist.

EDIT: mir fällt auf, dass sich der Beweis tatsächlich so für alle Matrizen mit positiver Determinante führen lässt! Somit kann er wohl nicht stimmen ;)

Ja ich muss ja zeigen, dass BtB positiv definit ist.

Also Sei B eine reelle nichtsinguläre Matrix. Zeige: BtB ist positiv definit.

Sorry ich hatte einen blöden Denkfehler drinnen. Jetzt sollte es passen

Bezüglich: Denn wäre es gleich Null, wäre x = 0 (nicht singulär)

Aber es sollte doch nicht singulär sein (steht ja in der Angabe) und nicht singulär heißt regulär oder meintest du nicht nichtsingulär? :D 

Also:

Man wählt c = xTBx

Man transponiert:   cT = (xTBx)T

Dann ergibt sich: cT = xBTxT Warum ist dann das wieder c?  ist ja nicht das gleiche?

0<(xTBx) Weil man erkennt dass c das gleiche ist?

xTBxxTBT

xTB|x|BTx

xTBBTx

?



Okay jetzt komm ich gar nicht mehr klar :D

Denn wäre es gleich Null, wäre x = 0 (nicht singulär)

Aber es sollte doch nicht singulär sein (steht ja in der Angabe) und nicht singulär heißt regulär oder meintest du nicht nichtsingulär? :D

Ich wollte damit sagen, dass wenn \(x^TBx = 0 \Rightarrow Bx = 0 \Rightarrow x \in \mathrm{ker} B \). Aber da B nichtsingulär (habe das Leerzeichen weggelassen) gilt \(\mathrm{ker} B = 0 \Rightarrow x = 0\)


Dann ergibt sich: \(c^T = xB^Tx^T \) Warum ist dann das wieder c?  ist ja nicht das gleiche?

Ist es, da es eine reelle Zahl ist, das habe ich im letzten Schritt auch nochmal geschrieben. Die Idee dahinter war zu zeigen, dass das Transponierte des Ausdrucks wieder dem Ausdruck entspricht, weil wir das dann später brauchen.

Weil man erkennt dass c das gleiche ist?

Das ist c2

$$x^TBxx^TB^Tx = x^TB|x|^2B^Tx = x^TBB^Tx $$

Erste Gleichung gilt, da \(x^Tx\) das Skalarprodukt und somit das Quadrat des Betrags ist. Dann hatten wir gefordert, dass |x| = 1 und somit kann man es weglassen (1 ist das neutrale Element bezüglich Multiplikation)

Am Ende steht dann \(0 < ... < x^TBB^Tx \) was zu zeigen war.

Ich hoffen das hilft dir, ansonsten frag gerne weiter :)

Okay alles klar vielen Dank! :)

also müsst ich noch ergänzen, dass c ∈ ℝ.

und alles zum Quadrat wähle ich am Anfang nur, damit ich dann das Skalarprodukt als Quadrat des Betrages schreiben kann und somit 1 einsetzen kann, habe ich das richtig verstanden?

Nein, du wählst das zum Quadrat, damit du a) weißt, dass es > 0 und b) damit du einen Faktor durch sein Transponiertes ersetzen kannst um am Ende beim angestrebten Ergebnis anzukommen.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community