21.04.2013 Views

Apuntes de Ecuaciones diferenciales - Universidad de Extremadura

Apuntes de Ecuaciones diferenciales - Universidad de Extremadura

Apuntes de Ecuaciones diferenciales - Universidad de Extremadura

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

22 Tema 1. La estructura diferenciable <strong>de</strong> un espacio vectorial<br />

Si E1 = E2, U ∪ V ⊂ W abierto y D ∈ Dk(W ) diremos que F <strong>de</strong>ja<br />

invariante a D si F lleva D en D, es <strong>de</strong>cir si para cada x ∈ V<br />

F∗Dx = D F (x).<br />

Proposición 1.23 Sea F : U ⊂ E1 → V ⊂ E2, <strong>de</strong> clase k + 1, D ∈ Dk(U)<br />

y E ∈ Dk(V ). Entonces son equivalentes:<br />

i) F lleva D en E.<br />

ii) F∗D = F ∗ E.<br />

iii) D ◦ F ∗ = F ∗ ◦ E.<br />

Demostración. Hágase como ejercicio.<br />

1.4.2. Campo tangente a soporte.<br />

Consi<strong>de</strong>remos una aplicación diferenciable (<strong>de</strong> clase ∞)<br />

F : V ⊂ E2 −−→ U ⊂ E1.<br />

Definición. Llamaremos campo tangente a U con soporte en V relativo<br />

a F , <strong>de</strong> clase k, a las <strong>de</strong>rivaciones<br />

con la regla <strong>de</strong> Leibnitz<br />

D F : C ∞ (U) −−→ C k (V ),<br />

D F (fg) = D F f · F ∗ g + F ∗ f · D F g.<br />

Denotaremos con D F k (U) el Ck (V )–módulo <strong>de</strong> estos campos con las<br />

operaciones<br />

(D F + E F )f = D F f + E F f, (g · D F )f = g · D F f.<br />

Nota 1.24 Si F es <strong>de</strong> clase r, po<strong>de</strong>mos <strong>de</strong>finir los campos a soporte <strong>de</strong><br />

clase k ≤ r como las <strong>de</strong>rivaciones<br />

D F : C ∞ (U) → C k (V ).<br />

Definición. Dada la aplicación F <strong>de</strong> clase ∞, <strong>de</strong>finimos los morfismos<br />

<strong>de</strong> módulos<br />

F∗ : D(V ) −−→ D F (U) , (F∗D)f = D(F ∗ f),<br />

F ∗ : D(U) −−→ D F (U) , (F ∗ D)f = F ∗ (Df),

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

Saved successfully!

Ooh no, something went wrong!