Captulo 1

Espacios con producto interno

Trabajo de Anlisis V
1. En base a los temas proporcionados en el syllabus organice la
informacin suministrada en este documento. Para ello, estudie el
documento. Elimine el material duplicado que incluye ejercicios. Revise
las demostraciones. Realice consultas si es necesario.
2. Resuelva los ejercicios que estime pertinentes
3. En base a los temas del syllabus y este PDF, redacte el documento
que deber entregar en cada semana junto con los ejercicios resueltos.
Contenido
1. Producto interno
1.1 Propiedades adicionales del producto escalar
2. Longitud o norma de un vector
3. Ortogonalidad o perpendicularidad. Teorema de Pitgoras
4. Mtodo de ortogonalizacin de Gram-Schmidt
5. Mnimos cuadrados
5.1 Polinomios trigonomtricos
5.2 Mnimos cuadrados discretos
5.3 Soluciones de sistemas de ecuaciones lineales en mnimos cuadrados
6. Ortogonalidad. Teorema de Pitgoras
7. Proyeccin ortogonal. Angulo entre dos vectores
7.1 Ley de los cosenos
1
2 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
1.1. Producto interno
En esta seccin estudiamos una clase de espacios vectoriales reales \ en los que se dene un producto escalar (dicho
tambin producto interno o producto punto) que los denominaremos espacios con producto escalar o espacios con
producto punto, o espacios eucldeos. En esta clase de espacios se introducirn las nociones geomtricas de ngulo,
de perpendicularidad u ortogonalidad, la conocida ley del paralelogramo y el teorema de Pitgoras.
Enfatizaremos en dos clases de espacios R
n
y C ([a, /]).
Denicin 1 Sea \ un espacio vectorial real. Un producto interno o producto escalar en \ es una funcin denotada
, de \ \ en R que satisface las siguientes propiedades:
i. r, j = j, r \r, j \,
ii. r +j, . = r, . +j, . \r, j, . \,
iii. `r, j = `r, j \` R, \r, j \,
iv. r, r = 0 =r = 0,
r, r 0 =r ,= 0 r \.
Para r, j \ , el nmero real r, j se llama producto escalar o producto interno de r con j.
Denicin 2 Un espacio vectorial \ en el que se ha denido un producto escalar , se denomina espacio con
producto interior, espacio con producto escalar o espacio prehilbertiano.
Observacin
Si \ es un espacio vectorial complejo y , denota un producto escalar en \ , la propiedad i) se escribe como
r, j = j, r \r, j \,
donde el lado derecho de la igualdad designa el nmero complejo conjugado de j, r. Las propiedades ii), iii) y
iv) de la denicin de producto escalar permanecen invariables.
Ejemplos
1. Sea \ = R
n
. Un producto escalar , en R
n
se dene como

r ,

j =

n
I=1
r
I
j
I
, donde

r = (r
1
, ..., r
n
),

j = (j
1
, ..., j
n
) R
n
. En notacin matricial, esto es, los elementos de R
n
se escriben como vectores columna,
el producto escalar , en R
n
se escribe como

r ,

j =

r
T
j =
n

I=1
r
I
j
I
,
donde

r
T
= (r
1
, ..., r
n
) ,

j
T
= (j
1
, ..., j
n
) R
n
denotan los vectores transpuestos de los vectores columna

r e

j . Las propiedades i) a iv) de la denicin de producto escalar se verican fcilmente y se dejan como
ejercicio.
Para : = 2, el producto , en R
2
est dado como sigue: si

r = (a
1
, /
1
),

j = (a
2
, /
2
) R
2
, entonces

r ,

j = a
1
a
2
+/
1
/
2
. As, si

r = (3, 5),

j = (1, 4), entonces

r ,

j = 3 (1) + 5 4 = 17.
Para : = 3, el producto , en R
3
est dado como

r ,

j = a
1
a
2
+ /
1
/
2
+ c
1
c
2
con

r = (a
1
, /
1
, c
1
),

j = (a
2
, /
2
, c
2
) R
3
. Para

r = (1, 0, 2),

j = (4, 1, 5), se tiene

r ,

j = 1 4 + 0 (1) + 2 5 = 14.
2. Sea \ = C ([a, /]). Un producto escalar , en C ([a, /]) se dene como
), q =
_
b
o
) (r) q (r) dr \), q C ([a, /]) .
Por ejemplo, si ), q C ([1, 1]) estn dadas como ) (r) = r
3
, q (r) = r
2
+ 1 r [1, 1]. Entonces
), q =
_
1
1
) (r) q (r) dr =
_
1
1
r
3
_
r
2
+ 1
_
dr = 0.
Probemos que la funcin , de C ([a, /]) C ([a, /]) en R satisface las cuatro propiedades de la denicin
de producto escalar. Para ello utilicemos algunas propiedades de las funciones integrables y de las funciones
continuas. Sean ), q, / C ([a, /]) y ` R.
1.1. PRODUCTO INTERNO 3
i. Probemos que ), q = q, ) . En efecto,
), q =
_
b
o
) (r) q (r) dr =
_
b
o
q (r) ) (r) dr = q, ) .
ii. ) +q, / = ), / +q, / .
) +q, / =
_
b
o
[) (r) +q (r)] /(r) dr =
_
b
o
) (r) /(r) dr +
_
b
o
q (r) /(r) dr = ), / +q, / .
iii. `), q = `), q .
`), q =
_
b
o
`) (r) q (r) dr = `
_
b
o
) (r) q (r) dr = `), q .
iv. ), ) = 0 ==) = 0.
Si ) = 0 es claro que ), ) = 0. Mostremos que si ), ) = 0 entonces ) = 0. Para ello, haciendo uso de
la tautologa (j =) = [(~ ) =(~ j)] en la que j, son las proposiciones siguientes j : ) = 0, :
), ) = 0; tenemos la proposicin siguiente: ) ,= 0 =), ) 0.
Si ) ,= 0, existe r
0
[a, /] tal que ) (r
0
) ,= 0. Por hiptesis ) es continua, por lo tanto es continua en r
0
y siendo ) (r
0
) ,= 0, existe un intervalo [c, ,] [a, /] tal que ) (r) ,= 0 \r [c, ,]. Luego
0 <
_
o
o
)
2
(r) dr _
_
b
o
)
2
(r) dr = ), ) .
As, ) ,= 0 = ), ) 0 y por la tautologa antes citada se deduce ), ) = 0 = ) = 0.
Consecuentemente, ), ) = 0 =) = 0. Adems, del resultado precedente, es claro que
), ) 0 \) C ([a, /]) , con ) ,= 0.
3. Sean \ = '
nn
[R], = (a
I
) '
nn
[R]. La traza de la matriz se nota tr () y se dene como
tr () =

n
I=1
a
II
. Una funcin , de '
nn
[R] '
nn
[R] en R denida como
, 1 = tr
_
1
T

_
\, 1 '
nn
[R]
es un producto escalar en '
nn
[R].
Por ejemplo para : = 2, =
_
2 1
0 1
_
, 1 =
_
0 1
1 0
_
, se tiene
1
T
=
_
0 1
1 0
_ _
2 1
0 1
_
=
_
0 1
2 1
_
,
, 1 = tr
_
1
T

_
= 0 + (1) = 1.
Se propone como ejercicio probar que , es un producto escalar en '
nn
[R].
1.1.1. Propiedades adicionales del producto escalar
Teorema 3
En un espacio prehilbertiano real \ se verican las propiedades siguientes.
i) r, j +. = r, j +r, . \r, j, . \,
ii) r, `j = `r, j \` R, \r, j \,
iii) r j, . = r, . j, . \r, j, . \,
iv) r, j . = r, j r, . \r, j, . \,
v) 0, r = r, 0 = 0 \r \.
vi) Sean r, j \ , si para todo . \ , r, . = j, ., entonces r = j.
vii) Sean r
1
, ..., r
n
, j \ , c
1
, ..., c
n
R. Entonces
_
n

I=1
c
I
r
I
, j
_
=
n

I=1
c
I
r
I
, j ,
_
j,
n

I=1
c
I
r
I
_
=
n

I=1
c
I
r
I
, j .
4 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
Demostracin.
i)Sean r, j, . \, debido a la propiedad conmutativa del producto escalar y por la aditividad respecto de la
primera variable, se tiene
r, j +. = j +., r = j, r +., r = r, j +r +. .
ii) Sean r, j, . \, ` R, nuevamente por la conmutatividad y homogeneidad respecto de la primera variable del
producto escalar, se tiene
r, `j = `j, r = `j, r = `r, j .
iii) Sean r, j, . \, y ` = 1, entonces
r j, . = r + (1)j, . = r, . +(1)j, . = r, . j, . .
iv) Se propone como ejercicio.
v) Sean r \, entonces
r, 0 + 0 = r, 0 + 0 = r, 0 +r, 0 ,
y por la propiedad cancelativa de la adicin en R, se sigue que r, 0 = 0.
vi) Sean r, j \ . Supongamos que para todo . \ se verica r, . = j, ., entonces
r, . j, . = r j, . = 0 \. \,
en particular para . = rj, se tiene r j, r j = 0 y por la propiedad iv) de la denicin del producto escalar,
se obtiene r j = 0, de donde r = j.
vii) Se propone como ejercicio.
Sean r
I
, j
I
\ , c
I
, `
I
R i = 1, , :. Entonces
_
n

I=1
c
I
r
I
,
n

=1
`

_
=
n

I=1
n

=1
c
I
`

r
I
, r

.
En un espacio vectorial real \ se pueden denir una innidad de productos escalares. En los ejercicios se exhiben
algunos productos escalares denidos en R
n
(: = 2, 3), y en C ([0, 1]).
Ejercicios 4
1. En cada item se dene una funcin , :
_
R
2
R
2
R
(

r ,

j )

r ,

j ,
con

r = (a, /),

j = (c, d) R
2
. Indique
si este dene un producto escalar en R
2
. Justique su respuesta con una demostracin.
a)

r ,

j = ad +/c. b)

r ,

j = 3ac + 2/d + 2 (ad +/c) .

c)

r ,

j = 2ac + 2/d +a (/ +d) +d (a +c) .

d)

r ,

j = cac +,/d +`(ad +/c) con c, `

2
0 y c 0.
d)

r ,

j = 10ac + 5 (ad +/c) +/d.

2. En cada item se dene una funcin , :
_
R
3
R
3
R
(

r ,

j )

r ,

j ,
con

r = (a, /, c),

j = (j, , r) R
3
.
Indique si este dene un producto escalar en R
3
. Justique su respuesta con una demostracin.
a)

r ,

j = aj +/ +cr. b)

r ,

j = 3aj + 2/ +cr + 2 (ar +/ +cj) .

c)

r ,

j = a (4j +) +/ (j + 4) +c( + 5r).

d)

r ,

j = a (5j + +r) +/ (j + 5 +r) +c(j + + 5r).

3. Se dene la funcin , de R
n
R
n
en R como sigue:

r ,

j =

r
T
j =

n
I=1
r
I
j
I
, donde

r
T
=
(r
1
, ...r
n
) ,

j
T
= (j
1
, ..., j
n
) R
n
. Pruebe que la funcin , es un producto escalar en R
n
.
1.2. LONGITUD O NORMA DE UN VECTOR 5
4. En el espacio vectorial de funciones continuas C ([0, 1]) se dene
), q =
_
1
0
(1 +r)) (r) q (r) dr \), q C ([0, 1]) .
a) Demuestre que , dene un producto escalar en C ([0, 1])
b) Sean ), q, / C ([0, 1]) denidas como ) (r) = r
2
, q (r) = r
2
+ 1, /(r) = r
3
r [1, 1]. Vericar las
siguientes igualdades.
i) ), q +/ = ), q+), / . ii) ) q, / = ), /q, / . iii) ) +q, ) +/ = ), )+), /+), q+q, / .
5. Sea . C ([0, 1]) tal que .(r) _ c 0 \r [0, 1]. Se dene la funcin , de C ([0, 1]) C ([0, 1]) en R
como sigue:
n, =
_
1
0
.(r)n(r) (r) dr \n, C ([0, 1]) .
Demuestre que , es un producto escalar en C ([0, 1]) .
6. Considerar el espacio de funciones C
1
([1, 1]) que poseen derivada continua en [1, 1]. Se dene la funcin
,
1
de C
1
([1, 1]) C
1
([1, 1]) en R como sigue:
n,
1
=
_
1
1
[n(r) (r) +n
0
(r)
0
(r)] dr \n, C
1
([1, 1]) .
Pruebe que , es un producto escalar en C
1
([1, 1]).
7. Sean a, / R
+
, = [a, a] [/, /] R
2
. Se denota con C () al espacio vectorial de funciones continuas
en . Un producto escalar , en C () se dene como
), q =
_
o
o
_
b
b
) (r, j) q (r, j) drdj \), q C().
Pruebe que la funcin , denida en C() es un producto escalar.
8. Sea = [0, 1] [1, 1] R
2
. En C
1
() se dene la funcin real [, ]
1,2
como a continuacin se indica:
[), q]
1,2
=
_

_
)(r, j)q(r, j) +
0)
0r
(r, j)
0q
0j
(r, j)
_
drdj \), q C
1
().
Es [, ]
1,2
un producto escalar en C
1
()? Justique su respuesta.
1.2. Longitud o norma de un vector
Denicin 5 Sea \ un espacio vectorial real provisto de un producto escalar , . La longitud o norma de r \
se nota |r| y se dene como |r| = (r, r)
1
2
.
Esta norma || se dice asociada al producto escalar , y se le denomina norma eucldea.
Ejemplos
1. En el caso en que \ = R
n
, la norma del vector

r
T
= (r
1
, ..., r
n
) R
n
asociada al producto escalar denido
como

r
T
j =
n

I=1
r
I
j
I
, se escribe
|

r |
2
=
_

r
T
r
_
1
2
=
_
n

I=1
r
2
I
_1
2
.
Esta norma coincide con la norma hlderiana en R
n
con j = 2.
Si

r = (2, 1, 0, 2) R
4
, se tiene |

