FUNDAMENTOS MATEMÁTICOS I E.T.S.
Arquitectura UPV/EHU
TRANSFORMACIONES LINEALES
Transformación lineal. Definición
Núcleo e imagen de una transformación lineal
Teorema de la dimensión
TRANSFORMACIONES LINEALES
DEFINICIÓN:
Dados dos espacios vectoriales 𝑬𝒏 y 𝑬´𝒎 de dimensiones 𝒏 y 𝒎 respectivamente, una
aplicación:
𝑻: 𝑬𝒏 𝑬´𝒎
⃗
𝒖 ⃗ )
𝑻( 𝒖
es una aplicación o transformación lineal si verifica:
1. ⃗ ,𝒗
∀𝒖 ⃗ ∈ 𝑬𝒏 𝑻( 𝒖
⃗ + 𝒗
⃗ ) = 𝑻( 𝒖
⃗ ) + 𝑻( 𝒗
⃗ )
2. ∀𝒌 ∈ 𝓡 𝒚 ∀𝒖 ⃗ ∈ 𝑬𝒏 ⃗ ) = 𝒌 ∘ 𝑻( 𝒖
𝑻( 𝒌 ∘ 𝒖 ⃗ )
Dados 𝒏 vectores cualesquiera del espacio vectorial inicial 𝒖 ⃗ 𝟏, 𝒖
⃗ 𝟐, ⋯ , 𝒖
⃗ 𝒏 ∈ 𝑬𝒏 y 𝒏 escalares
𝒄𝟏 , 𝒄𝟐 , ⋯ , 𝒄𝒏 ∈ 𝓡, aplicando simultáneamente las condiciones 𝟏) y 𝟐), se deduce que:
⃗ 𝒏 ) = 𝒄𝟏 𝑻( 𝒖
⃗ 𝟏 + ⋯ ⋯ + 𝒄𝒏 𝒖
𝑻(𝒄𝟏 𝒖 ⃗ 𝟏 ) + ⋯ ⋯ + 𝒄𝒏 𝑻( 𝒖
⃗ 𝒏)
propiedad que caracteriza a las transformaciones lineales y que se enuncia como:
El transformado por una aplicación lineal 𝑻 de una combinación lineal de vectores,
es la combinación lineal de sus transformados.
Además, para cualquier transformación lineal se verifica:
𝑻(𝟎
⃗ 𝑬 ) = ⃗𝟎𝑬´
𝒏 𝒎
𝑻(− 𝒖⃗ ) = −𝑻(𝒖 ⃗ )
EJEMPLO 1:
Comprobar si son lineales o no las siguientes transformaciones:
𝑻: 𝓡𝟐 𝓡𝟐
(𝒙, 𝒚) (𝒙 + 𝒚 , 𝒙 − 𝒚)
𝑮: 𝓡𝟐 𝓡𝟐
(𝒙, 𝒚) (𝟏 , 𝒙 + 𝒚)
1.- Transformación 𝑻
La primera coordenada del transformado por 𝑻 de cualquier vector del espacio
vectorial inicial 𝓡𝟐 , es la suma de las coordenadas del vector del que se quiere
calcular su transformado.
La segunda coordenada del transformado por 𝑻 de cualquier vector del espacio
vectorial inicial 𝓡𝟐 es la diferencia entre la primera y segunda coordenada del
vector del que queremos calcular su transformado.
Veamos si la transformación 𝑻 verifica las dos condiciones para que sea lineal.
FUNDAMENTOS MATEMÁTICOS I E.T.S. Arquitectura UPV/EHU
1ª condición:
?
𝒖 ⃗ = (𝒙´, 𝒚´) ∈ 𝓡𝟐 𝑻( 𝒖
⃗ = (𝒙, 𝒚) , 𝒗 ⃗ ) = 𝑻( 𝒖
⃗ + 𝒗 ⃗ ) + 𝑻( 𝒗
⃗ )
⃗
𝒖 ⃗
𝒗
⃗ +𝒗
𝑻( 𝒖 ⏞
⃗ ) = 𝑻 ((𝒙, ⏞
⏟ 𝒚) + (𝒙´, 𝒚´))
⏞+ 𝒙´, 𝒚 + 𝒚´) = (𝒙⏟+ 𝒙´ + 𝒚⏟+ 𝒚´ , 𝒙
𝑻 (𝒙 ⏟+ 𝒙´ − (𝒚⏟+ 𝒚´))
𝟏ª 𝟐ª 𝟏ª 𝟐ª
⃗ ) = (𝒙 + 𝒙´ + 𝒚 + 𝒚´, 𝒙 + 𝒙´ − 𝒚 − 𝒚´)
⃗ +𝒗
𝑻(𝒖
⃗
𝒖 ⃗
𝒗
⃗ ) + 𝑻( 𝒗
𝑻( 𝒖 ⏞ ⏞
⃗ ) = 𝑻 (𝒙, 𝒚) + 𝑻 (𝒙´, 𝒚´)
(𝒙 + 𝒚 , 𝒙 − 𝒚) + (𝒙´ + 𝒚´, 𝒙´ − 𝒚´) = (𝒙
⏟+ 𝒚 + 𝒙´ + 𝒚´ , ⏟
𝒙 − 𝒚 + 𝒙´ − 𝒚´)
⏞+ 𝒙´ + 𝒚 + 𝒚´ , ⏞
(𝒙 𝒙 + 𝒙´ − 𝒚 − 𝒚´)
⃗ ) + 𝑻(𝒗
𝑻(𝒖 ⃗ ) = (𝒙 + 𝒙´ + 𝒚 + 𝒚´, 𝒙 + 𝒙´ − 𝒚 − 𝒚´)
⃗ +𝒗
Luego 𝑻( 𝒖 ⃗ ) = 𝑻( 𝒖
⃗ ) + 𝑻( 𝒗
⃗ ) y, por tanto, se verifica la 1ª condición
2ª condición:
⃗ = (𝒙, 𝒚) ∈ 𝓡𝟐 𝒌 ∈ 𝓡
?
⃗ ) = 𝒌 ∙ 𝑻( 𝒖
⃗ )
𝒖 𝑻(𝒌 ∙ 𝒖
⃗
𝒖
⃗
𝑻(𝒌 𝒖 ) = 𝑻(𝒌 ⏞
⏟∙ (𝒙, 𝒚))
⏞𝒙 , 𝒌 𝒚) = (𝒌
𝑻 (𝒌 ⏟𝒙 + 𝒌 𝒚 , ⏟
𝒌 𝒙´ − 𝒌 𝒚´)
⏞(𝒙 + 𝒚) , ⏞
(𝒌 𝒌 (𝒙´ − 𝒚´)) = 𝒌 (𝒙 + 𝒚, 𝒙´ − 𝒚´) = 𝒌 𝑻( 𝒖
⃗ )
⃗ ) = 𝒌 ∙ 𝑻( 𝒖
Luego 𝑻(𝒌 ∙ 𝒖 ⃗ ) y por tanto también se verifica la 2ª condición
y ya que la transformación 𝑻 verifica las dos condiciones, la transformación 𝑻 es lineal.
2.- Transformación 𝑮
La primera coordenada del transformado por 𝑮 de cualquier vector del espacio
vectorial inicial 𝓡𝟐 es siempre 𝟏
La segunda coordenada del transformado por 𝑮 de cualquier vector del espacio
vectorial inicial 𝓡𝟐 es la suma de las dos coordenadas del vector del que queremos
calcular su transformado.
Veamos si la transformación 𝑮 verifica las dos condiciones para que sea lineal.
FUNDAMENTOS MATEMÁTICOS I E.T.S. Arquitectura UPV/EHU
1ª condición:
?
𝒖 ⃗ = (𝒙´, 𝒚´) ∈ 𝓡𝟐 𝑮( 𝒖
⃗ = (𝒙, 𝒚) , 𝒗 ⃗ ) = 𝑮( 𝒖
⃗ + 𝒗 ⃗ ) + 𝑮( 𝒗
⃗ )
⃗
𝒖 ⃗
𝒗
⏞
⃗ ) = 𝑮 ((𝒙,
⃗ +𝒗
𝑮( 𝒖 ⏟ 𝒚) + ⏞
(𝒙´, 𝒚´))
⏞+ 𝒙´, 𝒚 + 𝒚´) = (𝟏 , 𝒙
𝑮 (𝒙 ⏟+ 𝒙´ + 𝒚⏟+ 𝒚´)
𝟏ª 𝟐ª
⃗
𝒖 ⃗
𝒗
⃗ ) + 𝑮( 𝒗
𝑮( 𝒖 ⏞ , 𝒚) + 𝑮 ⏞
⃗ ) = 𝑮 (𝒙 (𝒙´, 𝒚´)
(𝟏 , 𝒙 + 𝒚) + (𝟏, 𝒙´ + 𝒚´) = (𝟐 , 𝒙 + 𝒚 + 𝒙´ + 𝒚´)
entonces 𝑮( 𝒖⃗ +𝒗
⃗ ) ≠ 𝑮( 𝒖⃗ ) + 𝑮( 𝒗
⃗ ) por lo que al no cumplirse la 1ª de las condiciones, la
aplicación 𝑮 no es lineal.
En general, dada una función no basta con conocer la imagen de uno o varios elementos del
conjunto original, para conocer la imagen de cualquier otro, por ejemplo:
Dada la función 𝒇 tal que:
𝒇: 𝓡 𝓡
𝟐 𝟒
¿Es posible determinar 𝒇(𝟒)?
No es posible determinar el valor de la función en el punto 𝟒 pues hay infinitas funciones para
las que el transformado de 𝟐 es 𝟒, por ejemplo:
𝒇: 𝓡 𝓡 𝒇(𝟒) = 𝟖
𝒇(𝟐) = 𝟒
𝒙 𝟐𝒙
𝒇: 𝓡 𝓡
𝒇(𝟐) = 𝟒 𝒇(𝟒) = 𝟏𝟔
𝒙 𝒙𝟐
y como vemos el valor que toman ambas en el punto 𝟒 es distinto, lo que significa que no es
suficiente con conocer el valor que toma una función en un punto para poder determinar su valor
en cualquier otro.
Sin embargo, si la aplicación es lineal, conociendo los transformados de los elementos de
cualquier base del espacio vectorial inicial 𝑬𝒏 , es posible determinar el transformado de cualquier
vector de este espacio.
En efecto, siendo 𝑩 = {𝒖 ⃗ 𝒏 } una base de 𝑬𝒏 de la que conocemos los transformados
⃗ 𝟏, ⋯ ⋯ , 𝒖
de los vectores que la forman:
⃗ 𝟏 ), ⋯ ⋯ , 𝑻(𝒖
𝑻(𝒖 ⃗ 𝒏)
⃗ ) de cualquier vector 𝒖
es posible calcular el transformado 𝑻(𝒖 ⃗ ∈ 𝑬𝒏 , siguiendo el siguiente
procedimiento:
FUNDAMENTOS MATEMÁTICOS I E.T.S. Arquitectura UPV/EHU
⃗ en la base 𝑩 del espacio vectorial:
1. Hallar las coordenadas del vector 𝒖
⃗ = 𝒄𝟏 𝒖
𝒖 ⃗ 𝟏 + ⋯ ⋯ + 𝒄𝒏 𝒖
⃗𝒏
2. Aplicando transformados en los dos miembros de la igualdad anterior y teniendo en
cuenta que el transformado de una combinación lineal es la combinación lineal de los
transformados:
⃗ ) = 𝑻(𝒄𝟏 ⃗𝒖𝟏 + ⋯ ⋯ + 𝒄𝒏 ⃗𝒖𝒏 )
𝑻(𝒖
⃗ 𝟏 ) + 𝒄𝟐 𝑻(𝒖
𝒄𝟏 𝑻(𝒖 ⃗ 𝟐 ) + ⋯ + 𝒄𝒏 𝑻(𝒖
⃗ 𝒏)
de ahí que:
⃗ ) = 𝒄𝟏 𝑻(𝒖
𝑻(𝒖 ⃗ 𝟏 ) + 𝒄𝟐 𝑻(𝒖
⃗ 𝟐 ) + ⋯ + 𝒄𝒏 𝑻(𝒖
⃗ 𝒏)
⃗ en la base 𝑩.
siendo 𝒄𝟏 , 𝒄𝟐 , ⋯ , 𝒄𝒏 ∈ 𝓡 las coordenadas de 𝒖
EJEMPLO 2:
Sea 𝑻: 𝓡𝟐 ⟶ 𝓡𝟐 una transformación lineal tal que:
𝑻(𝟏, 𝟎) = (𝟐, 𝟑)
{
𝑻(𝟎, 𝟏) = (𝟏, 𝟏)
a) Hallar 𝑻(𝟑, 𝟒)
b) Hallar 𝑻(𝒙, 𝒚)
c) Hallar 𝑻(𝟐, 𝟏)
Siendo ⃗𝒖𝟏 = (𝟏, 𝟎) y ⃗𝒖𝟐 = (𝟎, 𝟏), entonces 𝑩 = {𝒖 ⃗ 𝟏 , ⃗𝒖𝟐 } es la base canónica del espacio
𝟐
vectorial 𝓡 de la que conocemos los transformados de sus vectores. Vamos a aplicar el
proceso que acabamos de mostrar, para calcular los transformados de los vectores que se piden.
Apartado a):
Transformado del vector (𝟑, 𝟒)
1. Hallar las coordenadas del vector (𝟑, 𝟒) en la base 𝑩 del espacio vectorial.
Como la base que estamos considerando es la canónica, las coordenadas del vector
coinciden con sus componentes, entonces:
(𝟑, 𝟒) = 𝟑 (𝟏, 𝟎) + 𝟒 (𝟎, 𝟏)
2. Aplicando transformados en la igualdad anterior:
𝑻(𝟑, 𝟒) = 𝑻(𝟑 (𝟏 , 𝟎) + 𝟒 (𝟎 , 𝟏))
El transformado de una combinación lineal es
la combinación lineal de los transformados
𝟑⏟ 𝑻(𝟎 , 𝟏) [𝟏]
𝑻(𝟏 , 𝟎) + 𝟒 ⏟
𝟑⏞
(𝟐, 𝟑) + 𝟒 ⏞
(𝟏, 𝟏) = (𝟏𝟎, 𝟏𝟑)
𝑻(𝟑 , 𝟒) = (𝟏𝟎 , 𝟏𝟑)
FUNDAMENTOS MATEMÁTICOS I E.T.S. Arquitectura UPV/EHU
Con Mathematica:
In[1]:= {𝑻[𝟏 , 𝟎] = {𝟐 , 𝟑} , 𝑻[𝟎 , 𝟏] = {𝟏 , 𝟏}}
Out[1]= {{2 ,3} , {1 ,1}}
y teniendo en cuenta [𝟏]:
In[2]:= 𝑻[𝟑 , 𝟒] = 𝟑 𝑻[𝟏 , 𝟎] + 𝟒 𝑻[𝟎 , 𝟏]
Out[2]= {10 ,13}
Apartado b):
Para calcular el transformado del vector (𝒙, 𝒚) seguiremos los mismos pasos que en el apartado
anterior:
1. Coordenadas del vector (𝒙, 𝒚) en la base 𝑩 del espacio vectorial.
Ya que las coordenadas del vector coinciden con sus componentes, entonces
(𝒙, 𝒚) = 𝒙 (𝟏, 𝟎) + 𝒚 (𝟎, 𝟏)
2. Aplicando transformados en la igualdad anterior y teniendo en cuenta que el
transformado de una combinación lineal es la combinación de los transformados:
𝑻(𝒙, 𝒚) = 𝑻(𝒙 (𝟏 , 𝟎) + 𝒚 (𝟎 , 𝟏))
𝒙⏟
𝑻(𝟏 , 𝟎) + 𝒚 ⏟
𝑻(𝟎 , 𝟏) [𝟐]
𝒙 ⏞
(𝟐, 𝟑) + 𝒚 ⏞
(𝟏, 𝟏) = (𝟐 𝒙 + 𝒚 , 𝟑 𝒙 + 𝒚)
𝑻(𝒙 , 𝒚) = (𝟐 𝒙 + 𝒚 , 𝟑 𝒙 + 𝒚)
Con Mathematica y teniendo en cuenta [𝟐]:
In[3]:= 𝑻[𝒙_ , 𝒚_ ] = 𝒙 𝑻[𝟏 , 𝟎] + 𝒚 𝑻[𝟎 , 𝟏]
Out[3]= {2 𝑥 + 𝑦 , 3 𝑥 + 𝑦}
Este último resultado permite definir la expresión analítica de la aplicación lineal del ejemplo:
𝑻 ∶ 𝓡𝟐 𝓡𝟐
(𝒙, 𝒚) (𝟐 𝒙 + 𝒚 , 𝟑 𝒙 + 𝒚)
Apartado c):
Para hallar el transformado del vector (𝟐 , 𝟏) podemos seguir los mismos pasos que en el
apartado a), sin embargo, ya que hemos deducido la expresión analítica de la transformación:
𝑻(𝒙 , 𝒚) = (𝟐 𝒙 + 𝒚 , 𝟑 𝒙 + 𝒚)
𝑻(𝟐 , 𝟏) = (𝟐 (𝟐) + 𝟏 , 𝟑 (𝟐) + 𝟏) = (𝟓 , 𝟕)
Con Mathematica:
In[4]:= 𝑻[𝟐 , 𝟏 ]
Out[4]= {5 , 7} 𝑻(𝟐 , 𝟏) = (𝟓 , 𝟕)
FUNDAMENTOS MATEMÁTICOS I E.T.S. Arquitectura UPV/EHU
NUCLEO E IMAGEN DE UNA APLICACION LINEAL
DEFINICIÓN:
Dada una aplicación lineal 𝑻: 𝑬𝒏 ⟶ 𝑬´𝒎 definimos como núcleo de una aplicación lineal y lo
denotamos como 𝑲𝒆𝒓 𝑻 al subconjunto de 𝑬𝒏 :
⃗ ∈ 𝑬𝒏 / 𝑻( 𝒖
𝑲𝒆𝒓 𝑻 = { 𝒖 ⃗ 𝑬´ }
⃗ )=𝟎 𝒎
DEFINICIÓN:
Dada una aplicación lineal 𝑻: 𝑬𝒏 ⟶ 𝑬´𝒎 definimos como imagen de una aplicación lineal y lo
denotamos como 𝑰𝒎 𝑻 al subconjunto de 𝑬´𝒎 :
𝑰𝒎 𝑻 = { 𝒗
⃗ ∈ 𝑬´𝒎 / ∃ 𝒖 ⃗ }
⃗ )=𝒗
⃗ ∈ 𝑬𝒏 𝑻( 𝒖
El núcleo y la imagen de una aplicación lineal 𝑻 son subespacios vectoriales. 𝑲𝒆𝒓 𝑻 es un
subespacio vectorial del espacio inicial 𝑬𝒏 e 𝑰𝒎 𝑻 del espacio final 𝑬´𝒎 . Además, se verifica
el siguiente teorema:
TEOREMA DE LA DIMENSION
Dada una aplicación lineal 𝑻: 𝑬𝒏 ⟶ 𝑬´𝒎 entonces:
𝑫𝒊𝒎 𝑬𝒏 = 𝑫𝒊𝒎 𝑲𝒆𝒓 𝑻 + 𝑫𝒊𝒎 𝑰𝒎 𝑻
EJEMPLO 3:
Dada una transformación lineal tal que:
𝑻: 𝓡𝟐 𝓡𝟐
(𝟏 , 𝟏) (𝟐 , 𝟐)
(𝟎 , 𝟏) (𝟏 , 𝟏)
Calcular:
a) Ecuaciones, base y dimensión del subespacio 𝑲𝒆𝒓 𝑻
b) Ecuaciones, base y dimensión del subespacio 𝑰𝒎 𝑻
c) Un original del vector (𝟐, 𝟐)
d) Un original del vector (𝟐, 𝟑)
Siendo 𝒖 ⃗ 𝟐 = (𝟎, 𝟏), entonces 𝑩 = {𝒖
⃗ 𝟏 = (𝟏, 𝟏) y 𝒖 ⃗ 𝟐 } es una base del espacio vectorial 𝓡𝟐
⃗ 𝟏, 𝒖
de la que conocemos los transformados de sus vectores. Hemos de observar que, en este caso,
a diferencia del ejemplo anterior, la base 𝑩 no es la canónica, por lo que las coordenadas de
cualquier vector en esta base no coinciden con sus componentes y habrá que calcularlas.
Para determinar los subespacio núcleo e imagen de la transformación lineal, deberemos de
obtener la expresión analítica de la transformación 𝑻, es decir, 𝑻(𝒙 , 𝒚), para lo que aplicaremos
el procedimiento seguido en el apartado b) del ejemplo 𝟐.
FUNDAMENTOS MATEMÁTICOS I E.T.S. Arquitectura UPV/EHU
Como en el ejemplo anterior, el primer paso será calcular las coordenadas del vector (𝒙 , 𝒚) en
la base 𝑩 que, en este caso, no coincidirán con sus componentes al no ser 𝑩 la base usual.
1. Las coordenadas del vector (𝒙, 𝒚) en la base 𝑩 serán los escalares 𝒂 y 𝒃 tales que:
(𝒙, 𝒚) = 𝒂 (𝟏, 𝟏) + 𝒃 (𝟎, 𝟏)
Operando se llega al sistema de ecuaciones:
𝒂=𝒙
{𝒂+𝒃= 𝒚
cuya solución es:
𝒂=𝒙
{𝒃 = 𝒚−𝒙
por lo que:
(𝒙, 𝒚) = 𝒂 (𝟏, 𝟏) + 𝒃 (𝟎, 𝟏)
(𝒙, 𝒚) = 𝒙 (𝟏, 𝟏) + (𝒚 − 𝒙) (𝟎, 𝟏)
2. Aplicando transformados en la igualdad anterior y teniendo en cuenta que el
transformado de una combinación lineal es la combinación de los transformados:
𝑻(𝒙, 𝒚) = 𝒂 𝑻(𝟏, 𝟏) + 𝒃 𝑻(𝟎, 𝟏) [𝟑]
𝑻(𝒙, 𝒚) = 𝒙 ⏟ 𝑻(𝟎, 𝟏) = 𝒙 (𝟐 , 𝟐) + (𝒚 − 𝒙) (𝟏 , 𝟏)
𝑻(𝟏, 𝟏) + (𝒚 − 𝒙) ⏟
(𝟐 , 𝟐) (𝟏 , 𝟏)
𝑻(𝒙, 𝒚) = (𝒙 + 𝒚 , 𝒙 + 𝒚)
Con Mathematica:
In[1]:= {𝑻[𝟏 , 𝟏] = {𝟐 , 𝟐} , 𝑻[𝟎 , 𝟏] = {𝟏 , 𝟏}}
Out[1]= {{2 ,2} , {1 ,1}}
1. Coordenadas del vector (𝒙, 𝒚) en la base 𝑩 del espacio vectorial.
In[2]:= 𝑺𝒐𝒍𝒗𝒆[{𝒙 , 𝒚} == 𝒂 {𝟏 , 𝟏} + 𝒃 {𝟎 , 𝟏} , {𝒂 , 𝒃}]
Out[2]= {{𝑎 → 𝑥 , 𝑏 → − 𝑥 + 𝑦}}
2. Transformado de una combinación lineal igual a combinación de los transformados ([𝟑]):
In[3]:= 𝑻[𝒙_ , 𝒚_ ] = 𝒂 𝑻[𝟏 , 𝟏] + 𝒃 𝑻[𝟎 , 𝟏]/. {𝒂 → 𝒙 , 𝒃 → − 𝒙 + 𝒚}
Out[3]= {𝑥 + 𝑦 , 𝑥 + 𝑦}
Luego la expresión analítica de la aplicación lineal del ejemplo será:
𝑻 ∶ 𝓡𝟐 𝓡𝟐
(𝒙, 𝒚) ( 𝒙 + 𝒚 , 𝒙 + 𝒚)
FUNDAMENTOS MATEMÁTICOS I E.T.S. Arquitectura UPV/EHU
Apartado a):
Núcleo de la transformación (𝑲𝒆𝒓 𝑻):
𝑲𝒆𝒓 𝑻 = {(𝒙, 𝒚) ∈ 𝓡𝟐 / 𝑻(𝒙, 𝒚) = (𝟎, 𝟎)}
Con Mathematica:
In[4]:= 𝑺𝒐𝒍𝒗𝒆[𝑻[𝒙 , 𝒚 ] = {𝟎 , 𝟎}, {𝒙, 𝒚}]
𝑲𝒆𝒓 𝑻 = {(𝒙, 𝒚) ∈ 𝓡𝟐 / 𝒚 = − 𝒙}
Out[4]= {{𝑦 → −𝑥}}
Dimensión del subespacio vectorial 𝑲𝒆𝒓 𝑻
𝑫𝒊𝒎(𝓡𝟐 ) = 𝑫𝒊𝒎(𝑲𝒆𝒓 𝑻) + 𝒏º 𝒆𝒄𝒖𝒂𝒄𝒊𝒐𝒏𝒆𝒔
𝟐 𝟏
La dimensión del subespacio vectorial 𝑲𝒆𝒓 𝑻 es 𝟏
Base del subespacio vectorial 𝑲𝒆𝒓 𝑻
(𝒙 , 𝒚) ∈ 𝑲𝒆𝒓 𝑻
(𝒙 , −𝒙) = 𝒙 ⏟
(𝟏 , −𝟏) Una base del subespacio 𝑲𝒆𝒓 𝑻 es 𝑩𝑲𝒆𝒓 𝑻 = (𝟏 , − 𝟏)
Apartado b):
Imagen de la transformación (𝑰𝒎 𝑻):
𝑰𝒎 𝑻 = {(𝒙𝒇 , 𝒚𝒇 ) ∈ 𝓡𝟐 / ∃(𝒙, 𝒚) ∈ 𝓡𝟐 𝑻(𝒙, 𝒚) = (𝒙𝒇 , 𝒚𝒇 )}
De la igualdad 𝑻(𝒙, 𝒚) = (𝒙𝒇 , 𝒚𝒇 ) se llega al sistema de ecuaciones:
𝒙 + 𝒚 = 𝒙𝒇
{𝒙+𝒚=𝒚 [𝟏]
𝒇
Ahora bien, el subespacio 𝑰𝒎 𝑻 deberá de venir definido por ecuaciones en las que solamente
deben de intervenir 𝒙𝒇 e 𝒚𝒇 , por lo que en el sistema [𝟏] han de eliminarse todas las demás
variables, en este caso, 𝒙 e 𝒚.
𝒙 + 𝒚 = 𝒙𝒇
𝒙 + 𝒚 = 𝒚𝒇
de donde:
𝑰𝒎 𝑻 = {(𝒙𝒇 , 𝒚𝒇 ) ∈ 𝓡𝟐 / ∃(𝒙, 𝒚) ∈ 𝓡𝟐 𝒙𝒇 = 𝒚𝒇 }
Con Mathematica es posible efectuar los dos pasos, obtener las ecuaciones y eliminar las
variables, en uno solo:
In[5]:= 𝑬𝒍𝒊𝒎𝒊𝒏𝒂𝒕𝒆[ 𝑻[𝒙 , 𝒚 ] == {𝒙𝒇 , 𝒚𝒇 }, {𝒙, 𝒚}]
Out[5]= 𝒚𝒇 == 𝒙𝒇
𝑰𝒎 𝑻 = {(𝒙𝒇 , 𝒚𝒇 ) ∈ 𝓡𝟐 / 𝒚𝒇 = 𝒙𝒇 }
FUNDAMENTOS MATEMÁTICOS I E.T.S. Arquitectura UPV/EHU
Dimensión del subespacio vectorial 𝑰𝒎 𝑻
𝑫𝒊𝒎(𝓡𝟐 ) = 𝑫𝒊𝒎(𝑰𝒎 𝑻) + 𝒏º 𝒆𝒄𝒖𝒂𝒄𝒊𝒐𝒏𝒆𝒔
𝟐 𝟏
La dimensión del subespacio vectorial 𝑰𝒎 𝑻 es 𝟏
Base del subespacio vectorial 𝑰𝒎 𝑻
(𝒙𝒇 , 𝒚𝒇 ) ∈ 𝑰𝒎 𝑻
∈ 𝑰𝒎 𝑻
(𝒙𝒇 , 𝒙𝒇 ) = 𝒙𝒇 (𝟏
⏟ , 𝟏) Una base del subespacio 𝑰𝒎 𝑻 es 𝑩𝑰𝒎 𝑻 = (𝟏 , 𝟏)
Apartado c):
Un original del vector (𝟐, 𝟐) del espacio final, que se denotará como 𝑻−𝟏 (𝟐, 𝟐), es cualquier
vector (𝒙 , 𝒚) del espacio inicial, tal que 𝑻(𝒙 , 𝒚) = (𝟐 , 𝟐).
Con Mathematica:
In[6]:= 𝑺𝒐𝒍𝒗𝒆[𝑻[𝒙, 𝒚] == {𝟐, 𝟐} , {𝒙, 𝒚}]
Out[6]= {{𝑦 → 2 − 𝑥}}
entonces:
(𝒙 , 𝒚) ∈ 𝑻−𝟏 (𝟐, 𝟐)
(𝒙 , 𝟐 − 𝒙) 𝑻−𝟏 (𝟐, 𝟐) = {(𝒙, 𝒚) ∈ 𝓡𝟐 / 𝒚 = 𝟐 − 𝒙}
Dando valores a la variable 𝒙 obtendremos cualquier original del vector (𝟐, 𝟐). Por ejemplo:
𝒙=𝟏 (𝟏, 𝟏) 𝒙=𝟐 (𝟐, 𝟎) 𝒙 = −𝟏 (−𝟏, 𝟑)
Apartado d):
Un original del vector (𝟐, 𝟑) perteneciente al espacio final, será cualquier vector del espacio
original para el que 𝑻(𝒙 , 𝒚) = (𝟐 , 𝟑), entonces:
In[7]:= 𝑺𝒐𝒍𝒗𝒆[𝑻[𝒙, 𝒚] == {𝟐, 𝟑}, {𝒙, 𝒚}]
Out[7]= { }
sistema que no tiene solución, lo que significa que no hay ningún vector cuya imagen
(transformado) sea el vector (𝟐, 𝟑).
Cabría preguntarse por qué el vector (𝟐, 𝟐) tiene original y en cambio, el vector (𝟐, 𝟑) no. La
respuesta es sencilla: para que un vector tenga original, debe de pertenecer al subespacio 𝑰𝒎 𝑻:
(𝟐 , 𝟐) 𝟐=𝟐 (𝟐, 𝟐) ∈ 𝑰𝒎 𝑻
𝑰𝒎 𝑻 = {(𝒙𝒇 , 𝒚𝒇 ) ∈ 𝓡𝟐 / 𝒚𝒇 = 𝒙𝒇 } {
(𝟐 , 𝟑) 𝟐≠𝟑 (𝟐, 𝟑) ∉ 𝑰𝒎 𝑻