Sylvester-kriteriet avgör om en symmetrisk kvadratmatris är positiv (negativ, icke-negativ) definitiv .
Låt den kvadratiska formen ha en matris på någon grund
Då är denna form positiv definitivt om och endast om alla dess vinkelformiga moll med storlekarna i × i , där i sträcker sig över alla heltal från 1 till och med n , är positiva; och är negativt definitivt om och endast om tecknen växlar, dessutom [1] . Här är de vinkelformiga minorerna i en matris formens bestämningsfaktorer
Kriteriet säger det
För att en kvadratisk form ska vara positiv bestämd, är det nödvändigt och tillräckligt att de vinkelformiga bitalen i dess matris är positiva. |
Hans bevis bygger på Jacobis metod att reducera en kvadratisk form till en kanonisk form.
Bevis på nödvändighetLåta vara en positiv bestämd kvadratisk form. Då är det j -te diagonala elementet positivt, eftersom , där är en vektor med alla nollkoordinater utom j -th. När du reducerar matrisen till den kanoniska formen, på grund av att de vinklade minorerna inte degenererar, behöver raderna inte omarrangeras, därför kommer tecknen för de huvudsakliga minors i matrisen inte att ändras. Och i den kanoniska formen är de diagonala elementen positiva, och därför är de mindre positiva; därför, (eftersom deras tecken inte ändrades under transformationer) för en positiv definitiv kvadratisk form på någon grund, är de viktigaste minorerna i matrisen positiva.
Tillräcklighetsbevis _En symmetrisk kvadratisk form ges, vars alla vinklade mindre är positiva. Betrakta först det första diagonala elementet i dess kanoniska form: dess tecken bestäms av den första vinkelformiga moll. Vidare bestämmer talets tecken tecknet för ( i + 1):e elementet i diagonalformen. Det visar sig att i den kanoniska formen är alla element på diagonalen positiva, det vill säga den kvadratiska formen är positivt definierad. [2]
För att en kvadratisk form ska vara negativt bestämd är det nödvändigt och tillräckligt att de vinkelformiga mollorna av jämn ordning i dess matris är positiva och de med udda ordningen negativa. |
Beviset reduceras till föregående fall, eftersom en matris är negativ definitiv om och endast om matrisen är positiv definitiv. När en matris ersätts av sin motsats, byter huvudminors av udda ordning tecken, medan huvudminors av jämn ordning förblir desamma på grund av determinanternas grundläggande egenskaper.
För positiva semidefinita matriser är kriteriet likartat: formen är positiv semidefinite om och endast om alla huvudsakliga minors är icke-negativa. Här är den huvudsakliga minor determinanten för en submatris som är symmetrisk med avseende på huvuddiagonalen, det vill säga en submatris vars uppsättningar av kolumn- och radnummer som anger den är desamma (till exempel första och tredje kolumnen och raderna vid vars skärningspunkt matrisen är placerad) [3] .
Icke-negativiteten hos endast kantiga mindreåriga är inte tillräckligt, vilket följer av motexemplet : , men formen är inte positiv semidefinit.