r |
2
= 3.
6 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
2. Sea \ = C ([1, 1]) provisto del producto escalar denido como sigue:
), q =
_
1
1
) (r) q (r) dr \), q C ([1, 1]) .
. La norma asociada a este producto escalar est denida como
|)|
2
= (), ))
1
2
=
__
1
1
)
2
(r) dr
_
1
2
\) C ([1, 1]) .
Esta norma coincide con la norma hlderiana en C ([a, /]) con j = 2.
Por ejemplo, si ) (r) = sen(r) r [1, 1], se tiene
|)|
2
2
=
_
1
1
:c:
2
(r) dr =
_
1
1
1 cos 2r
2
dr = 1,
de donde |)|
2
= 1.
3. Se denota K
n
([a, /]) al espacio vectorial de los polinomios reales de grado _ : restringidos al intervalo
[a, /] R. El espacio K
n
([a, /]) es un subespacio de C ([a, /]) de dimensin : + 1. Denido un producto
escalar , en C ([a, /]), este es un producto escalar en K
n
([a, /]) y la norma asociada se escribe
|j|
2
= (j, j)
1
2
=
_
_
b
o
j
2
(t) dt
_1
2
\j K
n
([a, /]) .
En tal caso diremos que K
n
([a, /]) es un espacio con producto interno inducido por el de C ([a, /]) y que la
norma ||
2
en K
n
([a, /]) es la inducida por la norma ||
2
en C ([a, /]).
As por ejemplo, si n, K
n
([1, 1]) estn dados como n(r) = r
3
5r, (r) = r
4
+r
2
+100 r [1, 1] .
Se tiene que n es una funcin impar y es par, luego n es impar, y,
n, =
_
1
1
n(r) (r) dr = 0.
Adems,
|n|
2
2
=
_
1
1
n
2
(r) dr =
_
1
1
_
r
3
5r
_
2
dr =
272
21
,
o sea |n|
2
=
_
272
21
.
4. Sea \ = C
1
([1, 1]). Un producto escalar , en C
1
([1, 1]) se dene como
), q =
_
1
1
_
) (r) q (r) +
d)
dr
(r)
dq
dr
(r)
_
dr
y la norma de ) C
1
([1, 1]) asociada a este producto escalar se dene como
|)|
1,2
=
_
_
1
1
_
[) (r)[
2
+

d)
dr
(r)

2
_
dr
_1
2
.
As por ejemplo, si ) (r) = c
r
r [1, 1], se tiene )(r) = c
r
r [1, 1] . Luego
|)|
1,2
=
__
1
1
_
_
c
r
_
2
+
_
c
r
_
2
_
dr
_
1
2
=
__
1
1
2c
2r
dr
_
1
2
= (2 sen/(2))
1
2
.
5. Sean = [1, 1] [1, 1] R
2
. Se denota con C () al espacio vectorial de funciones continuas en . Un
producto escalar , en C () se dene como
), q =
_
1
1
_
1
1
) (r, j) q (r, j) drdj \), q C().
Se propone como ejercicio probar que efectivamente la funcin , denida en C() C() es un producto
escalar. La norma de ) C () asociada a este producto escalar se dene como
|)|
2
=
__

[) (r, j)[
2
drdj
_1
2
.
1.2. LONGITUD O NORMA DE UN VECTOR 7
As por ejemplo, si ) (r, j) = jc
r
, q(r, j) = c
r
r, j [1, 1], se tiene
), q =
_
1
1
_
1
1
) (r, j) q (r, j) drdj =
_
1
1
__
1
1
jc
r
c
r
dj
_
dr = 0.
Calculemos |)|
2
y |q|
2
. Tenemos
|)|
2
=
__
1
1
_
1
1
)
2
(r, j)drdj
_
1
2
=
__
1
1
_
1
1
j
2
c
2r
drdj
_
1
2
=
_
sen/(2)
_
1
1
j
2
dj
_
1
2
=
_
2
3
sen/(2)
_1
2
,
|q|
2
=
__
1
1
_
1
1
q
2
(r, j)drdj
_
1
2
=
__
1
1
_
1
1
c
2r
drdj
_
1
2
= (2 sen/(2))
1
2
.
Teorema 6 Sea \ un espacio vectorial real provisto de un producto escalar , . La longitud o norma || en \
satisface las siguientes propiedades:
i. |r| _ 0 \r \.
ii. |r| = 0 =r = 0.
iii. |`r| = [`[ |r| \` R, r \.
iv. [r, j[ _ |r| |j| \r, j \ (desigualdad de Cauchy-Schwarz).
v. |r +j| _ |r| +|j| \r, j \ (desigualdad triangular).
vi. [|r| |j|[ _ |r j| \r, j \ .
vii. |r +j|
2
+|r j|
2
= 2 |r|
2
+ 2 |j|
2
\r, j \ (ley del paralelogramo).
viii. r, j =
1
4
_
|r +j|
2
|r j|
2
_
\r, j \ (identidad de polarizacin).
Demostracin.
i) Puesto que la funcin , de \ \ en R es un producto escalar, esta tiene la propiedad siguiente: para r \ ,
r, r = 0 =r = 0, r, r 0 =r ,= 0, y de la denicin de norma, se tiene |r| _ 0 \r \ .
ii) Como r, r = 0 =r = 0, resulta |r| = (r, r)
1
2
= 0 =r = 0.
iii) Sean ` R, r \ . Entonces
|`r| = (`r, `r)
1
2
=
_
`
2
r, r
_
1
2
= [`[ (r, r)
1
2
= [`[ |r| .
As, |`r| = [`[ |r| \` R, \r \.
iv) Sean r, j \ . Por la parte i) de este teorema se tiene |r +`j|
2
_ 0 \` R. Luego, por la denicin de
norma y las propiedades del producto escalar, se tiene
0 _ |r +`j|
2
= r +`j, r +`j = r, r +r, `j +`j, r +`j, `j
= r, r +`r, j +`j, r +`
2
j, j = |r|
2
+ 2`r, j +`
2
|j|
2
.
Sea 1 el polinomio de grado _ 2 denido por
1 (`) = |r|
2
+ 2 r, j ` +|j|
2
`
2
` R.
Por la parte precedente se verica 1 (`) _ 0 \` R, con lo que el discriminante
d = (2 r, j)
2
4 |r|
2
|j|
2
_ 0,
de donde 4 (r, j)
2
_ 4 |r|
2
|j|
2
. Tomando la raz cuadrada y considerando que la norma || es no negativa,
se deduce la desigualdad de Cauchy-Schwarz: [r, j[ _ |r| |j| .
8 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
v) Sean r, j \ . Entonces
|r +j|
2
= r +j, r +j = r, r +r, j +j, r +j, j = |r|
2
+ 2 r, j +|j|
2
.
Se tiene r, j _ [r, j[ y por la desigualdad de Cauchy-Schwarz resulta
r, j _ [r, j[ _ |r| |j| \r, j \.
Luego,
|r +j|
2
= |r|
2
+ 2 r, j +|j|
2
_ |r|
2
+ 2 |r| |j| +|j|
2
= (|r| +|j|)
2
.
Tomando la raz cuadrada y considerando que la norma es no negativa, se obtiene la desigualdad triangular
|r +j| _ |r| +|j| \r, j \.
vi) La desigualdad [|r| |j|[ _ |r j| \r, j \ ya fue probada en la seccin de los espacios normados.
vii) De la denicin de norma y de las propiedades del producto escalar, se tiene
|r +j|
2
+|r j|
2
= r +j, r +j +r j, r j
= r, r + 2 r, j +j, j +r, r 2 r, j +j, j
= 2
_
|r|
2
+|j|
2
_
.
viii) Se propone como ejercicio.
Si \ un espacio vectorial real provisto de la norma || , cmo identicar que esta norma proviene de un producto
escalar? La respuesta se tiene en el siguiente teorema.
Teorema 7
Sea \ un espacio vectorial real provisto de la norma || la misma que satisface la ley del paralelogramo:
|r +j|
2
+|r j|
2
= 2 |r|
2
+ 2 |j|
2
\r, j \.
Entonces, la funcin , de \ \ en R denida como
r, j =
1
4
_
|r +j|
2
|r j|
2
_
\r, j \
es un producto escalar en \.
Demostracin.
Debemos probar que la funcin , satisface las propiedades que denen a un producto escalar.
i) r, j = j, r \r, j \.
Efectivamente, como |r j| = |j r| \r, j \, se sigue que
r, j =
1
4
_
|r +j|
2
|r j|
2
_
=
1
4
_
|j +r|
2
|j r|
2
_
= j, r \r, j \.
ii) n +, j = n, j +, j \n, , j \.
Por hiptesis, se verica la ley del paralelogramo, se tienen los siguientes resultados
|r +j +.|
2
+|r +j .|
2
= 2
_
|r +j|
2
+|.|
2
_
\r, j, . \,
|r j +.|
2
+|r j .|
2
= 2
_
|r j|
2
+|.|
2
_
\r, j, . \.
Restando la segunda igualdad de la primera se obtiene
|r +j +.|
2
+|r +j .|
2
|r j +.|
2
|r j .|
2
= 2
_
|r +j|
2
|r j|
2
_
.
1.2. LONGITUD O NORMA DE UN VECTOR 9
Por otro lado,
r +., j =
1
4
_
|r +. +j|
2
|r +. j|
2
_
,
r ., j =
1
4
_
|r . +j|
2
|r . j|
2
_
,
consecuentemente,
r +., j +r ., j =
1
4
_
|r +. +j|
2
|r +. j|
2
+|r . +j|
2
|r . j|
2
_
=
1
4
_
|r +j +.|
2
+|r +j .|
2
|r j +.|
2
|r j .|
2
_
=
1
2
_
|r +j|
2
|r j|
2
_
= 2 r, j , (+)
de donde
r, j =
1
2
[r +., j +r ., j] .
Ponemos
_
r +. = n
r . = ,
entonces r =
u+u
2
y . =
uu
2
. La igualdad precedente se escribe como
_
n +
2
, j
_
=
1
2
[n, j +, j]
luego
2
_
n +
2
, j
_
= n, j +, j . (++)
Note que r, 0 = 0 \r \.
Para r = . en (+) se obtiene
2r, j = 2 r, j ,
y de (++) resulta
n, j +, j = 2
_
n +
2
, j
_
=
_
2
n +
2
, j
_
= n +, j .
iii) `r, j = `r, j \` R, r, j \.
Esta prueba la desarrollamos en tres partes. La primera que se vericar para ` Z, la segunda parte para ` Q
y mediante el paso al lmite se vericar la propiedad para ` R.
a) Sea : Z
+
, probemos que :r, j = :r, j \: Z, r, j \. Por la parte ii) previa obtenemos
:r, j = (:1) r +r, j = (:1) r, j +r, j \r, j \.
Por induccin se prueba que para / Z
+
, : _ / _ 2
:r, j = (:/) r, j +/ r, j = (:(/ + 1)) r +r, j +/ r, j
= (:(/ + 1)) r, j +r, j +/ r, j = (:/ 1) r, j + (/ + 1) r, j .
De esta manera,
:r, j = :r, j \: Z
+
, r, j \,
de donde
r, j =
1
:
:r, j . (+)
b) Probamos que rr, j = r r, j \r Q, r, j \.
Primeramente, para : Z
+
, se tiene
r, j =
_
:
r
:
, j
_
= :
_
r
:
, j
_
. (++)
As,
_
:
:
r, j
_
=
_
:
_
1
:
r
_
, j
_
= :
_
1
:
r, j
_
=
:
:
r, j \r, j \,
10 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
o sea
rr, j = r r, j \r Q
+
, r, j \.
Como
0 = 0, j = r r, j = r, j +r, j \r, j \,
se sigue que
r, j = r, j \r, j \,
y en consecuencia
rr, j = r r, j \r Q.
c)Completamos la prueba usando el resultado R =Q, es decir que todo nmero real es lmite de una sucesin
convergente de nmeros racionales.
Sea ` R. Existe (r
n
) Q tal que r
n

n!1
`. Para cada : Z
+
se tiene
r
n
r, j = r
n
r, j \r, j \.
Luego,
`r, j = lm
n!1
r
n
r, j = lm
n!1
r
n
r, j = `r, j .
Se deja como ejercicio demostrar que si r
n

n!1
`, r
n
r, j
n!1
`r, j .
iv) Finalmente, para todo r \,
r, r =
1
4
_
|r +r|
2
|r r|
2
_
= |r|
2
,
consecuentemente
|r| = (r, r)
1
2
\r \.
Denicin 8 Sean \ un espacio prehilbertiano, r, j \ . La distancia de r a j se denota y se dene como
d (r, j) = |r j| .
Si , es un producto escalar denido en \ y || la norma asociada, se tiene
d (r, j) = |r j| = (r j, r j)
1
2
\r, j \ .
Teorema 9 Sea \ un espacio prehilbertiano.
La funcin d de \ \ en R denida como d (r, j) = |r j| \r, j \ es una mtrica en \ , es decir que
satisface las propiedades siguientes:
i. d (r, j) _ 0 \r, j \.
ii. d (r, j) = 0 =r = j, r, j \ .
iii. d (r, j) = d (j, r) \r, j \.
iv. d (r, .) _ d (r, j) +d (j, .) \r, j, . \ (desigualdad triangular).
Demostracin. La prueba es inmediata y se propone como ejercicio.
Si \ es un espacio vectorial real provisto de un producto interior o producto escalar , , la norma asociada a este
producto escalar est dado por |r| = (r, r)
1
2
r \ , y la mtrica asociada a la norma || est denida como
d (r, j) = |r j| r, j \ , con lo cual \ es un espacio mtrico que escribimos (\, d).
Ejercicios 10
1.3. ORTOGONALIDAD O PERPENDICULARIDAD. TEOREMA DE PITGORAS 11
1. Sean

= (2, 1),

1 = t

con t R.
a) Muestre que

1
_

=
_
_
_

_
_
_
2
_
_
_

1
_
_
_
2
.
b) De manera ms general, sean

,

1 R
n
con

1 = t

para algn t R. Pruebe que

_

,

1
_

=
_
_
_

_
_
_
2
_
_
_

