ETSII-UPM

Problemas del Tema 2:

Operadores lineales en espacios
eucldeos y hermticos
lgebra II (Plan 2000) Grupo M2
Madrid, 25 de febrero de 2003
Javier Garca de Jaln
ETSII - Departamento de Matemtica Aplicada
a la Ingeniera Industrial

Problema 01
ETSII-UPM
q

Enunciado:

Ideas:

Determinar la proyeccin ortogonal del vector (1, 1, 0, 2) sobre el subespacio

generado por los dos vectores (1, 1, 0, 1) y (0, 2, 1, 1). Hallar el vector
simtrico del primer vector respecto del subespacio.
A partir de los vectores que generan el subespacio se puede formar la matriz A
cuyas columnas son dichos vectores; a partir de la matriz A se puede generar la
matriz de proyeccin P y a partir de P la matriz de reflexin H

Resolucin:

Por el teorema de la proyeccin ortogonal, la proyeccin Pv es ortogonal al

residuo r=vPv. Este teorema permite calcular la matriz de proyeccin:
Pv = Ax, AT r = 0, AT ( v Ax ) = 0

Pv = Ax = A ( A T A ) AT v
1

AT Ax = AT v

x = ( AT A ) AT v
1

P = A ( A T A ) AT
1

Los pasos de este problema estn descritos en los ficheros problema02_01.m y

problema02_01.txt, realizados con Matlab.

Problema 02
ETSII-UPM
q

Enunciado:

Ideas:

En R4, determinar el simtrico del punto (1, 2, 1, 0) respecto del hiperplano

de ecuacin x1+2x2+x3+3x4=0.
El hiperplano est definido como el subespacio ortogonal al vector [1, 2, 1, 3].
La matriz de la simetra es en este caso la matriz de Householder:
vvT
H =I2 T
v v

Resolucin:

Los pasos de este problema estn descritos en los ficheros problema02_02.m y

problema02_02.txt, realizados con Matlab.

Problema 03
ETSII-UPM
q

Enunciado:

Hallar la matriz de la proyeccin ortogonal sobre el subespacio de R4 de

ecuaciones
3x1 + 2 x2 5 x3 + x4 = 0

2 x1 4 x2 + 3x3 5x4 = 0

Ideas:

En este caso no se da una base del

subespacio sobre el que hay que
proyectar, sino las ecuaciones que
deben cumplir los puntos de dicho
subespacio.
Hay dos posibilidades:

x1

3 2 5 1 x2 0
2 4 3 5 x = 0

3


x4

Bx = 0

Calcular dos vectores linealmente independientes que cumplan la ecuacin anterior

y formar a partir de ellos la matriz de proyeccin
Darse cuenta que el espacio sobre el que hay que proyectar es el complemento
ortogonal de las filas de B. La matriz de proyeccin se puede calcular PA=IPB

Resolucin:

Los pasos de este problema estn descritos en los ficheros problema02_03.m y

problema02_03.txt, realizados con Matlab.

Problema 04
ETSII-UPM
q

Enunciado:

Ideas:

3 0
2 1

2 2

2 2
2 2

Reducir a forma escalonada la matriz

operando sobre sus filas utilizando transformaciones de
Householder. Deducir de ah la factorizacin QR de la matriz.

8
2
7

2
2

Aplicar Matlab en la misma forma que se utilizara para resolver el problema a

mano con una calculadora.

Resolucin:

Ver ficheros problema02_04.m y problema02_04.txt, realizados con Matlab.

Problema 05
ETSII-UPM
q

Enunciado:

Ideas:

+1

Se considera el espacio de los polinomios de grado

p, q = p ( x ) q ( x ) dx
1
menor o igual que 3 con el producto escalar:
Determinar el polinomio asociado a la forma lineal (p) = p(0) en el
isomorfismo natural de este espacio con su dual.
Resuelto como ejemplo en la transparencia 25 del Tema 2

Resolucin:

Problema 06
ETSII-UPM
q

