UNIVERSIDAD DE CONCEPCION

Facultad de Ciencias Fsicas y Matematicas

Departamento de Ingeniera Matematica

Algebra II. 525148.

Espacios Vectoriales con Producto Interior

Dpto. de Ingeniera Matematica

1.

Algebra II. 525148.

Espacios Vectoriales con Producto Interior

de Producto Interior. Sea (V, +, ) un espacio vectorial sobre un cuerpo
Definicion
h, i : V V K es un
K dado por R o C. Se dice que una aplicacion
producto interior (producto escalar) sobre V si satisface las siguientes
propiedades:

h u + v, wi = hu, wi + hv, wi
, K, u, v, w V

hu, vi = hv, ui

hv, vi 0

si v = .
hv, vi = 0 si, y solo

u, v V

v V

Observacion.

v V : hv, vi R ,

Notar que la segunda propiedad implica que

y por lo tanto tiene sentido requerir la tercera propiedad.

Dpto. de Ingeniera Matematica

2.

Algebra II. 525148.

Ejemplo 1. Espacios con Producto Interior.

1) En el e.v. real

h~x, ~y iRn :=

2) En el e.v. real

V := Rn se define h, i : V V R por
n
X

~x := [x1 , ..., xn ], ~y := [y1 , ..., yn ] V

xj yj

j=1

V := Mmn (R) se define h, i : V V R por

hA, Bi := tr (B t A)

donde

tr (C) :=

n
X
j=1

Dpto. de Ingeniera Matematica

cjj

A, B V ,

C := (cij ) Mnn (R)

3.

Algebra II. 525148.


Ejemplos 1 (Continuacion).

V := C[a, b] := {f / f : [a, b] R es continua } se

define h, i : V V R por
Z b
hf, gi :=
f (x) g(x) dx
f, g V

3) En el e.v. real

4) Sea {~
x1 , ~x2 , ..., ~xn } una base de Rn . Entonces, en el e.v. real

V := Mn (R) se define h, i : V V R por

hA, Bi :=

n
X
j=1

hA ~xj , B ~xj iRn

A, B V ,

donde h, iRn es el producto interior usual de Rn .

Dpto. de Ingeniera Matematica

4.

Algebra II. 525148.


Ejemplo 1 (Continuacion).
5) Caso particular.

Si {~
x1 , ~x2 , ..., ~xn } es la base canonica
de Rn , entonces:

hA, Bi :=

n
n X
X

aij bij

i=1 j=1

A := (aij ), B := (bij ) V

Observacion.
Un e.v.

V sobre un cuerpo K (R o C), provisto de un producto interior h, i se

llama un espacio vectorial con producto interior (e.v. con p.i.). Los cinco
ejemplos anteriores son e.v. con p.i.

Dpto. de Ingeniera Matematica

5.

Algebra II. 525148.

TEOREMA (Desigualdad de Cauchy-Schwarz)

Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K dado por R o C. Entonces se
satisface

| hv, wi | hv, vi1/2 hw, wi1/2

v, w V

Ejemplo 2. Verificar esta desigualdad en los casos dados en ejemplo 1.

de Norma. Sea V un e.v. sobre un cuerpo K dado por R o C. Una
Definicion
kk
norma sobre V es una aplicacion
propiedades:
1.

kvk 0

2.

kvk = 0

3.

kv + wk kvk + kwk

4.

k v k = || kvk

: V R que satisface las siguientes

v V
si
si, y solo

Dpto. de Ingeniera Matematica

v =
v, w V

K, v V
6.

Algebra II. 525148.

TEOREMA (Norma Inducida)

Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K dado por R o C. Entonces, la
kk
aplicacion

: V R definida por

k v k := hv, vi1/2

v V

es una norma sobre V , la cual se llama norma inducida por h, i.

TEOREMA de PITAGORAS y LEY del PARALELOGRAMO

Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K dado por R o C, y sea k k su
norma inducida. Entonces se satisface

si Re hv, wi = 0
k v + wk2 = kvk2 + kwk2 si, y solo
2

kv + wk + kv wk

Dpto. de Ingeniera Matematica

= 2

kvk + kwk

7.

v, w V

Algebra II. 525148.

ORTOGONALIDAD.
Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K dado por R o C. Entonces:
1.