1
_
_
_
2
.
c) Con relacin a la dependencia lineal y a la desigualdad de Cauchy-Schwarz, obtenga una conclusin.
2. Sean a, /, c, d, c, ) R.
a) Mostrar que (ac +/d)
2
_
_
a
2
+/
2
_ _
c
2
+d
2
_
. b) Qu condiciones han de vericar a, /, c, d para que
(ac +/d)
2
=
_
a
2
+/
2
_ _
c
2
+d
2
_
?
b) Mostrar que (ac +/d)
2
_
_
a
2
+/
2
_ _
c
2
+d
2
_
. b) Qu condiciones han de vericar a, /, c, d para que
(ac +/d)
2
=
_
a
2
+/
2
_ _
c
2
+d
2
_
?
3. Sean

= (4, 3) y

1 = t

con t _ 0.
a) Calcule
_
_
_

_
_
_
2
,
_
_
_

1
_
_
_
2
,
_
_
_

1
_
_
_
2
. b) Verique
_
_
_

1
_
_
_
2
=
_
_
_

_
_
_
2
+
_
_
_

1
_
_
_
2
. Con relacin a la
desigualdad triangular, qu concluye? c) Si t < 0, es cierta la igualdad

_
_
_

_
_
_
2

_
_
_

1
_
_
_
2

=
_
_
_

1
_
_
_
2
?
Interprete geomtricamente y justique su respuesta.
d) De manera ms general, sean

= (a, /) R
2
,

1 = t

con t _ 0. Muestre que

_
_
_

1
_
_
_
2
=
_
_
_

_
_
_
2
+
_
_
_

1
_
_
_
2
y con respecto de la desigualdad triangular, qu conclusin obtiene?
e) Si t < 0, es cierta la igualdad

_
_
_

_
_
_
2

_
_
_

1
_
_
_
2

=
_
_
_

1
_
_
_
2
?. Concluya.
4. Para los vectores

,

1 R
2
que se dan en cada item, calcular
_

1
_
,
_
_
_

_
_
_
2
,
_
_
_

1
_
_
_
2
y vericar la ley
del paralelogramo
_
_
_

1
_
_
_
2
2
+
_
_
_

1
_
_
_
2
2
= 2
_
_
_

_
_
_
2
2
+ 2
_
_
_

1
_
_
_
2
2
a)

= (2, 5) ,

1 = (7, 3) . b)

= (0, 0) ,

1 = (6, 4) . c)

= (5, 7) ,

1 = (4, 2) .
d)

= (3, 0) ,

1 = (0, 4) . e)

=
_

_
2,
_
3
_
,

1 =
_
2
_
3, 5
_
2
_
.
5. Demostrar identidad de polarizacin: r, j =
1
4
_
|r +j|
2
2
|r j|
2
2
_
\r, j \ .
6. Para los vectores

,

1 R
2
que se dan en cada item, vericar las desigualdades siguientes:

_

,

1
_

_
_
_
_

_
_
_
2
_
_
_

1
_
_
_
2
,
_
_
_

1
_
_
_
2
_
_
_
_

_
_
_
2
+
_
_
_

1
_
_
_
2
,

_
_
_

_
_
_
2

_
_
_

1
_
_
_
2

_
_
_
_

1
_
_
_
2
.
a)

= (2, 5) ,

1 = (7, 3) . b)

= (0, 0) ,

1 = (6, 4) . c)

= (5, 7) ,

1 = (4, 2) .
d)

= (3, 0) ,

1 = (0, 4) . e)

=
_

_
2,
_
3
_
,

1 =
_
2
_
3, 5
_
2
_
.
7. Calcule

r ,

j y d (

r ,

j ) = |

j |
2
para

r ,

j R
4
que se dan en cada item.
a)

r
T
= (2, 5, 4, 1) ,

j
T
= (3, 5, 1, 1) . b)

r
T
= (2, 0, 1, 0) ,

j
T
= (0, 1, 0, 2) .
c)

r
T
= (3, 1, 0, 2) ,

j
T
= (2, 1, 1, 0) .
1.3. Ortogonalidad o perpendicularidad. Teorema de Pitgoras
En un espacio vectorial \ en el que se ha denido un producto escalar , , los conceptos geomtricos de
ortogonalidad o perpendicularidad as como el de ngulo entre vectores pueden denirse en trminos del producto
escalar.
Denicin 11 Sea \ un espacio vectorial provisto del porducto escalar , .
i) Sean r, j \. Se dice que r es ortogonal o perpendicular a j, que se nota r l j, si y solo si r, j = 0.
ii) Sean r \, ' \ con ' ,= c. Se dice que r es ortogonal a ', que se escribe r l ', si y solo si
r, j = 0 \j '.
12 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
iii) Sean ', dos subconjuntos no vacos de \ . Se dice que ' es ortogonal a , que se nota ' l , si y solo
si r, j = 0 \r ', \j .
iv) Sea ' \ con ' ,= 0. Se dice que ' es ortogonal si y solo si r, j = 0 \r, j ', r ,= j.
v) Se dice que ' es ortonomal si y solo si ' es ortogonal, y \r ', |r| = 1.
Ejemplos
1. Sean \ = R
2
,

n
T
= (2, 3) ,

T
= (3, 2) . Entonces n l

. En efecto,

n ,

n
T
= (2, 3)
_
3
2
_
= 6 + 6 = 0.
En la gura siguiente se muestran los vectores

n y

. Note que el ngulo que forman estos vectores es recto.

2. Consideremos

n = (2, 1) y ' = t (1, 2) [ t R ' es un subespacio de R
2
. Se tiene

n l ', pus

n ,

n
T
= (2, 1)
_
t
2t
_
= 2t 2t = 0 \t R.
En la gura siguiente se muestran el vector

n y el subespacio '.
3. Sean ' = t (1, 4) [ t R y = t (4, 1) [ t R. Se tiene que ', son subespacios de R
2
, adems
' =
_

0
_
, R
2
= ' y ' l . En efecto, si

n ' y

, existen r, t R tales que

n
T
= (t, 4t) ,

T
= (4r, r) . Entonces

n ,

n
T
= (t, 4t)
_
4r
r
_
= 4rt + 4rt = 0,
1.3. ORTOGONALIDAD O PERPENDICULARIDAD. TEOREMA DE PITGORAS 13
o sea

n y

son ortogonales y en consecuencia los subespacios ' y son ortogonales. En la gura siguiente
se muestran estos dos conjuntos.
4. Sea \ = R
n
. El conjunto ' =

c
1
, . . . ,

c
n
, donde

c
T
1
= (1, 0, . . . , 0) , . . . ,

c
T
n
= (0, . . . , 0, 1) son los
vectores de la base cannica de R
n
, es un conjuto ortogonal, pus

c
T

c
|
= 0 si , ,= /, y, |

c

| = 1 , = 1, . . . , :.
5. Sean 1 0. Se denota con C ([1, 1]) al espacio vectorial de las funciones continuas en [1, 1] . Proveemos
a C ([1, 1]) del producto escalar , denido por
n, =
_
J
J
n(r) (r) dr \n, C ([1, 1]) .
Los siguientes conjuntos de funciones son muy importantes en el desarrollo en series de Fourier de funciones
reales peridicas de perodo 21 y continuas a trozos en el intervalo [1, 1] . Sean ', los subconjuntos de
C ([1, 1]) denidos como ' = ,
|
[ / N , = c
|
[ / Z
+
, donde
,
0
(r) = 1 r [1, 1] , ,
|
(r) = cos
_
/r
1
_
r [1, 1] , / = 1, 2, . . . ,
c
|
(r) = sen
_
/r
1
_
r [1, 1] , / = 1, 2, . . .
Se tiene
i) ' es un conjunto ortogonal.
ii) es un conjunto ortogonal.
iii) ' l .
i) Probemos que ' es ortogonal, esto es,
,
0
, ,
|
= 0 \/ = 1, 2, . . .

,

, ,
|
_
= 0 \,, / Z con , ,= /.
En efecto, de la denicin de ,
0
y ,
|
, se tiene
,
0
, ,
|
=
_
J
J
,
0
(r) ,
|
(r) dr =
_
J
J
cos
_
/r
1
_
dr =
1
/
sen
_
/r
1
_
J
J
= 0 / = 1, 2, . . .
Por otro lado,

, ,
|
_
=
_
J
J
,

(r) ,
|
(r) dr =
_
J
l
cos
_
,r
1
_
sen
_
/r
1
_
dr \r [1, 1] .
Como cos
_

tr
J
_
= cos
_
tr
J
_
, sen
_

|tr
J
_
= sen
_
|tr
J
_
entonces la funcin ,

,
|
es impar para , ,= /.
Luego

,

, ,
|
_
= 0.
ii) Pasemos a probar que es ortogonal, es decir,

, c
|
_
=
_
J
l
sen
_
,r
1
_
sen
_
/r
1
_
dr = 0 \,, / Z con , ,= /.
14 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
Sean a, / R, de las identidades trigonomtricas
cos (a +/) = cos a cos / sena sen/,
cos (a /) = cos a cos / + sena sen/,
se obtiene
sena sen/ =
1
2
[cos (a /) cos (a +/)] ,
y poniendo a =
tr
J
, / =
|tr
J
, resulta

, c
|
_
=
_
J
J
1
2
_
cos
_
(, /) r
1
_
cos
_
(, +/) r
1
__
dr
=
1
2
_
1
(, /)
sen
_
(, /) r
1
_

1
(, +/)
sen
_
(, +/) r
1
__

J
J
= 0 si , ,= /.
iii) Para mostrar que ' l , se debe probar que
,
0
, c
|
= 0 / = 1, 2, , y

, c
|
_
= 0 ,, / Z
+
.
La vericacin se propone como ejercicio.
Denicin 12 Sea \ un espacio con producto interior, r, j \. El ngulo 0 [0, ] que forman los vectores r e
j se dene como cos 0 =
hr,i
krkkk
r ,= 0, j ,= 0.
Teorema 13 (de Pitgoras) Sea \ un espacio con producto interior, r, j \ . Si r l j se tiene
|r +j|
2
= |r|
2
+|j|
2
.
De manera mas general, sea r
1
, , r
n
un conjunto ortogonal de \ , entonces

I=1
r
I

2
=
n

I=1
| r
I
|
2
.
Demostracin. De la denicin de la norma |.| , se tiene
|r +j|
2
= r +j, r +j = r, r + 2 r, j +j, j .
Por hiptesis r l j, luego r, j = 0, y como r, r = |r|
2
, j, j = |j|
2
, se concluye
|r +j|
2
= |r|
2
+|j|
2
.
La prueba de la generalizacin del teorema de Pitgoras a una familia ortogonal nita se realiza por induccin y se
propone como ejercicio.
En el caso de espacios vectoriales reales, se tiene que: si r, j \ tales que |r +j|
2
= |r|
2
+|j|
2
entonces r l j.
Efectivamente, si r, j \ entonces |r +j|
2
= |r|
2
+ 2 r, j +|j|
2
. Por hiptesis, |r +j|
2
= |r|
2
+|j|
2
, y
de la igualdad |r|
2
+|j|
2
= |r|
2
+ 2 r, j +|j|
2
de donde r, j = 0, o sea r l j.
Ejercicios 2
1. Sean

r = (a, /),

j = (c, d) R
2
. En cada item se dene una funcin , de R
2
R
2
en R dada por

r ,

j .
Indique si este dene un producto escalar en R
2
.
a)

r ,

j = ad +/c. b)

r ,

j = 3ac + 2/d + 2 (ad +/c) .

c)

r ,

j = 2ac + 2/d +a (/ +d) +d (a +c) . d)

r ,

j = cac +,/d +`(ad +/c) con c, `

2
0 y
c 0.
1.3. ORTOGONALIDAD O PERPENDICULARIDAD. TEOREMA DE PITGORAS 15
2. Sean

r = (a, /) ,

j = (c, d) R
2
. Se dene la funcin , de R
2
R
2
en R como sigue:

r ,

j =
10ac + 5 (ad +/c) +/d. Es , un producto escalar en R
2
? Justique su respuesta.
3. Sean

= (2, 1),

1 = t

con t R.
a) Muestre que

1
_

=
_
_
_

_
_
_
_
_
_

1
_
_
_. b) De manera ms general, sean

,

1 R
2
con

1 = t

para
algn t R. Pruebe que

1
_

=
_
_
_

_
_
_
_
_
_

1
_
_
_.
c) Con relacin a la dependencia lineal y a la desigualdad de Cauchy-Schwarz, obtenga una conclusin.
4. Sean a, /, c, d R.
a) Mostrar que (ac +/d)
2
_
_
a
2
+/
2
_ _
c
2
+d
2
_
. b) Qu condiciones han de vericar a, /, c, d para que
(ac +/d)
2
=
_
a
2
+/
2
_ _
c
2
+d
2
_
?
5. Sean

= (4, 3) y

1 = t

con t _ 0.
a) Calcule
_
_
_

_
_
_,
_
_
_

1
_
_
_,
_
_
_

1
_
_
_. b) Verique que
_
_
_

1
_
_
_ =
_
_
_

_
_
_ +
_
_
_

1
_
_
_. Considere la desigualdad
triangular, qu concluye? c) Si t < 0, es cierta la igualdad

_
_
_

_
_
_
_
_
_

1
_
_
_

=
_
_
_

1
_
_
_? Interprete
geomtricamente y ustique su respuesta. d) De manera ms general, sean

= (a, /) R
2
,

1 = t

con
t _ 0. Muestre que
_
_
_

1
_
_
_ =
_
_
_

_
_
_ +
_
_
_

1
_
_
_ y con respecto de la desigualdad triangular, qu conclusin
obtiene? e) Si t < 0, es cierta la igualdad

_
_
_

_
_
_
_
_
_

1
_
_
_

=
_
_
_

1
_
_
_?. Concluya.
6. Para los vectores

,

1 R
2
que se dan en cada item, calcular
_

1
_
,
_
_
_

_
_
_,
_
_
_

1
_
_
_,
_
_
_

1
_
_
_,
_
_
_

1
_
_
_ y vericar las desigualdades siguientes:

1
_

_
_
_
_

_
_
_
_
_
_

1
_
_
_,
_
_
_

