ALGEBRA y ALGEBRA LINEAL

520142
Segundo Semestre, Universidad de Concepcin
CAPITULO 11.
Espacios Vectoriales con Producto Interior
DEPARTAMENTO DE INGENIERIA MATEMATICA
Facultad de Ciencias Fsicas y Matemticas
1
Espacios Vectoriales con Producto Interior
Denicin de Producto Interior
Sea (V, +, ) un espacio vectorial sobre un cuerpo K. En este captulo
slo se trabajar con K = R C. Se dice que una aplicacin
, ) : V V K dene un producto interior (producto escalar) sobre
V si satisface las siguientes propiedades:
, K : u, v, w V : u + v, w) = u, w) + v, w).
u, v V : u, v) = v, u).
v V : v, v) 0.
v V : v, v) = 0 si y slo si v = .
Observacin Notar que la segunda propiedad implica que
v V : v, v) R, y por lo tanto tiene sentido la tercera propiedad.
2
Espacios Vectoriales con Producto Interior
Ejemplos
El producto escalar de R
3
visto en el captulo 9 es un producto
interior, donde , ) : R
3
R
3
R y
(x
1
, x
2
, x
3
), (y
1
, y
2
, y
3
)) := x
1
y
1
+ x
2
y
2
+ x
3
y
3
.
En general, en el e.v. real R
n
se dene , )
R
n : R
n
R
n
R por
x := (x
1
, ..., x
n
), y := (y
1
, ..., y
n
) R
n
x, y)
R
n :=
n

j=1
x
j
y
j
.
En el e.v. complejo C
n
se dene , )
C
n : C
n
C
n
C por
x := (x
1
, ..., x
n
), y := (y
1
, ..., y
n
) C
n
x, y)
C
n :=
n

j=1
x
j
y
j
.
Observar que si la denicin llevara y
j
en lugar de y
j
, no se
obtendra un producto interior.
3
Espacios Vectoriales con Producto Interior
Ejemplos ... (cont)
En el e.v. real V := /
mn
(R) se dene , ) : V V R por
A, B) := tr (B
t
A) para cada A, B V ,
donde tr (C) :=
n

j=1
c
jj
, para cada C := (c
ij
) /
n
(R).
En el e.v. real V := ([a, b] := f : [a, b] R / f es continua se
dene , ) : V V R por
f, g) :=

b
a
f(x) g(x) dx para cada f, g V .
Dado x
1
, x
2
, ..., x
n
, x
n+1
R tal que x
1
< x
2
< < x
n
< x
n+1
,
en el e.v. real V := T
n
(R) se dene , ) : V V R por
p, q) :=
n+1

j=1
p(x
j
) q(x
j
) para cada p, q V.
4
Espacios Vectoriales con Producto Interior
Otro Ejemplo
Sea a = x
1
< x
2
< < x
N1
< x
N
= b una particin de [a, b], y
considere un conjunto
1
, ...,
m
([a, b]. Se denen los
vectores
j
R
N
por

j
:= (
j
(x
1
), . . . ,
j
(x
N
)) , para cada j 1, ..., m .
Supongamos que
1
, ...,
m
es l.i. en R
N
(notar que m N).
Entonces, en el e.v. real V :=
1
, ...,
m
) se dene
, ) : V V R por
,

) :=
N

i=1
(x
i
) (x
i
) para cada ,

V.
5
Espacios Vectoriales con Producto Interior
Ultimo Ejemplo
Sea x
1
, x
2
, ..., x
n
una base de R
n
. Entonces, en el e.v. real
V := /
n
(R) se dene , ) : V V R por
A, B) :=
n

j=1
Ax
j
, B x
j
)
R
n ,
para cada A, B V y donde , )
R
n es el producto interior
usual de R
n
.
Caso particular.
Si x
1
, x
2
, ..., x
n
es la base cannica de R
n
, entonces:
A := (a
ij
), B := (b
ij
) V A, B) :=
n

