Forma diferencial: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
→‎Algumas definições formais: corrigi concordância nominal
Linha 14:
== Algumas definições formais ==
# O conjunto de todas as ''k''-formas definidas no espaço vetorial tangente de um ponto ''x'' de uma variedade se chama <math>\Lambda_x^k</math>.
# O conjunto de todas as formas diferenciais sobre uma variedade de [[Dimensão (matemática)|dimensão]] ''n'', que resulta ser <math>\Lambda_x = \Lambda_x^0 \oplus \Lambda_x^1 \oplus \dots \oplus \Lambda_x^n </math> , é oa [[Produto exterior (cunha)|álgebra de Grassmann]] da variedade e é em si mesma um [[espaço vetorial]] de dimensão 2<sup>''n''</sup>.
# Existe um operador, chamado '''[[Derivada exterior|diferencial exterior]]''' <math>d: \Lambda_x^{k-1} \to \Lambda_x^{k} \qquad 1 \le k \le n</math>
# Uma ''k''-forma diferencial <math>\omega \,</math> se chama ''fechada'' se seu diferencial exterior é zero, ou seja, <math>d\omega = 0 \,</math>.