Professional Documents
Culture Documents
Formas diferenciales en Rn
Vk =V
| × ·{z
· · × V}
k−veces
O simplemente k-tensor.
Observación:
3) Con las operaciones usuales de suma y producto por un escalar τ k (v) se torna un R-espacio
vectorial.
4) τ 1 (V ) = V ∗
5) Convenio τ ◦ (V ) = R.
S ⊗ T ∈ τ k+` (V )
Observación: S ∈ τ k (V ), T ∈ τ ` (V ) entonces S ⊗ T 6= T ⊗ S
1) (S1 + S2 ) ⊗ T = S1 ⊗ T + S2 ⊗ T , ∀S1 , S2 ∈ τ k (V ), ∀T ∈ τ ` (V ).
2) S ⊗ (T1 + T2 ) = S ⊗ T1 + S ⊗ T2 , ∀S ∈ τ k (V ), ∀T1 , T2 ∈ τ ` (V ).
1
3) (cS) ⊗ T = S ⊗ (cT ) = c(S ⊗ T ), ∀S ∈ τ k (V ), ∀T ∈ τ ` (V ), ∀c ∈ R
4) (S ⊗ T ) ⊗ R = S ⊗ (T ⊗ R), ∀S ∈ τ k (V ), ∀T ∈ τ ` (V ), ∀R ∈ τ p (V ).
Observación:
1) por la parte 4:
S ⊗ T ⊗ R = (S ⊗ T ) ⊗ R = S ⊗ (T ⊗ R)
2) T1 ∈ τ k1 (V ), . . . , Tr ∈ τ kr (V ) entonces T1 ⊗ · · · ⊗ Tr ∈ τ k1 +···+kr (V )
n
Proposición 6.1.3 Sea V unR-espacio vectorialde dimensión n {vi }i=1 base (ordenada) de
1, i = j
V y {ϕ1 , . . . , ϕn } la base dual i.e.ϕi (vi ) = δij = . Entonces
0, i 6= j
{ϕi1 ⊗ · · · ⊗ ϕik : 1 ≤ i1 . . . . , ik ≤ n}
es una base de τ k (V )
Sea T ∈ τ k (V ) consideremos
n
X
T (vj1 , . . . , vik )(ϕj1 ⊗ · · · ⊗ ϕjk ) ∈ τ k (V )
ji ,...jk =1
Para i ≤ i1 , . . . , ik ≤ n tenemos:
n
!
X
T (vj1 , . . . , vik )ϕj1 ⊗ · · · ⊗ ϕjk (vi1 , . . . , vik )
ji ,...jk =1
n
X
= T (vj1 , . . . , vik )(ϕj1 ⊗ · · · ⊗ ϕjk )(vi1 , . . . , vik )
ji ,...jk =1
= T (vi1 , . . . , vik ).
Entonces n
X
T = T (vj1 , . . . , vik )ϕj1 ⊗ · · · ⊗ ϕjk .
ji ,...jk =1
2
Ejemplo: V = Rn , {e1 , . . . , en } base canónica y {f1 , . . . , fn } su base dual, entonces {fi ⊗ fj :
1 ≤ i, j ≤ n} es una base de τ 2 (Rn ) si consideramos
T :V ×V → R
(v, w) 7→ T (v, w) = hv, wi
h , i es un 2-tensor simétrico.
σ ∈ Sk ⇐⇒ σ : {1, . . . , k} → {1, . . . , k}
biyectiva
es un epimorfismo de grupos.
Dados T ∈ τ k (V ), σ ∈ Sk definimos
σT : V k → R
(σT )(v1 , . . . , vk ) = T (Vσ(1) , . . . , Vσ(k) ). Se sigue que σT ∈ τ k (V )
3
1) σ(T + S) = σT + σS, ∀T, S ∈ τ k (V ), ∀σ ∈ Sk .
2) σ(aT ) = a(σT ), ∀T ∈ τ k (V ), ∀a ∈ R, ∀σ ∈ Sk .
3) (σ ◦ τ )T = τ (σT ), ∀T ∈ τ k (V ), ∀στ ∈ Sk
Demostración:
1)
Observación:
3) Podemos definir
Γ : Sk × τ k (V ) → τ k (V )
(σ, T ) 7→ Γ(σ, T ) = σT
la proposición anterior muestra que Γ respeta las propiedades de agrupo y espacio vectorial.
Decimos que Γ es una acción de Sk sobre τ k (V ).
1) ω ∈ τ k (V ).
2) σω = Sig(σ)ω, ∀σ ∈ Sk .
Observación:
3) Λk (V ) ⊂ τ k (V ).
4
Demostración: ω, η ∈ Λk (V ), a, b ∈ R entonces aω + bη ∈ τ k (V )
Observación: Λ1 (V ) = τ 1 (V ) = V ∗ .
Convenio: Λ0 (V ) = R.
1) T ∈ τ k (V ) entonces Alt(t) ∈ Λk (V ).
2) ω ∈ Λk (V ) entonces Alt(ω) = ω.
Demostración:
1
1) T ∈ τ k (V ) entonces Alt(T ) = Sig(σ)(σT ) entonces Alt(T ) ∈ τ k (V ).
P
k! σ∈Sk
Para τ ∈ Sk tenemos
!
1 X
τ (Alt(T )) = τ Sig(σ)(σT )
k! σ∈S
k
1 X
= Sig(σ)(τ (σT ))
k! σ∈S
k
1 X
= Sig(σ)(σ ◦ τ )T
k! σ∈S
k
!
1 X
= Sig(τ ) Sig(σ ◦ τ )(σ ◦ τ )T
k! σ∈S
k
= Sig(τ )Alt(T )
2)
1 X
Alt(ω) = Sig(σ)(σω)
k! σ∈S
k
1 X
= Sig2 (σ)ω = ω
k! σ∈S | {z }
k =1
Observación:
5
1) Podemos considerar Altτ k (v) → Λ.
Ejercicio Alt ∈ L(τ k (V ); Λk (v)).
2)
1) (ω1 + ω2 ) ∧ η = ω1 ∧ η + ω2 ∧ η, ∀ω1 , ω2 ∈ Λk (V ), ∀η ∈ Λ` (V ).
2) ω ∧ (η1 η2 ) = ω ∧ η1 + ω ∧ η2 , ∀ω ∈ Λk (V ), ∀η1 , η2 ∈ Λ` (V ).
4) ω ∧ η = (−1)k` η ∧ ω, ∀ω ∈ Λk (V ), ∀η ∈ Λ` (V ).
Demostración:
1)
(k + `)!
(ω1 + ω2 ) ∧ η = Alt((ω1 + ω2 ) ⊗ η)
k!`!
(k + `)!
= Alt(ω1 ⊗ η + ω2 ⊗ η)
k!`!
(k + `)!
= [Alt(ω1 ⊗ η) + Alt(ω2 ⊗ η)]
k!`!
= ω1 ∧ η + ω2 ∧ η
6
1 2 ... k−1 k k + 1 ... k + ` − 1 k + `
4) Sea τ = τ ∈ Sk+` ,
` + 1 ` + 2 ... ` + k − 1 ` + k 1 ... `−1 `
k`
Sig(T ) = (−1) . Además por v1 , . . . , vk+` ∈ V tenemos
σ(η ⊗ ω)(v1 , . . . , vk+` ) = η(vσ(1) , . . . , vσ(k) )ω(vσ(`+1) , . . . , vσ(`+k) )
= η(vσ(τ (k+1)) , . . . , vσ(τ (k+`)) )ω(vσ(τ (1)) , . . . , vσ(τ (k)) )
= ω(vσ◦τ (1) , . . . , vσ◦τ (k) )ω(vσ(τ (1)) , . . . , vσ(τ (k)) )
= ω(vσ◦τ (1) , . . . , vσ◦τ (k) )η(vσ◦τ (k+1) , . . . , vσ◦τ (k+`) )
= (ω ⊗ η)(vσ◦τ (1) , . . . , vσ◦τ (k+`) )
= (σ ◦ τ )(ω ⊗ η)(v1 , . . . , vk+` )
1 X
Alt(η ⊗ ω) = Sig(σ)σ(η ⊗ ω)
(k + `)! σ∈S
k+`
Sig(τ ) X
= Sig(σ ◦ τ )[σ ◦ τ (ω ⊗ η)]
(k + `)! σ∈S
k+`
k`
= (−1) Alt(ω ⊗ η)
H
por otro lado obsérvese que σ ∈ Hσj entonces σ ∈ Sk tal que σ = ψ(σ)σj por motivos
| {z }
notacionales escribimos σ = ψ(σ)
σ(S ⊗ T )(v1 , . . . , vk+` ) = S(vσ(1) , . . . , vσ(k) ) + (vσ(k+1) , . . . , vσ(k+`) )
= S(vσ(σj (1)) , . . . , vσ(σj (k)) )T (vσ(σj (k+1)) , . . . , vσ(σj (k+`)) )
7
j=1
entonces Alt(S ⊗ T ) = 0
(k + ` + r)!
(ω ∧ η) ∧ θ = Alt((ω ∧ η) ⊗ θ)
(k + `)!r!
(k + ` + r)! (k + `)!
= Alt Alt(ω ⊗ θ) ⊗ θ
(k + `)!r! k!`!
(k + ` + r)!
= Alt[Alt(ω ⊗ η) ⊗ θ]
k!`!r!
k1 k2 kn
Observación: En generam ω1 ∈ Λ (U ), ω1 ∈ Λ (U ), . . ., ωn ∈ Λ (U ) entonces
(k1 + · · · + kn )!
ω1 ∧ . . . ∧ ωn = Alt(ω1 ⊗ · · · ⊗ ωn )
k1 ! . . . kn !
8
Ejercicio, probar lo anterior por inducción.
Cuando ϕ1 , . . . , ϕm ∈ Λ1 (V ) = V k existe una manera sencilla de expresar ϕ1 ∧ . . . ∧ ϕm en
términos de un determinante.
Del Álgebra lineal sabemos que si A = (aij ) ∈ Rn×n entonces
X
det(A) = Sig(θ)a1θ(1) , . . . , anθ(n)
τ ∈Sn
Proposición 6.2.5 Sea V -un R-espacio vectorial ω ∈ Λk (V ) y v1 , . . . , vk ∈ V si ∃i, j ∈
{1, . . . , k} con i 6= j vi = vj entonces:
ω(v1 , . . . , vi , . . . , vj , . . . , vk ) = 0
entonces ω = η.
Demostración: Es suficiente probar que:
9
caso 2
Teorema 6.2.3 Sea V un R-espacio vectorial de dimensión n {vi }n1 base de V y {ϕ1 , . . . , ϕn }
base dual si k ≤ n entonces {ϕi1 ∧ . . . ∧ ϕik : 1 ≤ i1 < i2 < · · · < ik ≤ n} es una base de Λk (V ).
concluimos que
1, i! = j1 , . . . , ik = jk
(ϕi1 ∧ . . . ∧ ϕik )(vj1 , . . . , vjk ) =
0, otrocaso.
Dado ω ∈ Λk (V ) considero
X
η= ω(vij , . . . , vik )ϕi1 ∧ . . . ∧ ϕik
1≤i1 <···<ik ≤n
X
η(vj1 , . . . , vjk ) = ω(vi1 , . . . , vik )ϕi1 ∧ . . . ∧ ϕik (vj , . . . , vi )
1≤i1 <ik ≤n
= ω(vj1 , . . . , vjk )
entonces X
ω= ω(vj1 , . . . , vjk )ϕj1 ∧ . . . ∧ ϕik .
1≤j1 <···<jk ≤n
Observación:
k=n Λn (V ) :=hϕ1 ∧ . . . ∧ ϕn i
k=1 Λ1 (V ) =hϕ1 , . . . , ϕn i = V ∗
k =n−1 Λn−1 (V ) =hϕ1 ∧ . . . ∧ ϕn−1 , ϕi ∧ . . . ∧ ϕn−2 ∧ ϕn−1 , . . . , ϕ2 ∧ . . . ∧ ϕn i
10
6.3. Álgebras de Grassmann
Definción 6.3.1 Sea V un R-espacio vectorial de dimensión n el Álgebra de Grassmann
asociado a V , denotado por Λ(V ), se define como:
Λ(V ) = Λ ◦ (V ) ⊗ Λ0 (V ) ⊗ · · · ⊗ Λh (V )
Observación:
1) Λ(V ) es un R-espacio vectorial.
2) dimR Λ(V ) = 2n
Definción 6.3.2 Sea v, w dos R-espacio vectorial, de dimensiones finitas y L ∈ L(v, w) dado
T ∈ τ k (W ). definimos el Pull-Back de T bajo L, como:
L∗ (T ) : V k → R
(v1 , . . . , vk ) 7→ L∗ (T )(v1 , . . . , vk ) := T (L(v1 ), . . . , L(vk )
2) L∗ (S + t) = L∗ (S) + L∗ (T ), ∀T, S ∈ τ k (W ).
3) L∗ (S ⊗ S) = L∗ (S) ⊗ L∗ (T ), ∀T, S ∈ τ k (W ).
4) L∗ (σT ) = σL∗ (T ), ∀T ∈ τ k (W ), ∀σ ∈ Sk .
Demostración: 4)
Proposición 6.3.3 Sean V, W dos R-espacios vectoriales de dimensión finita y L ∈ L(V, W ).
Si w ∈ Λk (W ). Entonces
L∗ (w) ∈ Λk (V )
Demostración: Como w ∈ τ k (W ) entonces L∗ (w) ∈ τ k (V )
Observación:
11
1) L∗ ∈ L(τ k (W ), τ k (V ).
2) L∗ ∈ L(Λk (W )Λk (V ).
3) L∗ ∈ L(Λ(W ), Λ(V ).
4) Γ : Sk × τ k (V ) → τ k (V ), Γ(σ, T ) = σT
Entonces L∗ (Γ(σ, T )) = Γ(σ, L∗ (T )) i.e. el siguiente diagrama conmuta.
1 X
= Sig(σ)L∗ (σT )
k! σ∈Sk
| {z }
σL∗ (T )
= Alt(L∗ (T ))
2) ¡Ejercicio!
Observación: El siguiente diagrama conmuta:
12
Demostración: {ϕ1 ∧. . .∧ϕm } y {ψ1 ∧. . .∧ψm } son bases de Λm (V ) y Λm (W ) respectivamente.
Luego ∃c ∈ R tal que L∗ (ψ1 ∧ . . . ∧ ψm ) = c(ϕ1 ∧ . . . ∧ ϕm ) por otro lado
c = c(ϕ1 ∧ . . . ∧ ϕm )(v1 , . . . , vm )
= L∗ (ϕ1 ∧ . . . ∧ ϕm )(v1 , . . . , vm )
= (ψ1 ∧ . . . ∧ ψm )(L(v1 ), . . . , L(vm )
= det(ψi (L(vj )))
Si denotamos
P por (aij ) a la matriz de cambio de base de L con respecto a las bases dadas (i.e.
L(vi ) = mk=1 aik wk ) tenemos
m
X
ψi (L(vj )) = ajk ψi (wk ) = aji
k=1
luego c = det(1)
13
4) si ω ∈ F k (M ), η ∈ F(M ), definimos su producto exterior ω ∧ η como
\
ω∧η :M → Altk+` (Tp M )
p∈M
q 7→ (ω ∧ η)q = ωq ∧ ηq
Observaciones:
1) F k (M ) es un k-espacio vectorial.
2) F k (M ) es un F 0 (M )-módulo.
3) Podemos generalizar la parte 4 de la definición anterior
ω1 ∈ F k1 (M ), . . . , ωm ∈ F km (M )
definimos ω1 ∧. . .∧ωm ∈ F k (M ) (k = k1 +· · ·+km ) como (ω1 ∧. . .∧ωm )p = (ω1 )p ∧. . .∧(ωm )p
∀p ∈ M
Proposición 6.4.1 Se cumple: ω, ω1 , ω2 ∈ F k (M ) c ∈ R, θ ∈ F k (M ) η, η1 , η2 ∈ F`(M )
1) (ω1 + ω2 ) ∧ η = ω1 ∧ η + ω2 ∧ η.
2) ω ∧ (η1 + η2 ) = ω ∧ η1 + ω ∧ η2 .
3) (cω) ∧ η = c(ω ∧ η) = ω ∧ (cη).
4) f (ω) ∧ η = ω ∧ (f η) = f (ω ∧ η).
5) ω ∧ η = (−1)k+` η ∧ ω.
6) (ω ∧ η) ∧ θ = ω ∧ (η ∧ θ).
Demostración: 5) Sea p ∈ M , se cumple.
(ω ∧ η)p = ωp ∧ ηp = (−1)k+` ηp ∧ ωp
= (−1)k+` (η ∧ ω)p
= [(−1)k+` η ∧ ω]p .
Sea U ⊂ Rn abierto p ∈ U y k ≤ n. Sabemos que {(e1 )p , . . . , (en )p } es la base canónica
de Tp Rn = Rnp entonces {(dx1 )p , . . . , (dxn )p } es su base dual, entonces 1 ≤ i1 < i2 < ··· <
ik ≤ n entonces (dxi1 ) ∧ . . . ∧ (dxik )p ∈ Λk (Rnp ) entonces dxi1 ∧ . . . ∧ dxik ∈ F k (U ) más aun
{(dxi1 )p ∧ . . . ∧ (dxik )p : 1 ≤ i1 < · · · ik ≤ n} es una base de Λk (Rnp ) luego, si ω ∈ F k (U ) y
p ∈ U entonces ωp ∈ Altk (Rnp ) entonces existen ai1 ...ik (p) ∈ R tales que
X
ωp = ai1 ...ik (p)((dxi1 )p ∧ . . . ∧ (dxik )p )
1≤i1 <···<ik ≤n
!
X
= ai1 ...ik dxik ∧ . . . ∧ dxik
1≤i1 <···<ik ≤n p
Entonces
X
ω= ai1 ...ik dxi1 ∧ . . . ∧ dxik .
1≤i1 <···<ik ≤n
n
De esta manera a cada ω ∈ F k (U ) hay asociados k
funciones ai1 ...ik : U → R las cuales son
llamadas funciones coordenadas de ω.
Observaciones:
14
1) Sean ω, η ∈ F k (U )
X
ω= ai1 ...ik dxi1 ∧ . . . ∧ dxik
1≤i1 <···<ik ≤n
X
η= bi1 ...ik dxi1 ∧ . . . ∧ dxik
1≤i1 <···<ik ≤n
entonces
X
ω+η = (ai1 ...ik + bi1 ...ik )dxi1 ∧ . . . ∧ dxik .
1≤i1 <···<ik ≤n
Análogamente, si c ∈ R y f ∈ F 0 (U )
X
cω = cai1 ...ik dxi1 ∧ . . . ∧ dxik
1≤i1 <···<ik ≤n
X
fω = (f ai1 ...ik )dxi1 ∧ . . . ∧ dxik
1≤i1 <···<ik ≤n
(ω ∧ η)p = ωp ∧ ηp
! !
X X
= aI (p)(dxI )p ∧ bJ (p)(dxJ )p
I J
XX
= aI (p)bJ (p)(dxI )p ∧ (dxJ )p
I J
!
XX
= aI bJ dxI ∧ dxJ
I J p
X
por lo tanto ω ∧ η aI bJ dxI ∧ dxJ
IJ
15
Demostración:
F ∗ (ω) = (a ◦ F )dF1 ∧ . . . ∧ dFn
(dF1 ∧ . . . ∧ dFn )p = (dF1 )p ∧ . . . ∧ (dFn )p
= det(JF (p))(dx1 ∧ . . . ∧ dxn )p
= [(detJF )dx1 ∧ . . . ∧ dxn ]p
2) d(cω) = cdω; ∀ω ∈ Ωk (U ), ∀c ∈ R.
3) d(f ω) = df ∧ ω + f dω: ∀ω ∈ Ωk (U ), ∀f ∈ Ω0 (U ).
4) d(ω ∧ η) = dω ∧ η + (−1)k ω ∧ dη, ∀ω ∈ Ωk (U ), ∀η ∈ Ω` (ω)
P P
Demostración: 4) ω = I aI dxI , η = J bJ dxJ entonces
X
ω∧η = aI bJ dxI ∧ dxJ
I,J
X
d(ω ∧ η) = d(xI bJ ) ∧ dxI ∧ dxJ
I,J
X
= (bJ daI + aI dbJ ) ∧ dxI ∧ dxJ
I,J
X
= bJ daI ∧ dxI ∧ dxJ +
I,J
16
Observación: d : Ωk (U ) → Ωk+1 (U ) es un operador lineal.
Demostración: k = 0, f ∈ Ω0 (U )
m
!
X ∂f
d(df ) = d dxi
i=1
∂xi
m
X ∂f
= d ∧ dxi
i=1
∂x i
m m !
X X ∂ ∂f
= dxj ∧ dxi
i=1 j=1
∂x j ∂x i
X ∂ 2f X ∂ 2f
= dxj ∧ dxi + dxj ∧ dxi
1≤i<j≤m
∂xj ∂xi 1≤<j<i≤m
∂xj ∂xi
X ∂ 2f X ∂ 2f
=− dx
i ∧ dx j + dxi ∧ dxj
1≤j<i≤m
∂x i ∂x j 1≤<i<j≤m
∂x i ∂x j
=0
luego por la linealidad de d es suficiente probar el resultado para k-formas diferenciales η ∧ dxi
con η ∈ Ωk+1 (U )
0
d(η ∧ dxi ) = dη ∧ dxi + (−1)k−1 ηd(dx
i)
d(d(η ∧ dxi )) = d(dη ∧ dxi )
0 0
∧ dxi + (−1)k dη
= d(dη) ∧ d(dxi )
17
Demostración: Inducción sobre k. k = 0, f ∈ Ω0 (V ) = C ∞ (V ), denotamos x1 , . . . , xm las
coordenadas de U , y1 , . . . , yn las coordenadas de V
n
!
X ∂f
F ∗ (df ) = F ∗ dyi
i=1
∂y i
n
X ∂f
= ◦ F F ∗ (dyi )
i=1
∂yi
n
X ∂f
= ◦ F dFi
i=1
∂y i
n X m
!
X ∂f ∂Fi
= ◦F dxi
i=1
∂y i j=1
∂x i
m n !
X X ∂f ∂Fi
= ◦F dxj
j=1 i=1
∂yi ∂xj
n
X ∂f
= ◦ F dxi
i=1
∂yi
= d(f ◦ F ) = d(F ∗ (f ))
18
Proposición 6.5.2 Sean U ⊂ Rm , V ⊂ Rn abiertos y F = (F1 , . . . , Fn ) ∈ C 1 (U, V ) entonces
F ∗ (dyi ) = dFi ∀1 ≤ i ≤ n
n
! n
X X
∗ ∗
F (ϕ) = F ai dyi = (ai F )dF
i=1 i=1
2)
Más aun, si I = (i1 , . . . , ik ) con 1 ≤ i1 < i1 < . . . < ik ≤ n denotando dFI := DFi1 ∧. . .∧DFik
entonces F ∗ (dγI ) = dFI
3) F ∗ ( I ) aI dyI = I (aI ◦ F )dFI , ∀ I aI dyI ∈ F k (V )
P P P
19
Definción 6.5.2 Sea U ⊂ Rn abierto. Decimos que ω ∈ F k (U ) es de clase C r en U abierto si
y solo si todas sus funciones coordenadas son de clase C r en U .
Demostración: Ωkr (U ) al conjunto de todas las k-formas de clase C r sobre U y Ωk (U ) en vez
de Ωk∞ (UP
).
ω = I aI dxI ∈ F k (U )
ω ∈ Ωkr (U )siysolosiai ∈ C r (U ), ∀I
Proposición 6.5.5 Con las operaciones de suma y producto por funciones Ωkr (U ) es un C r (U )-
módulo.
Observación: Sabemos que dxi ∧ dxi = 0, sin embargo en general no se cumple que ω ∧ ω = 0.
En efecto, ω = x1 dx1 ∧ dx2 + x2 dx3 ∧ dx1 ∈ Ω2 (R3 )
ω ∧ ω = (x1 dx1 ∧ dx2 + x2 dx3 ∧ dx4 ) ∧ (x1 dx1 ∧ dx2 + x2 dx3 ∧ dx4 )
:0
= x21
∧dx2 ∧ dx1 dx2 + x1 x2 dx1 ∧ dx2 ∧ dx3 ∧ dx4
dx1
:0
+ x1 x2 dx3 ∧ dx4 ∧ dx1 ∧ dx2 + x22
∧dx4 ∧ dx3 ∧ dx1
dx3
= ex1 x2 dx1 ∧ dx2 ∧ dx3 ∧ dx4 6= 0.
F ∗ (f ω) = F ∗ (f )F ∗ (ω), ∀ω ∈ F k (N )
= (f ◦ F )F ∗ (ω), ∀t ∈ F 0 (N )
20
4) F ∗ (ω ∧ η) = F ∗ (ω) ∧ F ∗ (η), ∀ω ∈ F k (N ), ∀η ∈ F ` (N )
Proposición 6.6.2 Sean U, V ⊂ Rm abiertos y F ∈ C 1 (U, V ). si ω = ady1 ∧ . . . ∧ dyn ∈ Ωm (V )
entonces
F ∗ (ω) = (a ◦ F )(detJF )dx1 ∧ . . . ∧ dxm
Demostración: F ∗ (ω) = (a ◦ F )dF1 ∧ . . . ∧ dFm
(dF1 ∧ . . . ∧ dFm )p = (dF1 )p ∧ . . . ∧ (dFm )p
= det(JF (p)(dx1 ∧ . . . ∧ dxm )p
= [(detJF )dx1 ∧ . . . ∧ dxm ]p
entonces
21
Observación: d : Ωk (U ) → Ωk+1 (U ) es un operador lineal.
Demostración: k = 0, f ∈ Ω0 (U ).
m
!
X ∂f
d(df ) = d dxi
i=1
∂xi
m
X ∂f
= d ∧ dxi
i=1
∂x i
m m !
X X ∂ ∂f
= dxj ∧ dxi
i=1 j=1
∂x j ∂x i
X ∂ 2f X ∂ 2f
= dxj ∧ dxi + dxj ∧ dxi
1≤i<j≤m
∂xj ∂xi 1≤j<i≤m
∂xj ∂xi
X ∂ 2f X ∂ 2f
=− dx
i ∧ dx j + dxi ∧ dxj
1≤i<j≤m
∂x i ∂x j 1≤i<j≤m
∂x i ∂x j
= 0.
luego por la linealidad de d es suficiente probar el resultado para k-formas definidas η ∧ dxi con
η ∈ Ωk−1 (U )
0
d(η ∧ dxi ) = dη ∧ dxi + (−1)k−1 ηd(dx
i)
d(d(η ∧ dxi )) = d(dη ∧ dxi )
0 0
∧ dxi + (−1)k dη
= d(dη) ∧ d(dxi )
22
Demostración: Inducción sobre k. k = 0, f ∈ Ω0 (V ) = C ∞ (V ), denotamos x1 , . . . , xm las
coordenadas de U , y1 , . . . , yn las coordenadas de V
n
!
X ∂f
F ∗ (df ) = F ∗ dyi
i=1
∂y i
n
X ∂f
= ◦ F F ∗ (dyi )
i=1
∂y i
n
X ∂f
= ◦ F dFi
i=1
∂yi
n X m
!
X ∂f ∂Fi
= ◦F dxj
i=1
∂yi j=1
∂xj
m n !
X X ∂f ∂Fi
= ◦F dxj
j=1 i=1
∂yi ∂xj
m
X ∂f ◦ F
= dxj
j=1
∂xi
= d(f ◦ F ) = d(F ∗ (f )).
Sea k ≥ 1 y supongamos que F ∗ (dω) = d(F ∗ (ω)) ∀ω ∈ Ωk−1 (V ). Por la técnica usada en
la demostración del teorema anterior es suficiente probar el resultado para k-formas del tipo
η ∧ dyi donde η ∈ Ωk−1 (V ).
23