v, w V se dicen ortogonales si
hv, wi = 0

2.

{v1 , ..., vn } V se dice un conjunto ortogonal si

hvi , vj i = 0, i 6= j, i, j {1, ..., n} y kvi k =
6 0 i {1, ..., n}.

3.

{v1 , ..., vn } V se dice un conjunto ortonormal si es ortogonal y todos

sus vectores tienen norma inducida igual a 1, es decir
hvi , vj i = 0, i 6= j, i, j {1, ..., n}

kvi k = 1, i {1, ..., n}.

Ejemplo 3. Dar ejemplos de ortogonalidad en los e.v. con p.i definidos en ejemplo
1.

Dpto. de Ingeniera Matematica

8.

Algebra II. 525148.

Lema.
Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K dado por R o C. Si

{v1 , ..., vn } V es un conjunto ortogonal entonces {v1 , ..., vn } es l.i.

Lema
Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K dado por R o C, y sea S el
subespacio generado por un conjunto ortogonal {v1 , ..., vn }
para todo v

v =

S se tiene

n
X

j vj , con j =

j=1

V . Entonces,

h v, vj i
(unicamente

determinado)
2
k vj k

Equivalentemente, se tiene la siguiente descomposicion

S = h{v1 }i h{v2 }i h{vn }i

Dpto. de Ingeniera Matematica

9.

Algebra II. 525148.

TEOREMA (Identidades de Parseval)

Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K dado por R o C, y sea S el
subespacio generado por un conjunto ortogonal {v1 , ..., vn }
para todo v

S se tiene

kvk2

V . Entonces,

n
X
| hv, vj i |2
=
2
kv
k
j
j=1

En particular, si {v1 , ..., vn } es ortonormal se obtiene

kvk2 =

Dpto. de Ingeniera Matematica

n
X
j=1

| hv, vj i |2

10 .

v S

Algebra II. 525148.

 de Gram-Schmidt)
TEOREMA (Ortogonalizacion
Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K dado por R o C, y sea

{x1 , ..., xn } V un conjunto l.i.. Defina, recursivamente, los siguientes

vectores
i)
ii)

v1 := x1
vk := xk

k1
X
j=1

hxk , vj i
vj
kvj k2

k {2, ..., n}

Entonces {v1 , ..., vn } es ortogonal en V , y los subespacios generados por

ambos conjuntos coinciden, es decir

h {x1 , ..., xn } i = h {v1 , ..., vn } i = S.

Naturalmente, si {x1 , ..., xn } es una base de V , entonces

h {x1 , ..., xn } i = h {v1 , ..., vn } i = V.

Dpto. de Ingeniera Matematica

11 .

Algebra II. 525148.

Corolario
Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K (R o C), y suponga que V es
finita. Entonces existe una base ortonormal de V .
de dimension

En efecto, en ese caso se considera una base {x1 , ..., xn } del espacio vectorial

V , por proceso de ortoganizacin de G-S se obtiene la base ortogonal {v1 , ..., vn }

y se ortonormaliza, para obtener la base ortonormal

vn
v1
, ...,
}.
B={
||v1 ||
||vn ||
Ejemplo 4. Dada la base {(1, 1), (2, 1)}, que no es ortogonal, pues con el p.i

(1, 1), (2, 1) >= 3 6= 0, se puede ortogonalizar usando el proceso de

1
1
3
G-S, haciendo: v1 = (1, 1), v2 = (2, 1) ||(1,1)||
2 (1, 1) = ( 2 , 2 ). Ahora,
usual <

se ortonormaliza dividiendo cada vector por su norma y obtener la base ortonormal

n v
v2 o n 1
1
1
1 o
1
B=
,
= ( , ), ( , ) .
||v1 || ||v2 ||
2
2
2
2

Dpto. de Ingeniera Matematica

12 .

Algebra II. 525148.

Complemento Ortogonal
Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K (R o C), y sea W

V . Se

define el complemento ortogonal (o simplemente ortogonal) de W , y se denota

W , como el conjunto
W := { v V :

hv, wi = 0 w W }

TEOREMA. Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K (R o C) y suponga

finita. Entonces
que V es de dimension
1.

{} = V

2.

W V :

W es un subespacio de V

3.

4.

V = {}

W = S , donde S := h W i es el
subespacio generado por W (c.l. finitas de elementos de W )
W V :

subespacio S de V :

Dpto. de Ingeniera Matematica

( S ) = S

13 .

S S = { }.
Algebra II. 525148.

 Ortogonal).
