You are on page 1of 23

Capı́tulo 6

Formas diferenciales en Rn

6.1. Preliminares Algebraicos


Sea V en R-espacio vectorial y k ∈ N denotemos

Vk =V
| × ·{z
· · × V}
k−veces

y denotemos L(V k : Rm ) = {T : V k → Rm ; T esK−lineal}

Definción 6.1.1 Una funcional T ∈ L(V k ) es llamado TENSOR DE ORDEN k SOBRE V .

O simplemente k-tensor.
Observación:

1) τ k (V ): Conjunto de todos los k-tensores sobre V .


 
k  : V × ··· × V → R
2) τ (V ) 6= ∅ .
(v1 , . . . , vk ) 7→ 0

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.

Definción 6.1.2 Sean S ∈ τ k (V ), T ∈ τ `(V ). El producto tensorial de S × T denotado por


S ⊗ T es la función S ⊗ T : V k+` → R definido por

(S ⊗ T )(v1 , . . . , vk+` ) = S(v1 , . . . , vk )T (vk+1 , . . . , vk+` )

Proposición 6.1.1 Si S ∈ τ k (V ), T ∈ τ `(V ) entonces

S ⊗ T ∈ τ k+` (V )

Observación: S ∈ τ k (V ), T ∈ τ ` (V ) entonces S ⊗ T 6= T ⊗ S

Proposición 6.1.2 Se cumple

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 ).

Demostración: v = (v1 , . . . , vk ) ∈ V k , w = (wk+1 , . . . , wk+` ) ∈ V `

[(S1 + S2 ) ⊗ T ](v, w) = (S1 + S2 )(v)T (w)


= [S1 (v) + S2 (v)]T (w)
= S1 (v)T (w) + S2 (v)T (w)
= (S1 ⊗ T + S2 ⊗ T )(v, w)


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 )

Demostración: En primer lugar ϕi1 ⊗ · · · ⊗ ϕik ∈ τ k (V )



1, i1 = j1 , . . . , ik = jk
(ϕi1 ⊗ · · · ⊗ ϕik )(vj1 , . . . , vik ) = ϕi1 (vj1 ) · · · ϕik (vjk ) =
0, enotrocaso

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

De manera análoga se prueba la independencia 

Corolario 6.1.1 Si dimV = n entonces dimτ k (V ) = nk

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

entonces T ∈ τ 2 (Rn ), luego


n
X
T = T (ei , ej )fi ⊗ fj
i,j=1
X n X n
= T (ei , ej )fi ⊗ fj
i=1 j=1
Xn X n
= hei , ej ifi ⊗ fj
i=1 j=1
Xn
= fi ⊗ fi
i=1

h , i es un 2-tensor simétrico. 

6.2. Formas Alternadas y Producto Exterior


Dado k ∈ N, denotamos por Sk al grupo de las permutaciones del conjunto {1, . . . , k} dotado
de la composición de funciones

σ ∈ Sk ⇐⇒ σ : {1, . . . , k} → {1, . . . , k}
biyectiva

Recordemos que toda permutación es un producto finito de transposiciones.


σ ∈ Sk es una transposición si y solo si ∃i, j ∈ {1, . . . , k} con i 6= j tal que σ(i) = j, σ(j) = i,
σ(r) = r ∀r ∈ {1, . . . , k}.
Una permutación es llamada PAR si y solo si puede ser representada como un producto de
un número par de transposiciones (un teorema de la teorı́a de grupos prueba que la definición
es buena). Caso contrario decimos que la permutación es IMPAR. Dado σ ∈ Sk , definimos el
signo de σ denotado por Sig(σ) como

1, σespar
Sig(σ) =
0, σesimpar

Ejercicio 6.1 Demostrar que

Sig : (Sk , ◦) → ({−1, 1}, ·)


σ 7→ Sig(σ)

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 )

Proposición 6.2.1 Se cumple:

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)

[τ (σT )](v1 , . . . , vk ) = (σT )(vτ (1) , . . . , vτ (k) )


= T (vσ(τ (1)) , . . . , vσ(τ (k)) )
= T (vσ◦τ (1) , . . . , vσ◦τ (k) )
= [(σ ◦ τ )T (v1 , . . . , vk )]

Observación:

2) Por inducción se cumple

a) σ ( ni=1 ai Ti ) = ni=1 ai (σTi ).


P P

b) (σn ◦, · · · ◦ σ1 )T = σ1 (. . . (σn T ) . . .).

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 ).

Definción 6.2.1 Sea V un R-espacio vectorial y ω : V k → R decimos que ω es una k-forma


lineal alternada si y solo si

1) ω ∈ τ k (V ).

2) σω = Sig(σ)ω, ∀σ ∈ Sk .

Observación:

1) Denotaremos por Λk (V ) al conjunto de todas las k-formas lineales alternadas sobre V .

2) ω ∈ Λk (V ) y σ ∈ Sk es una transposición tal que σ(i) = j, σ(j) = i, σ(r) = r ∀r ∈


{1, . . . , k} \ {i, j} entonces

ω(v1 , . . . , vj , . . . , vi , . . . , vk ) = ω(vσ(1) , . . . , vσ(j) , . . . , vσ(i) , . . . , vσ(k) )


= σ(ω(v1 , . . . , vi , . . . , vj , . . . , vk ))
= Sig(σ)ω(v1 , . . . , vi , . . . , vj , . . . , vk )
= −ω(v1 , . . . , vi . . . , vj , . . . , vk )

3) Λk (V ) ⊂ τ k (V ).

Proposición 6.2.2 Λk (V ) es un subespacio vectorial de τ k (V ).

4
Demostración: ω, η ∈ Λk (V ), a, b ∈ R entonces aω + bη ∈ τ k (V )

σ(aω + bη) = a(σω) + b(ση)


= aSig(σ)ω + bSig(σ)η
= Sig(σ)(aω + bη)


Observación: Λ1 (V ) = τ 1 (V ) = V ∗ .
Convenio: Λ0 (V ) = R.

Definción 6.2.2 T ∈ τ k (V ) entonces el alternado de T denotado por Alt(T ) se defino como:


1 X
Alt(T ) = Sig(σ)(σT )
k! σ∈S
k

Teorema 6.2.1 Se cumple

1) T ∈ τ k (V ) entonces Alt(t) ∈ Λk (V ).

2) ω ∈ Λk (V ) entonces Alt(ω) = ω.

3) T ∈ τ k (V ) entonces Alt(Alt(T )) = Alt(T ).

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 )

por lo tanto Alt(τ ) ∈ Λk (V ).

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)

por lo tanto Alt|Λk (v) = id.

Sean ω ∈ Λk (V ), η ∈ Λ`(V ) entonces ω ⊗ η ∈ τ k+` (V ) sin embargo no necesariamente ω ⊗ η ∈


Λk+` (V )