1
_
_
_ _
_
_
_

_
_
_ +
_
_
_

1
_
_
_,

_
_
_

_
_
_
_
_
_

1
_
_
_

_
_
_
_

1
_
_
_.
a)

= (2, 5) ,

1 = (7, 3) . b)

= (0, 0) ,

1 = (6, 4) . c)

= (5, 7) ,

1 = (4, 2) .
d)

= (3, 0) ,

1 = (0, 4) . e)

=
_

_
2,
_
3
_
,

1 =
_
2
_
3, 5
_
2
_
.
f )

= (1, a) ,

1 = (/, 2) , a, / R.
7. Se dene la funcin , de R
n
R
n
en R como sigue:

r ,

j =

r
T
j =

n
I=1
r
I
j
I
, donde

r
T
=
(r
1
, ...r
n
) ,

j
T
= (j
1
, ..., j
n
) R
n
. Pruebe que la funcin , es un producto escalar en R
n
.
8. Calcule

r ,

j y d (

r ,

j ) = |

j | para

r ,

j R
4
que se dan en cada item, donde || es la norma
asociada al producto escalar usual.
a)

r
T
= (2, 5, 4, 1) ,

j
T
= (3, 5, 1, 1) . b)

r
T
= (2, 0, 1, 0) ,

j
T
= (0, 1, 0, 2) .
c)

r
T
= (3, 1, 0, 2) ,

j
T
= (2, 1, 1, 0) .
9. En cada ietem, calcule el ngulo 0 que forman los vectores

n y

de R
2
.
a)

n = (2, 0) ,

= (1, 3) . b)

n = (1, 0) ,

=
_
1,
_
3
_
. c)

n = (2, 1) ,

= (1, 2) . d)

n = (3, 0) ,

= (0, 4) . e)

n =
_

_
2,
_
2
_
,

=
_
2
_
2,
_
2
_
.
10. Se dene la funcin , de C ([0, 1]) C ([0, 1]) en R como sigue:
n, =
_
1
0
n(r) (r) dr \n, C ([0, 1]) .
Para las funciones n, que se dan en cada caso, calcule n, , |n|, || , el ngulo 0 que forman n y ; y
d (n, ) = |n |, donde || es la norma asociada al producto escalar , .
a) n(r) = 1, (r) = 1 2r r [0, 1] . b) n(r) = sen(2/r) , (r) = 1 r [0, 1] , / Z
+
.
c) n(r) = sen(2/r) , (r) = cos (2:r) , r [0, 1] , /, : Z
+
.
d) n(r) = 1, r [0, 1] , (r) = cos (2:r) , r [0, 1] , : 7
+
.
16 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
11. Considerar el espacio de funciones C
1
([1, 1]) que poseen derivada continua en [1, 1]. Se dene la funcin
,
1
de C
1
([1, 1]) C
1
([1, 1]) en R como sigue:
n,
1
=
_
1
1
[n(r) (r) +n
0
(r)
0
(r)] dr \n, C
1
([1, 1]) .
a) Pruebe que , es un producto escalar en C
1
([1, 1]).
b) Para las funciones n, que en cada caso se denen, calcular n,
1
, |n|
1
, ||
1
, el ngulo 0 que forman
n y ; y d (n, ) = |n |
1
, donde ||
1
es la norma asociada al producto escalar ,
1
.
i) n(t) = t
2
, (t) = t
3
, t [1, 1] . ii) n(t) = t, (t) = c
|
, t [1, 1] .
iii) n(t) = sen(/t) , (t) = cos (:t) , t [1, 1] , :, / Z
+
.
12. Sean = [1, 1] [1, 1] R
2
. Se denota con C () al espacio vectorial de funciones continuas en . Un
producto escalar , en C () se dene como
), q =
_
1
1
_
1
1
) (r, j) q (r, j) drdj \), q C().
Pruebe que la funcin , denida en C() es un producto escalar.
La norma de ) C () asociada a este producto escalar se dene como |)| =
_
_

[) (r, j)[
2
drdj
_1
2
.
Calcule ), q , |)| , |q| , el ngulo 0 que forman ) y q, si )(r, j) = sen((r + j)), q(r, j) = r + j,
(r, j) .
13. Sea = [1, 1] [1, 1] R
2
. Se designa con C
1
() al espacio de funciones reales que poseen derivadas
parciales primeras continuas en . En C
1
() se dene la funcin real ,
1,2
como a continuacin se indica:
), q
1,2
=
_

_
)(r, j)q(r, j) +
0)
0r
(r, j)
0q
0r
(r, j) +
0)
0j
(r, j)
0q
0j
(r, j)
_
drdj \), q C
1
().
a) Muestre que ,
1,2
es un producto escalar en C
1
(). Este producto escalar se escribe en forma abreviada
como ), q
1,2
=
_

()q +\) \q) \), q C

1
() y la norma asociada a este producto escalar se escribe
como |)|
1,2
=
_
_

_
)
2
+[\)[
2
__1
2
\) C
1
().
b) Calcule ), q
1,2
, |)|
1,2
, |q|
1,2
y el ngulo 0 que forman ) y q, siendo ), q las funciones que se denen
a continuacin: )(r, j) = r
2
j
2
, q(r, j) = rj
2
(r, j) .
c) Proceda como en b) con las funciones ) , q siguientes: )(r, j) = r
2
rj +j
2
, q(r, j) = 4r
2
3r + 5j,
(r, j) .
14. Sea = [0, 1] [1, 1] R
2
. En C
1
() se dene la funcin real [, ]
1,2
como a continuacin se indica:
[), q]
1,2
=
_

_
)(r, j)q(r, j) +
0)
0r
(r, j)
0q
0j
(r, j)
_
drdj \), q C
1
().
Es [, ]
1,2
un producto escalar en C
1
()? Justique su respuesta.
15. Sean \ un espacio provisto del producto escalar , y norma asociada | |, y r
1
, , r
n
un conjunto
ortogonal de \ , demuestre el teorema de Pitgoras: [[

n
I=1
r
I
[[
2
=

n
I=1
| r
I
|
2
.
16. Sea '
nn
[R]. Se dice que es una matriz simtrica denida positiva si =
T
, y,

n
T

n 0
\

n R
n
con

n ,= 0. Se dene la funcin [, ] de R
n
R
n
en R como sigue: [

n ,

] =

n
T

n ,

R
n
. Pruebe que la funcin [, ] es un producto escalar en R
n
.
1.4. MTODO DE ORTOGONALIZACIN DE GRAM-SCHMIDT 17
1.4. Mtodo de ortogonalizacin de Gram-Schmidt
Sea \ un espacio vectorial real de dimensin nita : provisto del producto escalar , , 1 =
1
, . . .
n

una base ordenada de \. A partir de esta base se puede construir otra, digamos

1 = n
1
, . . . , n
n
tal que
|n
I
| = 1 i = 1, . . . , :, n
I
l n

para i ,= ,, es decir 1 es una base ortogonal. Para comprender mejor el proceso de

costruccin de esta base, consideramos primeramente \ = R
2
.
Sean

n ,

R
2
no nulos tales que 1 =

n ,

es base de R
2
. Determinemos ` R y

c R
2
tales que
_

c l

n ,
`

n +

c =

.
En la gura se muestran estos dos vectores as como los vectores `

n colineal con

n y

c .
Multipliquemos escalarmente por

n a la igualdad `

n +

c =

. tenemos
(`

n `

c )

n =

n .
Tomando en consideracin las propiedades del producto escalar, bsicamente la propiedad distributiva y el hecho
que

n l

c que equivale a tener

n

c = 0, resulta
`

n +

n =

n =`|

n |
2
=

n .
Como

n ,= 0, |

n | , = 0 luego ` =

n

n |
2
.
Este nmero real se conoce como coeciente de Fourier.
Determinemos

c . De la igualdad `

n +

c =

se deduce

c =

n =

n |
2

n .
Ponemos

c
1
=

n ,

c
2
=

c . Resulta que

1 =

c
1
,

c
2
es una base ortogonal de R
2
. Su vericacin es inmediata.
Consideramos ahora \ = R
3
. Sean

n ,

n R
3
no nulos tales que 1 =

n ,

n es base de R
3
.
Por la parte previa,

c
1
=

n ,

c
2
=



n

|

n |
2

n son ortogonales:

c
1
l

c
2
. Construyamos un vector

c
3
tal
que

c
1
l

n
3
,

c
2
l

n
3
, consecuentemente

c
1
,

c
2
,

c
3
una base ortogonal.
Para el efecto, determinemos c, , R y

c
3
R
3
tales que
_

n =

c
3
+c

c
1
+,

c
2

c
3
l

c
1
,

c
3
l

c
2
Multiplicando escalarmente por

c
1
obtenemos

c
1
=

c
3

c
1
+c

c
1

c
2
+,

c
2

c
2
= , |

c
2
|
2
con lo que , =

n

c
2
|

c
2
|
2
.
Por lo tanto, de la igualdad

n =

c
3
+c

c
1
+,

c
2
se obtiene

c
3
=

n c

c
1
,

c
2
=

n

n

c
1
|

c
1
|
2

c
1

c
2
|

c
2
|
2

c
2
.
Los nmeros reales c, , se llaman coecientes de Fourier. En la gura se muestra los vectores

n ,

,

n as como
18 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
los vectores

c
1
,

c
2
,

c
3
.
Se verica inmediatamente que

c
1
,

c
2
,

c
3
es una base ortogonal. Note el procedimiento de construccin de
esta base:

c
1
=

n

c
2
=



c
1

c
1
|
2

c
1

c
3
=

n

c
1

n
|

c
1
|
2

c
1

c
2
|

c
2
|
2

c
2
.
De modo que nos hace pensar que podemos extender el procedimiento al caso \ = R
n
y

1
, . . . ,

n
una base
de R
n
. Obtenemos una base ortogonal

c
1
, . . . ,

c
n
, donde

c
1
,

c
2
, . . . ,

c
n
estn denidos como sigue:

c
1
=

c
2
=

c
1

2
|

c
1
|
2

c
1

c
3
=

c
1

3
|

c
1
|
2

c
1

c
2

3
|

c
2
|
2

c
2
.
.
.

c
n
=

n1

=1

n
|

c

|
2

c

.
Esta construccin se conoce como el mtodo de ortogonalizacin de Gram-Schmidt.
1.5. Mnimos cuadrados
Sean \ = C ([a, /]) el espacio de funciones continuas provisto del producto escalar
), q =
_
b
o
)(r)q(r)dr \), q C ([a, /]) .
Sea K
n
[R] el espacio de polinomios de grado _ :. Se tiene dimK
n
[R] = :+1 y K
n
[R] es un subespacio cerrado
de C ([a, /]). Sea ,
0
, . . . , ,
n
una base de K
n
[R] . Entonces
K
n
[R] =
_
n

I=o
c
I
,
I
[ c
I
R, i = 0, . . . , :
_
.
Sea ) C ([a, /]) . Existe ^ q K
n
[R] tal que
|) ^ q| = Min
2K
m
[R]
|) q| , ) ^ q, n = 0 \n K
n
[R] .
Note que ^ q K
n
[R] ==^ a
0
, . . . , ^ a
n
R tales que ^ q =
n

I=o
^ a
I
,
I
. Adems,
|) ^ q|
2
= Min
2K
m
[R]
|) q|
2
,
1.5. MNIMOS CUADRADOS 19
) ^ q, n = 0 \n K
n
[R] ==
_
b
o
_
)(r)
n

I=o
^ a
I
,
I
(r)
_
n(r)dr = 0 \a
0
, . . . , a
n
R.
Poniendo sucesivamente n = ,
I
i = 1, , : se obtiene el sistema de ecuaciones siguiente:
_
b
o
)(r),

(r)dr
n

I=o
^ a
I
_
b
o
,
I
(r),

(r)dr = 0 , = 0, . . . , :,
o en forma explcita dicho sistema tiene la forma
_

_
n

I=o
^ a
I
_
b
o
,
I
(r),
0
(r)dr =
_
b
o
)(r),
0
(r)dr,
.
.
.
n

I=o
^ a
I
_
b
o
,
I
(r),
n
(r)dr =
_
b
o
)(r),
n
(r)dr,
que en forma matricial se expresa como

r =

/ , donde = (a
I
) es la matriz denida como a
I
=
_
b
o
,
I
(r),

(r)dr,

/ = (/
0
, . . . , /
n
) con /

=
_
b
o
)(r),

(r)dr , = 0, . . . , :,

r
T
= (^ a
0
, . . . , ^ a
n
) es el vector
de las incgnitas..La matriz es simtrica, denida positiva por lo tanto invertible.
1.5.1. Polinomios trigonomtricos
Sean 1 0, a
0
, a
|
, /
|
R con / = 1, 2, . Las series de funciones de la forma
a
0
2
+
1

