LaG (2) - Sylvestrovo kritérium kladnej definitnosti, Bilineárne formy | prednáška 25

Zhrnutie prednášky

Prednáška z Lineárnej algebry a geometrie 2 sa zaoberá kvadratickými formami zapísanými pomocou symetrickej matice v tvare xSxᵀ a ich správaním sa pri zmene bázy. Pripomína sa vzťah kongruencie matíc R = PSPᵀ, existenciu kanonického (diagonálneho) tvaru kvadratickej formy s k jednotkami a s−k mínus jednotkami na diagonále a Sylvestrovu vetu o zotrvačnosti zaručujúcu jednoznačnosť čísel k a s. Na záver sa zavádzajú definície kladnej definitnosti, kladnej semidefinitnosti, zápornej definitnosti a zápornej semidefinitnosti kvadratickej formy ako príprava na jednoduchšie kritérium na určenie signatúry bez doplňovania na štvorec.

• Kvadratická forma Q(x) = xSxᵀ je jednoznačne určená symetrickou maticou S
• Zmena bázy pomocou regulárnej matice P vedie na kongruentné matice R = PSPᵀ
• Veta o kanonickom tvare: každá kvadratická forma je kongruentná s diagonálnou maticou typu (k,s) s jednotkami, mínus jednotkami a nulami na diagonále
• Sylvestrova veta o zotrvačnosti zaručuje jednoznačnosť počtu kladných (k) a záporných (s−k) členov v kanonickom tvare
• Dôkaz existencie kanonického tvaru sa robí doplnením na štvorec, čo je pracné a bez explicitného algoritmu
• Motivácia štúdia kvadratických foriem: súvis s Taylorovým rozvojom funkcií viacerých premenných do 2. rádu
• Definícia kladne definitnej formy: Q(x) > 0 pre každý nenulový vektor x
• Definície kladne semidefinitnej, záporne definitnej a záporne semidefinitnej formy pomocou nerovností ≥0, <0, ≤0

Zhrnutie pripravené s pomocou AI z prepisu videa.