13.07.2015 Views

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Invitación al álgebra homólogica 551. f 1 es inyectiva,2. f 2 es sobreyectiva,3. Imf 1 = Kerf 2.En tal caso se le llama sucesión exacta corta.Ejercicio 1. Demostrar la afirmación anterior.Ahora estamos en condición <strong>de</strong> enunciar nuestro teorema <strong>de</strong>l rango generalizado.Teorema 2 (<strong>de</strong>l rango) Se consi<strong>de</strong>ran los siguientes casos:a) Para toda 0 → V 1 −→f 1dim V 1 + dim V 3.V 2 −→f 2V 3 → 0, sucesión exacta corta, se satisface: dim V 2 =b) Para toda sucesión exacta V · : · · · → V i−1 −→f i−1(−1) dim Vi = 0.Pi∈ZV i −→f iV i+1 −→f i+1. . . , se satisface:Como corolario obtenemos la formulación original:Corolario 1. Si f : E → F es una aplicación lineal, entonces:dim E = dim(Kerf) + dim(Imf).Prueba. Como 0 → V 1i<strong>de</strong>ntificaciones:−→f1 V 2 −→f2 V 3 → 0 es exacta, tenemos las siguientesV 1 se pue<strong>de</strong> i<strong>de</strong>ntificar, mediante f 1, con un subespacio vectorial <strong>de</strong> V 2 : V 1 ⊂ V 2,V 3 ≃ V 2/V 1, el espacio cociente <strong>de</strong> V 2 por el subespacio V 1.Sea {e 1 , ..., e k } una base <strong>de</strong> V 1 y {ɛ 1 , ..., ɛ l } una base <strong>de</strong> V 3 . Sea {ɛ ′ 1, . . . , ɛ ′ l } un“levantamiento” a V 2 <strong>de</strong> la base elegida en V 3 .Sea v ∈ V un elemento arbitrario <strong>de</strong> V 2 , existen β j ∈ k tales que:f 2 (v) =Levantando esta relación a V 2 tenemos:v =l∑β j ɛ j .j=1l∑β j ɛ ′ j + v 0 , v 0 ∈ Kerf 2 ≃ V 1 .j=1Por tanto,l∑k∑v = β j ɛ ′ j + α i e i ,j=1 i=1Revista <strong>de</strong> Ciencias Básicas UJAT, 4(1)Noviembre 2005 p 53–67

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

Saved successfully!

Ooh no, something went wrong!