2.2 Formas Diferenciais 40 D<strong>em</strong>onstração. Inicialmente, not<strong>em</strong>os que dxi1 ∧· · ·∧dxik são linearmente in<strong>de</strong>pen<strong>de</strong>ntes, pois tomando ai1,··· ,ik , i1 < i2 < · · · < ik, ij ∈ {i, · · · , n} <strong>de</strong> forma que i1
2.2 Formas Diferenciais 41 Denotando por I a k−úpla (i1, · · · , ik), então com o intuito <strong>de</strong> simplificar a notação, po<strong>de</strong>mos <strong>de</strong>notar uma k−forma diferencial ω por ω = aIdxI. (2.7) I Por convenção, <strong>de</strong>finir<strong>em</strong>os que uma 0−forma diferencial <strong>em</strong> R n será uma aplicação diferenciável f : R n → R. A partir <strong>de</strong> agora, por simplicida<strong>de</strong>, chamar<strong>em</strong>os uma k−forma diferencial simplesmente por uma k−forma, e o nosso objetivo será <strong>de</strong>finir algumas operações envol- vendo tais formas, e estudar suas proprieda<strong>de</strong>s. Definição 2.2.11. Sejam ω e η duas k−formas <strong>em</strong> R n . Po<strong>de</strong>mos <strong>de</strong>finir a soma ω + η como, ω + η = aIdxI + bIdxI = (aI + bI)dxI I I Definição 2.2.12. Sejam ω uma k−forma e ϕ uma s−forma. Definimos o produto exte- rior <strong>de</strong> formas diferenciais ω ∧ ϕ como ω ∧ ϕ = aIbJdxI ∧ dxJ, IJ on<strong>de</strong> ω = I aIdxI, I = (i1, · · · , ik), com i1 < · · · < ik, e ϕ = J bJdxJ, J = (ii, · · · , ij), i1 < · · · < ij. Observação 2.2.3. De acordo com a <strong>de</strong>finição <strong>de</strong> produto exterior, po<strong>de</strong>mos ter uma k−forma ϕ1 ∧ · · · ∧ ϕk, on<strong>de</strong> cada ϕi é uma 1−forma, para i = 1, · · · , k, l<strong>em</strong>brando que ϕ1 ∧ · · · ∧ ϕk(v1, · · · , vk) = <strong>de</strong>t(ϕi(vj)) <strong>Teor<strong>em</strong>a</strong> 2.2.4. Sejam ω uma k−forma, ϕ uma s−forma, e θ uma r−forma, então, (i) (ω ∧ ϕ) ∧ θ = ω ∧ (ϕ ∧ θ); (ii) (ω ∧ ϕ) = (−1) ks (ϕ ∧ ω); (iii) ω ∧ (ϕ + θ) = ω ∧ ϕ + ω ∧ θ, se r = s. D<strong>em</strong>onstração. Sejam ω = I aIdxI, I = (i1, · · · , ik), i1 < · · · < ik, ϕ = J bJdxJ, J = (j1, · · · , js), com j1 < · · · < js e θ = L cLdxL, L = (i1, · · · , il), com i1 < · · · < il. (i) (ω ∧ ϕ) ∧ θ = aIbJdxI ∧ dxJ ∧ θ = aIbJcLdxI ∧ dxJ ∧ dxL = IJ IJL I