0 Daumen
622 Aufrufe

Aufgabe:

Zeigen Sie, dass \( H=I_{4}-\frac{1}{4} 1_{4} 1_{4}^{T} \) nichtnegativ definit ist. Hinweis: Berechnen Sie \( H^{T} H \).


Problem/Ansatz:

Habe erstmal den Hinweis angewendet:

\( \begin{aligned} H^{T} \cdot H &=\left(I_{4}-\frac{1}{4} 1_{4} \cdot 1_{4}^{T}\right)^{T} \cdot\left(I_{4}-\frac{1}{4} \cdot 1_{4} \cdot 1_{4}^T\right) \\ &=\left(I_{4}-\frac{1}{4} 1_{4} \cdot 1_{4}^{T}\right)\left(I_{4}-\frac{1}{4} \cdot 1_{4} 1_{4}^{T}\right) \\ &=\left(I_{4}-\frac{1}{4} \cdot 1_{4} 1_{4}^T\right)^{2} \end{aligned} \)

Ist die Rechnung soweit richtig? Wenn ja, dann ist ja A dann nicht negativ definit wegem dem Hoch 2, oder irre ich mich?( In der Rechnung taucht ein senkrecht Zeichen auf, bitte einfach ignorieren, ich weiß nicht, wie man es wegbekommt)

Avatar von

Also wenn ich dich nicht falsch verstehe und \( I_{4}\) einfach die 4x4 Einheitsmatrix ist, dann ist doch

\(H=\begin{pmatrix} 3/4 & 0& 0 & 0 \\  0 & 3/4& 0 & 0\\ 0 & 0& 3/4 & 0 \\ 0 & 0& 0 & 3/4 \end{pmatrix} \)

eine positiv definite Diagonalmatrix. Deine Rechnung geht auch.

Stimmt ja, danke, ja du hast mich richtig verstanden :)

Oder soll \(1_4=(1,1,1,1)^\top\) sein?

1 Antwort

0 Daumen
 
Beste Antwort

Du hast das doch sehr schön vorgerechnet.

Avatar von 287 k 🚀

Danke, freut mich, dass das so passt :)

Warum soll denn H nichtnegativ definit sein, wenn HTH=H2 ist?

Dann wäre sie doch idempotent, oder nicht? Also die eigenwerte wären dann doch entweder 0 oder 1, also nicht negativ, oder gibt es da eine andere Begründung?

HTH=H2 gilt wohl für alle symmetrischen Matrizen, aber nicht alle symmetrische Matrizen sind nichtnegativ definit.

Also wäre meine rechnung nicht hinreichend? Was sollte ich den stattdessen tun?

Kann es sein, dass 14=(1,1,1,1)T sein soll und nicht die Einheitsmatrix?

Ja, habe mich dann wohl verguckt, das tut mir leid

Rechne nach, dass HTH = H ist. Dann gilt vTHv = vT(HTH)v = (Hv)T(Hv) ≥ 0 für jeden Vektor v ∈ ℝ4, woraus die Behauptung folgt.

Danke, warum aber ist (Hv)^T(Hv) ≥ 0? Also wie kommst du darauf?

Hv ist irgendein Vektor im ℝ4. Für jeden dieser Vektoren u=Hv gilt uTu ≥ 0 (kanonisches Skalarprodukt).

Ah ok, danke schön

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community