|=1
_
a
|
cos
_
/r
1
_
+/
|
sen
_
/r
1
__
se llaman series de Fourier y aparecen en algunas aplicaciones de la matemtica tales como el procesamiento de la
seal y de imgenes, en la resolucin de algunas clases de ecuaciones en derivadas parciales. Nos interesamos en la
aproximacin de esta clase de series de funciones. Para ello primeramente introducimos algunas notaciones.
Sean 1 0. Se denota con C ([1, 1]) al espacio vectorial de las funciones continuas en [1, 1] . Proveemos
a C ([1, 1]) del producto escalar notado , y denido como (vase en el apndice los espacios con producto
interior)
n, =
_
J
J
n(r) (r) dr \n, C ([1, 1]) ,
y la norma asociada a este producto escalar se nota | | y se dene como
| n |=
_
_
J
J
[ n(r) [
2
dr
_
1
2
\n C ([1, 1]) .
Denicin 14
Sean 1 0 y n una funcin real denida en todo R. Se dice que n es peridica de perodo 21 si y solo si se
verica
n(r + 21) = n(r) \r R.
En la gura siguiente se muestra la grca de una funcin n peridica de perodo 21.
Observe que para r = 1 se tiene n(1) = n(1) .
20 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
Sea n C ([1, 1]) . A la funcin n lo extendemos a todo R por periodicidad y por abuso de lenguaje lo notamos
an con n, es decir que
n(r + 21) = n(r) \r R.
Denicin 15
Sea n C ([1, 1]) .
i) Se dice que n es par si y solo si n verica la propiedad n(r) = n(r) \r [1, 1] .
ii) Se dice que n es impar si y solo si verica la propiedad n(r) = n(r) \r [1, 1] .
En la izquierda de la gura siguiente se muestra la grca de una funcin par; y, a la derecha est representada la
grca de una funcin impar.
Sea n C ([1, 1]). Se verica inmediatamente las siguientes propiedades.
i) Si n es impar,
_
J
J
n(r) dr = 0.
ii) Si n es par,
_
J
J
n(r) dr = 2
_
J
0
n(r) dr.
iii) La funcin ) denida como ) (r) =
1
2
(n(r) +n(r)) r [1, 1] es par.
iv) La funcin q denida como q (r) =
1
2
(n(r) n(r)) r [1, 1] es impar.
Adems n(r) = ) (r) +q (r) \r [1, 1] .
Los siguientes conjuntos de funciones son muy importantes en el desarrollo en series de Fourier de funciones reales
peridicas de perodo 21 y continuas a trozos en el intervalo [1, 1] . Sean ', los subconjuntos de C ([1, 1])
denidos como ' = ,
|
[ / N , = c
|
[ / Z
+
, donde
,
0
(r) = 1 r [1, 1] ,
,
|
(r) = cos
_
/r
1
_
r [1, 1] , / = 1, 2, . . . ,
c
|
(r) = sen
_
/r
1
_
r [1, 1] , / = 1, 2, . . .
Se tiene
i) ' es un conjunto ortogonal:

, ,
|
_
=
_
J
J
,

(r),
|
(r)dr =
_
J
J
cos
_
,r
1
_
cos
_
/r
1
_
dr = 0 ,, / = 0, 1, 2, , , ,= /.
ii) es un conjunto ortogonal:

, c
|
_
=
_
J
J
c

(r)c
|
(r)dr =
_
J
J
sen
_
,r
1
_
sen
_
/r
1
_
dr = 0 ,, / = 1, 2, , , ,= /.
1.5. MNIMOS CUADRADOS 21
iii) ' l :

, c
|
_
=
_
J
J
,

(r)c
|
(r)dr =
_
J
J
cos
_
,r
1
_
sen
_
/r
1
_
dr = 0
_
, = 0, 1, 2, ,
/ = 1, 2, ,
.
Sea ) C ([1, 1]) . Supongamos que ) se prolonga por periodicidad a todo R con perido 21, esto es,
) (r + 21) = ) (r) \r R.
Admitimos que la funcin ) se representa como una serie de Fourier, es decir que se verica
) (r) =
a
0
2
+
1

|=1
_
a
|
cos
_
/r
1
_
+/
|
sen
_
/r
1
__
r [1, 1] ,
donde a
0
, a
|
, /
|
R / = 1, 2, . . . , son los coecientes de Fourier denidos a continuacin:
a
0
=
1
1
_
J
J
) (r) dr,
a
|
=
1
1
_
J
J
) (r) cos
_
/r
1
_
dr / = 1, 2, . . . ,
/
|
=
1
1
_
J
J
) (r) sen
_
/r
1
_
dr / = 1, 2, . . . .
Denicin 16
Sean : Z
+
. La funcin Q
n
C ([1, 1]) denida como
Q
n
(r) =
a
0
2
+
n

|=1
_
a
|
cos
_
/r
1
_
+/
|
sen
_
/r
1
__
r [1, 1]
se llama polinomio trigonomtrico, donde a
0
, a
|
, /
|
R / = 1, . . . , :.
Sean
n
0
(r) =
a
0
2
,
n
|
(r) = a
|
cos
_
/r
1
_
+/
|
sen
_
/r
1
_
r [1, 1] .
A las funciones n
0
, n
|
/ = 1, . . . , : se les denomina armnicos de Q
n
.
En el caso en que a
0
, a
|
, /
|
son los coecientes de Fourier, el polinomio trogonomtrico Q
n
se le denomina polinomio
trogonomtrico de Fourier.
En lo que sigue, nos interesamos en los polinomios trigonomtricos de Fourier siguientes:
i) Si ) C ([1, 1]) es par,
Q
n
(r) =
a
0
2
+
n

|=1
a
|
cos
_
/r
1
_
r [1, 1] ,
donde
a
|
=
2
1
_
J
0
) (r) cos
_
/r
1
_
dr / = 0, 1, . . . , :.
ii) Si ) C ([1, 1]) es impar,
Q
n
(r) =
n

|=1
/
|
sen
_
/r
1
_
r [1, 1] ,
donde
/
|
=
2
1
_
J
0
) (r) sen
_
/r
1
_
dr / = 1, . . . , :.
22 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
iii) Si ) ([1, 1]) es arbitraria
Q
n
(r) =
a
0
2
+
n

|=1
_
a
|
cos
_
/r
1
_
+/
|
sen
_
/r
1
__
r [1, 1]
y a
0
, a
|
, /
|
/ = 1, . . . , : los coecientes de Fourier arriba denidos.
Teorema 17
Sean ) C ([1, 1]) , : Z
+
. Se denen
Q
n
(r) =
n

|=0
a
|
cos
_
/r
1
_
r [1, 1] ,
1 (a
0
, . . . , a
n
) = |) Q
n
|
2
=
_
J
J
_
) (r)
_
a
0
+a
1
cos
_
r
1
_
+ +a
n
cos
_
:r
1
___
2
dr.
Existen a
0
, . . . , a
n
R tales que
1 (a
0
, . . . , a
n
) = mn
(o
0
,...,o
m
)2R
m+1
1 (a
0
, . . . , a
n
) ,
y a

, = 1, . . . , : los coecientes de Fourier denidos como

a
0
=
1
21
_
J
J
) (r) dr,
a

=
1
1
_
J
J
) (r) cos
_
,r
1
_
dr , = 1, . . . , :.
Demostracin.
Procediendo en forma similar al de mnimos cuadrados con polinomios de grado _ :, se obtiene un sistema de
ecuaciones de la forma
) ^ q, ,
|
= 0 ==
_
b
o
_
)(r)
n

I=o
^ a
I
cos
_
,r
1
__
cos
_
/r
1
_
dr = 0 \a
0
, . . . , a
n
R,
donde ,
|
(r) = cos
_
/r
1
_
/ = 1, , :. Luego el sistema de ecuaciones siguiente:
_
b
o
)(r) cos
_
,r
1
_
dr
n

I=o
^ a
I
_
b
o
cos
_
,r
1
_
cos
_
/r
1
_
dr = 0 , = 0, . . . , :.
Como el conjunto de funciones
_
,

[ , = 0, 1, . . . , :
_
con ,
0
(r) = 1, ,

(r) = cos
_
,r
1
_
r [1, 1] ,
, = 1, . . . , :, es un conjunto ortogonal, entonces

,
|
, ,

_
= 0 si , ,= / y

,
|
, ,

_
= |,
|
|
2
si , = /. Adems
|,
0
|
2
= 21, y
_
_
,

_
_
2
= 1 , = 1, . . . , :. Por lo tanto, el sistema de ecuaciones precedente se reduce al siguiente:
para , = 0,
21a
0
=
_
J
J
) (r) dr =a
0
=
1
21
_
J
J
) (r) dr,
para , = 1,
a
1
1 =
_
J
J
) (r) cos
_
r
1
_
dr =a
1
=
1
1
_
J
J
) (r) cos
_
r
1
_
dr,
as sucesivamente, para , = : obtenemos
a
n
=
1
1
_
J
J
) (r) cos
_
:r
1
_
dr.
Claramente, los a
|
/ = 0, 1, . . . , : son los coecientes de Fourier, por lo tanto Q
n
es el polinomio trigonomtrico
de Fourier de cosenos.
1.5. MNIMOS CUADRADOS 23
Sea ) C ([1, 1]), : Z
+
y consideramos el conjunto de funciones ' = c
|
[ / = 1, . . . , : con
c
|
(r) = sen
_
/r
1
_
r [1, 1] , / = 1, . . . , :.
Este conjunto ' es ortogonal. Se denen
Q
n
(r) =
n

|=1
/
|
sen
_
/r
1
_
r [1, 1] ,
1 (/
1
, . . . , /
n
) = |) Q
n
|
2
=
_
J
J
() (r) Q
n
(r))
2
dr =
_
J
J
_
) (r)
n

|=1
/
|
sen
_
/r
1
_
_
2
dr
Procediendo en forma similar a la prueba del teorema precedente, se obtienen los coecientes de Fourier

/

, =
1, . . . , : denidos como

/

=
1
1
_
J
J
) (r) sen
_
,r
1
_
dr, y
1
_

/
1
, . . . ,

/
n
_
= mn
(b
1
,...,b
m
)2R
m
1 (/
1
, . . . , /
n
) .
Ms an, si combinamos los dos resultados precedentes con ) C ([1, 1]) y se denen
Q
n
(r) =
n

|=0
a
|
cos
_
/r
1
_
+
n

|=1
/
|
sen
_
/r
1
_
r [1, 1] ,
1 (a
0
, . . . , a
n
, /
1
, . . . , /
n
) = |) Q
n
|
2
=
_
J
J
() (r) Q
n
(r))
2
dr
resulta que los coecientes de Fourier
a
0
=
1
21
_
J
J
) (r) dr, a
|
=
1
1
_
J
J
) (r) cos
_
/r
1
_
dr,

/
|
=
1
1
_
J
J
) (r) sen
_
/r
1
_
dr / = 1, 2, . . . , :
minimizan el funcional 1 (a
0
, . . . , a
n
, /
1
, . . . , /
n
) .
Teorema 18 (Igualdad de Bessel)
Sean ' = ,
|
[ / = 0, 1, . . . , : , donde ,
|
(r) = cos
_
/r
1
_
r [1, 1] , / = 0, 1, . . . , :, y ) C ([1, 1]) .
Entonces, para cada : Z
+
se tiene
_
_
_
_
_
)
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
= |)|
2

|=0
[), ,
|
[
2
|,
|
|
2
.
Demostracin.
El conjunto ' es ortogonal y de la denicin de la norma asociada al producto escalar, se tiene
_
_
_
_
_
)
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
=
_
)
n

|=0
), ,
|

|,
|
|
2
,
|
, )
n

|=0

), ,

_
_
_
,

_
_
2
,

_
y de la linealidad del producto escalar respecto de cada variable (vase el apndice, espacios con producto interior)
resulta
_
_
_
_
_
)
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
= ), ) 2
_
),
n

|=0
), ,
|

|,
|
|
2
,
|
_
+
_
n

|=0
), ,
|

|,
|
|
2
,
|
,
n

=1

), ,

_
_
_
,

_
_
2
,

_
= |)|
2
2
n

|=0
), ,
|

|,
|
|
2
), ,
|
+
n

|=0
n

=1
), ,
|

|,
|
|
2

), ,

_
_
_
,

_
_
2

,
|
, ,

_
.
Por hiptesis

,
|
, ,

_
= 0 si / ,= , y ,
|
, ,
|
= |,
|
|
2
, entonces
n

|=0
n

=1
), ,
|

|,
|
|
2

), ,

_
_
_
,

_
_
2

,
|
, ,

_
=
n

|=0
_
), ,
|

|,
|
|
2
_
2
|,
|
|
2
=
n

|=0
[), ,
|
[
2
|,
|
|
2
.
24 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
Por lo tanto,
_
_
_
_
_
)
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
= |)|
2
2
n

|=0
[), ,
|
[
2
|,
|
|
2
+
n

|=0
[), ,
|
[
2
|,
|
|
2
= |)|
2

|=0
[), ,
|
[
2
|,
|
|
2
.
Observaciones
1. Puesto que
_
_
_
_
_
)
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
_ 0 se sigue que |)|
2

|=0
[), ,
|
[
2
|,
|
|
2
_ 0 =
n

|=0
[), ,
|
[
2
|,
|
|
2
_ |)|
2
(desigualdad de Bessel).
Por el teorema de Pitgoras, se tiene
_
_
_
_
_
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
=
n

|=0
[), ,
|
[
2
|,
|
|
4
|,
|
|
2
=
n

|=0
[), ,
|
[
2
|,
|
|
2
.
Por lo tanto, la igualdad y desigualdad de Bessel se escriben como sigue:
_
_
_
_
_
)
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
= |)|
2

_
_
_
_
_
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
,
n

|=0
[), ,
|
[
2
|,
|
|
2
=
_
_
_
_
_
n

|=0
), ,
|

|,
|
|
2
,
|
_
_
_
_
_
2
_ |)|
2
.
Note que
Q
n
(r) =
n

|=0
a
|
cos
_
/r
1
_
dr =
n

|=0
), ,
|

|,
|
|
2
,
|
(r) r [1, 1] ,
el polinomio trigonomtrico de Fourier de senos, con a
|
/ = 1, . . . , : los coecientes de Fourier.
2. En forma similar a la precedente se obtiene con el conjunto ortogonal = c
|
[ / = 1, . . . , : con
c
|
(r) = sen
_
/r
1
_
r [1, 1] , / = 1, . . . , :. Se tiene
_
_
_
_
_
)
n

|=1
), c
|

|c
|
|
2
c
|
_
_
_
_
_
2
= |)|
2

|=1
[), c
|
[
2
|c
|
|
2
.
En este caso
n

|=1
), c
|

|c
|
|
2
c
|
=
n

|=1

/
|
sen
_
/r
1
_
= Q
n
(r) ,
el polinomio trigonomtrico de Fourier de senos, con

