Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Clase 8
2019
UNI-PERÚ
A lo largo de esta sección se considerarán solo espacios vectoriales reales o complejos, esto
es, espacios vectoriales sobre el campo de los númerps reales o el cuerpo de los números
complejos.
A lo largo de esta sección se considerarán solo espacios vectoriales reales o complejos, esto
es, espacios vectoriales sobre el campo de los númerps reales o el cuerpo de los números
complejos.El principal objetivo ahora es el estudio de los espacios vectoriales en los que
tiene sentido hablar de “longitud” de un vector y “ángulo” entre dos vectores.
A lo largo de esta sección se considerarán solo espacios vectoriales reales o complejos, esto
es, espacios vectoriales sobre el campo de los númerps reales o el cuerpo de los números
complejos.El principal objetivo ahora es el estudio de los espacios vectoriales en los que
tiene sentido hablar de “longitud” de un vector y “ángulo” entre dos vectores.Se hará esto
mediante el estudio de cierto tipo de función de valor escalar sobre parejas de vectores,
conocido como producto interno.
A lo largo de esta sección se considerarán solo espacios vectoriales reales o complejos, esto
es, espacios vectoriales sobre el campo de los númerps reales o el cuerpo de los números
complejos.El principal objetivo ahora es el estudio de los espacios vectoriales en los que
tiene sentido hablar de “longitud” de un vector y “ángulo” entre dos vectores.Se hará esto
mediante el estudio de cierto tipo de función de valor escalar sobre parejas de vectores,
conocido como producto interno.Un ejemplo de producto interno es el producto escalar de
vectores en R3 . El producto escalar de los vectores
α = (x1 , x2 , x3 ) y β = (y1 , y2 , y3 )
en R3 es el número real
hα, βi = x1 y1 + x2 y2 + x3 y3 .
A lo largo de esta sección se considerarán solo espacios vectoriales reales o complejos, esto
es, espacios vectoriales sobre el campo de los númerps reales o el cuerpo de los números
complejos.El principal objetivo ahora es el estudio de los espacios vectoriales en los que
tiene sentido hablar de “longitud” de un vector y “ángulo” entre dos vectores.Se hará esto
mediante el estudio de cierto tipo de función de valor escalar sobre parejas de vectores,
conocido como producto interno.Un ejemplo de producto interno es el producto escalar de
vectores en R3 . El producto escalar de los vectores
α = (x1 , x2 , x3 ) y β = (y1 , y2 , y3 )
en R3 es el número real
hα, βi = x1 y1 + x2 y2 + x3 y3 .
A lo largo de esta sección se considerarán solo espacios vectoriales reales o complejos, esto
es, espacios vectoriales sobre el campo de los númerps reales o el cuerpo de los números
complejos.El principal objetivo ahora es el estudio de los espacios vectoriales en los que
tiene sentido hablar de “longitud” de un vector y “ángulo” entre dos vectores.Se hará esto
mediante el estudio de cierto tipo de función de valor escalar sobre parejas de vectores,
conocido como producto interno.Un ejemplo de producto interno es el producto escalar de
vectores en R3 . El producto escalar de los vectores
α = (x1 , x2 , x3 ) y β = (y1 , y2 , y3 )
en R3 es el número real
hα, βi = x1 y1 + x2 y2 + x3 y3 .
Definición. 1
Sean F el campo de los números reales, o de los complejos, y V un espacio vectorial sobre
F. Un producto interno sobre V es una función que asigna a cada par ordenado de
vectores α, β de V un escalar hα, βi de F de tal modo que para cualesquiera α, β, γ de V
y todos los escalares c
1 hα + β, γi = hα, γi + hβ, γi.
2 hcα, βi = chα, βi.
3 hβ, αi = hα, βi, donde la barra indica conjugación compleja.
4 hα, αi > 0 si α 6= 0.
Debe observarse que la condiciones 1, 2 y 3 implican que
5 hα, cβ + γi = chα, βi + hα, γi.
Definición. 1
Sean F el campo de los números reales, o de los complejos, y V un espacio vectorial sobre
F. Un producto interno sobre V es una función que asigna a cada par ordenado de
vectores α, β de V un escalar hα, βi de F de tal modo que para cualesquiera α, β, γ de V
y todos los escalares c
1 hα + β, γi = hα, γi + hβ, γi.
2 hcα, βi = chα, βi.
3 hβ, αi = hα, βi, donde la barra indica conjugación compleja.
4 hα, αi > 0 si α 6= 0.
Debe observarse que la condiciones 1, 2 y 3 implican que
5 hα, cβ + γi = chα, βi + hα, γi.
Otra observación debe hacerse. Si F es el campo R de los números reales, los complejos
conjugados que figuran en 3 y 5 están demás; sin embargo, en el caso de los complejos son
necesarias para la consistencia de las condiciones.
Definición. 1
Sean F el campo de los números reales, o de los complejos, y V un espacio vectorial sobre
F. Un producto interno sobre V es una función que asigna a cada par ordenado de
vectores α, β de V un escalar hα, βi de F de tal modo que para cualesquiera α, β, γ de V
y todos los escalares c
1 hα + β, γi = hα, γi + hβ, γi.
2 hcα, βi = chα, βi.
3 hβ, αi = hα, βi, donde la barra indica conjugación compleja.
4 hα, αi > 0 si α 6= 0.
Debe observarse que la condiciones 1, 2 y 3 implican que
5 hα, cβ + γi = chα, βi + hα, γi.
Otra observación debe hacerse. Si F es el campo R de los números reales, los complejos
conjugados que figuran en 3 y 5 están demás; sin embargo, en el caso de los complejos son
necesarias para la consistencia de las condiciones.Sin estos complejos conjugados se tendría
la contradicción
hα, αi > 0 y hiα, iαi = −hα, αi > 0
Definición. 1
Sean F el campo de los números reales, o de los complejos, y V un espacio vectorial sobre
F. Un producto interno sobre V es una función que asigna a cada par ordenado de
vectores α, β de V un escalar hα, βi de F de tal modo que para cualesquiera α, β, γ de V
y todos los escalares c
1 hα + β, γi = hα, γi + hβ, γi.
2 hcα, βi = chα, βi.
3 hβ, αi = hα, βi, donde la barra indica conjugación compleja.
4 hα, αi > 0 si α 6= 0.
Debe observarse que la condiciones 1, 2 y 3 implican que
5 hα, cβ + γi = chα, βi + hα, γi.
Otra observación debe hacerse. Si F es el campo R de los números reales, los complejos
conjugados que figuran en 3 y 5 están demás; sin embargo, en el caso de los complejos son
necesarias para la consistencia de las condiciones.Sin estos complejos conjugados se tendría
la contradicción
hα, αi > 0 y hiα, iαi = −hα, αi > 0
En los ejemplos que siguen y a lo largo de la sección, F es el campo de los número reales o
de los números complejos.
Ejemplo. 1
En F n existe un producto interno que se llama producto interno canónico. Está definido
sobre α = (x1 , . . . , xn ) y β = (y1 , . . . , yn ) por
X
hα, βi = xj y j .
j
Ejemplo. 1
En F n existe un producto interno que se llama producto interno canónico. Está definido
sobre α = (x1 , . . . , xn ) y β = (y1 , . . . , yn ) por
X
hα, βi = xj y j .
j
Ejemplo. 2
hα, βi = x1 y1 − x2 y1 − x1 y2 + 4x2 y2 .
como hα, αi = (x1 − x1 )2 + 3x22 , se tiene que que hα, αi > 0 si α 6= 0. Las condiciones 1, 2 y
3 de la definición se pueden verificar.
Felipe A. Torres Estrella Espacios
ftorrese@uni.edu.pe
con producto interno
(FIC - UNI)
25 de octubre de 2019 5 / 13
Espacios con producto interno Productos internos
Ejemplo. 3
Sea V el espacio vectorial de las funciones continuas de valor complejo en el intervalo,
0 ≤ t ≤ 1. Sea Z 1
hα, βi = f (t)g(t) dt.
0
Ejemplo. 3
Sea V el espacio vectorial de las funciones continuas de valor complejo en el intervalo,
0 ≤ t ≤ 1. Sea Z 1
hα, βi = f (t)g(t) dt.
0
Supóngase que V es un espacio vectorial complejo con un producto interno. Entonces, para
todo α, β en V
hα, βi = Re(hα, βi) + iIm(hα, βi)
donde Re(hα, βi) e Im(hα, βi) son las partes real e imaginaria del número complejo hα, βi.
Ejemplo. 3
Sea V el espacio vectorial de las funciones continuas de valor complejo en el intervalo,
0 ≤ t ≤ 1. Sea Z 1
hα, βi = f (t)g(t) dt.
0
Supóngase que V es un espacio vectorial complejo con un producto interno. Entonces, para
todo α, β en V
hα, βi = Re(hα, βi) + iIm(hα, βi)
donde Re(hα, βi) e Im(hα, βi) son las partes real e imaginaria del número complejo hα, βi.Si
z es un número complejo, entonces Im(z) = Re(−iz).
Ejemplo. 3
Sea V el espacio vectorial de las funciones continuas de valor complejo en el intervalo,
0 ≤ t ≤ 1. Sea Z 1
hα, βi = f (t)g(t) dt.
0
Supóngase que V es un espacio vectorial complejo con un producto interno. Entonces, para
todo α, β en V
hα, βi = Re(hα, βi) + iIm(hα, βi)
donde Re(hα, βi) e Im(hα, βi) son las partes real e imaginaria del número complejo hα, βi.Si
z es un número complejo, entonces Im(z) = Re(−iz).Se sigue
Ejemplo. 3
Sea V el espacio vectorial de las funciones continuas de valor complejo en el intervalo,
0 ≤ t ≤ 1. Sea Z 1
hα, βi = f (t)g(t) dt.
0
Supóngase que V es un espacio vectorial complejo con un producto interno. Entonces, para
todo α, β en V
hα, βi = Re(hα, βi) + iIm(hα, βi)
donde Re(hα, βi) e Im(hα, βi) son las partes real e imaginaria del número complejo hα, βi.Si
z es un número complejo, entonces Im(z) = Re(−iz).Se sigue
Así, el producto interno está completamente determinado por su parte real de acuerdo con
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.Para definirla, primero se representa la raíz cuadrada positiva de hα, αi
por ||α||; ||α|| es llamada norma de α respecto al producto interno.
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.Para definirla, primero se representa la raíz cuadrada positiva de hα, αi
por ||α||; ||α|| es llamada norma de α respecto al producto interno.Considerando el
producto interno canónico en R, C, R2 , R3 , es apropiado pensar en la norma de α como la
“longitud” o “magnitud” de α.
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.Para definirla, primero se representa la raíz cuadrada positiva de hα, αi
por ||α||; ||α|| es llamada norma de α respecto al producto interno.Considerando el
producto interno canónico en R, C, R2 , R3 , es apropiado pensar en la norma de α como la
“longitud” o “magnitud” de α.La forma cuadrática determinada por el producto interno
es la función que asigna a cada vector α el escalar ||α||2 .
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.Para definirla, primero se representa la raíz cuadrada positiva de hα, αi
por ||α||; ||α|| es llamada norma de α respecto al producto interno.Considerando el
producto interno canónico en R, C, R2 , R3 , es apropiado pensar en la norma de α como la
“longitud” o “magnitud” de α.La forma cuadrática determinada por el producto interno
es la función que asigna a cada vector α el escalar ||α||2 .Se sigue de las propiedades del
producto interno que
||α ± β||2 = ||α||2 ± 2Re(hα, βi) + ||β||2
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.Para definirla, primero se representa la raíz cuadrada positiva de hα, αi
por ||α||; ||α|| es llamada norma de α respecto al producto interno.Considerando el
producto interno canónico en R, C, R2 , R3 , es apropiado pensar en la norma de α como la
“longitud” o “magnitud” de α.La forma cuadrática determinada por el producto interno
es la función que asigna a cada vector α el escalar ||α||2 .Se sigue de las propiedades del
producto interno que
||α ± β||2 = ||α||2 ± 2Re(hα, βi) + ||β||2
1 1
hα, βi = ||α + β||2 − ||α − β||2 . (2)
4 4
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.Para definirla, primero se representa la raíz cuadrada positiva de hα, αi
por ||α||; ||α|| es llamada norma de α respecto al producto interno.Considerando el
producto interno canónico en R, C, R2 , R3 , es apropiado pensar en la norma de α como la
“longitud” o “magnitud” de α.La forma cuadrática determinada por el producto interno
es la función que asigna a cada vector α el escalar ||α||2 .Se sigue de las propiedades del
producto interno que
||α ± β||2 = ||α||2 ± 2Re(hα, βi) + ||β||2
1 1
hα, βi = ||α + β||2 − ||α − β||2 . (2)
4 4
1 1 i i
hα, βi = ||α + β||2 − ||α − β||2 + ||α + iβ||2 − ||α − iβ||2 . (3)
4 4 4 4
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.Para definirla, primero se representa la raíz cuadrada positiva de hα, αi
por ||α||; ||α|| es llamada norma de α respecto al producto interno.Considerando el
producto interno canónico en R, C, R2 , R3 , es apropiado pensar en la norma de α como la
“longitud” o “magnitud” de α.La forma cuadrática determinada por el producto interno
es la función que asigna a cada vector α el escalar ||α||2 .Se sigue de las propiedades del
producto interno que
||α ± β||2 = ||α||2 ± 2Re(hα, βi) + ||β||2
1 1
hα, βi = ||α + β||2 − ||α − β||2 . (2)
4 4
1 1 i i
hα, βi = ||α + β||2 − ||α − β||2 + ||α + iβ||2 − ||α − iβ||2 . (3)
4 4 4 4
Ocasionalmente es muy útil saber que un producto interno sobre un epsacio vectorial, real o
complejo, está determinado por otra función, la llamada forma cuadrática determianda por
el producto interno.Para definirla, primero se representa la raíz cuadrada positiva de hα, αi
por ||α||; ||α|| es llamada norma de α respecto al producto interno.Considerando el
producto interno canónico en R, C, R2 , R3 , es apropiado pensar en la norma de α como la
“longitud” o “magnitud” de α.La forma cuadrática determinada por el producto interno
es la función que asigna a cada vector α el escalar ||α||2 .Se sigue de las propiedades del
producto interno que
||α ± β||2 = ||α||2 ± 2Re(hα, βi) + ||β||2
1 1
hα, βi = ||α + β||2 − ||α − β||2 . (2)
4 4
1 1 i i
hα, βi = ||α + β||2 − ||α − β||2 + ||α + iβ||2 − ||α − iβ||2 . (3)
4 4 4 4
Las igualdades (2) y (3) son llamadas las identidades de polarización. Las propiedades
obtenidas anteriormente son válidas para cualquier producto interno sobre un espacio real o
complejo V , independientemente de su dimensión.
Ahora que se tiene una idea de lo que es un producto interno, se atenderá a lo que se puede
decir al respecto de la combinación de un espacio vectorial y un producto interno particular
sobre el mismo. Específicamente se establecerán las propiedades básicas de los conceptos de
“longitud” y “ortogonalidad” que son impuestos al espacio por el producto interno.
Ahora que se tiene una idea de lo que es un producto interno, se atenderá a lo que se puede
decir al respecto de la combinación de un espacio vectorial y un producto interno particular
sobre el mismo. Específicamente se establecerán las propiedades básicas de los conceptos de
“longitud” y “ortogonalidad” que son impuestos al espacio por el producto interno.
Definición. 2
Un espacio producto interno es un espacio real o complejo junto con un producto interno
definido sobre ese espacio.
Ahora que se tiene una idea de lo que es un producto interno, se atenderá a lo que se puede
decir al respecto de la combinación de un espacio vectorial y un producto interno particular
sobre el mismo. Específicamente se establecerán las propiedades básicas de los conceptos de
“longitud” y “ortogonalidad” que son impuestos al espacio por el producto interno.
Definición. 2
Un espacio producto interno es un espacio real o complejo junto con un producto interno
definido sobre ese espacio.
Ahora que se tiene una idea de lo que es un producto interno, se atenderá a lo que se puede
decir al respecto de la combinación de un espacio vectorial y un producto interno particular
sobre el mismo. Específicamente se establecerán las propiedades básicas de los conceptos de
“longitud” y “ortogonalidad” que son impuestos al espacio por el producto interno.
Definición. 2
Un espacio producto interno es un espacio real o complejo junto con un producto interno
definido sobre ese espacio.
Teorema. 1
Si V es un espacio producto interno, entonces para vectores α, β cualesquiera de V y
cualquier escalar c
1 ||cα|| = |c|||α||.
2 ||α|| > 0 para α 6= 0.
3 |hα, βi| ≤ ||α||||β||.
4 ||α + β|| ≤ ||α|| + ||β||.
Definición. 3
Sean α y β vectores de un espacio producto interno V . Entonces α es ortogonal a β si
hα, βi = 0; como esto implica que β es ortogonal a α, a menufoi solo se dirá que α y β son
ortogonales. Si S es un conjunto de vectores de V , se dice que S es un conjunto ortogonal
siempre que todos los pares de vectores distintos de S son ortogonales. Un conjunto
ortonormal es un conjunto ortogonal S con la propiedad además de que kαk = 1 para todo
α de S.
Definición. 3
Sean α y β vectores de un espacio producto interno V . Entonces α es ortogonal a β si
hα, βi = 0; como esto implica que β es ortogonal a α, a menufoi solo se dirá que α y β son
ortogonales. Si S es un conjunto de vectores de V , se dice que S es un conjunto ortogonal
siempre que todos los pares de vectores distintos de S son ortogonales. Un conjunto
ortonormal es un conjunto ortogonal S con la propiedad además de que kαk = 1 para todo
α de S.
El vector cero es ortogonal a todo vector en V y es el único vector con esta propiedad. Es
apropiado pensar un conjunto ortonormal como un conjunto de vectores mutuamente
perpendiculares que tienen longitud 1.
Definición. 3
Sean α y β vectores de un espacio producto interno V . Entonces α es ortogonal a β si
hα, βi = 0; como esto implica que β es ortogonal a α, a menufoi solo se dirá que α y β son
ortogonales. Si S es un conjunto de vectores de V , se dice que S es un conjunto ortogonal
siempre que todos los pares de vectores distintos de S son ortogonales. Un conjunto
ortonormal es un conjunto ortogonal S con la propiedad además de que kαk = 1 para todo
α de S.
El vector cero es ortogonal a todo vector en V y es el único vector con esta propiedad. Es
apropiado pensar un conjunto ortonormal como un conjunto de vectores mutuamente
perpendiculares que tienen longitud 1.
Ejemplo. 4
La base canónica en Rn o Cn es un conjunto ortonormal con respecto al producto interno
canónico.
Ejemplo. 5
El vector (x, y) de R2 es ortogonal a (−y, x) con respecto al producto interno canónico; en
efecto,
h(x, y), (−y, x)i = −xy + yx = 0.
Sin embargo, si R2 está dotado del producto interno del ejemplo 2, entonces El vector (x, y)
y (−y, x) son ortogonales si y solo si
1 √
y= (−3 ± 13)x.
2
Ejemplo. 6
Sea V el espacio de las funciones continuas de valor complejo (o real) en el intervalo
0 ≤ x ≤ 1 con el producto interno
Z 1
hf , gi = f (x)g(x) dx.
0
√ √
Supóngase que fn (x) = 2 cos(2nπx) y que gn (x) = 2 sen(2nπx). Entonces
{1, f1 , g1 , f2 , g2 , . . .} es un conjunto infinito ortonormal. En el caso complejo se pueden
formar también las combinaciones lineales
1
√ (fn + ign ), n = 1, 2, . . .
2
De este modo se tiene un nuevo conjunto ortonormal S que consta de todas las funciones
de la forma
hn (x) = e 2nπix , n = 1, 2, . . .
Los conjuntos ortogonales dados en los ejemplos anteriores son todos linealmente
independientes. Se ve ahora que necesariamente este es el caso.
Los conjuntos ortogonales dados en los ejemplos anteriores son todos linealmente
independientes. Se ve ahora que necesariamente este es el caso.
Teorema. 2
Los conjuntos ortogonales dados en los ejemplos anteriores son todos linealmente
independientes. Se ve ahora que necesariamente este es el caso.
Teorema. 2
Corolario. 1
Si un vector β es combinación lineal de una sucesión ortogonal de vectores no nulos
α1 , α2 , . . . , αm , entonces β es igual a la combinación lineal particular
X
m
hβ, αk i
β= αk . (4)
kαk k2
k=1
Este corolario se desprende de la demostración del teorema 2. Hay otro corolario que
mencionar que es también obvio. Si {α1 , α2 , . . . , αm } es un conjunto ortogonal de vectores
no nulos en un espacio con producto interno de dimensión finita V , entonces
m ≤ dim V .
Este corolario se desprende de la demostración del teorema 2. Hay otro corolario que
mencionar que es también obvio. Si {α1 , α2 , . . . , αm } es un conjunto ortogonal de vectores
no nulos en un espacio con producto interno de dimensión finita V , entonces
m ≤ dim V .Esto dice que el número de direcciones mutuamente perpendiculares en V no
pueden exceder la dimensión algebraicamente definida en V . El máximo número de
direcciones mutuamente perpendiculares en V es lo que intuitivamente se considera como
dimensión geométrica de V , y se acaba de ver que esta no es mayor que la dimensión
algebraica. El que estas dos dimensiones sean iguales es un corolario particular del siguiente
teorema.
Este corolario se desprende de la demostración del teorema 2. Hay otro corolario que
mencionar que es también obvio. Si {α1 , α2 , . . . , αm } es un conjunto ortogonal de vectores
no nulos en un espacio con producto interno de dimensión finita V , entonces
m ≤ dim V .Esto dice que el número de direcciones mutuamente perpendiculares en V no
pueden exceder la dimensión algebraicamente definida en V . El máximo número de
direcciones mutuamente perpendiculares en V es lo que intuitivamente se considera como
dimensión geométrica de V , y se acaba de ver que esta no es mayor que la dimensión
algebraica. El que estas dos dimensiones sean iguales es un corolario particular del siguiente
teorema.
Teorema. 3
Sea V un espacio con producto interno y sean β1 , β2 , . . . , βn vectores independientes
cualesquiera de V . Entonces se pueden construir vectores ortogonales α1 , α2 , . . . , αn en V
tales que para cada k = 1, 2, . . . , n el conjunto
{α1 , α2 , . . . , αk }
Este corolario se desprende de la demostración del teorema 2. Hay otro corolario que
mencionar que es también obvio. Si {α1 , α2 , . . . , αm } es un conjunto ortogonal de vectores
no nulos en un espacio con producto interno de dimensión finita V , entonces
m ≤ dim V .Esto dice que el número de direcciones mutuamente perpendiculares en V no
pueden exceder la dimensión algebraicamente definida en V . El máximo número de
direcciones mutuamente perpendiculares en V es lo que intuitivamente se considera como
dimensión geométrica de V , y se acaba de ver que esta no es mayor que la dimensión
algebraica. El que estas dos dimensiones sean iguales es un corolario particular del siguiente
teorema.
Teorema. 3
Sea V un espacio con producto interno y sean β1 , β2 , . . . , βn vectores independientes
cualesquiera de V . Entonces se pueden construir vectores ortogonales α1 , α2 , . . . , αn en V
tales que para cada k = 1, 2, . . . , n el conjunto
{α1 , α2 , . . . , αk }
Corolario. 2
Todo espacio con producto interno de dimensión finita tiene una base ortonormal.
Este corolario se desprende de la demostración del teorema 2. Hay otro corolario que
mencionar que es también obvio. Si {α1 , α2 , . . . , αm } es un conjunto ortogonal de vectores
no nulos en un espacio con producto interno de dimensión finita V , entonces
m ≤ dim V .Esto dice que el número de direcciones mutuamente perpendiculares en V no
pueden exceder la dimensión algebraicamente definida en V . El máximo número de
direcciones mutuamente perpendiculares en V es lo que intuitivamente se considera como
dimensión geométrica de V , y se acaba de ver que esta no es mayor que la dimensión
algebraica. El que estas dos dimensiones sean iguales es un corolario particular del siguiente
teorema.
Teorema. 3
Sea V un espacio con producto interno y sean β1 , β2 , . . . , βn vectores independientes
cualesquiera de V . Entonces se pueden construir vectores ortogonales α1 , α2 , . . . , αn en V
tales que para cada k = 1, 2, . . . , n el conjunto
{α1 , α2 , . . . , αk }
Corolario. 2
Todo espacio con producto interno de dimensión finita tiene una base ortonormal.
Ejemplo. 7
Ortonormalizar la base {(1, 0, 1), (0, 1, 1), (1, 1, 0)} de R3 .
Felipe A. Torres Estrella Espacios
ftorrese@uni.edu.pe
con producto interno
(FIC - UNI)
25 de octubre de 2019 13 / 13