GUA DE ESTUDIO

LGEBRA LINEAL

Tema 5. Operadores Lineales en Espacios con Producto Interno

Hay una relacin entre las representaciones matriciales de los operadores T y T* cuando stas se encuentran referidas a una base ortonormal, dicha relacin puede emplearse para obtener el adjunto de un operador dado. La relacin es: si A es la representacin matricial de T en una base ortonormal, entonces A* (la conjugada transpuesta de A) es la representacin matricial de T* en dicha base. NOTA: Cuando la base no es ortonormal no existe una relacin sencilla entre las representaciones matriciales de T y T*. Algunas propiedades que relacionan un operador T con su adjunto T* se dan a continuacin. Teorema: Sea V un espacio con producto interno, W un subespacio de V y T: VV un operador lineal: 1. T*(V)=N(T) 2. N T * T = N (T ) 3. Si W es invariante bajo T entonces W es invariante bajo T*. Teorema: Sea V un espacio vectorial sobre K, con producto interno. Si S y T son operadores lineales en V y es un escalar de K, entonces: 1. (T*)*=T 2. (T)*= T* 3. (S+T)*=S*+T* 4.

1) ADJUNTO DE UN OPERADOR LINEAL Sea V un espacio con producto interno y sea T : V V un operador lineal. Un operador T * : V V , se dice que es adjunto de T si:

(u ) v ) (u T ( v )) (T =
*

u , v V

Donde T* es el adjunto de T. Teorema: Sea V un espacio vectorial sobre un campo K, de dimensin finita y con producto interno. Si :VK es una funcional lineal, entonces existe un vector nico x V tal que: = u Teorema: Si V es un espacio vectorial de dimensin finita y con producto interno, entonces para cada operador lineal T: VV existe un nico adjunto T*, que tambin es lineal. NOTA: Este teorema no se cumple para espacios de dimensin infinita, debido a que en este caso no es posible garantizar la existencia del adjunto. Aunque la unicidad y linealidad de T* si se verifican cuando ste existe. Teorema: Sea V un espacio vectorial de dimensin finita con producto interno y sea B una base ortonormal de V. Si T: VV es un operador lineal, entonces:
B MB

( ) (u x )

u V

(T )
*

B = M B (T )

( S T )* = T * S *

DIVISIN: CIENCIAS BSICAS FACULTAD DE INGENIERA, UNAM

1 de 4

COORDINACIN: MATEMTICAS

Profra. Dra. Norma Patricia Lpez Acosta

GUA DE ESTUDIO
LGEBRA LINEAL

Tema 5. Operadores Lineales en Espacios con Producto Interno

2) OPERADOR NORMAL Sea V un espacio con producto interno y sea T:VV un operador lineal. Se dice que T es normal si T T * = T * T . De la definicin anterior se sigue de inmediato que si T es normal, entonces T* tambin es normal y viceversa. Los operadores normales tienen las siguientes propiedades. Teorema: 1. ||T( v )|| = ||T ( v )|| 2. Si T( v ) = v
*

3. T es unitario (ortogonal) si: T* = T-1 Todos los operadores nombrados anteriormente tienen las siguientes propiedades con relacin a los valores caractersticos. Teorema: Sea V un espacio vectorial con producto interno y sea un valor caracterstico del operador lineal T: VV: 1. Si T* = T entonces es real. 2. Si T* = T entonces es imaginario. 3. Si T* = T-1 entonces || = 1. A continuacin se presenta una caracterizacin para las representaciones matriciales de los tipos de operadores definidos anteriormente, cuando estn referidas a bases ortonormales. Teorema: Sean V un espacio con producto interno, B una base ortonormal de V, T: VV un operador lineal y A la representacin matricial de T referida a la base B: 1. T* = T 2. T * = T 3. T * = T -1 si y slo si A* = A si y slo si A* = A si y slo si A* = A-1

entonces T ( v )= v
*

v V

3. Si v1 y v2 son vectores caractersticos de T correspondientes a los valores 1 y 2 y adems 1 2, entonces ( v1 v2 ) = 0. 3) OPERADORES HERMITIANOS, ANTIHERMITIANOS, UNITARIOS, SIMTRICOS, ANTISIMTRICOS Y ORTOGONALES Se presentan a continuacin algunos casos particulares de operadores normales, los cuales suelen distinguirse con diferentes nombres cuando el espacio vectorial est definido sobre el campo de los nmeros complejos y cuando est definido sobre el campo de los nmeros reales. Definicin: Sea V un espacio vectorial sobre (sobre ) con producto interno y sea T: VV un operador lineal, se dice que: 1. T es hermitiano (simtrico) si: T*=T 2. T es antihermitiano (antisimtrico) si: T* = T