/
|
/ = 1, . . . , : los coecientes de Fourier.
Ejercicios 19
1. Para la funcin ) denida en [0, 1] que en cada item se propone, hallar el polinomio 1 del tipo indicado que
mejor se aproxima en mnimos cuadrados a la funcin ).
a) )(r) = r
2
, y 1(r) = a +/r r [0, 1].
b) )(r) = r
3
+r, y 1(r) = a +/r +cr
2
r [0, 1].
c) )(r) = c
r
, y 1(r) = a +/r r [0, 1].
d) )(r) = c
r
, y 1(r) = a +/r +cr
2
r [0, 1].
e) )(r) = senr, y 1(r) = a +/r r [0, 1].
f ) )(r) =
_
r + 1, y 1(r) = a +/r +cr
2
r [0, 1] .
1.5. MNIMOS CUADRADOS 25
1.5.2. Mnimos cuadrados discretos
En muchas observaciones cientcas se deben determinar los valores de ciertas constantes a
1
, . . . , a
n
. Sin embargo,
determinar o medir dichas constantes resulta muy difcil y por lo general imposible. En tales casos, el mtodo
indirecto siguiente es aplicado: en vez de observar los a
I
resulta ms fcil tomar una muestra de una cantidad
medible j la cual depende de los a
I
y de las mediciones experimentales que denotamos por r, esto es,
j = ) (r, a
1
, . . . , a
n
) .
Con el propsito de determinar a
I
, se realizan experimentos bajo : condiciones diferentes r
1
, . . . , r
n
, obtenindose
: resultados diferentes: j
|
= ) (r
|
, a
1
, . . . , a
n
) / = 1, . . . , :. En general, al menos : _ : experimentos deben
ejecutarse con el propsito de determinar a
I
i = 1, . . . , :. Adems, estos valores a
I
deben satisfacer la relacin
precedente.
Si : :, j
|
= ) (r
|
, a
1
, . . . , a
n
) / = 1, . . . , : forman un sistema sobredeterminado para los parmetros
desconocidos a
1
, . . . , a
n
que usualmente no tiene solucin porque las cantidades observadas j
I
estn perturbadas
por errores de medicin. Consecuentemente, en vez de encontrar una solucin exacta de dicho sistema, el problema
se traduce en encontrar una mejor aproximacin posible aplicando la conocida tcnica de mnimos cuadrados. Este
mtodo fue publicado por primera vez por Legendre en 1805. Esta clase de problemas se los conoce como ajuste
de datos.
La funcin ) es conocida. Esta funcin se elige siguiendo varios criterios:
1. Se tiene un modelo matemtico gobernado, por ejemplo, por ecuaciones diferenciales ordinarias y que tiene
como solucin la funcin ) que depende de : parmetros a
I
i = 1, . . . , : que deben determinarse de la
informacin experimental existente.o = (r
I
, j
I
) [ i = 1, . . . , : .
2. En base al conjunto de datos experimentales o = (r
I
, j
I
) [ i = 1, . . . , : representados grcamente y por
alguna informacin suplementaria se intuye que siguen un comportamiento del tipo j = ) (r, a
1
, . . . , a
n
) .
3. Dado el conjunto de datos o = (r
I
, j
I
) [ i = 1, . . . , : se ja directamente la funcin ) as como los parmetros
a determinar a
1
, . . . , a
n
, esto es j = ) (r, a
1
, . . . , a
n
) .
En todos los casos suponemos que
j
|
= ) (r
|
, a
1
, . . . , a
n
) +r
|
/ = 1, . . . , :,
donde cada r
|
es la perturbacin del dato experimentas (r
|
, j
|
) . Esta perturbacin depende de los parmetros
a
1
, . . . , a
n
que deben determinarse. Escribimos
r
|
(a
1
, . . . , a
n
) = j
|
) (r
|
, a
1
, . . . , a
n
) / = 1, . . . , :.
El mtodo de mnimos cuadrados consiste en elegir la mejor opcin de los parmetros a
1
, . . . , a
n
en el sentido
que precisamos a continuacin: sea R
n
abierto, se dene la funcin 1 de en R como sigue:
1 (a
1
, . . . , a
n
) =
n

|=1
r
2
|
(a
1
, . . . , a
n
) =
n

|=1
(j
|
) (r
|
, a
1
, . . . , a
n
))
2
(a
1
, . . . , a
n
) ,
con lo que 1 (a
1
, . . . , a
n
) _ 0 \(a
1
, . . . , a
n
) ; y se considera el problema siguiente:
hallar (a
1
, . . . , a
n
) tal que 1 (a
1
, . . . , a
n
) = mn
(o
1
,...,o
n
)2
1 (a
1
, . . . , a
n
) .
As, la mejor eleccin de los parmetros a
1
, . . . , a
n
es la solucin del problema de minimizacin:
mn
(o
1
,...,o
n
)2
1 (a
1
, . . . , a
n
) .
En la generalidad de los casos se supone que la funcin ) es de clase C
1
en , es decir que
0)
0a
I
i = 1, . . . , :,
son continuas en .
Para hallar un punto (a
1
, . . . , a
n
) en el que la funcin 1 alcanza su mnimo, aplicamos las condiciones
necesarias de extremo, esto es:
_1 (a
1
, . . . , a
n
) =

0 =
_

_
01
0a
1
(a
1
, . . . , a
n
) = 0,
.
.
.
01
0a
n
(a
1
, . . . , a
n
) = 0,
26 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
con lo que obtenemos un sistema de ecuaciones lineal o no dependiendo exclusivamente de la funcin ). La
solucin de dicho sistema nos provee de un punto crtico (a
1
, . . . , a
n
) que puede ser en el que 1 alcanza su
mnimo.
Puesto que para cada i = 1, . . . , :, se tiene
01
0a
I
(a
1
, . . . , a
n
) =
n

|=1
2 (j
|
) (r
|
, a
1
, . . . , a
n
))
_

0)
0a
I
(r
|
, a
1
, . . . , a
n
)
_
= 2
n

|=1
_
j
|
0)
0a
I
(r
|
, a
1
, . . . , a
n
)
0)
0a
I
(r
|
, a
1
, . . . , a
n
) ) (r
|
, a
1
, . . . , a
n
)
_
,
se sigue que el sistema de ecuaciones precedente est denido como sigue:
_

_
n

|=1
_
j
|
0)
0a
1
(r
|
, a
1
, . . . , a
n
)
0)
0a
1
(r
|
, a
1
, . . . , a
n
) ) (r
|
, a
1
, . . . , a
n
)
_
= 0
.
.
.
n

|=1
_
j
|
0)
0a
n
(r
|
, a
1
, . . . , a
n
)
0)
0a
n
(r
|
, a
1
, . . . , a
n
) ) (r
|
, a
1
, . . . , a
n
)
_
= 0.
En el caso en que la funcin ) es lineal respecto de las variables (parmetros a determinar) a
1
, . . . , a
n
, el
sistema de ecuaciones precedente es lineal. Dos ejemplos de funciones lineales nos proporcionan los polinomios
de grado : :
) (r, a
0
, . . . , a
n
) = a
0
+a
1
r + +a
n
r
n
r R, (a
0
, . . . , a
n
) R
n+1
,
y los polinomios trigonomtricos:
) (r, a
1
, . . . , a
n
) =
n

|=1
a
|
sen
_
/r
1
_
r [1, 1] ,
) (r, a
0
, . . . , a
n
) =
a
0
2
+
n

|=1
a
|
cos
_
/r
1
_
r [1, 1] ,
) (r, a
0
, a
1
, . . . , a
n
, /
1
, . . . , /
n
) =
a
0
2
+
n

|=1
_
a
|
cos
_
/r
1
_
+/
|
sen
_
/r
1
__
,
donde 1 0, a
0
, . . . , a
n
, /
1
, . . . , /
n
son los coecientes de Fourier.
En el caso de los polinomios trigonomtricos, el clculo aproximado de los coecientes de Fourier ya fue
establecido en el captulo de la aproximacin numrica de las series de funciones. En este captulo mostraremos
que los coecientes que guran en los polinomios trigonomtricos son efectivamente los coecientes de Fourier.
En el caso de los polinomios de grado : focalizaremos nuestra atencin a los polinomios de grado 1, 2 y 3; esto es,
) (r, a, /) = a +/r r R,
) (r, a, /, c) = a +/r +cr
2
r R,
) (r, a, /, c, d) = a +/r +cr
2
+dr
3
r R.
En el caso en que ) no es lineal respecto de las variables a
1
, . . . , a
n
, el sistema de ecuaciones a resolver es no lineal.
En la generalidad de los casos se tiene ) funcin de clase C
2
en , y dicho sistema se resuelve en forma aproximada
con el mtodo de Newton, la linealizacin del sistema de ecuaciones se resuelve mediante el mtodo de eliminacin
gaussiana. En pocos casos se conocen de mtodos particulares para resolver dicho sistema cuando dependen de 1,
2, 3 parmetros. Ms adelante trataremos algunos de estos ejemplos que tienen muchas aplicaciones.
Los problemas de mnimos cuadrados que acabamos de describir se extienden a funciones en dos o ms variables,
as a polinomios de grado 1, 2, . . . , en dos variables independientes r, j como los que se describen a continuacin:
j (r, j) = a +/r +cj (r, j) R
2
,
j (r, j) = a +/r +cj +drj (r, j) R
2
,
j (r, j) = a +/r +cj +drj +cr
2
+dj
2
(r, j) R
2
,
que requieren, para el clculo de las constantes que guran en cada clase de polinomios, de un conjunto de datos
o =
_
(r
|
, j
|
, .
|
) R
3
[ / = 1, . . . , :
_
. Otra clase de funciones son las conocidas funciones lineales y anes en :
variables del tipo
. = ) (r
1
, . . . , r
n
) =
n

|=1
a
|
r
n
(r
1
, . . . , r
n
) R
n
1.5. MNIMOS CUADRADOS 27
y
. = ) (r
1
, . . . , r
n
) = a
0
+
n

|=1
a
|
r
n
(r
1
, . . . , r
n
) R
n
,
que requieren, para el clculo de las constantes que guran en cada una de esta clase de funciones, de un conjunto
de datos
o =
_

r
|
=
_
r
(|)
1
, . . . , r
(|)
n
, .
|
_
R
n+1
[ / = 1, . . . , :
_
.
Comenzaremos con la resolucin de los sistemas de ecuaciones lineales en mnimos cuadrados. Estos sistemas de
ecuaciones provienen, en general, de problemas de ajuste de datos lineales. A continuacin tratamos el ajuste de
datos de datos polinomial. Luego tratamos el ajuste de datos de funciones anes del tipo
) (r
1
, . . . , r
n
) = a
0
+
n

|=1
a
|
r
n
(r
1
, . . . , r
n
) R
n
.
Concluimos con ejemplos de problemas de ajuste de datos de funciones no lineales.
1.5.3. Soluciones de sistemas de ecuaciones lineales en mnimos cuadrados
Sean :, : Z
+
con : _ :, = (a
I
) '
nn
[R] no nula y de rango () = :,

/
T
= (/
1
, ..., /
n
) R
n
.
Consideramos el problema siguiente:
hallar

r R
n
solucin del sistema de ecuaciones lineales

r =

/ .
Estos sistemas de ecuaciones se caracterizan por tener ms ecuaciones que incgnitas. Estos sistemas, como hemos
visto, surgen en la determinacin de ciertos parmetros r
1
, ..., r
n
que deben calcularse a partir de una informacin
experimental y que corresponden a un modelo del tipo lineal.
Ponemos = [
1
, ...,
n
], donde

es la j-sima columna de y sea

\ = 1(
1
, ...,
n
) =
_
_
_
n

=1
c

