GABARITO PROVA 3

Exerccio 1
a)
Como f multilinear, vale a seguinte regra de derivao vista em sala de aula
df (A1 , ..., Ak ) (H1 , ..., Hk ) =
f (H1 , A2 , A3 , ..., Ak ) + f (A1 , H2 , A3 , ..., Ak ) + f (A1 , A2 , H3 , ..., Ak ) + ... + f (A1 , A2 , A3 , ..., Hk ) .
Logo
df (A1 , ..., Ak ) (H1 , ..., Hk ) =
H1 A2 A3 ...Ak + A1 H2 A3 ...Ak + A1 A2 H3 ...Ak + ... + A1 A2 A3 ...Ak1 Hk .
b) Observamos que g composio das seguintes funes
T f
X 7 (X, ..., X) 7 X k ,
em que f a funo do item a). Como T linear, temos dT (X) = T . Logo
dg(X)(H) = df (T (X))dT (X)(H) = df (X, X, ..., X)T (H) =
k
X
df (X, X, ..., X) (H, ..., H) = HX k1 + XHX k2 + X 2 HX k3 + ... + X k1 H = X j1 HX kj .
j=1

Convencionamos X = I .0

No caso em que X = I , temos dg(I)(H) = kH . Logo um isomorsmo com inversa dada pela funo S :
Mn (R) Mn (R) denida como
1
S(H) = H.
k
c) Sabemos que g uma funo de classe C , pois composta de uma funo linear e uma multilinear. Logo
composta de funes C . Como g(I) = I k = I e como dg(I) um isomorsmo, conclumos, pelo Teorema da
funo inversa, que existem abertos e que contm I e g(I) = I , respectivamente, tais que g : um
difeomorsmo. Seja h : dada por h = ( g| )1 . Logo h diferencivel e dada A , h(A) a nica matriz
em tal que
g(h(A)) = A,
ou seja, tal que
h(A)k = A.

Exerccio 2
a) Vemos que F = T S . Logo
dF (x, y, z)(u, v, w) = dT (S(x, y, z))dS(x, y, z)(u, v, w) =
dT (A(x), f (y), g(z)) (dA(x)u, df (y)v, dg(z)w) =
T (dA(x)u, f (y), g(z)) + T (A(x), df (y)v, g(z)) + T (A(x), f (y), dg(z)w) =
h(dA(x)u) (f (y)) , g(z)i + hA(x) (df (y)v) , g(z)i + hA(x) (f (y)) , dg(z)wi .
b) Basta observar que F composio das funes abaixo
S B
x 7 (f (x), f (x)) 7 hf (x), f (x)i ,
em que S(x) = (f (x), f (x)) e B(u, v) = hu, vi (Note que B bilinear). Logo
dF (x)(h) = dB(S(x))dS(x)(h) = dB(f (x), f (x)) (df (x)(h), df (x)(h)) =
B(df (x)(h), f (x)) + B(f (x), df (x)(h)) =
hdf (x)(h), f (x)i + hf (x), df (x)(h)i = 2 hdf (x)(h), f (x)i .
1
 GABARITO PROVA 3 2

Observamos que se dF (x0 ) = 0, ento hdf (x0 )(h), f (x0 )i = 0, para todo h Rm . Suponha que dF (x0 ) = 0 e que
df (x0 ) : Rm Rn seja sobrejetora. Logo, existe h Rm tal que df (x0 )(h) = f (x0 ). Assim
2
0 = dF (x0 )(h) = 2 hdf (x0 )(h), f (x0 )i = 2 kf (x0 )k ,
ou seja, f (x0 ) = 0. Assim, se dF (x0 ) = 0 e f (x0 ) 6= 0, ento df (x0 ) no sobrejetora.
c) Seja x f 1 (c). Logo df (x) sobrejetora, pois c um valor regular, e dF (x) = 0, pois F (x) = kck2 o
mnimo de F . Assim, pelo item b), devemos ter f (x) = 0, ou seja, c = f (x) = 0.

Exerccio 3
a) Suponha que kf (x) f (y)k M kx yk para todo x, y . Logo, para todo x e v Rm , temos

f (x + tv) f (x)
= lim f (x + tv) f (x)

kdf (x)(v)k = lim
t0 t t0 t
kf (x + tv) f (x)k M t kvk
lim sup lim sup = M kvk .
t0 t t0 t
Assim, kdf (x)k M .
Por outro lado, se kdf (x)k M para todo x , ento, usando o Teorema do valor Mdio, conclumos que
kf (y) f (x)k sup kdf (x + t(y x))k ky xk M ky xk .
t[0,1]

b) Vamos mostrar que f diferencivel e que df (x) = 0 para todo x. Como conexo, isto implica que f
constante. Seja x e v Rm . Logo
f (x + tv) f (x)
df (x)(v) = lim .
t0 t
Mas 2
t2 kvk

f (x + tv) f (x) kf (x + tv) f (x)k 2
= = t kvk .
t t t
Logo
f (x + tv) f (x)
lim = lim t kvk2 = 0 = df (x)(v) = lim f (x + tv) f (x) = 0.
t0 t t0 t0 t

Exerccio 4
a) Seja x0 . Pela Teorema da forma local das imerses, existe um difeomorsmo h : Z Rn V W Rn ,
em que (x0 , 0) V W e f (x0 ) Z tal que
h f (x) = (x, 0), x V.
Assim, seja x e y V tais que f (x) = f (y). Logo
h f (x) = h f (y) = (x, 0) = (y, 0) = x = y.
Desta maneira, f |V : V R uma funo injetora.
n

b) Seja : Rm Rn dada por (x) = (x, f (x)). Vemos assim que

() = {(x, f (x)), x } = graf (f ).
Basta agora mostrar que uma parametrizao.
1) uma imerso.
De fato, d(x)(h) = (h, df (x)(h)) = (0, 0) implica que h = 0. Logo d(x) : Rm Rn injetora.
2) injetora. Portanto : () uma bijeo.
De fato, se (x) = (y), ento (x, f (x)) = (y, f (y)). Logo x = y .
3) : () um homeomorsmo.
De fato, seja : Rm Rn Rm dado por (x, y) = x. Logo
(x) = (x, f (x)) = x e (x, f (x)) = (x) = (x, f (x)).
Logo = |() , ou seja, 1 igual a restrio de uma funo contnua. Logo uma funo contnua.
1

Assim, ; () um homeomorsmo.