od Kyril77 » 13. 2. 2006 22:21
Asi buď (jak to dělal Pick na přednášce) vyjít z analytického vyjádření té bilineární formy a nějak dokázat nebo vyvrátit, že pro libobolný vektor splňuje vyjádření některou z nerovností >0,<0. Na přednášce právě našel dva vektory, pro jeden >0, pro druhý <0 => indefinitní. Nebo by možná šlo vyjít z toho, že matice druhého diferenciálu je asi vždy hermitovská (symetrická v reálném světě) a najít nějakou metodou (char. polynom, nebo převod na diagonální matici) vlastní čísla a bude PD, právě když jsou všechna vlastní čísla kladná.
Nicméně za to neručím, už si lingebru moc nepamatuju.
Asi buď (jak to dělal Pick na přednášce) vyjít z analytického vyjádření té bilineární formy a nějak dokázat nebo vyvrátit, že pro libobolný vektor splňuje vyjádření některou z nerovností >0,<0. Na přednášce právě našel dva vektory, pro jeden >0, pro druhý <0 => indefinitní. Nebo by možná šlo vyjít z toho, že matice druhého diferenciálu je asi vždy hermitovská (symetrická v reálném světě) a najít nějakou metodou (char. polynom, nebo převod na diagonální matici) vlastní čísla a bude PD, právě když jsou všechna vlastní čísla kladná.
Nicméně za to neručím, už si lingebru moc nepamatuju.