Enunciado:

Dada una matriz real A, rectangular de dimensiones mn, se considera la aplicacin

LA : Rnp Rmp definida por LA(X) = AX. Hallar su operador adjunto, suponiendo
que en ambos espacios de matrices se considera el producto escalar dado por
P, Q = traza PT Q

Ideas:

Resolucin:

Aplicar la definicin de operador adjunto (transparencia 28 del Tema 2).

n

Las dimensiones del problema se reflejan en la figura:

El operador adjunto se obtiene de la expresin:

LA ( P ) , Q

R mp

= P, LA ( Q )

LA

L Xm
X = A
n

Rnp

donde cada producto escalar se realiza en el espacio vectorial adecuado.

El operador adjunto LA : R mp R np tendr asociada una matriz nm.
Aplicando el producto escalar de estos espacios:

LA ( P ) , Q = AP, Q = P, LA ( Q )
de donde se deduce finalmente que:

traza ( PT A T Q ) = traza ( PT LA ( Q ) )

LA ( Q ) = AT Q

Problema 07
ETSII-UPM
q

Enunciado

Sean los dos espacios eucldeos, Rn+1 con el producto

1
p, q = p ( t ) q ( t ) dt
escalar usual, y Rn[t] con el producto escalar:
0
Si L es la aplicacin de Rn+1 a Rn[t] definida por
t R , L ( x0 , x1 ,..., xn )( t ) = x0 + x1t + ... + xn t n

determnese la aplicacin adjunta de L.

q

Ideas:

Utilizar la definicin de aplicacin adjunta de la transparencia 28 del Tema 2

Tv, u F = v, T u
E

Resolucin:

Teniendo en cuenta que F sera Rn[t] y E sera Rn+1

n
1 n
1

= xk t k p ( t ) dt = xk t k p ( t ) dt = x, L ( p ) n1
R
0
0
k =0
k =0

de donde se deduce que la aplicacin adjunta L ( p ) : R n [t ] R n1 es:

1
1
1
1
L ( p ) = p ( t ) dt , tp ( t ) dt , t 2 p ( t ) dt ,..., t n p ( t ) dt
0
0
0
0

L ( x) , p

R n [t]

Problema 08
ETSII-UPM
q

Enunciado:

Dado un vector a en el espacio de los vectores libres de la geometra tridimensional

eucldea ordinaria, se considera el operador lineal definido por

Caracterizar el operador adjunto de este operador.

L(v) = a v

Ideas:

Aplicar la definicin de operador adjunto. Se puede utilizar la expresin alternativa del

producto vectorial en funcin de la matriz antisimtrica asociada.

Resolucin:

Aplicando la definicin de operador adjunto (transpuesto):

% , w = vT a% T w = v T L ( w )
L ( v ) , w = v , L ( w )
L ( v ) , w = a v, w = av
y de aqu se deduce que:
% = a w
L ( w ) = a% T w = aw
El operador transpuesto es el opuesto del operador dado.

Problema 09
ETSII-UPM
q

Enunciado:

En el espacio Rn[x] se define el producto escalar de los dos polinomios

p ( x ) = a 0 + a1 x + ... + am x n ,
q ( x ) = b0 + b1 x + ... + bn x n
n
mediante la frmula
p ( x ) , q ( x ) ak bk

Hallar los adjuntos de los operadores definidos en este espacio mediante

k=0

Ideas:

L ( p ( x)) = p ( x);

Aplicar la definicin de operador adjunto a L y M con el producto escalar dado.

Resolucin:

1
M ( p ( x )) = xn p
x

Para el operador L: L ( p ( x ) ) = p ( x ) ,

L ( p ( x ) ) , q ( x ) = p ( x ) , L ( q ( x ) )

n
n
k
L ( p ( x ) ) = L ak x k = ak ( 1) x k
k =0
k =0
n

L ( p ( x ) ) , q ( x ) = ( 1) ak bk = p ( x ) , L ( q ( x ) ) ,
k