i=1
n

j=1
a
ij
b
ij
= tr(B
t
A)
6
Espacios Vectoriales con Producto Interior
Observacin
Un e.v. V sobre un cuerpo K, provisto de un producto interior , )
se llama un espacio vectorial con producto interior (e.v.c.p.i.) y se
denota ( V, , ) ).
TEOREMA (Desigualdad de Cauchy-Schwarz)
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K . Entonces se satisface
v, w V : [ v, w) [ v, v)
1/2
w, w)
1/2
.
7
Espacios Vectoriales con Producto Interior
Denicin de Norma
Sea V un e.v. sobre un cuerpo K . Una norma sobre V es una aplicacin
| | : V R que satisface las siguientes propiedades:
v V : |v| 0.
v V : |v| = 0 si y slo si v = .
v, w V : |v + w| |v| + |w|.
K, v V : | v | = [[ |v|.
Ejemplos
En R
3
, la aplicacin |(v
1
, v
2
, v
3
)| = max[v
1
[, [v
2
[, [v
3
[.
En /
mn
, la aplicacin |A| =
m

i=1
n

j=1
[a
ij
[, con A = (a
ij
).
8
Espacios Vectoriales con Producto Interior
TEOREMA (Norma Inducida)
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K . Entonces, la aplicacin
| | : V R denida por
| v | := v, v)
1/2
para cada v V ,
es una norma sobre V , la cual se llama norma inducida por , ).
TEOREMA de PITAGORAS y LEY del PARALELOGRAMO
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K , y sea | | su norma
inducida. Entonces se satisface, para todo v, w V que
| v + w|
2
= |v|
2
+ |w|
2
si y slo si Re v, w) = 0.
|v + w|
2
+ |v w|
2
= 2

|v|
2
+ |w|
2

.
9
Espacios Vectoriales con Producto Interior
ORTOGONALIDAD
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K . Entonces:
v, w V se dicen ortogonales si
v, w) = 0.
v
1
, ..., v
n
V se dice un conjunto ortogonal si
i ,= j : v
i
, v
j
) = 0 y i : v
i
,= .
v
1
, ..., v
n
V se dice un conjunto ortonormal si es ortogonal y
todos sus vectores tienen norma inducida igual a 1, es decir,
i ,= j : v
i
, v
j
) = 0 y i : |v
i
| = 1.
10
Espacios Vectoriales con Producto Interior
Lema
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K . Si v
1
, ..., v
n
V es un
conjunto ortogonal entonces v
1
, ..., v
n
es l.i..
Lema
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K , y sea S el subespacio
generado por un conjunto ortogonal v
1
, ..., v
n
V . Entonces, para
todo v S se tiene
v =
n

j=1

j
v
j
, con
j
=
v, v
j
)
| v
j
|
2
(nicamente determinado).
11
Espacios Vectoriales con Producto Interior
TEOREMA (Identidad de Parseval)
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K , y sea S el subespacio
generado por un conjunto ortogonal v
1
, ..., v
n
V . Entonces, para
todo v S se tiene
|v|
2
=
n

j=1
[ v, v
j
) [
2
|v
j
|
2
.
En particular, si v
1
, ..., v
n
es ortonormal se obtiene
v S : |v|
2
=
n

j=1
[ v, v
j
) [
2
.
12
Espacios Vectoriales con Producto Interior
TEOREMA (Ortogonalizacin de Gram-Schmidt)
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K, y sea x
1
, ..., x
n
V un
conjunto l.i.. Se denen, recursivamente, los siguientes vectores
v
1
:= x
1
v
k
:= x
k

k1

j=1
x
k
, v
j
)
|v
j
|
2
v
j
para cada k 2, ..., n.
El conjunto v
1
, ..., v
n
as denido es ortogonal en V , y
x
1
, ..., x
n
) = v
1
, ..., v
n
).
Corolario
Sea ( V, , ) ) un e.v.c.p.i. de dimensin nita sobre un cuerpo K.
Entonces existe una base ortonormal de V .
13
Espacios Vectoriales con Producto Interior
Complemento Ortogonal
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K, y sea W V . Se dene el
complemento ortogonal (o simplemente ortogonal) de W, y se denota
W

, como el conjunto
W

:= v V : w W : v, w) = 0 .
TEOREMA
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K, y suponga que V es de
dimensin nita. Entonces

