ru/ywmm funkcjonałem kwadratowym. jadł jcsl ona funkcjonałem kwadratowym y znaczonym przez pewien funkcjonał dwulmiowy symetryczny określony na pr/r^j,, ni V
Jeśli jest funkcjonałem kwadratowym na przestrzeni V , to istnieje dokładnie joj,, funkcjonał dwulmiow y symetryczny v>. który wyznacza 0.
Jeśli 5 a (i'i.. . «J jest baza przestrzeni wektorowej V'. to funkcja 0 . V K jest funkcjonałem kwadratowym wtedy i tylko wtedy, gdy istnieje układ skaUf-/t
. ji|. »kiK <*tf ® ty <Błi, i € (I.....n| oraz
4*... 4- x*t>«) = } y^ajjX/Xj. '=1 y=i
Wielomian zmiennych .xj.....i„ stojący po prawej stronie równości (7.6 j na/ywin
formą kwadratową funkcjonału 0 w bazie 8. natomiast macierz symetryczną |o < M(«. AM nazywamy macierzą funkcjonału kwadratowego 0 w bazie 8
Rząd macierz) funkcjonału kwadratowego 0 w bazie 8 przestrzeni wektorowe , nie zależy od wyboru bazy 8 Rząd ten nazywamy rzędem funkcjonału kwadratowego#
Barę 8 skończenie wymiarowej przestrzeni wektorowej V nazywamy bazą Lin.. mczną funkcjonału kwadratowego 0 określonego na przestrzeni V. jeśli macierz runi cjorulu 0 w tej bozie jest diagonalna.
TWIERDZENIE La<;raNGE*A. Każdy funkcjonał kwadratowy określony na " ■ czenic wymiarową} przestrzeni V ma bazę kanoniczny.
Przykład 94. Funkcjonał kwadratowy 0 na przestrzeni wektorowej R: okleiło* jest wzorem $(|xi.x2j) = xl3 4 8x1X2 + 5x2. Znaleźć funkcjonał dwuliniowy syn* tiyczny \p wyznaczający funkcjonał kwadratow y 0 i wskazać macierz funkcjotulu i w bazie kanonicznej przestrzeni R\
Roz*'ią&nie. Aby otrzymać formę funkcjonału *p. wystarczy składniki x\ i 5i: a-stąpić składnikami *|>i i Sxjyi waz składnik Śxix2 zastąpić sumą 4.t,yt4-4x»y, W mku otrzymujemy wzór y>(Jx,. x2). ty», y^j) = Xjyj 4- 4xjyz 4- 4xi>'t 4- 5xjyj.
Macierzą funkcjonału 0 jest macierz funkcjonału dwuliniowego symetrycznego;
wyznaczającego funkcjonał 0. czyli macierz
Przykład 95. Stosując metodę Lagrange’a. znaleźć bazę kanoniczną 81 odpowie* mą formę kanoniczną funkcjonału kwadratowego 0 określonego na przestrzeni wcU> rowej Rj wzorem
a) 4><{x,,xj.x>D ss x* -F2xJ 4-3xJ 4- 2x,x2 4-4xjX3 4- 5x2.t3.
b) $<(xi.x2.X}]) = X|Xs - 5xix5 4- 7x2x3.
Rozwiązanie. Ad a) Grupując wszystkie składniki, w których występuje op 1 otrzymujemy
0(v) s (xf lc,x2 4- 4xjXj) 4- 2xl + 3x| 4* 5x2xj
= (x, 4- x> 4- 2xj)2 - U2 4- 2x,r 4- 2x| 4- 3xj 4- 5x>x, * (X| 4- x2 4- 2x»r 4- x\ - x2 4- x2xj.
fi buic. w której współrzędnymi są y,. >j. >funkcjonał« m l(jOBę
Dalsze przekształcenia przebiegają następująco:
<p(v) = yf + {yj + yjy,) - y>
Wobec tego nowe współrzędne li. 2j. *j wprowadzamy a pomocą wtórów
Oprowadzamy teru/, nowe współrzędne wzorami
W tej bazie przestrzeni R3. w której współrzędnymi są ;3, funkcjonał $ ma formę <X»(u) = -f-hsf —
Żalem baza ta jest bazą kanoniczną funkcjonału <P Aby wyznaczyć wektory tej buzy. ijnrimy wyjściowe współrzędne jt|. *j. x3 przez współrzędne&
Niech 5 = U'i. ih. t’j). Ponieważ ciągami współrzędnych wektorów r,. i-. n w bazie 5 są odpowiednio ciągi (1,0.0), (0.1.0) i (0.0.1 i. więc zachodzą rtwnoici ti = [1.0.0|. = [-1. I. Ol, t>j = (-5. Ij. Dokonując bowiem we wzorach 17.7 (pod-
wwień Z\ ►— 1. Z2 *-* 0. 2, *-+ O. otrzymujemy współrzędne wektora e, w bazie baonicznej przestrzeni R\ Podobnie podstawienia :i h* 0.<-* I. z — u oraz -*i *- 0. Z} *— 0. i3 >-* I po/w alają wyznaczyć współrzędne wektorów ej i v\ w tonę bnontczncj przestrzeni R3.
Odpowiedi Na przykład B = (fl.0.01. (-1.I)» i wówczas mamy
Ad b). Ponieważ w danej formie kwadratowej nie występuje kwadrat radnej re zmiennych X\, xj. *3. więc możemy zastosować podstawienie
•*2 = vi - yi. xj ~ Ti-