[ c

R, , = 1, ..., :
_
_
_
,
el espacio constituido por todas las combinaciones lineales de
1
, ...,
n
. Por denicin, la dimensin de \ es el
rango de y que por hiptesis, () = :. Luego dim\ = :. Entonces, el sistema de ecuaciones

r =

/
tiene solucin si y solo si

/ \. Esta situacin se presenta en muy pocos casos. En la prctica, los sistemas de
ecuaciones arriba propuesto, en general, no tienen solucin.
Se dene

r (

r ) =

/ ,

r R
n
. El vector

r (

r ) se llama residuo. Proponemos un problema alterno

denominado problema en mnimos cuadrados (P
o
) que se indica a continuacin:
hallar, si existe, r R
n
tal que |

r ( r)|
2
_ |

r (

r )|
2
\

r R
n
,
o lo que es lo mismo
_
_
_ r

/
_
_
_
2
_
_
_
_

/
_
_
_ \

r R
n
,
que a su vez es equivalente al siguiente:
hallar, si existe, r R
n
tal que
_
_
_ r

/
_
_
_
2
= Min
!
r 2R
n
_
_
_

/
_
_
_
2
,
donde || es la norma eucldea en R
n
.
Este problema lo enfrentamos de dos maneras. En la primera, probamos la existencia de r R
n
mediante mtodos
del anlisis matemtico como minimizacin de un cierto funcional denido en R
n
. En la segunda, probamos la
existencia de r R
n
mediante mtodos netamente del lgebra lineal utilizando la ortogonalidad.
Proyeccin ortogonal.
1. Ponemos = [
1
, ...,
n
], con

la j-sima columna de la matriz . Sea

r
T
= (r
1
, ..., r
n
) R
n
. Entonces

r =
n

=1
r

\.
28 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
El ortogonal de \, por denicin, es el conjunto notado \
?
y denido como sigue:
\
?
=

j R
n
[

j ,

r = 0 \

r R
n
=
_

j R
n
[ (

r )
T

j = 0 \

r R
n
_
=
_

j R
n
[

r
T

T
j = 0 \

r R
n
_
.
Luego

j \
?
=

j ker
_

T
_
=
_

j R
n
[
T
j = 0
_
.
Se tiene la siguiente suma directa R
n
= \ \
?
, y de esta, para cada

/ R
n
, existe un nico r R
n
y
j \
?
tales que
_
r l j,

/ = r + j,
de donde j =

/ r. En la gura siguiente se ilustran el subespacio
\ y su ortogonal \
?
, el vector r \ y el vector ortogonal

j \
?
.
Sea

r R
n
. Entonces

r \ y en consecuencia
(

r )
T
j = 0 =(

r )
T
_

/ r
_
= 0 =

r
T

T
_

/ r
_
= 0 =

r
T
_

/
T
r
_
= 0,
de donde

T
r =
T

/ .
Resulta que | j|
2
_ |

j |
2
\

j \
?
, o bien
_
_
_

/ r
_
_
_
2
= Min
!
r 2R
n
_
_
_

r
_
_
_
2
.
El resultado que acabamos de obtener se le conoce como proyeccin de un vector

/ R
n
con

/ , \, sobre el
subespacio cerrado \ de R
n
. El vector r R
n
se le conoce como solucin en mnimos cuadrados.
Observaciones
1. El sistema de ecuaciones

r =

/ , con :, : Z
+
, : _ :, = (a
I
) '
nn
[R] no nula y de rango () = :,

/
T
= (/
1
, ..., /
n
) R
n
, puede ser resuelto directamente aplicando el mtodo de factorizacin Q1 de Householder,
que se expone ms adelante.
2. Supngase que '
nn
[R] matriz invertible y consideremos el sistema de ecuaciones lineales

r =

/ , donde

/ R
n
dado, cuya solucin en minimos cuadrados es r =
_

_
1

/ . Como es invertible, se sabe que

T
es tambin invertible y en consecuencia existe
_

T
_
1
tal que
_

T
_
1

T
= 1. Luego
r =
_

_
1

/ =
1
_

T
_
1

/ =
1

/ ,
que muestra que la solucin en mnimos cuadrados coincide con la solucin del sistema de ecuaciones

r =

/ .
3. En la prctica, la solucin en mnimos cuadrados se calcula como sigue: del sistema de ecuaciones normal

r =
T

/ , se denen 1 =
T
,

c =
T

/ , con lo que dicho sistema se escribe como 1

r =

c , sistema
de ecuaciones lineales que puede ser resuelto mediante el mtodo de eliminacin gaussiana, de Choleski o de
factorizacin LU, dependiendo de las caractersticas de la matriz 1.
4. Sean :, : Z
+
con : _ :, \ = R
n
,

j
1
, . . . ,

j
n
R
n
tal que

j
1
, . . . ,

j
n
linealmente independiente,
\ =
_
n

I=1
r
I

j
I
[ r
I
R, i = 1, . . . , :
_
.
1.6. ORTOGONALIDAD. TEOREMA DE PITGORAS 29
Se tiene que \ es un subespacio de R
n
de dimensin :. Del resultado arriba establecido de la proyeccin de un
vector

/ R
n
con

/ , \, sobre el subespacio cerrado \, existe ^ r = (^ r
1
, . . . , ^ r
n
) R
n
tal que
_
_
_
_

/
n

I=1
r
I

j
I
_
_
_
_
2
= Min
!
r =(r
1
,...,r
m
)2R
m
_
_
_
_

/
n

I=1
r
I

j
I
_
_
_
_
2
.
Adems, se prueba que
_

/
n

I=1
r
I

j
I
,

n
_
= 0 \

n \.
En la gura siguiente se ilustra la solucin en mnimos cuadrados.
1.6. Ortogonalidad. Teorema de Pitgoras
En un espacio vectorial \ en el que se ha denido un producto escalar , , los conceptos geomtricos de
ortogonalidad o perpendicularidad as como el de ngulo entre vectores pueden denirse en trminos del producto
escalar. Esta es una propiedad que caracteriza a los espacios con producto interior que no lo tienen los espacios
normados con normas que no provienen de productos escalares.
Denicin 20
Sea \ un espacio con producto interior.
i) Sean n, \. Se dice que n es ortogonal o perpendicular a , que se nota n l , si y solo si n, = 0.
ii) Sean n \, o \ con o ,= O. Se dice que n es ortogonal a o, que se escribe n l o, si y solo si
n, = 0 \ o.
iii) Sean o, 1 dos subconjuntos no vacos de \ . Se dice que o es ortogonal a 1, que se nota o l o, si y solo si
n, = 0 \n o, \ 1.
iv) Sea o \ con o ,= O. Se dice que o es ortogonal si y solo si n, = 0 \n, o, n ,= .
v) Se dice que o es ortonormal si y solo si o es ortogonal, y |n|
2
= 1 \n o, .
Ejemplos
1. Sean

= (2, 1, 0) ,

1 = (1, 2, 1). Entonces

l

1 pus <

1 = 2 + 2 = 0.
2. Sean

= (2, 1) y o = t (1, 2) [ t R. Entonces

l o. En efecto, sea

1 = t (1, 2) = (t, 2t) . De la
denicin del producto escalar en R
2
, se tiene <

1 = (2) t + 2t = 0. As, <

1 = 0 \

1 o.
En la gura que sigue se muestran el vector

y el subconjunto o de R
2
. Note que el conjunto o es un
subespacio de R
2
que se identica con una recta que pasa por el origen y es paralela al vector

1 = (1, 2)
llamado vector director de la recta. Observe que el pequeo cuadrado colocado entre el vector

y el conjunto
30 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
o nos indica que

es ortogonal a o.
3. Sean 1 = r(4, 1) [ r R, o = j (1, 4) [ j [Link] conjuntos 1 y o son subespacios de R
2
, que se
identican del punto de vista geomtrico, como dos rectas que pasan por le origen. Sean

1,

1 o.
Existen r, j R tales que

= r(4, 1) = (4r, r) ,

1 = j (1, 4) = (j, 4j) .

Entonces
<

1 = (4r) j +r(4j) = 4rj 4rj = 0,

con lo cual

l

1. Consecuentemente 1 l o. Note que 1

?
= o y o
?
= 1.
4. Sean o = (2, 3) , (6, 4). El conjunto o es ortogonal, pues si

= (2, 3) ,

1 = (6, 4) , se tiene
<

1 = 0.
Note que un conjunto ortogonal de R
2
contendr exactamente dos valores linealmente independientes. Por lo
tanto forman una base de R
2
que se llamar base ortogonal de R
2
.
Puesto que

0 = (0, 0) ,

= (a, /) R
2
, <

0 ,

= 0, se sigue que

0 l

R
2
y
_
R
2
_
?
=
_

0
_
.
Teorema 21
Sean \ un espacio provisto de un producto escalar , y
1
, ,
n
un conjunto ortonormal, entonces

1
, ,
n
es linealmente independiente.
Demostracin.
Consideremos la combinacin lineal nula
c
1

1
+ c
n

n
= 0,
donde c
I
R i = 1, , :. Multiplicando escalarmente a esta igualdadad por

, = 1, :, se tiene
c
1

1
+ c
n

n
,

= 0,

= 0,
y de la linealidad del producto escalar respecto de la primera variable, se tiene
c
1

1
,

+ +c

+ +c
n

n
,

= 0.
Como
1
, ,
n
un conjunto ortonormal, entonces
I
,

= 0 para i ,= , y

= |

|
2
2
= 1, de la igualdad
precedente se obtiene c

= c

|
2
2
= c

= 0 , = 1, :. As,
c
1

1
+ c
n

n
= 0 ==c

= 0 , = 1, :,
que prueba que
1
, ,
n
es linealmente independiente.
Sea \
n
el subespacio de \ generado por el conjunto ortonormal
1
, ,
n
. Para r \
n
existen c
I
R
i = 1, , :, tales que
r =
n

I=1
c
I

I
.
1.6. ORTOGONALIDAD. TEOREMA DE PITGORAS 31
Multiplicando escalarmente por

, = 1, :, se tiene
r,

=
_
n

I=1
c
I

I
,

_
=
n

I=1
c
I

I
,

= c

,
Por lo tanto
r =
n

I=1
r,
I

I
.
Teorema 22
Sean \ un espacio vectorial real provisto de un producto escalar , y
1
, ,
n
un conjunto ortonormal,
entonces
i)

n
=1
[r

[
2
_ |r|
2
2
\r \ (Desigualdad de Bessel).
ii) r

n
I=1
r,
I

I
l

, = 1, :.
Demostracin.
i) Calculemos |r

n
I=1
r,
I

I
|
2
2
. De la denicin de norma, de las propiedadesdel producto escalar, y tomando
en consideracin que
I
,

= 0 para i ,= , y

= |

|
2
2
= 1, tenemos
0 _
_
_
_
_
_
r
n

I=1
r,
I

I
_
_
_
_
_
2
2
=
_
r
n

I=1
r,
I

I
, r
n

=1
r,

_
= r, r
_
r,
n

=1
r, ,

_
n

I=1
r,
I

I
, r
_
+
n

I=1
n

=1
r,
I
r,

I
,

= |r|
2
2
2
_
n

=1
r,

, r
_
+
n

=1
n

I=1
r,
I
r,

I
,

= |r|
2
2
2
n

=1
r,

, r +
n

=1
r,

r,

= |r|
2
2

=1
[r,

[
2
de donde
n

=1
[r

[
2
_ |r|
2
2
ii) Nuevamente, tomando en consideracin que
1
, ,
n
un conjunto ortonormal,es decir,
I
,

= 0 para i ,= ,
y

= |

|
2
2
= 1, se tiene
_
r
n

I=1
r,
I

I
,

_
= r,

I=1
r,
I

I
,

= r,

r,

= 0 , = 1, :.
Consecuentemente r

n
I=1
r,
I

I
l

\ , = 1, :.
Teorema 23 (de Pitgoras)
Sean \ un espacio provisto de un producto escalar , y norma asociada ||
2
, , 1 \. Si l 1 entonces
|+1|
2
2
= ||
2
2
+|1|
2
2
.
Demostracin.
Supongamos que l 1. Entonces < , 1 = 0. Luego
|+1|
2
2
=< +1, +1 =< , +2 < , 1 + < 1, 1 = ||
2
2
+|1|
2
2
.
32 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
Un resultado muy conocido de la geometra plana es el teorema de Pitgoras que se enuncia como sigue: en todo
tringulo rectngulo, la hipotenusa al cuadrado es igual a la suma de los cuadrados de los catetos.
En el caso del espacio eucldeo R
2
se tiene el siguiente resultado: sean

,

1 R
2
, entonces

1 ==
_
_
_

1
_
_
_
2
2
=
_
_
_

_
_
_
2
2
+
_
_
_

1
_
_
_
2
2
==) Supongamos que

l

1. Entonces <

,

1 = 0. Luego
_
_
_

1
_
_
_
2
2
=<

1,

1 =<

+2 <

1 + <

1,

1 =
_
_
_

_
_
_
2
2
+
_
_
_

1
_
_
_
2
2
.
==) Recprocamente, sean

,

1 R
2
tales que
_
_
_

1
_
_
_
2
2
=
_
_
_

_
_
_
2
2
+
_
_
_

1
_
_
_
2
2
. Como
_
_
_

1
_
_
_
2
2
=
_
_
_

_
_
_
2
2
+ 2 <

1 +
_
_
_

1
_
_
_
2
2
,
y por hiptesis se tiene
_
_
_

1
_
_
_
2
2
=
_
_
_

_
_
_
2
2
+ 2 <

1 +
_
_
_

1
_
_
_
2
2
=
_
_
_

_
_
_
2
2
+
_
_
_

1
_
_
_
2
2
,
de donde <

1 = 0 con lo cual

l

1.
Teorema 24
Sean 1, o dos subconjuntos no vacos de un espacio prehilbertiano \. Entonces
i) 1
?
es un subespacio de \.
ii) Si 1 es un subespacio de \, 1 1
?
= 0.
iii) Si 1 o, entonces o
?
1
?
.
Demostracin. i) Como 1 ,= O, existe 1. Probemos que 1
?
es un subespacio de \.
a) 0 1
?
pus < , 0 = 0.
b) Sean c, , R, n, 1
?
. Entonces
_
< n, = 0 \ \,
< , = 0 \ \.
Luego,
< cn +,, = c < n, +, < , = 0 \ \,
que muestra que cn +, 1
?
.
De a) y b) se sigue que 1
?
es un subespacio de \.
ii) Si 1 = 0 se tiene 1
?
= \. Luego 1 1
?
= 0 .Si 1 = \ se tiene 1
?
= 0 . Luego 1 1
?
= 0 .
Supongamos que 1 es un subespacio distinto de los triviales 0 y \. Por i), 1
?
es un subespacio de \.
Si 1 1
?
,= 0 , como 1 y 1
?
son subespacios de \, 1 1
?
es un subespacio de \.
Sean , 1 1 1
?
no nulos. Como 1, 1 1
?
se tiene < , 1 = 0.
Por otro lado, 1 y 1
?
, entonces
||
2
2
=< , = 0 == = 0.
De manera similar, 1 1, 1 1
?
, entonces
|1|
2
2
=< 1, 1 = 0 ==1 = 0.
As, = 1 = 0 que contradice la suposicin sobre y 1. Luego 1 1
?
= 0 .
iii) Sea o
?
. Entonces < n, = 0 \n o. Por hiptesis 1 o. La condicin precedente es vlida para todos
los elementos de o, consecuentemente es vlida para n 1 o; esto es
< n, = 0 \n 1,
1.6. ORTOGONALIDAD. TEOREMA DE PITGORAS 33
que prueba que 1
?
.
As, o
?
== 1
?
, o sea o
?
1
?
.
Sean \ un espacio real de dimensin nita : provisto del producto escalar , y norma ||
2
, \ un subespacio de
\ de dimensin :, 1 _ : < :, j
1
, , j
n
una base ortogonal de \. Entonces
\ =
_
n

I=1
c
I
j
I
[ c
I
R i = 1, , :
_
.
El ortogonal de \ se denota con \
?
y est denido como
\
?
= n \ [ n, j = 0 \j \ .
Se tiene
\ = \ \
?
.
Ms an, para cada r \, existen j \ y n \
?
tales que r = j + n. Esta representacin es nica. Por el
teorema de Pitgoras, como jln, se tiene
|r|
2
2
= |j|
2
2
+|n|
2
2
Puesto que j \, existen c
I
R i = 1, , : tales que j =

n
I=1
c
I
j
I
, luego n = r

n
I=1
c
I
j
I
, consecuentemente
|r|
2
2
=
_
_
_
_
_
n

I=1
c
I
j
I
_
_
_
_
_
2
2
+
_
_
_
_
_
r
n

I=1
c
I
j
I
_
_
_
_
_
2
2
,
de donde
_
_
_
_
_
r
n

I=1
c
I
j
I
_
_
_
_
_
2
2
_ |r|
2
2
cuadrados.
Ejercicios
1. Sean

,

1 R
2
los vectores que en cada literal se proponen, indique si

l

1.
a)

=
__
3,
_
5
_
,

1 =
_
2
p
5
,
_
12
_
. b)

