IX EDICIÓN PREMIOS JORGE JUAN

Álgebra

1. En el espacio vectorial de los polinomios en una variable con coe cientes reales, demuestra
que si pk (x) = (1 + x)k , k 2 N [ f0g, entonces el conjunto fp0 (x) ; p1 (x) ; : : : ; pn (x)g es
linealmente independiente para cualquier n 2 N [ f0g.
2. Dado n 2 N, sea Pn el espacio vectorial formado por los polinomios en una variable con
coe cientes reales y de grado menor o igual que n. Demuestra que el conjunto
B = fp0 (x) ; p1 (x) ; : : : ; pn (x)g

es una base de Pn .

3. Dada la aplicación lineal

fn : Pn 7 ! Pn
1 x ;
p (x) ! (fn (p)) (x) = (1 + x)n p
1+x
se pide:
a) Determinar fn (pk ) para k = 0; 1; : : : ; n.

b) Calcular la matriz asociada a fn respecto de la base B.

c) Demostrar que fn fn = 2n idPn .

d) Utilizando la igualdad del apartado anterior, deducir los valores propios de fn .

e) Para n = 4, demostrar que fn es diagonalizable.

SOLUCIÓN

1. Para n = 0, el conjunto está formado por un único elemento no nulo, p0 (x) = 1, por lo que es
linealmente independiente. Para cualquier otro n 2 N, lo probaremos por inducción.
Para n = 1, el conjunto es fp0 (x) ; p1 (x)g = f1; 1 + xg. Si tomamos una combinación lineal
de los elementos de dicho conjunto y la igualamos a cero,

0 + 1 (1 + x) = 0;

identi cando los coe cientes de los téminos del mismo grado en ambos lados de la igualdad, se
obtiene 0 = 1 = 0. Por lo tanto, fp0 (x) ; p1 (x)g es linealmente independiente.
 Supongamos, ahora, que el conjunto fp0 (x) ; p1 (x) ; : : : ; pn 1 (x)g es linealmente independiente.
Probaremos que la proposición también es cierta para el conjunto fp0 (x) ; p1 (x) ; : : : ; pn (x)g.
Consideremos una combinación lineal de los elementos de este conjunto e igualémosla al poli-
nomio cero,

0 + 1 (1 + x) + : : : + n 1 (1 + x)n 1
+ n (1 + x)n = 0: (1)
Puesto que el coe ciente del término de grado n en el polinomio de la izquierda es n y en el
de la derecha es cero, se tiene que n = 0 y, sustituyendo este valor en (1), se obtiene

0 + 1 (1 + x) + : : : + n 1 (1 + x)n 1
= 0:
Puesto que, por hipótesis de inducción, fp0 (x) ; p1 (x) ; : : : ; pn 1 (x)g es linealmente indepen-
diente, se tiene que 0 = 1 = ::: = n 1 = 0. Por lo tanto, el conjunto fp0 (x) ; p1 (x) ; : : : ; pn (x)g
es linealmente independiente.
Así pues, fp0 (x) ; p1 (x) ; : : : ; pn (x)g es linealmente independiente para todo n 2 N [ f0g.

2. Pn es un espacio vectorial de dimensión n+1 (ya que el conjunto f1; x; x2 ; : : : ; xn g es una base).
Puesto que B es un conjunto de n + 1 vectores de Pn linealmente independientes (demostrado
en el apartado anterior), B es una base de Pn .

3. a) Sustituyendo en la expresión general de fn , se tiene

k
1 x 1 x
(fn (pk )) (x) = (1 + x)n pk = (1 + x)n 1 + =
1+x 1+x
k
n 2
= (1 + x) = (1 + x)n k
2k = 2k pn k (x) :
1+x

b) La matriz asociada a fn respecto de la base B, se obtiene poniendo en columnas las

coordenadas, en la base B, de las imágenes por fn de los vectores de B. Sabemos, por el
apartado anterior, que
(fn (p0 )) (x) = 20 pn (x) ;

(fn (p1 )) (x) = 21 pn 1 (x) ;

..
.
(fn (pn 1 )) (x) = 2n 1 p1 (x) ;

(fn (pn )) (x) = 2n p0 (x) ;

 por lo que, la matriz pedida es
0 1
0 0 0 2n
B 0 0 2n 1
0 C
B .. .. .. C
..
MB (fn ) = B
B . . . C:
.
C
@ 0 2 0 0 A
1 0 0 0

