18.11.2015 Views

lgebra Lineal;Stanley I. Grossman

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4.11 Espacios con producto interno y proyecciones 437<br />

DEFINICIÓN 5 Complemento ortogonal<br />

Sea H un subespacio del espacio con producto interno V. Entonces el complemento<br />

ortogonal de H, denotado por H ' , está dado por<br />

H ' 5 {x P V: (x, h) 5 0 para toda h P H} (7)<br />

TEOREMA 4<br />

Si H es un subespacio del espacio con producto interno V, entonces<br />

i. H ' es un subespacio de V.<br />

ii. H ∩ H ' 5 {0}.<br />

iii. dim H ' 5 n 2 dim H si dim V 5 n , q.<br />

TEOREMA 5<br />

Teorema de proyección<br />

Sea H un subespacio de dimensión finita del espacio con producto interno V y suponga<br />

que v P V. Entonces existe un par único de vectores h y p tales que h P H, p P H ' , y<br />

donde h 5 proy H<br />

v.<br />

Si V tiene dimensión finita, entonces p 5 proy H<br />

' v.<br />

v 5 h 1 p (8)<br />

Observación. Si se estudia la prueba del teorema 4.9.7, se verá que (8) se cumple incluso si V<br />

tiene dimensión finita. La única diferencia es que si la dimensión de V es infinita, entonces H '<br />

tiene dimensión infinita (porque H es de dimensión finita), entonces, proy H<br />

' v no está definida.<br />

TEOREMA 6<br />

Sea A una matriz de n 3 n; entonces A tiene n vectores propios linealmente independientes<br />

si y sólo si la multiplicidad geométrica de cada valor propio es igual a su multiplicidad<br />

a<strong>lgebra</strong>ica. En particular, A tiene n vectores propios linealmente independientes si<br />

todos los valores propios son distintos (ya que entonces la multiplicidad a<strong>lgebra</strong>ica de<br />

cada valor propio es 1).<br />

EJEMPLO 10 Cálculo de una proyección sobre P 2<br />

[0, 1]<br />

CÁLCULO<br />

Como P 2<br />

[0, 1] es un subespacio de dimensión finita de C[0, 1], se puede hablar de proy f si<br />

P2 [0, 1]<br />

f ∈ C[0, 1]. Si f (x) 5 e x , por ejemplo, se calcula proy P2 [0, 1] ex . Como {u 1<br />

, u 2<br />

, . . . , u n<br />

} 5 {1, 3<br />

(2x 21), entonces 5/(6x 2 26x 1 1)} es una base ortonormal en P 2<br />

[0, 1], por el ejemplo 8, y se<br />

tiene<br />

x x x<br />

proy e ( e , 11 ) ( e , 3( 2x 1)) 3( 2x<br />

1)<br />

P2 <br />

<br />

01 , <br />

( e x<br />

2 2<br />

, 5 ( 6x 6x 1)) 5 ( 6x 6x<br />

1)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!