Mali1 U3 A2 Yaco
Mali1 U3 A2 Yaco
Mali1 U3 A2 Yaco
Ejercicio 2. En la demostración que sigue justifique cada paso con la propiedad usada.
(S + T)(a∙x + b∙y) = S(a∙x + b∙y) + T(a∙x + b∙y) Por definición de suma de funciones
= a∙S(x) + b∙S(y) + a∙T(x) + b∙T(y) Por definición de transformación lineal
=a∙S(x) + a∙T(x) + b∙S(y) + b∙T(y) Conmutativa de la suma
= a∙(S(x) + T(x)) + b∙(S(x) + T(x)) Distributividad de la suma
= a∙(S + T)(x) + b∙(S + T)(x) Por definición de suma de funciones
Por lo tanto:
a1= a’1 a2= a’2 … an= a’n
Sean los vectores A y A’, combinaciones lineales de los vectores A i, tales que:
A= a1 . A1 + a2. A2 +...+ an. An
A’= a’1 . A1 + a’2. A2 +...+ a’n. An
Por las igualdades anteriores A=A’ La función es inyectiva
b. Segundo, hay que ver que T es suprayectiva: para todo vector (a 1, a2,..,an), existe A ϵ V
ya que T(A)= (a1, a2,..,an)
Para comprobar esto es necesario comprobar que la imagen de V es el espacio W tal que
(a1, a2,..,an) ϵ W.
W es el espacio generado por la transformación lineal de todos los vectores de V (Se
utilizará ℒ para describir a un espacio generado por los elementos que lo continúan)
ℒ [T (A1); T (A2);…; T (An)] =w
Sea V= {A1, A2,…, An}
El espacio generado por V, sería el espacio generado por los vectores: w= Im (T)
ℒ [T (A1); T (A2);…; T (An)] = Im (T)
Comprobando esto:
Por definición: T (A1) ϵ Im (T) T (A2) ϵ Im (T) T (An) ϵ Im (T)
Por lo tanto: T (A1) + T (A2) +…+ T (An) ϵ Im (T)
Lo que implica que el espacio ℒ [T (A1); T (A2);…; T (An)] = Im (T)
Por lo tanto el espacio generado por la transformación lineal de todos los vectores de v, es
un subespacio de la imagen T o el espacio w
Se procede a comprobar Im (T) ϵ ℒ [T (A1); T (A2);…; T (An)]
Sea w ϵ Im (T) lo que implica ƎA ϵ V| T(A)=w
Sea A una combinación lineal del espacio generado de V: A= a1. A1 + a2. A2 +...+ an. An
Por lo tanto T(A)= T (a1. A1) + T (a2. A2) +… + T (an. An)
Por las propiedades de las transformaciones lineales T(A)= a 1.T (A1) + a2.T (A2) +…+ an.T
(An)
Por los coeficientes que se manejan se ha comprobado que la imagen de T es un
subespacio del espacio generado por: [T (A1); T (A2);….; T (An) ]
Por lo tanto hemos probado:
ℒ [T (A1); T (A2);…; T (An)] ⊂ Im (T)
Im (T) ⊂ ℒ [T (A1); T (A2);…; T (An)]
Por la ley de doble contención ℒ [T (A1); T (A2);…; T (An)] = Im (T)
Que es lo mismo que ℒ [T (A1); T (A2);…; T (An)] = w
Por lo que para todo vector A ϵ V, existe una T(A) ϵ W
Bibliografía
Campos, N. (-- de -- de --). Algebra Lineal. Obtenido de
https://personales.unican.es/camposn/espacios_vectoriales2.pdf