mateforum.ro

Fie X matricea de ordin n cu elementele: n-1 pe diagonala principala si -1 in rest, iar A o matrice oarecare de ordin m x n (m, n naturale nenule). Sa se demonstreze inegalitatea \( \det (AXA^t) \geq 0 \).

1. Se determina forma matricei AXB (m x m).
2. Se arata pentru m = 1, 2, 3 etc. ca inegalitatea este adevarata (determinantul rez. este pozitiv).
3. Inductie dupa m (trecerea de la m la m+1 se face scriind elementele de pe ultima coloana si linie sub forma ax+b, si se rezolva inec. de grad 2 in x, etc.) => se reduce la a se dem. o identitate cu determinanti simetrici.

Haideti sa vedem o solutie lipsita de calcule.
Daca C este matrice complexa de ordin mxn, atunci \( \det(CC^h)\geq0 \) (pentru demonstratie vezi http://www.mateforum.ro/viewtopic.php?p=12918#12918).
Acum alegem \( C=AX^h \). Tinand cont ca X este hermitiana (chiar simetrica) obtin \( \det(AXXA^h)\geq0 \). Dar \( XX=X^2=(nI-U)^2 \) unde U matricea cu toate elementele 1 si cum \( U^2=nU \) se obtine \( X^2=nX. \) Avem deci \( \det(AnXA^h)\geq0 \), adica \( n^m\det(AXA^h)\geq0 \) si astfel am obtinut ca inegalitatea functioneaza si pt. A complexa. Daca A reala \( A^h=A^t \).

Observatie: \( A^h=(\overline{A})^t. \)

Frumoasa solutia, btw problema era propusa de mine. Nu ma asteptam sincer sa iasa asa usor .

Problema este un caz particular al problemei de aici. Matricea \( X \) poate fi scrisa sub forma \( X=BB^t \) pentru ca e simetrica si pozitiv definita.

http://mathworld.wolfram.com/CholeskyDecomposition.html

Pai X nu este pozitiv definita, avand elementele -1 peste tot mai putin pe diagonala principala.

\( B= \left[ \begin{array}{cccc} \sqrt {3}&0&0&0\\-1/3\sqrt {3}&2/3\,\sqrt {6}&0&0\\-1/3\,\sqrt {3}&-1/3\sqrt {6}&\sqrt {2}&0\\-1/3\,\sqrt {3}&-1/3\sqrt {
6}&-\sqrt {2}&0\end{array} \right] \)

Daca o sa calculezi \( B\cdot B^t \) obtii exact matricea ta. Nu e chiar pozitiv definita ca are determinantul 0, dar se poate descompune asa.

SNT wrote:Frumoasa solutia, btw problema era propusa de mine. Nu ma asteptam sincer sa iasa asa usor .

Daca as sti numele d-voastra as putea face o mica generalizare si trimitem problema la GM.

Sigur... puteti sa imi dati id-ul de mess ca sa vb?