L = L

k =0

( autoadjunto )

Para el operador M:
n

n
n
M ( p ( x ) ) = x n p ( x 1 ) = M ak x k = an k x k
k=0
k =0
n

M ( p ) , q = an k bk = an bn k = p, L ( q ) ,
k =0

k =0

L = L

( autoadjunto )

Problema 10
ETSII-UPM
q

Enunciado:

Ideas:

Demostrar que el ncleo del operador adjunto de un operador L coincide con el

complemento ortogonal del subespacio imagen de L.
Esta propiedad est demostrada en la transparencia 29 del Tema 2

Resolucin:

Sea un espacio vectorial E sobre el que se aplica un operador lineal T:EE.

Por definicin de operador adjunto,
u, v E , Tu, v = u, T v

Imponiendo la condicin de que v pertenezca al ncleo de T*,

Si v Ker (T ) , Tu, v = u , T v = 0

v Tu

v ( Im (T ) )

pero v es cualquier vector de E, luego se puede concluir que:

Ker (T ) = ( Im (T ) )

Problema 11
ETSII-UPM
q

Enunciado:

Sea A un operador de un espacio eucldeo y A* su operador adjunto. Comprobar que

Im A A = Im A ;
q

Ideas:

KerA A = KerA

Como A es una matriz real, el operador adjunto ser AT. Empezar por la demostracin
del ncleo, que suelen ser ms fciles.

Resolucin:

Para los ncleos:

si Ax =0

AT Ax = 0 Ker ( A ) Ker ( AT A )

si x Ker ( AT A ) , Ax Ker ( AT ) = ( Im ( A ) )

pero Ax Im ( A ) , luego Ax = 0

x Ker ( A )

Para las imgenes:

Las columnas de ATA son una combinacin lineal de las columnas de AT, luego se
verificar la inclusin Im ( AT A ) Im ( AT )
Las dimensiones de los subespacios estn relacionadas en la forma:
dim Im ( AT A ) +dimKer ( AT A ) = dim Im ( A ) + dim Ker ( A ) = n,

A R(

m,n )

Para dimensin finita, teniendo en cuenta la relacin entre los ncleos:

dim Im ( AT A ) = dim Im ( A ) , y por tanto: Im ( AT A ) = Im ( A )

Problema 12
ETSII-UPM
q

Enunciado:

Ideas:

Se dice que un operador lineal P es un proyector si P2=P. Demostrar que el operador

adjunto de un proyector de un espacio eucldeo es otro proyector. Probar que el ncleo
y la imagen de un operador de proyeccin de un espacio eucldeo son subespacios
ortogonales si y slo si el proyector es un operador autoadjunto.
Una matriz P es un proyector si cumple P2=P (idempotente). Un proyector no tiene por
qu ser ortogonal (pinsese en una proyeccin a 45 sobre el eje x en R2).
Recordar la relacin que existe entre el ncleo y la imagen de un operador y de su
operador adjunto.

Resolucin:

Hay que demostrar primero que si P2=P?P=P, se cumple (P*)2=P*

u, v E ,

u, ( P ) v = Pu, P v = P 2 u, v = Pu, v = u, P v
2

(P )

= P

Por otro lado, un proyector descompone el espacio E en suma directa de subespacios

E = Ker ( P ) Im ( P )
donde Ker(P) es el complemento ortogonal de Im(P*).
Para que P sea un proyector ortogonal es necesario y suficiente que Im(P)= Im(P*), y
esto equivale a que ambos proyectores coincidan, esto es, que P sea autoadjunto.

Problema 13
ETSII-UPM
q

Enunciado:

Ideas:

Sea A un operador de un espacio eucldeo E y A* su operador adjunto. Probar

que si el subespacio F es A-invariante, su suplemento ortogonal tambin lo es
(es A*-invariante).
Aplicar la definicin de subespacio invariante a F y a su suplemento ortogonal.

Resolucin:

