Productos interiores y normas 385

T a mb i é n t e n e mo s q u e

2π 2π

(e i jx
,e i jx
) = 21π ∫e
i ( j − j )t
dt =
1
2π ∫ dt = 1
0 0

En otras palabras (e i jx
, ei k x ) = δ i k
S i c o n s i d e r a mo s a l o s e s p a c i o s ℝ 2 y ℝ 3 , e s g e o mé t r i c a me n t e e v i d e n t e q u e
l o s c o n j u n t o s o r t o g o n a l e s d e v e c t o r e s n o n u l o s s o n l i n e a l me n t e i n d e p e n d i e n t es . E l
t e o r e ma s i g u i e n t e n o s d i c e q u e es t o e s c i e r t o e n c u a l q u i e r e s p a c i o c o n p r o d u c t o
interior.

T e o r e m a 7 . 3 . S e a V u n e s p a c io c o n p r o d u c t o i n t e r i o r , y s e a S u n c o n ju n t o o r t o g o n a l
f o r ma d o p o r v e c t o r e s n o n u l o s . E n t o n c e s S e s l i n e a l me n t e i n d e p e n d i e n t e .

D E M O S T R A C I Ó N . S e a n x 1 , x 2 , … , x n , e l e me n t o s d i s t i n t o s e n S y s u p ó n g a s e q u e

∑a x
n

0= i i
i =1

Entonces para cualquier j, 1 ≤ j ≤ n.

∑(a x , x ) = ∑ a ( x , x ) = a
n n

0 = ( 0, xi ) =
2
i i j i i j i xj
i =1 i =1

Puesto que (x ,x ) = 0
i j p a r a i ≠ j , C o mo x ≠ 0 , t en e mo s q u e a j = 0 . P o r l o
t a n t o , S e s l i n e a l me n t e i n d e p e n d i en t e .

E s t e t e o r e ma n o s d i c e , p o r e j e m p l o , q u e e l e s p a c i o v e c t o r i a l H d e l E j e mp l o
9 contiene un conjunto independiente infinito y por lo tanto no es un espacio
v e c t o r i a l d i me n s i o n a l me n t e f i n i t o .

EJERCICIOS

1 . D e c i r s i l a s s i g u i e n t e s a f i r ma c i o n e s s o n v e r d a d e r a s o f a l s a s .

(a) Un producto interior es una función de valor escalar dentro del conjunto de
pares ordenados de vectores.
( b ) U n e s p a c i o c o n p r o d u c t o i n t e r i o r d e b e e s t a r s o b r e e l c a mp o d e l o s n ú me r o s
r e a l e s o c o mp l e j o s .
( c ) U n p r o d u c t o i n t e r i o r e s l i n e a l e n a mb a s c o m p o n e n t e s .
( d ) E x i s t e e x a c t a me n t e u n p r o d u c t o i n t e r i o r e n e l e s p a c i o v e c t o r i a l ℝ n . L a
d e s i g u a l d a d d e l t r i á n g u l o s ó l o s e c u mp l e p a r a e s p a c i o s c o n p r o d u c t o
i n t e r i o r d i me n s i o n a l me n t e f i n i t o s .
( e ) L a d e s i g u a l d a d d e l t r i a n g u l o s ó lo s e c u mp l e p a r a e s p a c i o s c o n p r o d u c t o
i n t e r i o r d i me n s i o n a l me n t e f i n i t o s .
( f ) T o d o c o n j u n t o o r t o g o n a l e s l i n e a l me n t e i n d e p e n d i e n t e .
( g ) T o d o c o n j u n t o o r t o n o r ma l e s l i n e a l me n t e i n d e p e n d i e n t e .