Universidad Tcnica Federico Santa Mara

Departamento de Matemtica
Campus Santiago


Ayudante: Roberto Celis / Marzo 2006 - 1 -
G Gu u a a 1 1. .0 0 d de e e ej je er rc ci ic ci io os s r re es su ue el lt to os s
I IC CI IP PE EV V / / M Ma ar rz zo o 2 20 00 06 6

Temas: Transformaciones lineales, base, dimensin, kernel y matriz asociada.

Problema 1: Sea T: ;
3 2
P P tal que [ ]

=
x
x
dt t p x p T ) ( ) (
1.1 Es T lineal?
1.2 Encuentre una base para el KerT
1.3 Encuentre la dimensin de la imagen
1.4 Si { } 1 , ,
2 2 2
+ + + = x x x x x B y { }
3 2
, , , 1 x x x C = son bases de
3 2
P P respectivamente,
calcule [ ]
C
B
T


Solucin:

1.1 T es lineal, pues el operador integral es lineal. Adems, se puede comprobar de la
siguiente forma:

Sean
2
, , P q p IR
[ ] ( ) [ ] [ ] q T p T qdt pdt dt q p q p T
x
x
x
x
x
x
+ = + = + = +



por lo tanto se cumplen las condiciones de linealidad.



1.2 Se sabe que [ ] 0 ker = p T T p , por lo que debemos encontrar los vectores del
espacio de llegada para luego igualarlos al vector nulo.

Sea
2
2
) ( / cx bx a x p P p + + =
[ ] ( )
3 3 2 3 2 3 2 2
3
2
2
3 2 3 2 3 2
x
c
ax x
c
x
b
ax x
c
x
b
ax t
c
t
b
at dt ct bt a p T
x
x
x
x
+ = |

\
|
+ + + = + + = + + =

Luego, igualando al vector nulo:

0 0 0
3
2
0 2 0 0 0
3
2
2
3 2 3
= = = = + + = + c a
c
a x x x x
c
ax
Con lo anterior, se concluye que los vectores que estn en el kernel de T son de la forma
siguiente: bx x p = ) ( ; as, la base del kerT es: { } x T Base = ker


Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Campus Santiago


Ayudante: Roberto Celis / Marzo 2006 - 2 -
1.3 En este caso, el espacio de origen es
2
P , siendo su dimensin 3. Adems, el ncleo
(kerT) tiene dimensin 1, entonces, usando el teorema de las dimensiones se obtiene lo
siguiente:

( ) ( ) ( ) origen Dim T Dim gT Dim = + ker Im
( ) 3 1 Im = + gT Dim
( ) 2 Im = gT Dim

Observacin: Otra forma de encontrar la dimensin de la imagen es contando el nmero de
vectores que tiene su base, esto es

[ ] { }
3 3
, Im
3
2
2 x x T Base x
c
ax p T = + =
(los factores
3
2
2
c
a
son siempre constantes, por lo
que no son importantes en la base. As, de forma independiente al teorema de las
dimensiones, se concluye que ( ) 2 Im = gT Dim .


1.4 Para encontrar la matriz asociada a una transformacin lineal debemos transformar los
vectores de la base del espacio de origen, y sus resultados escribirlos como combinacin
lineal de los vectores de la base del espacio de llegada, luego, los coeficientes de la
combinacin lineal sern los vectores columna de la matriz, esto es:


[ ]

= =
x
x
x dt x x T
3 2 2
3
2

3 2
3
2
0 0 1 0 x x x + + + =
[ ] ( )

= + = +
x
x
x dt x x x x T
3 2 2
3
2

3 2
3
2
0 0 1 0 x x x + + + =
[ ] ( )

+ = + + = + +
x
x
x x dt x x x x T 2
3
2
1 1
3 2 2

3 2
3
2
0 2 1 0 x x x + + + =

Ahora, escribiendo la matriz con los coeficientes de las combinaciones lineales como
vectores columnas, se tiene que:

[ ]
(
(
(
(

=
3 2 3 2 3 2
0 0 0
2 0 0
0 0 0
C
B
T




Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Campus Santiago


Ayudante: Roberto Celis / Marzo 2006 - 3 -
Problema 2: Sea T:
3 4
IR IR una transformacin lineal definida por

[ ] ( ) w z y x w z x w z y x w z y x T 3 3 , 2 , ) , , , ( + + + + + =

Encuentre una base y la dimensin del KerT y de ImT


Solucin:
Primero buscamos KerT

( ) ( ) 0 , 0 , 0 3 3 , 2 , = + + + + + w z y x w z x w z y x
i) w z y x + + 0 =
ii) w z x + 2 0 =
iii) w z y x 3 3 + + 0 =

Solucionando el sistema de 3 ecuaciones y 4 incgnitas, se llega a lo siguiente:

z x y 3 2 + = z x w 2 + = ; IR z x ,

As, los vectores que estn en el KerT son de la forma siguiente:

( ) ( ) ( ) ( ) 2 , 1 , 3 , 0 1 , 0 , 2 , 1 2 , , 3 2 , , , , z x z x z z x x w z y x + = + + =

Con lo anterior, se sabe que el conjunto de vectores ( ) ( ) { } 2 , 1 , 3 , 0 , 1 , 0 , 2 , 1 es una base del
KerT, pues es el conjunto generador y adems son L.I. (tienen valores ceros en diferentes
coordenadas). Con ello, se concluye que ( ) 2 ker = T Dim

Ahora falta analizar la imagen de la transformacin, la cual es generada por el siguiente
conjunto de vectores:

( ) ( ) ( ) ( ) ( ) 3 , 1 , 1 3 , 2 , 1 1 , 0 , 1 1 , 1 , 1 3 3 , 2 , + + + = + + + + + w z y x w z y x w z x w z y x

( ) ( ) ( ) ( ) { } 3 , 1 , 1 , 3 , 2 , 1 , 1 , 0 , 1 , 1 , 1 , 1 Im = T G

Sin embargo, el conjunto anterior NO es una base de la imagen, pues si lo fuese entonces
contradice el teorema de las dimensiones, lo cual no puede suceder. Adems, es fcil
verificar que los vectores son L.D. Por ello, basta quitar dos vectores de forma arbitraria,
as una base para la imagen sera:

( ) ( ) { } 1 , 0 , 1 , 1 , 1 , 1 Im = T Base

Comprobemos el teorema de las dimensiones:
( ) ( ) ( ) origen Dim T Dim gT Dim = + ker Im 4 2 2 = +
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Campus Santiago


Ayudante: Roberto Celis / Marzo 2006 - 4 -
Problema 3: Sea T: ) , 2 2 (
3
IR x P una transformacin lineal, y asuma que

( )
(

=
0 0
1 1
1 T ; ( )
(

=
0 1
1 0
x T ; ( )
(

=
0 1
2 1
2
x T ; ( )
(

=
1 0
0 0
3
x T

3.1 Calcule [ ] ) (x p T , siendo ) (x p un polinomio cualquiera de grado 3.
3.2 Encuentre una base para el KerT
3.3 Encuentre una base para el ImT
3.4 Calcule [ ]
C
B
T , donde B y C son las bases cannicas ordenadas de ) , 2 2 (
3
IR x P
respectivamente.

Solucin:

3.1 Para conocer una transformada de manera explcita, basta conocer las transformadas de
los elementos de una base del espacio de origen. En este caso el conjunto { }
3 2
, , , 1 x x x B =
es una base de
3
P , por lo que cualquier polinomio de grado 3 puede ser escrito como una
combinacin lineal de la base B.

En efecto:
Sea
3 2
3
1 ) ( / x d x c x b a x p P p + + + = ; IR d c b a , , ,

[ ] [ ]
3 2
1 ) ( x d x c x b a T x p T + + + =

Como T es lineal, se cumple que [ ] [ ] [ ] [ ] [ ]
3 2
1 ) ( x dT x cT x bT aT x p T + + + =

[ ]
(

+
(

+
(

+
(

=
1 0
0 0
0 1
2 1
0 1
1 0
0 0
1 1
) ( d c b a x p T

[ ]
(

+ + +
=
d c b
c b a c a
x p T
2
) (


3.2 El kerT se obtiene de la siguiente igualdad:

(

=
(

+ + +
0 0
0 0 2
d c b
c b a c a
0 0 0 2 0 = = = + + = + d c b c b a c a

Resolviendo, se concluye que: 0 = = = d c b c a ; IR c

As, los vectores del kerT tienen la forma: ( )
2 2
1 1 ) ( x x c x c x c c x p + = + =
Por lo tanto, una base suficiente para el kerT es : ( ) { }
2
1 ker x x T Base + = .
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Campus Santiago


Ayudante: Roberto Celis / Marzo 2006 - 5 -
(Observacin importante: esta base tiene un slo vector, el cual es conformado a su vez por
varios elementos de un polinomio. NO!! confundir con una base de 3 vectores)

3.3 Se sabe que la imagen es generada por el conjunto de vectores

)
`

1 0
0 0
,
0 1
2 1
,
0 1
1 0
,
0 0
1 1


Sin embargo, no constituyen una base, pues contradice el teorema de las dimensiones,
adems es verificable notoriamente que son vectores L.D. Por ello, basta quitar uno de ellos
de forma arbitraria, as una base para la imagen sera:

)
`

=
1 0
0 0
,
0 1
1 0
,
0 0
1 1
ImT Base

Comprobemos el teorema de las dimensiones:

( ) ( ) ( ) origen Dim T Dim gT Dim = + ker Im
4 1 3 = +

3.4 Realizando un procedimiento anlogo al del problema 1.4, se sigue que:
Sean { }
3 2
, , , 1 x x x B = y
)
`

=
1 0
0 0
,
0 1
0 0
,
0 0
1 0
,
0 0
0 1
C las bases cannicas
ordenadas de ) , 2 2 (
3
IR x P respectivamente.

[ ]
(

=
0 0
1 1
1 T
(

+
(

+
(

+
(

=
1 0
0 0
0
0 1
0 0
0
0 0
1 0
1
0 0
0 1
1
[ ]
(

=
0 1
1 0
x T
(

+
(

+
(

=
1 0
0 0
0
0 1
0 0
1
0 0
1 0
1
0 0
0 1
0
[ ]
(

=
0 1
2 1
2
x T
(

+
(

+
(

=
1 0
0 0
0
0 1
0 0
1
0 0
1 0
2
0 0
0 1
1
[ ]
(

=
1 0
0 0
3
x T
(

+
(

+
(

+
(

=
1 0
0 0
1
0 1
0 0
0
0 0
1 0
0
0 0
0 1
0

Ahora, escribiendo la matriz con los coeficientes de las combinaciones lineales como
vectores columnas, se tiene que:
[ ]
(
(
(
(

=
1 0 0 0
0 1 1 0
0 2 1 1
0 1 0 1
C
B
T
Universidad Tcnica Federico Santa Mara
Departamento de Matemtica
Campus Santiago


Ayudante: Roberto Celis / Marzo 2006 - 6 -
Comentarios y preguntas a roberto.celis@yahoo.es
Problema 4: Describa explcitamente una transformacin lineal T:
3 3
IR IR tal que una
base para la imagen es el conjunto de vectores siguiente:

( ) ( ) { } 2 , 2 , 1 , 1 , 0 , 1 Im = T Base
Solucin:

Al igual que en el problema anterior, para conocer la transformada de manera explcita,
debemos tener primero las transformadas de los elementos de una base del espacio de
origen. As, de forma arbitraria, se decide tomar como base de
3
IR al conjunto de vectores
( ) ( ) ( ) { } 1 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 1 = B (pregunta: Por qu esa base y no otra?, respuesta: por que es la
base ms sencilla de todas).

Adems, tambin de manera arbitraria, se procede a transformar los elementos de la base B
para luego designarles sus transformadas, esto es:

( ) [ ] ( ) 1 , 0 , 1 0 , 0 , 1 = T ; ( ) [ ] ( ) 2 , 2 , 1 0 , 1 , 0 = T ; ( ) [ ] ( ) 1 , 2 , 2 1 , 0 , 0 = T

Notar que al vector ( ) 0 , 0 , 1 se le design como transformada una combinacin lineal de los
vectores de la base de la imagen. Luego, al ser B una base de
3
IR , se tiene que:

Sea ( )
3
, , IR z y x

( ) ( ) ( ) ( ) 1 , 0 , 0 0 , 1 , 0 0 , 0 , 1 , , + + = z y x z y x

( ) [ ] ( ) ( ) ( ) [ ] 1 , 0 , 0 0 , 1 , 0 0 , 0 , 1 , , + + = z y x T z y x T ; como T es lineal, se cumple que

( ) [ ] ( ) [ ] ( ) [ ] ( ) [ ] 1 , 0 , 0 0 , 1 , 0 0 , 0 , 1 , , zT yT xT z y x T + + =

( ) [ ] ( ) ( ) ( ) 1 , 2 , 2 2 , 2 , 1 1 , 0 , 1 , , z y x z y x T + + =

( ) [ ] ( ) z y z z y z y x z y x T + + + + + = 2 , 2 2 , 2 , ,

Con lo anterior, se obtiene una transformacin lineal con las caractersticas requeridas por
el problema. Observacin: El presente problema si bien era de desarrollo simple y
arbitrario, lo que pretenda en el fondo es comprobar un dominio claro y creativo en cuanto
a conceptos del lgebra.