Ejercicio 6.2 Dar contraejemplos.

Definción 6.2.3 Sean ω ∈ Λk (V ), η ∈ Λk (V ) el producto exterior de ω, η denotado por ω ∧ η


se define como
(k + `)!
ω∧η = Alt(ω ⊗ η)
k!`!
Observación:
Λ : Λk (V ) × Λ` (V ) → Λk+` (V )
(ω, η) 7→ Λ(ω, η) = ω ∧ η
Proposición 6.2.3 Se cumple

1) (ω1 + ω2 ) ∧ η = ω1 ∧ η + ω2 ∧ η, ∀ω1 , ω2 ∈ Λk (V ), ∀η ∈ Λ` (V ).

2) ω ∧ (η1 η2 ) = ω ∧ η1 + ω ∧ η2 , ∀ω ∈ Λk (V ), ∀η1 , η2 ∈ Λ` (V ).

3) (cω ∧ η) = c(ω ∧ η) = ω ∧ (cη), ∀c ∈ R.

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(ω ⊗ η)

 De aquı́ se sigue que η ∧ ω = (−1)k` ω ∧ η


Teorema 6.2.2 Sea S ∈ τ k (V ), τ ∈ τ ` (V ) tal que Alt(S) = 0 entonces Alt(S ⊗ T ) = Alt(T ⊗
S) = 0
Demostración: H = {σ ∈ Sk+` : σ(k + 1) = k ∗ 1, . . . , σ(k + `) = k + `} Observe que
ψ : Sk → Sk+`
σ → ξ(σ)

