Oración 1: entonces ya que es posible escojer coordenadas adecuadas (u1, u2) tales que vol = du1 ∧ du2, se tiene Ω(a, ?a) = κ((α1du1 + α2du2) ∧ (−α2du1 + α1du2)) = κ[ (α21 + α22)du1 ∧ du]2 = [−Tr(α2)− T]r(α21 2) du1 ∧ du2 = |α |21 + |α 22| du1 ∧ du2, donde | · | denota la norma matricial natural
Oración 2: para todo a ∈ Ω1(Σg; u(E, h)) se tiene que la forma lineal Ω(a, ?a)x ≥ 0 sobre todas∫las parejas de vectores del tangente TxX
Conector: por lo tanto,
Relación: reasoning
Género: theses