Professional Documents
Culture Documents
T : R2 R3
denida por:
T (x, y ) = (x y, x + y, 2x + 3y )
Queremos calcular su imagen, es decir queremos encontrar los
R3
(x, y ) R2
tal que
denicin de estar en la imagen). Ahora busquemos cuales son esos para algn par
(c1 , c2 , c3 ).
(x, y )
la ecuacin:
(x y, x + y, 2x + 3y ) = (c1 , c2 , c3 )
Esto es equivalente a las tres ecuaciones:
x y = c1 x + y = c2 2x + 3y = c3
Que podemos escribir en forma matricial ms comodamente como:
1 1 2
1 1 3
c1 c2 c3
(esta es la matriz ampliada, no olvidar que es solo una notacin para el sistema de ecuaciones). Reducimos la ecuacin ya que las soluciones de la ecuacion no se alteran al hacer operaciones por la, esto nos permite llevar la ecuacin a alguna equivalente ms simple que nos permita contestar la pregunta que terna
(c1 , c2 , c3 )
1 0 0 1 0 0
c3
c2 +c1 2 c2 c1 2 5 1 2 c2 + 2 c1
c1 x = c2 + 2 c2 c1 y= 2 1 0 = c3 5 2 c2 + 2 c1
Bueno y ahora si podemos obtener informacin interesante, si alguien me da una terna
(c1 , c2 , c3 ),
estar en la imagen? si, me jo si satisface la tercera ecuacin igual a cero, es decir si esa terna satisface:
5 1 0 = c3 c2 + c1 2 2
Ahora, esa es una condicin necesaria para estar en la imagen, pero... es suciente? La respuesta a eso es SI, por que? bueno si alguien me da una solo debo encontrar algn terna que satisface la ecuacin
5 0 = c3 2 c2 + 1 2 c1
par
(x, y )
y siempre puedo
encontrar ese par, me lo construyo explicitamente con las otras dos ecuaciones que me dan a x,y!!!
x=
Asi que me construyo esos
c2 c1 c2 + c1 ,y = 2 2 x, y y satisfago lo pedido
equivalentes a nuestra condicin funtamental). As que mi imagen queda caraterizada solamente la ecuacin homogenea, que era la condicin necesaria, pues el par x,y siempre lo encuentro. As que la respuesta es:
Im(T ) =
5 1 (c1 , c2 , c3 ) R3 : 0 = c3 c2 + c1 2 2