Sea FE un espacio A-invariante. Se cumplir:

v F ,

Av F

Cualquier vector de F ser ortogonal a cualquier otro vector de F:

Si u F ,

Av, u = 0,

Av, u = v, A u = 0

Au F

luego F es un subespacio A*-invariante.

Problema 14
ETSII-UPM
q

Enunciado:

Ideas:

Sea C una matriz compleja que se representa en la forma C=A+iB, con A y B

matrices reales. Comprobar que la matriz C es hermtica si y slo si A es
simtrica y B antisimtrica.
Aplicar la definicin de matriz hermtica como matriz que es igual a su
conjugada traspuesta.

Resolucin:

Imponiendo la condicin de que C sea hermtica se tiene:

C = A + iB

C = CH

C H = A T iB T

A = A T y B = B T

Problema 15
ETSII-UPM
q

Enunciado

Ideas:

Demostrar que la matriz de giro de ngulo en torno al vector unitario

u = (, , ) viene dada por la frmula: G = P + ( cos ) I + ( sen ) ( I P )
siendo

0

P = [

],

Ver transparencia 16 del Tema 2

Resolucin:

La matriz dada descompone el vector a girar en su proyeccin sobre el eje (que

permanece invariable) y su componente en un plano perpendicular al eje. Esta
segunda componente gira radianes en dicho plano. Para hallar este vector
girado se utiliza una base ortogonal en dicho plano constituida por la
componente del vector original y su producto vectorial por el vector u.

Problema 16 (avanzado)
ETSII-UPM
q

Enunciado

Ideas:

Probar que todo operador lineal e isomtrico de un espacio eucldeo es

necesariamente un operador ortogonal y, por tanto, invertible.
Si un operador es isomtrico conserva las distancias entre puntos y si es lineal
transforma el vector nulo en s mismo

Resolucin:

Si el operador es isomtrico conserva las distancias: ( u ) ( v ) = u v

(0) = 0
Por ser lineal la imagen del vector nulo es l mismo:
De las dos condiciones anteriores se deduce que:
(u ) = u
Como el operador conserva la norma, su ncleo se reduce al vector nulo:
ker = 0

inyectivo

En un espacio vectorial de dimensin finita, esto implica que es invertible.

Por otra parte, en virtud de la relacin de polarizacin, si conserva la norma
conserva tambin el producto escalar:

( u ) , ( v ) = (u ) + ( v ) ( u v )

) 2=( u

+ v uv
2

Si el operador es invertible es ortogonal. Haciendo v =

u, 1 ( y ) = u, v = ( u ) , ( v ) = ( u ) , ( 1 ( y ) ) = ( u ) , y

(y) :

2 = u, v
1 = T

Problema 17 (avanzado)
ETSII-UPM
q

Enunciado

Ideas:

Probar que toda isometra de un espacio eucldeo que conserve el origen, tiene
que ser un operador lineal de ese espacio. Deducir de ah la forma general de
las isometras de un espacio eucldeo.
Para demostrar que es lineal, demostrar que conserva las sumas de vectores y
el producto por un escalar.

Resolucin:

Si es una isometra que conserva el origen: ( 0 ) = 0, ( u ) = u

En el problema 16 se ha demostrado que conserva el producto escalar
Para que sea lineal debe conservar la suma y el producto por un escalar
2

( u + v ) ( u) ( v ) = u + v + u + v 2 u + v, u 2 u + v, v + 2 u, v =
2

= u + v + u + v 2 u 2 v 4 u, v + 2 u, v = u + v u v 2 u, v = 0
( u ) ( u ) = ( u ) + 2 ( u ) 2 ( u ) , ( u ) = u + 2 u 2 u, u = 0
2

Si S es una isometra en un espacio eucldeo, la aplicacin ( v ) = S ( v ) S ( 0 )

es una isometra y conserva el origen, luego es lineal y ortogonal. La forma
general de las isometras es pues S ( v ) = S ( 0 ) + ( v ) , ortogonal.