TEOREMA (Descomposicion
Sea ( V, h, i ) un e.v. con p.i. sobre un cuerpo K (R o C), y suponga que V es
finita. Entonces
de dimension
1.

subespacio S de V :

2.

W V :

V = S S

V = hW i W

Ejemplo 5. Complemento ortogonal.

= R3 , si W = {(x, y, z) : x + 2y + 3z = 0} (el plano que pasa por

el origen y tiene vector normal ~
r = [1, 2, 3]), entonces su complemento ortogonal
es W = {x(1, 2, 3) : x R}. Es decir, es la recta cuyo vector director es
verificar que se cumplen
~r = [1, 2, 3] que es perpendicular al plano W . Es facil
1) En V

los resultados dados en los dos teoremas anteriores.

Dpto. de Ingeniera Matematica

14 .

Algebra II. 525148.


Ejemplos 5 (continuacion).
2) En el e.v. real

V := R3 con el p.i. usual, considere el plano

W := { [x, y, z] R3 :
Entonces

y luego

ax + by + cz = d }

W
si d = 0
hW i =
R3
si d 6= 0

{ t [a, b, c] :
t R}

W =
{}

Notar que si d

si

d = 0

si

d 6= 0

= 0 se tiene que W = un plano que pasa por el origen y

del vector [a, b, c].
W = L una recta que pasa por el origen en la direccion

Ademas,

W W = R3 .

Dpto. de Ingeniera Matematica

15 .

Algebra II. 525148.


Ejemplos 5 (continuacion.)

V := Rn con el p.i. usual, considere

)
(
n
X
xi = 0
S := ~x := [x1 , ..., xn ] V :

3) En el e.v. real

i=1

Entonces, se obtiene

S = { ~x V :

~x = k [1, ..., 1] , k R }

V := Mn (R), con el p.i. h, i : V V R dado por

hA, Bi := tr (B t A)
A, B V , considere

4) En el e.v. real

S := { A V :

A = k I , k R } , U := { A V : A = At }

Entonces, se obtiene

S = { A V :

Dpto. de Ingeniera Matematica

tr (A) = 0 } , U := { A V : A = At }

16 .

Algebra II. 525148.


Ejemplos 5 (continuacion.)
5) En el e.v. real

V := C[, ] con el p.i. h, i : V V R dado por

Z
hf, gi :=
f (x) g(x) dx
f, g V ,

:= { 0 , 1 , 2 , ..., n } { 1 , 2 , ..., n } V , donde

j (x) = cos(j x) y j (x) = sen(j x) x [, ]. Entonces
considere W

W es ortogonal en V
n
h { 0 } i = f V :

V = h { 0 } i h { 0 } i

f (x) dx = 0

V = hW i W

Dpto. de Ingeniera Matematica

17 .

Algebra II. 525148.


Ejemplos 5 (continuacion.)

Mmn (R), y sean h, iRn , h, iRm , los productos interiores

usuales de Rn y Rm . Se tiene que:

6) Sea A

a)

h~y , A ~xiRm = hAt ~y , ~xiRn

b) En Rm y

~x Rn , ~y Rm

Rn , considere, respectivamente, los conjuntos

R(A) := { A ~x Rm :

~x Rn }

(Imagen de A)

N (A) := { ~x Rn :

A ~x = Rm }

(Espacio Nulo de A)

Entonces, ambos son subespacios vectoriales de Rm y Rn respectivamente.

Ademas,

R(A) = N (At )

Dpto. de Ingeniera Matematica

N (A) = R(At )

18 .

Algebra II. 525148.

TEOREMA (Fundamental del Algebra Lineal).

Con las mismas notaciones del ejemplo anterior, se tiene

Rn = N (A) R(At ).

Rm = R(A) N (At ).

ortogonal y los resultados

Para demostrarlo se utiliza teorema de descomposicion
del ejemplo anterior.
ACQ/acq.

Dpto. de Ingeniera Matematica

19 .

Algebra II. 525148.