Kritérium Sylvester určuje, zda je symetrická čtvercová matice kladně (negativní, nezáporná) definitivní .
Nechť má kvadratická forma matici v nějaké bázi
Pak je tato forma pozitivně definitní právě tehdy, když všechny její úhlové minory o velikostech i × i , kde i se pohybuje přes všechna celá čísla od 1 do n včetně, jsou kladné; a je záporně určitý právě tehdy, když se znaménka střídají, navíc [1] . Zde jsou úhlové minory matice determinanty formy
To kritérium říká
Aby byla kvadratická forma pozitivně definitní, je nutné a postačující , aby úhlové minory její matice byly kladné. |
Jeho důkaz je založen na Jacobiho metodě redukce kvadratické formy na kanonickou formu.
Důkaz o nezbytnostiNechť je kladná určitá kvadratická forma. Pak je j -tý diagonální prvek kladný, protože , kde je vektor se všemi nulovými souřadnicemi kromě j -tého. Při redukci matice na kanonickou formu nebude vzhledem k nedegeneraci úhlových minorů potřeba přeskupovat řádky, tudíž se v důsledku toho nezmění znaménka hlavních minoritních matice. A v kanonické formě jsou diagonální prvky kladné, a proto jsou vedlejší kladné; proto (protože se jejich znaménko během transformací neměnilo) pro kladnou určitou kvadratickou formu v jakékoli bázi jsou hlavní minority matice kladné.
Důkaz dostatečnostiJe dán symetrický kvadratický tvar, jehož všechny úhlové minory jsou kladné. Uvažujme nejprve první diagonální prvek v jeho kanonické podobě: jeho znaménko je určeno první úhlovou moll. Dále znaménko čísla určuje znaménko ( i + 1)-tého prvku v diagonálním tvaru. Ukazuje se, že v kanonické formě jsou všechny prvky na diagonále kladné, to znamená, že kvadratická forma je pozitivně definována. [2]
Aby byla kvadratická forma záporně definitní, je nutné a postačující, aby sudé úhlové minory její matice byly kladné a liché záporné. |
Důkaz se redukuje na předchozí případ, protože matice je negativně definitní tehdy a jen tehdy, když je matice pozitivně definitní. Když je matice nahrazena jejím opakem, hlavní minority lichého řádu se změní znaménko, zatímco hlavní minority sudého řádu zůstávají stejné kvůli základním vlastnostem determinantů.
Pro kladné semidefinitní matice je kritérium podobné: forma je kladně semidefinitní právě tehdy, když jsou všechny hlavní minority nezáporné. Hlavní vedlejší je zde determinant podmatice, která je symetrická vzhledem k hlavní diagonále, tj. podmatice, jejíž sady čísel sloupců a řádků, které ji specifikují, jsou stejné (například 1. a 3. sloupec a řádky na na jejímž průsečíku se matice nachází) [3] .
Nezápornost pouze úhlových minorů nestačí, což vyplývá z protipříkladu : , ale forma není kladně semidefinitní.