c) La matriz asociada a la composición de dos aplicaciones lineales es el producto de las

matrices asociadas a cada una de ellas. Por lo tanto, la matriz asociada a la aplicación
fn fn ; respecto de la base B; es el producto por sí misma de la matriz del apartado
anterior. Así pues, se tiene
0 12 0 n 1
0 0 0 2n 2 0 0 0
n 1
B 0 0 2 0 C B 0 2n 0 0 C
B . . .. C B
.. C = B .. .. .. .. .. C
MB (fn fn ) = B B .. .. . . C B . . . . . C = 2n I;
C
@ 0 2 0 0 A @ 0 0 2n 0 A
1 0 0 0 0 0 0 2n
donde I es la matriz identidad de orden n. Por lo tanto,

((fn fn ) (p)) (x) = 2n p (x) : (2)

d) Un escalar 2 R se dice que es un valor propio de fn si existe un vector no nulo en Pn ,

p (x) 6= 0, al que llamamos vector propio asociado a , tal que

(fn (p)) (x) = p (x) : (3)

Aplicando fn a ambos miembros de (3), se obtiene

((fn fn ) (p)) (x) = (fn (p)) (x) ;

y sustituyendo (2) y (3) en el primero y segundo miembros de la igualdad, respectiva-

mente, se tiene
2
2n p (x) = p (x) ;
2
de donde = 2n . Por lo tanto, los valores propios de fn son 1 = 2n=2 y 2 = 2n=2

e) Sabemos que f4 es diagonalizable si, y sólo si, existe una base de P4 formada por vectores
propios. Por lo tanto, la demostración consiste en encontrar un conjunto de 5 vectores
propios linealmente independientes.
Dado un polinomio p (x) 6= 0, cuya expresión como combinación lineal de los vectores
de la base B es la siguiente:
p (x) = a0 p0 (x) + a1 p1 (x) + a2 p2 (x) + a3 p3 (x) + a4 p4 (x) ; (4)

p (x) es vector propio de f4 si se cumple

(f4 (p)) (x) = p (x) ; (5)
para = 22 , o bien, = 22 .
Sustituyendo (4) en (5) y aplicando la linealidad de f4 y el resultado obtenido en el
apartado a), se tiene

a0 p4 (x) + a1 2p3 (x) + a2 22 p2 (x) + a3 23 p1 (x) + a4 24 p0 (x) =

a0 p0 (x) + a1 p1 (x) + a2 p2 (x) + a3 p3 (x) + a4 p4 (x) :

Puesto que la expresión de un vector como combinación lineal de los vectores de una base
es única, se obtiene
a0 = a4 24 ;
a1 = a3 23 ;
a2 = a2 22 ; (6)
a3 = a1 2;
a 4 = a0 :

Para = 22 , el anterior sistema de ecuaciones se convierte en

a0 = 22 a4 ;
a1 = 2a3 ;

de donde p (x) = a4 (22 p0 (x) + p4 (x))+a3 (2p1 (x) + p3 (x))+a2 p2 (x), con a4 ; a3 ; a2 2
R, es vector propio de f4 asociado al valor propio = 22 . Así pues, el conjunto

f4p0 (x) + p4 (x) ; 2p1 (x) + p3 (x) ; p2 (x)g

está formado por tres vectores propios asociados al valor propio = 22 que, además, son
linealmente independientes.
Para = 22 , el sistema (6) se convierte en

a0 = 22 a4 ;
a1 = 2a3 ;
a2 = 0;

de donde p (x) = a4 ( 22 p0 (x) + p4 (x)) + a3 ( 2p1 (x) + p3 (x)), con a4 ; a3 2 R, es

 vector propio de f4 asociado al valor propio = 22 . Así pues, el conjunto
f 4p0 (x) + p4 (x) ; 2p1 (x) + p3 (x)g
está formado por dos vectores propios asociados al valor propio = 22 que, además,
son linealmente independientes.
Puesto que los vectores propios asociados a valores propios distintos son linealmente
independientes, el conjunto
f4p0 (x) + p4 (x) ; 2p1 (x) + p3 (x) ; p2 (x) ; 4p0 (x) + p4 (x) ; 2p1 (x) + p3 (x)g

es una base de P4 formada por vectores propios y f4 es diagonalizable.