= (3, 2) ,

1 =
_
1
2
,
3
4
_
.
c)

=
_
p
3
2
,
1
2
_
,

1 =
_
2,
_
12
_
. d)

= (4, 7) ,

1 =
_

7
2
, 2
_
.
2. Para los vectores

,

1 R
2
que en cada literal se proponen, vericar que
_

1
_
es una base de R
2
y con
esta construya una base ortonormal de R
2
.
a)

= (1, 1) ,

1 = (2, 5) . b)

=
_
2,
_
2
_
,

1 =
_
1,
_
2
_
. c)

= (4, 5) ,

1 = (1, 3) .
3. Para el vector

n de R
2
que se da en cada item, hallar un vector unitario y ortogonal a

n .
a)

n = (2, 5) . b)

n = (1, 1) . c)

n = (4, 5) . d)

n = (2, 1) .
4. Sean

,

1,

C R
2
no nulos.
a) Si

C y

1 l

, pruebe que

C l

1. b) En el sistema de coordenadas rectangulares

graque estos tres vectores que satisfagan (a).
5. Sean \ un espacio provisto del producto escalar , y norma asociada | |, y r
1
, , r
n
un conjunto
ortogonal de \ , demuestre el teorema de Pitgoras:
_
_
_
_
_
n

I=1
r
2
I
_
_
_
_
_
=
n

I=1
| r
I
|
2
.
34 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
1.7. Proyeccin ortogonal. Angulo entre dos vectores
Primeramente tratamos la proyeccin ortogonal en R
2
con la correspondiente interpretacin geomtrica.
Sean

1 R
2
no nulos. Determinemos un vector

C R
2
y ` R tales que
_

C l

1,
`

1 +

C =

.
En la gura que
sigue se muestran los vectores

,

1,

C y la proyeccin de `

1 de

sobre

1.
Multiplicando escalarmente por

1 ambos miembros de la igualdad precedente, se obtiene
< `

1 +

C,

1 =<

1 ,
` <

1,

1 + <

C,

1 =<

1 .
Como

C l

1, entonces <

C,

1 = 0. luego
` <

1,

1 =<

1 ,
` =
<

1
_
_
_

1
_
_
_
2
2

1.
El nmero real ` se llama coeciente de Fourier. Resulta que

C =

1 =

<

1
_
_
_

1
_
_
_
2
2

1.
El vector `

1 se llama proyeccin de

sobre

1. Un pequeo clculo muestra que los vectores

1 y

C son
ortogonales. En el captulo 8 se tratan las propyecciones ortogonales y sus aplicaciones a la geometra analtica.
Si
_

1
_
es una base de R
2
,
_

1,

C
_
es una base ortogonal de R
2
, donde

C es el vector arriba denido. Adems,

si
_
_
_

1
_
_
_
2
=
_
_
_

C
_
_
_
2
= 1, el conjunto
_

1,

C
_
se llama base ortonormal.
i) Si ` = 0, se tiene <

1 = 0, esto es,

l

1.
ii) Si ` 0,

1 y `

1 tienen la misma direccin y sentido. En la gura siguiente se muestran estos vectores, as

como los vectores

y

C.
iii) Si ` < 0,

1 y `

1 tienen la misma direccin pero son de sentidos opuestos. En la gura siguiente se muestran
1.7. PROYECCIN ORTOGONAL. ANGULO ENTRE DOS VECTORES 35
estos vectores, as como los vectores

y

C.
Sea 0 [0, ] el ngulo que forman los vectores

y

1. Supongamos que ` < 0. Entonces
cos(,) =
_
_
_`

1
_
_
_
2
_
_
_

_
_
_
2
= [`[
_
_
_

1
_
_
_
2
_
_
_

_
_
_
2
= `
_
_
_

1
_
_
_
2
_
_
_

_
_
_
2
.
Puesto que , = 0, entonces sin() = 0, cos() = 1, y
cos(,) = cos ( 0) = cos() cos(0) + sin() + sin(0) = cos(0),
con lo cual
cos(0) = cos(,) = `
_
_
_

1
_
_
_
2
_
_
_

_
_
_
2
,
cos(0) = `
_
_
_

1
_
_
_
2
_
_
_

_
_
_
2
=
<

1
_
_
_

1
_
_
_
2
2
_
_
_

1
_
_
_
2
_
_
_

_
_
_
2
=
<

1
_
_
_

_
_
_
2
_
_
_

1
_
_
_
2
.
Supongamos que ` _ 0. Entonces
cos(0) =
_
_
_`

1
_
_
_
2
_
_
_

_
_
_
2
= [`[
_
_
_

1
_
_
_
2
_
_
_

_
_
_
2
= `
_
_
_

1
_
_
_
2
_
_
_

_
_
_
2
=
<

1
_
_
_

1
_
_
_
2
_
_
_

1
_
_
_
2
_
_
_

_
_
_
2
=
<

1
_
_
_

_
_
_
2
_
_
_

1
_
_
_
2
.
Consecuentemente, si

1 R
2
no nulos y 0 [0, ] , cos(0) =
<
!
.,
!
1,

!
.

!
1

2
. Esto motiva la siguiente denicin.
Denicin 25
Sean

,

1 R
2
no nulos. El ngulo 0 [0, ] entre los vectores

y

1 se dene como
cos(0) =
<

1
_
_
_

_
_
_
2
_
_
_

1
_
_
_
2
.
De la denicin del ngulo entre los vectores

1, se sigue que

1 ==<

1 = 0 con lo cual cos(0) = 0,

de donde 0 =

2
. Por este motivo, dos vectores perpendiculares u ortogonales forman un ngulo recto.
El ngulo entre dos vectores en el plano se extiende a dos elementos no nulos de un espacio prehilbertiano. Se tiene
la siguiente denicin.
Denicin 26
Sean \ un espacio prehilbertiano provisto del producto escalar , y norma asociada ||
2
, , 1 \ no nulos.
El ngulo 0 [0, ] entre y 1 se dene como
cos(0) =
< , 1
||
2
|1|
2
.
Ejemplo
36 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
Los vrtices de un tringulo son los puntos = (0, 0) , 1 =
_
p
3
2
, 0
_
, C =
_
p
3
2
,
1
2
_
. Calcular las medidas de los
ngulos interiores del tringulo. En la gura siguiente se muestran los ngulo interiores del tringulo T.
Clculo de c. Sean

n ,

los vectores que se denen a continuacin:

n = 1 =
_
_
3
2
, 0
_
(0, 0) =
_
_
3
2
, 0
_
,

= C =
_
_
3
2
,
1
2
_
(0, 0) =
_
_
3
2
,
1
2
_
.
Entonces <

n ,

=
3
4
, |

n |
2
=
p
3
2
, |

|
2
= 1, luego
cos(c) =
<

n ,

n |
2
|

|
2
=
3
4
p
3
2
=
_
3
2
==c =

6
.
Clculo de ,. Para el efecto se denen los vectores

n ,

como sigue:

n = 1 =
_

p
3
2
, 0
_
,

= C1 =
_
0,
1
2
_
.
Calculemos sus longitudes as como el producto, obtenemos|

n |
2
=
p
3
2
, |

|
2
=
1
2
, <

n ,

= 0, por lo tanto

n ,

son ortogonales y en consecuencia
cos(,) =
<

n ,

n |
2
|

|
2
= 0 ==, =

2
.
Puesto que
= c , =

6


2
=

3
,
sin embargo, con el propsito de ejercitarse, calculamos . Sean

n = C =
_

_
3
2
,
1
2
_
,

= 1 C =
_
0,
1
2
_
.
Las longitudes de los vectores

n y

son: |

n |
2
= 1, |

|
2
=
1
2
, y su producto escalar <

n ,

=
1
4
, con lo cual
cos() =
<

n ,

n |
2
|

|
2
=
1
2
== =

3
.
1.7.1. Ley de los cosenos
Sean

,

1 R
2
no nulos y 0 [0, ] el ngulo que forman los vectores

y

1. Entonces
_
_
_

_
_
_
2
2
=<

1

=<

1,

1 2 <

1 + <

=
_
_
_

1
_
_
_
2
2
2 <

1 +
_
_
_

_
_
_
2
2
.
Como
<

,

1 =
_
_
_

_
_
_
2
_
_
_

1
_
_
_
2
cos 0,
1.7. PROYECCIN ORTOGONAL. ANGULO ENTRE DOS VECTORES 37
resulta que
_
_
_

_
_
_
2
2
=
_
_
_

1
_
_
_
2
2
+
_
_
_

_
_
_
2
2
2
_
_
_

_
_
_
2
_
_
_

1
_
_
_
2
cos(0).
En la gura siguiente se muestran los vectores

,

1,

1

y el ngulo comprendido entre los vectores

y

1.
Ejercicios
1. Para la recta 1
_

1,

_
=
_

1 +t

[ t R
_
y el punto

r
0
R
2
que en cada literal se dan, calcular
la distancia de

r
0
a 1
_

1,

_
. Hallar una recta 1
_

C,

r
0
_
ortogonal a 1
_

1,

_
. Determine
_

1
_
=
1
_

1,

_
1
_

C,

r
0
_
calcule
_
_
_

r
0

1
_
_
_y compare con d
_

r
0
, 1
_

1
__
.
a) 1
_

1,

_
= (2, 1) +t (0, 1) [ t R,

r
0
= (0, 1) .
b) 1
_

1,

_
= (1, 1) +t (2, 1) [ t R,

r
0
= (1, 2) .
c) 1
_

1,

_
= (2, 1) +t (1, 2) [ t R,

r
0
= (1, 3) .
d) 1
_

1,

_
= t (1, 1) [ t R,

r
0
= (2, 5) .
2. Sea \ el subespacio de R
2
que se da en cada numeral.
Halle \
?
y la matriz asociada a la proyeccin de R
2
sobre \ con respecto de la base cannica 1 =
_

i ,

,
_
.
a) \ = t (3, 1) [ t R . b) \ = t (1, 0) [ t R .
c) \ =
_

r = (r, j) R
2
[ 2r j = 0
_
.
d) \ =
_

r = (r, j) R
2
[ r + 5j = 0
_
. e) \ = 0.
3. En cada item, calcule el ngulo 0 que forman los vectores

n y

de R
2
.
a)

n = (2, 0) ,

= (1, 3) . b)

n = (1, 0) ,

=
_
1,
_
3
_
. c)

n = (2, 1) ,

= (1, 2) .
d)

n = (3, 0) ,

= (0, 4) . e)

n =
_

_
2,
_
2
_
,

=
_
2
_
2,
_
2
_
.
4. Se dene la funcin , de C ([0, 1]) C ([0, 1]) en R como sigue:
n, =
_
1
0
n(r) (r) dr \n, C ([0, 1]) .
Para las funciones n, que se dan en cada caso, calcule n, , |n|, || , el ngulo 0 que forman n y ; y
d (n, ) = |n |, donde || es la norma asociada al producto escalar , .
a) n(r) = 1, (r) = 1 2r r [0, 1] . b) n(r) = sen(2/r) , (r) = 1 r [0, 1] , / Z
+
.
c) n(r) = sen(2/r) , (r) = cos (2:r) , r [0, 1] , /, : Z
+
.
d) n(r) = 1, r [0, 1] , (r) = cos (2:r) , r [0, 1] , : 7
+
.
5. Considerar el espacio de funciones C
1
([1, 1]) que poseen derivada continua en [1, 1]. Se dene la funcin
,
1
de C
1
([1, 1]) C
1
([1, 1]) en R como sigue:
n,
1
=
_
1
1
[n(r) (r) +n
0
(r)
0
(r)] dr \n, C
1
([1, 1]) .
a) Pruebe que , es un producto escalar en C
1
([1, 1]).
b) Para las funciones n, que en cada caso se denen, calcular n,
1
, |n|
1
, ||
1
, el ngulo 0 que forman
n y ; y d
1
(n, ) = |n |
1
, donde ||
1
es la norma asociada al producto escalar ,
1
.
i) n(t) = t
2
, (t) = t
3
, t [1, 1] . ii) n(t) = t, (t) = c
|
, t [1, 1] .
iii) n(t) = sen(/t) , (t) = cos (:t) , t [1, 1] , :, / Z
+
.
38 CAPTULO 1. ESPACIOS CON PRODUCTO INTERNO
6. Sean = [1, 1] [1, 1] R
2
. Se denota con C () al espacio vectorial de funciones continuas en . Un
producto escalar , en C () se dene como
), q =
_
1
1
_
1
1
) (r, j) q (r, j) drdj \), q C().
Pruebe que la funcin , denida en C() es un producto escalar.
La norma de ) C () asociada a este producto escalar se dene como
|)| =
__

[) (r, j)[
2
drdj
_1
2
.
Calcule ), q , |)| , |q| , el ngulo 0 que forman ) y q, si )(r, j) = sen((r + j)), q(r, j) = r + j,
(r, j) .
7. Sea = [1, 1] [1, 1] R
2
. Se designa con C
1
() al espacio de funciones reales que poseen derivadas
parciales primeras continuas en . En C
1
() se dene la funcin real ,
1,2
como a continuacin se indica:
), q
1,2
=
_

_
)(r, j)q(r, j) +
0)
0r
(r, j)
0q
0r
(r, j) +
0)
0j
(r, j)
0q
0j
(r, j)
_
drdj \), q C
1
().
a) Muestre que ,
1,2
es un producto escalar en C
1
(). Este producto escalar se escribe en forma abreviada
como
), q
1,2
=
_

()q +\) \q) \), q C

1
(),
y la norma asociada a este producto escalar se escribe como
|)|
1,2
=
__

_
)
2
+[\)[
2
_
_1
2
\) C
1
().
b) Calcule ), q
1,2
, |)|
1,2
, |q|
1,2
y el ngulo 0 que forman ) y q, siendo ), q las funciones que se denen
a continuacin: )(r, j) = r
2
j
2
, q(r, j) = rj
2
(r, j) .
c) Proceda como en b) con las funciones ) , q siguientes: )(r, j) = r
2
rj +j
2
, q(r, j) = 4r
2
3r + 5j,
(r, j) .