Documente Academic
Documente Profesional
Documente Cultură
i 1
j 1
i 1
j 1
i 1
j 1
, f n forma canonic
G g1,
p'
q'
i 1
j 1
Presupunem c p ' p
Fie X1 Span f1 ,
(a1)
, f p i X 2 Span g p '1 ,
X 2 , obinem
X 2 0 . Aadar x 0 astfel
, p , 0,
,0
V x xTF A xF i2 0 (a2)
i 1
pozitiv semidefinit dup ali autori (n terminologia englez, pozitiv nseamn > 0, de aici necesitatea
pentru 0 a sintagmei semipozitiv definit; sau diferenierea prin strict pozitiv pentru > 0 i pozitiv sau
nenegativ pentru 0 )
2
negativ semidefinit
Din x X 2 rezult x
V x xGT B xG
j p '1
p ' q '
j p '1
j g j , xG 0,
2j 0
, 0, p '1,
, n
(a3)
p' p
Din contradicia dintre (a2) i (a3) rezult c presupunerea (a1) este fals, deci avem:
, f n i X 2 Span g1 ,
(a4)
, g p ' avem
x X1 rezult x
pq
i p 1
i p 1
T
i f i , xF 0,,0, p1 ,, n i V x xFT A xF i2 0
Din x X 2 rezult x
p'
i 1
(a5) .
g i , xG 1 , , p ' ,0, ,0 i
T
p'
V x xGT B xG i2 0
i 1
X 2 Span g1,
, gn obinem dim X1
, g p , g pq '1,
, f pq i
X 2 q q ' 0 , deci exist x 0 ,
x X1 i x X 2 . Din x X1 avem x p j f p j , xF 0,
j 1
, 0, p1 ,
, p q , 0,
,0
pq
V x xFT A xF i2 0
(a7) .
i p 1
Din x X 2 x i gi
i 1
j p q ' 1
j g j , xG 1 ,
, p , 0,
, 0, p q '1 ,
, n
V x xGT B xG i2 0
(a8) . Avem contradicie ntre (a7) i (a8), deci ipoteza folosit este
i 1
X 2 Span g p1,
, f p , f pq1,
, f n i
i 1
i 1
i xi , y i xi ,y , xi ,y X i i K .
x,y xi yi , x, y R n , x x1 ,, xn , y y1 ,, yn .
i 1
f ,g f x g x d x, f , g C a, b .
b
0 1, 1 a11 0, 2
a11
a12
a21
a22
a11
a1i
0,, i
aii
V x
0 2 1 2
t
y1
y2 n1 yn2 , unde xG y1 , y2 ,, yn .
1
2
n
gi = ik f k , i = 1,n
k=1
f gi ,g j 0, dac i j
,
j-1
, dac i = j
f gi ,g j
j
unde f este funcionala polar a lui V i observnd c pentru fiecare i se obine un sistem compatibil
determinat al crui determinant este chiar i 0, i 1,n .
Observaie: Dac i 0, 1 i n , atunci teorema de mai sus nu se poate aplica. n acest caz se
determin o nou baz a lui (X,R) i o nou expresie a funcionalei ptratice V pornind de la un coeficient
aij 0 i fcnd transformarea:
xi yi y j
x j yi y j
x y , pentru k 1, ,n \ i,j.
k
k
Metoda lui Gauss. Conform acestei metode dac a i i 0 , atunci se grupeaz toi termenii care l conin
pe xi i se formeaz un ptrat perfect (l notm cu yi2 ), apoi pentru restul termenilor se reia procedeul de
formare a ptratelor perfecte pn se obine o sum algebric de n ptrate. Cum legtura ntre
coordonatele xi i yi este dat de relaia xG C 1 xF , unde F este baza iniial, C este matricea de
trecere de la baza F la baza G, xF x1 , x2 ,, xn i xG y1 , y2 ,, yn , atunci baza G este
T
1 1 0
Soluie: i) V x ai j xi x j i ai j a j i , i, j implic A 1 0 1 .
i 1 j 1
0 1 0
f x, y xT A y .
iii) Avem 0 1 , 1 1 1 , 2
1 1
1 , 3 det( A) 1 .
1 0
i 1
i 1
xG y1 , y2 , y3 . Se vede c V este nedefinit (ia i valori negative i valori pozitive). Pentru baza
T
a
b
d
0
0
h
pentru j i i f g i , g i i 1 , i, j 1,3 .
i
Din f g1 , g1 1 g1T A g1 1
1 1 0 a
a
a 0 0 1 0 1 0 1 a a 0 0 1 a 2 1 a 1 . Lum a 1 ,
0 1 0 0
0
T
deci g1 1 0 0 .
b c
g1T A g 2 0
b c 0
f g1 , g 2 0
. Cum A g 2 b obinem sistemul 2
, deci
T
2
b
1
g 2 A g 2 1
f g 2 , g 2 1
T
c b , b 2 1 , lum b 1 c 1 i g 2 1 1 0 .
g1T A g 3 0
f g1 , g 3 0
d e
3
3
g 3 A g 3 1
d e 0
T
, lum soluia h 1, d 1, e 1 , deci g 3 1 1 1 .
d e d h 0
d 2 2d e 2e h 1
1
1
1
1
1 1
0
0
1
0 0
1
1 0 0
T
Matricea B 0 1 0 a formei canonice verific relaia B C A C .
0 0 1
2
2
1 1 1
1 0 0