+1 Daumen
2k Aufrufe

Wieso gilt für das Skalarprodukt:

Ax,x>Ax,y wenn xy\langle Ax,x\rangle > \langle Ax,y\rangle \textrm{ wenn } x \neq y

Brauche diesen Zusammenhang für eine Beweis.

:)

Avatar von
Das gilt wohl nicht.

Zu zeigen ist folgendes:

J(x) : =12Ax,xb,xJ(x) := \frac{1}{2}\langle Ax,x\rangle - \langle b,x\rangle

ist strikt konvex, also:

(1t)J(x)+tJ(y)J((1t)x+ty) fu¨r alle x,yRd und alle t  ]0;1[(1-t)J(x)+tJ(y)\geq J((1-t)x+ty) \textrm{ für alle } x,y \in \mathbb{R}^d \textrm{ und alle } t \in \; ]0;1[

Das habe ich umgeformt zu:

Ax,y+Ax,yAx,xAy,y0\langle Ax,y \rangle +\langle Ax,y \rangle -\langle Ax,x \rangle -\langle Ay,y \rangle \leq 0

Warum hast du da kein t mehr in deiner Ungleichung?

t soll wohl eine Zahl aus dem Intervall zwischen 0 und 1 sein. Oder?

Ja t liegt zwischen 0 und 1 (nimmt aber keinen der Werte an).

Ich habe kein t mehr in meiner Gleichung, weil ich es rauskürzen konnte.

Vielleicht gibt es aber auch eine andere Möglichkeit den Beweis zu machen, ich weiß es nicht.

Soll AA vielleicht positiv definit sein?

Mein Fehler. Das hätte ich vielleicht schreiben sollen...

A ist positiv definit und symmetrisch!

Wer auch immer meinen Fragetitel geändert hat, wir sind NICHT im R4, sondern im Rn

1 Antwort

+1 Daumen
 
Beste Antwort
Vielleicht hilft der Ansatz xy,A(xy)>0\langle x-y,A(x-y)\rangle>0 für xyx\ne y weiter.
Avatar von

EDIT: @Loewe1000. Danke für den Hinweis. Das war ich. Ich sehe dass ich das nicht genau gelesen hatte. Ich sehe allerdings in deinem Kommentar Rd.

Die Überschriften sollten so aussagekräftig wie möglich sein, damit Duplikate nicht doppelt und dreifach beantwortet werden. Es gibt einige Leute, die schon viele Stunden auf Antworten warten.

Ich weiß leider nicht wie ich von:

Ax,y+Ax,yAx,xAy,y0\langle Ax,y \rangle +\langle Ax,y \rangle -\langle Ax,x \rangle -\langle Ay,y \rangle \leq 0 auf  xy,A(xy)>0\langle x-y,A(x-y)\rangle>0 kommen soll...
@Lu Das klingt logisch. Werde nächstes Mal versuchen einen aussagekräftigeren Titel zu finden! :)

Loewe1000: Vielleicht ist es für dich ein Kinderspiel von der zweiten Ungleichung in deinem Kommentar auf die erste zu kommen (?)

Danach: Umformungskette umdrehen.

Danke, das sieht tatsächlich einfacher aus! :D

Dann bleibt mir nur noch die Frage ob

xy,A(xy)>0\langle x-y,A(x-y)\rangle>0 gilt, da A positiv definit ist?

Das fände ich eigentlich logisch (?)

Ich nehme mal an, ein Skalarprodukt ist kommutativ. Ansonsten: Warum nicht:

A(xy),xy>0\langle A(x-y),x-y \rangle>0

statt

xy,A(xy)>0\langle x-y,A(x-y)\rangle>0

?

Ein Skalarprodukt ist auf jeden Fall kommutativ, aber ich verstehe nicht, wieso

A(xy),xy>0\langle A(x-y),x-y\rangle>0

das Problem vereinfacht.

Wäre Am,m>0\langle Am,m\rangle>0 denn sicher, wenn m≠0 ? 

Manchmal steht man auf dem Schlauch... !!

Bitte. Gern geschehen! Ist nun die Frage erledigt?

Ja, die Frage ist geklärt! :)

Ein anderes Problem?

Stell deine Frage