Sejam M e N variedades diferenciais de dimensões m e n respectivamente. Suponha g:M↦N uma aplicação suave. A aplicação g⋆:Ω(N)↦Ω(M) que mapeia as formas de N nas formas de M é chamada de pullback de g e satisfaz:
1.Se f:N↦R é função sobre N:
g⋆f=f∘g 2.Se η,ω∈Ωp(N):
g⋆(η∧ω)=(g⋆η)(g⋆ω) 3.Se ω∈Ωp(N):
g⋆(dω)=d(g⋆ω) Procure se convencer de que a primeira propriedade define o pullback das 0-formas.
Considerando coordenadas yi em N e xi em M, se convença de que:
g⋆(dyi)(x)=d(yi∘g)(x)⇒g⋆ω(x)=ω(g(x))i1⋯ikdgi1∧⋯dgik - Agora, demonstre que esta definição satisfaz a propriedade 2.
- Demonstre que esta definição satisfaz a propriedade 3.
- COnsidere o caso em que M e N são idênticos e considere o pullback atuando na forma de volume. Qual é o resultado?
- Seja U=(0,∞)×(0,2π), V=R2−eixo x na˜o negativo. Use coordenadas (r,θ) para U e (x,y) para V. Considere a aplicação g(r,θ)=(rcosθ,rsinθ). Considere h=g−1. Finalmente, sobre V considere a forma ω=ex2+y2dx∧dy:
- Calcule g⋆(x),g⋆(y),g⋆(dx),g⋆(dy),g⋆(dx∧dy),g⋆ω.
- Calcule h⋆(r),h⋆(θ),h⋆(dr),h⋆(dθ).