σ(j), 1 ≤ j ≤ k
donde ψ(σ)(j) = No es difı́cil probar que ψ es un monomorfismo
j, k+1≤j ≤k+`
de grupo e Im(ψ) = H (¡Ejercicio!).
Luego H es subgrupo de Sk+` (H ≈ Sk ) y podemos tener el conjunto cociente Sk+` /H =
{Hσ : σ ∈ Sk+` }
o(Sk+` ) (k + `)!
Card(Sk+` /H) = =
o(H) k!
= (k + 1) . . . (k + `) = N
Entonces Sk+` = ]N
j=1 Hσj (donde σ1 = e)
X
(k + `)!Alt(S ⊗ T ) = Sig(σ)(σ(S ⊗ T ))
σ∈Sk+`
N
X X
= Sig(σ)[σ(S ⊗ T )] (1)
j=1 σ∈Hσj

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

= S(vσ(1) , . . . , vσ(k) )T (vσ(k+1) , . . . , vσ(k+`) )


= S(vσ(1) , . . . , vσ(k) )T (vk+1 , . . . , vk+` )
= (σS) ⊗ T

por lo tanto σ(S ⊗ T ) = (σS) ⊗ T ∀σ ∈ H.


En (1)
N X
X
(k + `)!Alt(S ⊗ T ) = Sig(σ)[σ(S ⊗ T )]
j=1 σ∈Hσ
N X
X
= Sig(σσj )[(σσj )(S ⊗ T )]
j=1 σ∈Sk
N
X X
= Sig(σj ) Sig(σ)σj (σ(S ⊗ T ))
i=1 σ∈Sk
N
X X
= Sig(σj ) Sig(σ)σj ((σS) ⊗ T )
i=1 σ∈Sk
N
" #
X X
= Sig(σj )σj Sig(σ)(σS)
i=1 σ∈Sk
N
X
= Sig(σj )(σj )[k!Alt(S)] ⊗ T = 0
j=1

entonces Alt(S ⊗ T ) = 0 

