Kryterium Sylvestera
Z Wikipedii
Kryterium Sylvestera - kryterium pozwalające badać dodatnią (lub ujemną) określoność macierzy kwadratowej.
[edytuj] Kryterium Sylvestera
Macierz
o współczynnikach rzeczywistych jest dodatnio określona wtedy i tylko wtedy, gdy wyznaczniki wiodących minorów głównych są dodatnie, tj.
- a11 > 0
- dla .
Macierz A, taka jak wyżej. jest natomiast ujemnie określona wtedy i tylko wtedy, gdy
- a11 < 0
- dla
- dla ,
gdzie i oznaczają odpowiednio zbiór liczb parzystych i nieparzystych.
Reguła mnemotechniczna:
gdzie na przekątnej zaznaczono znaki minorów głównych (,,narożnikowych") .
Jeśli macierz A traktować jako macierz formy kwadratowej
- ,
to forma ta jest dodatnio (ujemnie) określona wtedy i tylko wtedy gdy jej macierz jest dodatnio (ujemnie) określona.
[edytuj] Bibliografia
- Andrzej Mostowski, Marceli Stark: Elementy algebry wyższej. Warszawa: PWN, 1975.