Oración 1: sean a, b ∈ Ω1(Σg; u(E, h)) ' TAA(E,∫h), la aplicación lineal (a | b)A := Ω(a, ?b) = ωA(a, ?b) (2.9) Σg 27 define una métrica Riemanniana sobre A(E, h) (acá, ? representa el operador de Hodge, para el cual se cumple (a | b)A = ωA(a, ?b), ya que ?? = ?2 = −1)
Oración 2: nótes∫e que, por el Ap∫éndice A, (a | b)A = ω(a, ?b) = 〈a, b〉vol Σg Σg (acá, 〈·, ·〉 es una métrica Riemanniana fija de Σg inducida sobre Λk(T ∗Σg)⊗ u(E, h))
Conector: en efecto,
Relación: entailment
Género: theses