Corolario 6.2.1 ω ∈ Λk (V ), η ∈ Λ` (V ) y θ ∈ Λr (V ) se cumple:

1) Alt(ω ⊗ (Alt(η ⊗ θ))) = Alt(ω ⊗ η ⊗ θ) = Alt[Alt(ω ⊗ η) ⊗ η].


(k+`+r)!
2) (ω ∧ η) ∧ θ = k!`!r!
Alt(ω ⊗ η ⊗ θ)

Demostración: 1) Observar que Alt(Alt(η ⊗ θ) − η ⊗ θ) = 0, Alt[ω ⊗ (Alt(η ⊗ θ) − η ⊗ θ)] = 0,


entonces
Alt(ω ⊗ (Alt(η ⊗ θ))) − Alt(ω ⊗ η ⊗ θ) = 0
2)

(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.4 Sea V un R-espacio vectorial y v1 , . . . , vn ∈ V y ϕ1 , . . . , ϕm ∈ Λ1 (V ) = V 1


entonces
(ϕ1 ∧ . . . ∧ ϕm )(v1 , . . . , vm ) = det(ϕi (vj ))
Demostración:

(ϕi ∧ . . . ∧ ϕm )(v1 , . . . , vm ) = m!Alt(ϕ1 ⊗ · · · ⊗ ϕm )(v1 , . . . , vm )


" #
1 X
= m! Sig(θ)[θ(ϕ1 ⊗ · · · ⊗ ϕm )] (v1 , . . . , vm )
n! θ∈S
m
X
= Sig(θ)ϕ1 ⊗ · · · ⊗ ϕm (vθ(1) , . . . , vθ(m) )
θ∈Sm
X
= Sig(θ)ϕ1 (vθ(1) ) . . . ϕm (vθ(m) )
θ∈Sm

= det(ϕi (vj )).


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

Demostración: Sin perdida de generalidad trabajaremos con 1 ≤ i ≤ j ≤ k θ = (i, j) ∈ Sk para


ω ∈ Λk (V ) tenemos

w(v1 , . . . , vj , . . . , vi , . . . , vk ) = ω(vθ(1) , . . . , vθ(i) , . . . , vθ(j) , . . . , vθ(k) )


= Sig(θ)ω(v1 , . . . , vi , . . . , vi , . . . , vk )
= −ω(v1 , . . . , vi , . . . , vj , . . . , vk )

por lo tanto ω(v1 , . . . , vi , . . . , vj , . . . , vk ) = 0 


Corolario 6.2.2 Si V es un R-espacio vectorial de dimensión n, v1 , . . . , vn base de V y ω, η ∈
Λk (V ) con k ≤ n tal que

ω(vi1 , . . . , vik ) = η(vi1 , . . . , vik ) ∀1 ≤ i1 < i2 < · · · < ik ≤ n

entonces ω = η.
Demostración: Es suficiente probar que:

ω(vi1 , . . . , vik ) = η(vi1 , . . . , vik ) ∀1 ≤ i1 < i2 < · · · < ik ≤ n

caso 1 ∃ r, s tal que ir = is , por la anterior proposición

(ω − η)(vi1 , . . . , vir , . . . , vij , . . . , vik ) = 0

9
caso 2

Corolario 6.2.3 V un R-espacio vectorial de dimensión n entonces Λk (V ) = {0} ∀k > n

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 ).

Demostración: Dado 1 ≤ i1 < i2 < · · · < ik ≤ n, 1 ≤ j1 , < j2 < · · · < jk ≤ n, denotemos


por I = (i1 , . . . , ik ) y J = (j1 , . . . , jk ), I 6= J entonces ∃s ∈ {1, . . . , k} tal que is ∈
/ {j1 , . . . , jk }
entonces
(ϕi1 ∧ . . . ∧ ϕik )(vj1 , . . . , vjk ) = det(ϕik (vjs )) = 0.
Si I = J entonces

(ϕi1 ∧ . . . ∧ ϕik )(vj1 , . . . , vjk ) = (ϕi1 ∧ . . . ∧ ϕik )(vi1 , . . . , vik ) = 1

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

Veamos ahora que sean L.I.


X
0= aj1 ,...,jk ϕj1 ∧ . . . ∧ ϕjk
1≤j1 <···<jk ≤n

evaluando en (vi1 , . . . , vik ) tenemos


ai1 ,...,ik = 0.

k

Corolario 6.2.4 Si dimR V = n entonces dimR Λk (V ) = 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 )

Observación: T ∈ τ 0 (w) = R entonces L∗ (T ) = T


Proposición 6.3.1 Sean V, W dos R-espacios vectoriaes de dimensiones finitas, L ∈ L(V, W )
y T ∈ τ k (W ) entonces L∗ (T ) ∈ τ k (V )
Demostración: ¡Ejercicio! 
Proposición 6.3.2 Sean V, W R-espacios vectoriales de dimensióno finita y L ∈ L(V, W ). Se
cumple:
1) L∗ (cT ) = cL∗ (T ), ∀T ∈ τ k (W ), ∀c ∈ R.

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)

L∗ (σT )(v1 , . . . , vk ) = (σT )(Lv1 , . . . , Lvk )


= T (L(v(σ(1)), . . . , L(v(σ(k)))
= L∗ (T )(vσ(1) , . . . , vσ(k) )
= [σL∗ (T )](v1 , . . . , vk )


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 )

σL∗ (w) = L∗ (σw) = L∗ (Sig(σ)w)


= Sig(σ)L∗ (w)

 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.

Proposición 6.3.4 L ∈ L(V, W ). Se cumple:


1) L∗ (Alt(T )) = Alt(L∗ (T )) ∀τ ∈ τ k (W ).
2) L∗ (w ∧ η) = L∗ (w) ∧ L∗ (η), ∀w ∈ Λk (W ), ∀η ∈ Λ(W )
1)
!
1 X
L∗ (Alt(T )) = L∗ Sig(σ)(σT
k! σ∈S
k

1 X
= Sig(σ)L∗ (σT )
k! σ∈Sk
| {z }
σL∗ (T )

= Alt(L∗ (T ))

2) ¡Ejercicio!
Observación: El siguiente diagrama conmuta:

Proposición 6.3.5 Sean V, W, Z R-espacios vectoriales de dimensión finita, L1 ∈ L(V, W ),


L2 ∈ L(W, Z) entonces (L2 ◦ L1 )∗ ∈ L(τ k (Z), τ k (V ) y (L2 ◦ L1 )∗ = L∗1 ◦ L∗2 (propiedad funda-
mental del Pull Back)
Proposición 6.3.6 Sean V, W dos R-espacios vectoriales de dimensión m. {v1 , . . . , vm }, {w1 , . . . , wm }
bases de V, W respectivamente y {ϕ1 , . . . , ϕm }, {ψ1 , . . . , ψm } sus respectivas bases duales. Si
L ∈ L(V, W ) entonces:
L∗ (ψ1 ∧ . . . ∧ ψm ) = det(L)ϕ1 ∧ . . . ∧ ϕm

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) 

6.4. Formas Diferenciables


Sea M ⊂ Rn una superficie suave (de clase C ∞ ) para cada p ∈ M , podemos considerar Tp M
el cual es un R-espacio vectorial. Luego podemos considerar el espacio de k-formas Λk (Tp M )
Definción 6.4.1 Una Forma Exterior de Grado k sobre la superficie M ⊂ Rn o simplemente
k-forma sobre M es una función w que a cada p ∈ M le asocia w(p) = wp ∈ Λk (Tp M ) i.e.
\
w:M → Λk (Tp M )
p∈M
q 7→ wq ∈ Λk (Tq M )
Observación:
1) F k (M ): Conjunto de todas la k-formas sobre M .

2) Como Λ0 (Tp M ) = R entonces F 0 (M ) conjunto de funciones f : M → R

Definción 6.4.2 Sea M ⊂ Rn superficie suave.


1) Si ω, η ∈ F k (M ) definimos su suma ω + η como:
\
ω+η :M → Λk (Tp M )
p∈M
q 7→ (ω + η)q = ωq + ηq

2) Si ω ∈ F k (M ) y c ∈ R definimos su producto cω como


\
xω : M → Λk (Tp M )
p∈M
q 7→ (cω)q = cωq

3) Si ω ∈ F k (M ) y f ∈ F 0 (M ), definimos su producto f ω como


\
fω : M → Λk (Tp M )
p∈M
q 7→ (f ω)q = f (q)ωq

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

2) Denotamos I = (i1 , . . . , ik ) con 1 ≤ i1 < · · · < ik ≤ n

dxI = dxi1 ∧ . . . ∧ dxik


aI = ai1 ...ik
P
Con estos convenios ω = aI dxI en vez de sum1≤i1 <···<ik ≤n ai1 ...ik dxi1 ∧ . . . ∧ dxik
I
P P
3) Con esta notación tenemos: ω = I aI dxI , η = I bI dxI entonces
X
ω+η = (aI + bI )dxI
I
X
cω = caI dxI
I
X
fω = (f aI )dxI
I

aI dxI ∈ F k (U ), η = bJ dxJ ∈ F k (U ). Dado p ∈ U tenemos


P P
4) ω = I J

(ω ∧ η)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

Proposición 6.4.2 Sean U, V ⊂ Rn abiertos y F ∈ C 1 (U, V ) si ω = adγ1 ∧ . . . ∧ dγn ∈ Ωn (V )


entonces
F ∗ (ω) = (a ◦ F )(det(F ))dx1 ∧ . . . ∧ dxn

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


6.5. La Diferencial Exterior


Recordemos que si U ⊂ Rm abierto y aωΩ0 (U ) entonces
m
X ∂a
da = dxk ∈ Ω1 (U )
k=1
∂x k

Definción 6.5.1 Sea U ⊂ R abierto y ω = J aI dxI ∈ Ωk (U ) la diferencial exterior de ω


m
P
denotada por dω. Se definie como
X
dω = daI ∧ dxI
I
k k+1
Observación: ωΩ (U ) entonces dω ∈ Ω (U ) Ejemplo:
ω = x1 dx2 − x3 dx1 + x2 dx3 ∈ Ω1 (R3 )
entonces
dω = dx1 ∧ dx2 − dx3 ∧ dx1 + dx2 ∧ dx3 ∈ Ω2 (R3 )

Proposición 6.5.1 Se cumple.
1) d(ω + η) = dω + dη; ∀ω, η ∈ Ωk (U ).

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

sumI,J aI dbJ ∧ dxI ∧ dxJ


! ! ! !
X X X X
= daI ∧ dxI ∧ bJ dxJ + (−1)k aI dxI ∧ dbJ ∧ dxJ
I J I J
k
= dω ∧ η + (−1) ω ∧ dη.

16

Observación: d : Ωk (U ) → Ωk+1 (U ) es un operador lineal.

Teorema 6.5.1 d(dω) = 0; ∀ω ∈ Rk (U ).

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

Sea k ≥ 1 si ω ∈ Ωk−1 (0) entonces d(dω) = 0 (Hipótesis inductiva).


En primer lugar, obsérvese que si ω ∈ Ωk (U ) entonces
X
ω= (ai1 ...ik dxi1 ∧...∧dxik−1 ) ∧ dxik
1≤i1 <···<ik ≤m
X
= ηi1 ...ik ∧ dxik
1≤i1 <···<ik ≤m

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 )

Teorema 6.5.2 Sean U ⊂ Rm , V ⊂ Rn abiertos y F ∈ C ∞ (U, V ) F ∗ (dω) = d(F ∗ (ω)) ∀ω ∈


Ωk (U ).

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 ))

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 )

F ∗ (d(η ∧ dyi )) = F ∗ (dη ∧ dyi )


= F ∗ (dη) ∧ F ∗ (dyi )
= d(F ∗ (η)) ∧ dFi (1)

d(F ∗ (η ∧ dyi )) = d(F ∗ (η) ∧ dFi )


0
= d(F ∗ (η)) ∧ dFi + (−1)k−1 F ∗ (η)
d(dF )
i
:
(2)

de (1) y (2) se obtiene el resultado. 


Observación: U ⊂ Rm , V ⊂ Rn abiertos y F ∈ C ∞ (U, V )

Prueba 3) Sea p ∈ M tenemos

[F ∗ (f ω)]p = [F 0 (p)]∗ ((f ω)F (p) )


= [F 0 (p)]∗ (fF (p) ωF (p) )
= f (F (p))[F 0 (p)]∗ (ωF (p) )
= (f ◦ F )(p)[F ∗ (ω)]p
= [F ∗ (f )F ∗ (ω)]p

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

Demostración: Sea p ∈ U , ej = (ei )p vectores canónicos de R,p = Tp Rm

[F ∗ (dyi )]p (ej ) = [[F 0 (p)]∗ ((dyi )F (p) )](ej )


= (dyi )F (p) (F 0 (p)(ej ))
 
∂F
= (dyi )F (p) (p)
∂xj
n
!
X ∂Fk (p)
= (dyi )F (p) (p)(ek )F (p)
k=1
∂xj
∂Fi
= (p) = Fi0 (p)(ej )
∂xi
[F ∗ (dyi )]p = Fi0 (p) = (dFi )(p).

m n 1
Observación: Sean U ⊂ R , V ⊂ R abiertos, F = (F1 , . . . , Fn ) ∈ C (U, V )
1) Si ϕ = ni=1 ai dyi ∈ F 1 (V ) entonces
P

n
! n
X X
∗ ∗
F (ϕ) = F ai dyi = (ai F )dF
i=1 i=1

2)

F ∗ (dyi1 ∧ . . . ∧ dyik ) = F ∗ (dyij ) ∧ . . . ∧ F ∗ (dyik )


= dFi1 ∧ . . . ∧ dFik

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

Proposición 6.5.3 Sean U ⊂ Rm , V ⊂ Rn abiertos F ∈ C ∞ (U, V ). Si ω ∈ Ωk (V ) entonces


F ∗ (ω) ∈ Ωk (U ).
P
Demostración: Inmediata a partir de la observación anterior (3). ω = I aI dyI 
Proposición 6.5.4 Sea U ⊂ Rm , V ⊂ Rn , W ⊂ Rp abiertos F ∈ C ∞ (U, V ), G ∈ C ∞ (V, W ),
ω ∈ Ωk (W ) entonces
(F ◦ F )∗ (ω) = F ∗ (G∗ (ω))
Demostración: ¡Ejercicio! 

F ∗ (G∗ (ω))p = [F 0 (p)]∗ G∗ (ω)F (p)


= [F 0 (p)]∗ [G0 (F (p))∗ ]ωG(F (p))
= [G0 (F (p))∗ F 0 (p)]∗ ωG◦F (p)
= [(G ◦ F )0 (p)]∗ ωG◦F (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.

Proposición 6.5.6 ω ∈ Ωkr (U ), η ∈ Ω`r (U ) entonces ω ∧ η ∈ Ωk+`


r (U )

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.

6.6. Pull-Back de Formas Diferencibles


Definción 6.6.1 Sean M y N superficies suaves y F ∈ C 1 (M, N ) si ω ∈ F k (N ). Definimos
el Pull-Back de ω bajo F denotado por F ∗ (ω) como
\
F ∗ (ω) : M → Λk (Tp M )
p∈M
p 7→ [F ∗ (ω)]p = [F 0 (p)]k (ωF (p) )
Observaciones:
1) ω ∈ F k (N ) entonces F ∗ (ω) ∈ F k (M ).
2) g ∈ F 0 (N ) entonces, por la observación a la proposición 6.3.2 tenemos

[F ∗ (g)]p = [F 0 (p)]∗gF (p) = g(F (p))


= (g ◦ F )(p)

por lo tanto F ∗ (g) = g ◦ F .

Proposición 6.6.1 Sean M, N superficies suavez y F ∈ C 1 (M, N ) se cumple:


1) F ∗ (ω1 + ω2 ) = F ∗ (ω1 ) + F ∗ (ω2 ), ∀ω1 , ω2 ∈ F k (N ).
2) F ∗ (cω) = cF ∗ (ω), ∀ω ∈ F k (N ).
3)

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


6.7. La Diferencial Exterior


Recordemos que si U ⊂ Rm abierto y a ∈ Ω0 (U ) entonces da = m ∂a 1
P
k=1 ∂xk dxk ∈ Ω (U ).

Definción 6.7.1 Sea U ⊂ Rm abiero y ω = I aI dxI ∈ Ωk (U ) la diferencial exterior de ω


P
denotada por dω, se define como X
dω = daI ∧ dxI
I
k k+1
Observación: ωΩ (U ) entonces dω ∈ Ω (U ). Ejemplo:
ω = x1 dx2 − x3 dx1 + x2 dx3 ∈ Ω1 (R3 )

entonces

dω = dx1 ∧ dx2 − dx3 ∧ dx1 + dx2 ∧ dx3 ∈ Ω2 (R3 )



Proposición 6.7.1 Se cumple.
1) d(ω + η) = dω + dη; ∀ω, η ∈ Ωk (U ).
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 ), ∀η ∈ Ω`(U ).
P P
Demostración: 4) ω I aI dxI , η = J bj dxJ entonces
X
ω∧η = aI bJ dxI ∧ dxJ
I,J
X
d(ω ∧ η) = d(aI bJ ) ∧ dxI ∧ dxJ
I,J
X
= (bJ daI + aI dbJ ) ∧ dxI ∧ dxJ
I,J
X X
= bJ daI ∧ dxI ∧ dxJ + aI dbJ ∧ dxI ∧ dxJ
I,J I,J
! ! ! !
X X X X
= dxI ∧ dxI ∧ bJ dxJ + (−1)k aI dxI ∧ dbJ ∧ dxJ
I J I J
k
= dω ∧ η + (−1) ω ∧ dη

