Slide 5

Prova da Relação de stiefel

Temos que

ljnttlnp)
m.E #tn.Fiq- m.p+Yin-p7p-Ttcn.HpTp.
=

in://n.fm
+

F)
=

In -

pl! lp.tl !
( É)
ft n -4ps

üH÷)
"!
mente
In -

M ftp.t )

cnn.FI#
⇐

( Y) na
 Slide 7

Prova teorema das linhas )

A será indução Para isso Considere a
prova por ,
.

propriedade en) :
pg )
+

(g) t.cat
(2) = t?

i ) Para não temos :

,

Pld
:( g) = e =D

Logo ,
P é
satisfeito para
não .

verdadeira
) Suponha PIK) é
ii
que ,
ou
seja ,

RN
:(f) t t
(f) t.cat
(E) = õ l # it .

Devemos mostrar que Piktt) é verdadeira ,

isto é
,

!
"
PKTII
:(Ktj ) tlktfft .tk#tfEff-=d . .

Noto que pela relação de stiofel ,

temos

kit =L;) tl;) ↳

(F) =

(E) t
(E) vi

(F) =
(E) EE) t ↳I

: :

K¥1 =L :D tl :) "

IE) Iô) e
1¥;) EI
-

- .

ÍÍÊÍ
.t #)tfEfD=lko)tlkoItlksItlIftlkft-otfEftfk)tlE)
+
µ ; ftp.tjft . .

=L
(f) t a
(f) t a t . -
o
t 2

= 2
[ (f) t t
µ t . . - t
IE) )
( HI) K
= 2 .
2

1
= 2kt

satisfeitas
Como
,
) foram
então
para
as Condições
Rn) é
lite
válida
Iii
todo MEIN .

DE