Questão 2

Christopher Queiroz

14 de junho de 2020

Christopher Queiroz Questão 2

(Espaço tangente para uma variedade produto)
Seja M1 , ..., Mk variedades suaves, e para cada j, seja

πj : M1 , ×...×, Mk → Mj

a projeção sobre o fator Mj . Mostre que, para qualquer ponto

p = (p1 , ..., pk ) ∈ M1 , ..., Mk , a aplicação

α : Tp (M1 , ..., Mk ) → Tp1 M1 ⊕ ... ⊕ Tpk Mk

definida por

α(v ) = (d(π1 )p (v ), ..., d(πk )p (v ))

é um isomorfismo.

Christopher Queiroz Questão 2

Solução:
Como cada M1 , ..., Mk é uma variedades suave, temos:
{(Uj , ϕj )} define uma estrutura suave em cada Mj .
{(U, ϕ)} define uma estrutura suave em M = M1 × ... × Mk .
(Pela questão 7)

Christopher Queiroz Questão 2

Vamos mostrar que πj é suave.

π̂j (q) = ϕj ◦ πj ◦ ϕ−1 (q1 , ..., qj , ..., qk )

Christopher Queiroz Questão 2

Vamos mostrar que πj é suave.

π̂j (q) = ϕj ◦ πj ◦ ϕ−1 (q1 , ..., qj , ..., qk )

= ϕj ◦ πj (ϕ−1 −1 −1
1 (q1 ), ..., ϕj (qj ), ..., ϕk (qk ))

Christopher Queiroz Questão 2

Vamos mostrar que πj é suave.

π̂j (q) = ϕj ◦ πj ◦ ϕ−1 (q1 , ..., qj , ..., qk )

= ϕj ◦ πj (ϕ−1 −1 −1
1 (q1 ), ..., ϕj (qj ), ..., ϕk (qk ))
= ϕj (ϕ−1
j (qj ))

Christopher Queiroz Questão 2

Vamos mostrar que πj é suave.

π̂j (q) = ϕj ◦ πj ◦ ϕ−1 (q1 , ..., qj , ..., qk )

= ϕj ◦ πj (ϕ−1 −1 −1
1 (q1 ), ..., ϕj (qj ), ..., ϕk (qk ))
= ϕj (ϕ−1
j (qj ))
= qj .

⇒ π̂j é linear e, assim, é uma aplicação suave.

Christopher Queiroz Questão 2

Vamos mostrar que πj é suave.

π̂j (q) = ϕj ◦ πj ◦ ϕ−1 (q1 , ..., qj , ..., qk )

= ϕj ◦ πj (ϕ−1 −1 −1
1 (q1 ), ..., ϕj (qj ), ..., ϕk (qk ))
= ϕj (ϕ−1
j (qj ))
= qj .

⇒ π̂j é linear e, assim, é uma aplicação suave.

Logo, πj é suave.

Christopher Queiroz Questão 2

Por outro lado, como πj é sobrejetiva, defina ej : Mj → M tal que

ej (x ) = (p1 , ..., pj−1 , x , pj+1 , ..., pk ) ∀x ∈ Mj ,

e πj ◦ ej = Id M .
Assim, cada ej induz uma aplicação linear d(ej )pj : Tpj Mj → Tp M.
Para finalizar, vamos mostrar que α é um isomorfismo e, para isso,

Christopher Queiroz Questão 2