10.05.2013 Views

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

5.3.1 Elementos geométricos. 165<br />

Definición 5.15 Para cada A = 1, . . . , k se define el endomorfismo vertical Aésimo<br />

en TE ( k<br />

⊕ E) ≡ E ×T Q T ( k<br />

⊕ E) como la aplicación<br />

J A : T E ( k<br />

⊕ E) → T E ( k<br />

⊕ E)<br />

(aq, vbq) ↦→ J A (aq, vbq) = ξ VA (aq, bq) ,<br />

donde aq ∈ E, bq = (b1q, . . . , bkq) ∈ k<br />

⊕ E y vbq ∈ Tbq( k<br />

⊕ E).<br />

Lema 5.16 Consideremos<br />

{Xα, V A α}1≤A≤k, 1≤α≤m<br />

una base local de secciones de τ k<br />

⊕E : TE ( k<br />

⊕ E) ≡ E ×T Q T ( k<br />

⊕ E) → k<br />

⊕ E y sea<br />

la base dual asociada.<br />

{X α , V α A}1≤A≤k, 1≤α≤m<br />

En estas bases, la expresión local de J A es:<br />

Demostración:<br />

J A =<br />

(5.33)<br />

m<br />

V A α ⊗ X α , 1 ≤ A ≤ k . (5.34)<br />

α=1<br />

La expresión local (5.34) de J A es consecuencia de las expresiones (5.24) y (5.32).<br />

En efecto, teniendo en cuenta estas expresiones obtenemos<br />

J A (Xα(bq)) = ξ VA (eα(q), bq) = y β (eα(q))V A β (bq) = V A α(bq) ,<br />

J A (V B α (bq)) = ξ VA (0q, bq) = y α A (0q)V A α(bq) = 0 ,<br />

para cada bq ∈ k<br />

⊕ E y cada A, B = 1, . . . , k, α = 1 . . . , m.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!