En conclusin: un operador es hermitiano (simtrico) si y slo si su representacin matricial referida a una base ortonormal es una matriz hermitiana (simtrica). De manera anloga, esto mismo aplica para operadores antihermitianos (antisimtricos) y unitarios (ortogonales).

DIVISIN: CIENCIAS BSICAS FACULTAD DE INGENIERA, UNAM

2 de 4

COORDINACIN: MATEMTICAS

Profra. Dra. Norma Patricia Lpez Acosta

GUA DE ESTUDIO
LGEBRA LINEAL

Tema 5. Operadores Lineales en Espacios con Producto Interno

descomposicin es nica (salvo en el orden de los sumandos). 5) FORMAS CUDRICAS El teorema espectral permite descomponer un operador normal, expresndolo como combinacin lineal de ciertos operadores conocidos como proyecciones ortogonales. Teorema: Sean V un espacio vectorial con producto interno, W un subespacio de V y W el complemento ortogonal de W. Si: Una forma cudrica en n es una funcin Q definida en n cuyo valor en un vector x en n puede calcularse por medio de una expresin de la forma Q(x)= xTAx donde A es una matriz simtrica nn. La matriz A se llama matriz de la forma cudrica. El ejemplo ms sencillo de una forma cudrica diferente de cero es Q(x) = xTIx = ||x||2 Cuando A es una matriz nn, la forma cudrica Q(x) = xTAx es una funcin de valores reales con dominio n . Es posible distinguir varias clases importantes de formas cudricas por el tipo de valores que asumen para diversos x. Una forma cudrica Q es: 1. Definida positiva si Q(x)>0 para toda x0 2. Definida negativa si Q(x)<0 para toda x0 3. Indefinida si Q(x) toma valores tanto positivos como negativos. Asimismo, se dice que Q es semidefinida positiva si Q(x)0 para toda x, y Q es semidefinida negativa si Q(x)0 para toda x. Formas cudricas y valores propios: Sea A una matriz simtrica nn. Entonces una forma cudrica xTAx es: 1. Definida positiva si y slo si todos los valores propios de A son positivos. 2. Definida negativa si y slo si todos los valores propios de A son negativos. 3. Indefinida si y slo si A tiene valores propios tanto positivos como negativos.

4) PROYECCIONES ORTOGONALES Y TEOREMA ESPECTRAL

v = w + w',

donde w W y w ' W P v =w

entonces el operador P: VV definido por:

()

se llama la proyeccin ortogonal sobre W. NOTA: Si W es un subespacio de V y P es la proyeccin ortogonal sobre W; entonces, para cualquier vector v V , P v es el vector de W

()

que ms se aproxima a v . Teorema espectral: Sea V un espacio vectorial sobre (sobre ), de dimensin finita y con producto interno, y sea T: VV un operador normal (simtrico). Si 1, 2,, k son los diferentes valores caractersticos de T, E(i) es el espacio caracterstico correspondiente a i y Pi es la proyeccin ortogonal sobre E(i), entonces: 1. T =1P1+2P2++kPk 2. P1+P2++Pk = I 3. Pi Pj = 0 , para i j

La expresin de (1) se conoce como descomposicin espectral del operador T; tal

DIVISIN: CIENCIAS BSICAS FACULTAD DE INGENIERA, UNAM

3 de 4

COORDINACIN: MATEMTICAS

Profra. Dra. Norma Patricia Lpez Acosta

GUA DE ESTUDIO
LGEBRA LINEAL

Tema 5. Operadores Lineales en Espacios con Producto Interno

GLOSARIO DE MATRICES Matrices ortogonales y unitarias: Matrices simtricas/antisimtricas: Sea A una matriz de nn con elementos en . Se dice que: 1. Es simtrica si AT = A aij = a ji i, j AT = A a ji i, j aij = Una matriz A no singular se dice que: 1. Es ortogonal si AT = A1
T T con lo que: AA = A = A I

2. Es unitaria si

A* = A1

2. Es antisimtrica si

* * con lo que: AA = A = A I

NOTA: Los elementos de la diagonal principal deben ser nulos.

Si A es una matriz cuadrada, entonces: 1. A + AT = matriz simtrica 2. A AT = matriz antisimtrica Matrices hermitianas/antihermitianas: Sea A una matriz de nn con elementos en . Se dice que: 1. Es hermitiana si

A* = A aij = a ji i, j

2. Es antihermitiana si

NOTA: Los elementos de la diagonal principal deben ser nmeros reales. *

A = A aij = a ji i, j

NOTA: Los elementos de la diagonal principal deben ser nmeros imaginarios.

Si A es una matriz cuadrada, entonces: 1. A + A* = matriz hermitiana 2. A A* = matriz antihermitiana

DIVISIN: CIENCIAS BSICAS FACULTAD DE INGENIERA, UNAM

4 de 4

COORDINACIN: MATEMTICAS

Profra. Dra. Norma Patricia Lpez Acosta