2.

1 Espacio vectorial con producto interno

Definición:

Sea V un espacio vectorial sobre K.

Un producto escalar o interno sobre V es una aplicación tal que a cada par de
elementos x e y  V se le asigna un número < x, y>  K tal que satisface las
siguientes propiedades:

P1) <x, y +z)= <x, y> + <x, z> (Distribubitivdad)

P2) <z, y> = <y, x> (Simetría o conmutatividad)

P3) <  x, y> = <x, y> (Homogeneidad)

P4) < x, x ≥ 0, <x, x> = o  x =  (Positividad)

Para cualquier x, y, z V,   K.

APLICACIÓN DIDÁCTICA

Determinar si la siguiente relación es o no un producto interno

<x, y> = 2x1y1 + 3xy1 + x2 y2 – 3x1 y2

PRUEBA

P1) DISTRIBUTIVIDAD

Por demostrar: <x, y, z> = <x, y> + <x, z>

Tenemos que: x = (x1, x2) , y = (y1, y2) , z = (z1, z2)  K

<x, y> = <(x1, x2) , (y1, y2)> = 2 x1, y2 + 3 x1, y2 + x2, y2 - 3 x1, y2

<x, z> = <(x1, x2) , (z1, z2)> = 2 x1, z2 + 3 x1, z2 + x2, z2 - 3 x1, z2
Veamos:

<x, y + z> = <(x1, x2) ; (y1 + z1, y2 + z2)

= 2x1 (y1 + z1) + 3x2 (y1 + z1) + x2 (y2 + z2) – 3x2 (y1 + z1)

= 2x1 y1 + 2x1 z1 + 3x2 y2 + 3x2 z1 + x2 y2 + x2 z2 – 3x1 y1 – 3x1 z1

Agrupando convenientemente:

<x, y + z> =2x1 y1 + 3x2 y1 + x2 y2 – 3x1 y1 + (2 x1 z1 + 3x2 z1 +x2 z2 - 3x1 z1

Luego: <x , y + z> = <x, y> + <x, z>

P2) SIMETRIA ó CONMUTAVIDAD

Por demostrar: <x, y> = <x, z>

Sean: x (x1. x2) y = (v1, v2)

Tenemos:

<x, y> = < (x1. x2) , (y1, y2)>

=2x1 y1 + 3x2 y1 + x2 y2 – 3x1 y1

<y, x> = < (y1. y2) , (x1, x2)>

=2y1 x1 + 3y2 x1 + y2 x2 – 3y1 x1

Entonces:

<x, y> = < (x1, x2) , (y1, y2)>

=2x1 y1 + 3x2 y1 + x2 y2 – 3x1 y1

=2y1 x1 + 3y2 x1 + y2 x2 – 3y1 x1 (Propiedad conmutativa de los

 números reales)

= <y, x>

P3) HOMOGENEIDAD

Por demostrar <  x, y> =  < x, y>

Sea   K, x = (x1, y1), y = (x1, y2)V

Veamos:

<  x, y> = <  (x1, x2) , y = (y1, y2)

= < (x1, x2) , (y1, y2) >

= 2 x1 y1 + 3 x2 y1 + x2 y2 - 3 x1 y1

=  [ 2 x1 y1 + 3 x2 y1 + x2 y2 - 3 x1 y1]

=  < x, y>

P4) POSITIVIDAD

Por demostrar: < x , x> ≥ 0

Tenemos:

< x , x> = <(x1, x2) , (x1, x2) >

= 2 x1, x1 + 3 x2 x1 + x2 x2 - 3 x1 x1

= 2 x12 + 3x1 x2 + x22 – 3x1x2

= 2 x12 + x22 ≥ 0

 < x, x> ≥ 0
Como se cumplen las propiedades P1, P2, P3 y P4 podemos afirmar que la relación
dada es un producto interno.