21

Observación: d : Ωk (U ) → Ωk+1 (U ) es un operador lineal.

Teorema 6.7.1 d(dω) = 0, ∀ω ∈ Ωk (U ).

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.

Sea k ≥ 1 si ω ∈ Ωk−1 (U ) entonces d(dω) = 0 (Hipótesis inductiva).


En primer lugar, observese que si ω ∈ Ωk (U ) entonces
X
ω= (ai1 ...ik dxi1 ∧ . . . ∧ dxik−1 ) ∧ dxik
1≤i1 <···<ik ≤m
X
= ηi1 ...ik ∧ dxik
1≤i1 <···<ik ≤m

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 )

Teorema 6.7.2 Sean U ⊂ Rm , V ⊂ Rn abiertos y F ∈ C ∞ (U, V ) F ∗ (dω) = d(F ∗ (ω)) ∀ω ∈


Ωk (U ).

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 ).

F ∗ (d(η ∧ dyi )) = F ∗ (dη ∧ dyi )


= F ∗ (dη) ∧ F ∗ (dyi )
= d(F ∗ (η)) ∧ dFi (1)
d(F ∗ (η ∧ dyi )) = d(F ∗ (η) ∧ dFi )
0
= d(F ∗ (η)) ∧ dFi + (−1)k−1 F ∗ (η)
d(dF )
i
:
(2)

de (1) y (2) se obtiene el resultado. 


Observación: U ⊂ Rm , V ⊂ Rn abiertos y F ∈ C ∞ (U, V )

23

You might also like