Espacio vectorial con producto interno

DEF: Un espacio vectorial V Con escalares en  se llama espacio producto interno si y solo si
u, v  V existe  u, v   llamado producto interno tal que si    se cumple que:

1)  u , u   0 u  V

2)  u , u   0  u  0

3)  u, v  w  u, v    u , w 

4)  u  v, w  u, w    v, w 

5)  u , v   v, u  donde la barra significa conjugado.

6)   u, v    u, v 

7)  u ,  v    u , v 

Demostración de la propiedad 1 (método progresivo)

Sea u  V  u , u   0 u  V

H1 Sea u  V

H 2 Entonces u  [u1 , u2 ,..., un ]

H 3  u , u  [u1u1 , u2u2 ,..., unun ]  

H 4  u , u  [u12 , u2 2 ,..., un 2 ]

Por definición de cuadrados

H 5  T1  u , u   0

Demostración de la propiedad 2(método progresivo)

Si
u  V ,  u, u  0  u  0

a)
u  V ,  u, u  0  u  0 b)
u  V , u  0  u , u  0

H1  u, u  0 H1  u, u  0

H 2 Si u  V entonces H 2 u  [0,..., 0]  

H 3 u  [u1 , u2 ,..., un ]   H 3  u, u  [0 x 0,..., 0 x0]  

H 4  u , u  [u1u1  u2u2  ...  unun ]   H 4  T1  u , u  0

H 5  u , u  [u12  u2 2  ...  un 2 ]  0

H 6  T2 u12  0, u2 2  0,..., un 2  0

T1 u  0 Queda demostrado.

Demostración de la propiedad 3: (método por selección)

Sea u, v, w  V se cumple que  u, v  w  u, v    u , w 

H1 : u  [ui ]   , 1  i  n

H 2 : v  [v j ]   , 1  j  m

H 3 : w  [ wk ]   , 1  k  l

H 4 : Si v, w V entonces v  w  [v1  w1 , v2  w2 ,...] , vi , wk V

H5 :  u, v  w  [u1 (v1  w1 ), u2 (v2  w2 ),...]

H 6 :  u, v  w  [u1.v1  u1.w1 , u2 .v2  u2 .w2 ,...]

H 7 :  u , v  w  [ u1.v1 , u2 .v2 ...    u1.w1 , u2 .w2 ... ]

H 8 :  u, v  w  [ u.v    u.w  ] Queda demostrado.

Propiedad 4: demostración por particularización:

Sea
u, v   entonces se debe cumplir que  u, v   v, u 

H1 : u  [ui ]   , 1  i  n

H 2 : v  [v j ]   , 1  j  m

H 3 :  u, v  [u1v1  u2v2  ...  un vm ]

Por otro lado si

H 4 : u, v    ui , vi   Es decir

ui  ci  ki i v j  d j  rj i
y
 i , j  n ,m
 u, v   (ci  ki i )(d j  rj i )
Para 1  i  n y 1  j  m
H5 : i , j 1,1

Probaremos para i, j  1

i , j 1,1

H6 :
 u , v   (c  k i)(d
i , j 1,1
1 1 1  r1i )

H 6 : (c1  k1i )(d1  r1i )

H 7 : (c1d1  c1r1i  k1d1i  k1r1i )

2

H 8 : (c1d1  c1r1i  k1d1i  k1r1 )

H 9 : (c1d1  k1r1 )  (c1r1  k1d1 )i

Ahora suponemos por comodidad, que esta expresión pertenezca a  por lo que la parte
compleja desaparecería pero en esta ocasión la negaremos para obtener la forma que se
quiere, si este número es en verdad un número real se debe tener en cuenta que al negar la
parte compleja no tendría por qué afectar mi operación.

H10 : (c1d1  k1r1 )  (c1r1  k1d1 )i  R

H11 : c1d1  ( k1d1  c1r1 )i  c1.r1

H12 : c1d1  (k1d1  c1r1 )i  c1.r1i

2

H13 : ( d1  r1i )(c1  k1i )

H13 :  v, u  Queda demostrado.

Probaremos ahora para i, j  2