= V y V

= .
W V : W

es un subespacio de V.
W V : W )

= W

.
S s.e.v. de V : ( S

= S y S S

= .
W V : (W

= W).
14
Espacios Vectoriales con Producto Interior
TEOREMA (Descomposicin Ortogonal)
Sea ( V, , ) ) un e.v.c.p.i. sobre un cuerpo K, y suponga que V es de
dimensin nita. Entonces
Para todo W subconjunto de V :
V = W ) W

.
Para todo S subespacio de V :
V = S S

.
15
Espacios Vectoriales con Producto Interior
Ejemplos
En el e.v. real R
3
con el p.i. usual, considere el plano
W := (x, y, z) R
3
: ax + by + cz = d .
Si d = 0 entonces W es un subespacio de dimensin 2 de R
3
.
Adems, se tiene
R
3
= W W

,
donde W

es la recta que pasa por el origen en la direccin

(a, b, c), es decir,
W

= (x, y, z) R
3
: t R, (x, y, z) = t (a, b, c).
Observacin
Si d ,= 0, entonces W ) = R
3
.
16
Espacios Vectoriales con Producto Interior
Ejemplos ... (cont)
En el e.v. real V := R
n
con el p.i. usual, considere
S :=

x := (x
1
, ..., x
n
) V :
n

i=1
x
i
= 0

.
Entonces, se obtiene
S

= x V : t R, x = t (1, ..., 1) .
En el e.v. real V := /
n
(R), con el p.i. , ) : V V R dado
por A, B) := tr (B
t
A) para cada A, B V , considere
S := A V : t R, A = t I , U := A V : A = A
t
.
Entonces, se obtiene
S

= A V : tr (A) = 0 , U

:= A V : A = A
t
.
17
Espacios Vectoriales con Producto Interior
Otro ejemplo
En el e.v. real V := ([, ] con el p.i. , ) : V V R dado
por
f, g) :=

f(x) g(x) dx para cadaf, g V ,

considere W :=
0
,
1
,
2
, ...,
n

1
,
2
, ...,
n
V , donde

j
(x) = cos(jx) y
j
(x) = sen(jx) para cada x [, ]. Entonces
W es ortogonal en V .

0
)

f V :

f(x) dx = 0

.
V =
0
)
0
)

.
V = W ) W

.
18
Espacios Vectoriales con Producto Interior
Ultimo ejemplo
Sea A /
mn
(R), y sean , )
R
n, , )
R
m, los productos interiores
usuales de R
n
y R
m
. Notar que
x R
n
, y R
m
: y, Ax)
R
m = A
t
y, x)
R
n.
En R
m
y R
n
, considere, respectivamente, los conjuntos
(A) := Ax R
m
: x R
n
(Imagen de A)
y
^(A) := x R
n
: Ax =
R
m (Espacio Nulo de A).
Entonces
(A)

= ^(A
t
) y ^(A)

= (A
t
).
19
Espacios Vectoriales con Producto Interior
TEOREMA (Fundamental del Algebra Lineal)
Con las mismas notaciones del ejemplo anterior, se tiene
R
n
= ^(A) (A
t
).
R
m
= (A) ^(A
t
).
COROLARIO (Alternativa de Fredholm)
Sea A /
mn
(R). Entonces el sistema lineal Ax = y tiene solucin
para todo y R
m
o bien A
t
z = tiene soluciones no triviales.
Notemos que
Ax = y tiene soluciones si y slo si y ^(A
t
)

(= (A)).
20