4.6 Cambio de Base, Base Ortonormal y Proc. Ortonorm
4.6 Cambio de Base, Base Ortonormal y Proc. Ortonorm
4.6 Cambio de Base, Base Ortonormal y Proc. Ortonorm
no sea el ms adecuado.
Por ejemplo en el estudio de una molcula cuyos tomos estn unidos en forma de una
pirmide. La determinacin de los ngulos y de las longitudes de los enlaces entre los tomos
de esta molcula se simplifica en gran medida si cambiamos los vectores de la base * + por
otros vectores de una nueva base * + en
tales que
El vector cuyos componentes son los coeficientes de , se escribe como ()
y se conoce
como vector de coordenadas de con respecto a
()
,
Si se cambia la base entonces ()
se modifica. El vector ()
* +. Los vectores
tienen
un ngulo menor a
, pero tienen una longitud mayor que la base cannica son los vectores
380
de la base
y ()
Figura 2
* +
()
()
tiene unidades en
y que la componente en la
direccin de
tiene unidades en
Por regla general siempre que se da un vector y no se indica que est en alguna base queda
entendido que el vector est en base cannica.
1.- Ejemplo que muestra que cualquier vector en
+ el cual est en la base cannica * + Determine ()
.
Se tiene que * + {(
+ (
+ (
+} y
.
(
+ (
+ () (
+ (
+
(
+ (
+ (
+ (
+ (
+ . Vea que las componentes son los escalares.
()
+
Teorema 1. Sea *
en
, si y slo si ()
en
se tiene
si y slo si
381
()
Demostracin. Sean ()
, y (
,
Se tiene que
se obtiene
)
Al multiplicar los escalares, reacomodar trminos y factorizar los vectores de la base
(
Entonces
()
, (
, (
,(
,(
,
()
Suponiendo que el teorema 1 presenta el siguiente corolario.
Teorema 2 Sea una base de vectores en un espacio vectorial . Entonces *
+ es
linealmente independiente en si y slo si *(
+ es linealmente
independiente en
.
2.- Ejemplo de aplicacin del teorema 1 y del teorema 2.
En
sea el polinomio
y los vectores
Si Demuestre que:
(a) *(
+ es linealmente independiente en
.
(b) ()
(a) Los vectores de coordenadas de son: (
+ (
+
382
*(
+ (
+. Verificamos independencia lineal con el determinante.
Con el software Mathcad calculamos el determinante.
0
1
2
2
1
0
0
1
1
|
\
|
|
|
.
6 =
Como es diferente de cero, *(
+ es linealmente independiente en
.
(b) ()
()
+. Al sustituir se obtiene
(
+. Al multiplicar los escalares y cambiar los trminos.
(
+ (
+ (
+ (
(
|
+
(
|
)
Verifique el lector sustituyendo
+ (
+
(
+ (
) (
+ (
) (
) (
+
()
si se cumple.
383
3.- Ejemplo de un vector de coordenadas que muestra la importancia del orden de los vectores
de una base. Sea ()
+ en base cannica
en
+ donde
+ * + {(
+ (
+ (
+}
Antes de iniciar con la solucin observe que la base
, pero en
otro orden.
()
de la ecuacin.
(
+. De aqu se obtiene el
siguiente sistema de ecuaciones.
+
(
|
+
()
+ con
Otra forma de resolver el sistema es con
donde (
+
(
+ ()
+ ()
es decir,
Al resolver
\
|
|
|
.
1
0
0
1
1
0
0
0
1
0
|
\
|
|
|
.
=
(
+(
+ (
+ ()
El mismo resultado.
384
Con
se tiene que ()
+ (
+
Es posible obtener a partir del vector ()
+ el vector ()
()
+ (
+ (
+ (
+ (
+ (
+ (
+
4.- Ejemplo de un vector que se expresa en base cannica
en
.
Sea el vector ()
+ en la base cannica
* +. Exprese el vector en
trminos de la base
+ {(
+ (
+ (
+ }
Nota: Aunque no se pide, debe verificarse que los vectores de la base
sean linealmente
independientes para estar seguros de que forman una base. Lo podemos checar con el
determinante. Vea que los vectores de la base
| |
| . Los vectores son linealmente independientes, generan a
y si
forman base.
Este ejemplo se puede resolver de dos formas, la primera es como se indica enseguida:
()
+ ()
de la ecuacin.
(
+
(
|
se tiene que ()
+ (
,
La segunda forma de resolver el sistema es con donde
, se tiene que
(
+ (
+ ()
+ ()
es decir,
()
()
La matriz se form con los vectores de la nueva base
\
|
|
|
.
1
0.5
0.5
0.5
0.5
0.5
0.5
0.5
0.5
0.5
|
\
|
|
|
.
=
Los valores de
son exactos.
La matriz
(
+ es la matriz de transicin de la base
a la base
.
La importancia de la matriz de transicin
()
()
\
|
|
|
.
4
2
5
|
\
|
|
|
.
3.5
5.5
0.5
|
\
|
|
|
.
=
El mismo resultado que al reducir por renglones.
Con
se tiene que ()
+ (
,
5.- Ejemplo de un vector que se expresa en una base no cannica
en
, y se pasa a una
base cannica
, en la base no cannica
{(
+ (
+ (
+ }. Exprese el
vector ()
* +.
En el ejemplo cuatro ya se verific que los vectores de
Este ejemplo se puede resolver de dos formas, la primera es como se indica enseguida:
Es posible obtener a partir del vector ()
, el vector ()
al multiplicar las
componentes de ()
) (
+ (
) (
+ (
) (
+ (
) (
) (
)
()
, (
+ Es el mismo vector ()
del ejemplo 4.
La segunda forma de hacer el clculo del vector ()
al vector ()
es con donde
(
+ es la matriz de transicin de la base
a la base cannica
, ()
+ ()
, es decir, ()
()
.
Al calcular ()
()
\
|
|
|
.
7
2
11
2
1
2
|
\
|
|
|
|
|
|
|
.
4
2
5
|
\
|
|
|
.
=
()
+ Es el mismo vector ()
387
Resumen para cambio de base
De los ltimos dos problemas podemos concluir que si existen dos bases, para un espacio
vectorial donde
es cualquier base.
Si se desea cambiar de base los vectores en de
, debe calcularse
que es la
matriz de transicin que se obtiene al calcular la inversa de la matriz que se forma con los
vectores de la base
a partir de la base
cannica
al multiplicar
es decir,
()
()
Si se desea cambiar de base los vectores en de
a partir de la base
al multiplicar es decir, ()
()
6.- Ejemplo de un vector que se expresa en una base cannica
en
Sea el vector ()
+ en la base cannica
* +. Exprese el vector en
trminos de la base
+ {(
+ (
+ (
+}
Antes de resolver, verificamos que
\
|
|
|
.
0 =
Como |
y no forman
base, por lo que aqu termina el problema. Para asegurarnos de que no forman base
intentamos con Mathcad obtener
a.- Determine la matriz de transicin
* + a la base
+ {(
+ (
+ (
+ }
388
b.- Exprese el vector ()
+ en trminos de la base
.
Nota: Para verificar que los vectores de la base
.
0
1
1
1
0
1
0
1
1
|
\
|
|
|
.
2 =
Los vectores son linealmente independientes, generan
y forman base.
Se tiene que (
+ Al resolver
\
|
|
|
.
1
0.5
1
0.5
0.5
0
0.5
0.5
0
0.5
|
\
|
|
|
.
=
Donde
es la matriz de transicin de
Los valores de
son exactos.
donde
(
+
(
+ ()
+ ()
()
()
Al resolver
()
()
\
|
|
|
.
5
10
7
|
\
|
|
|
.
6
5
4
|
\
|
|
|
.
=
()
+ donde
8.- Ejemplo de determinacin de la matriz de transicin para ir de base no cannica
a base
cannica
a.- Determine la matriz de transicin para ir de la base
{(
+ (
+ (
+ } a la base
cannica
* +
b.- Sea el vector ()
+ del ejemplo 7 Exprese el vector ()
en trminos de la base
cannica
* +
389
a.- La matriz de transicin para ir de la base
a la base cannica
es la matriz de los
vectores de la base
(
+
b.- El clculo del vector ()
+ al vector ()
transitarlo a ()
+ ()
+ ()
, es decir, ()
()
.
Al calcular ()
()
\
|
|
|
.
6
5
4
|
\
|
|
|
.
5
10
7
|
\
|
|
|
.
=
()
.
9.- Ejemplo de vector de coordenadas en
con respecto a:
a.- La base cannica
+ con
es decir,
+
b.- La base
+ con
c.- Con ()
, calcule ()
Antes de resolver, anotamos los vectores de coordenadas de la base
y verificamos que la
matriz
Con el software
Mathcad calculamos el determinante.
Los vectores de coordenadas de
son: (
+
(
+
1
1
0
1
1
0
1
0
1
|
\
|
|
|
.
2 =
Como es diferente de cero, los vectores si son linealmente independientes,
generan
y si forman base.
a.- Como
()
()
)
() () (
) entonces ()
+ (
+
390
Una segunda forma de obtener el vector de coordenadas de
con respecto a la
base cannica, es multiplicar la matriz de los vectores de la base cannica
por el vector
columna de los coeficientes de
Los vectores de coordenadas de
son: (
+ (
+
(
+(
+ (
+
b.- ()
de la ecuacin
( )
( )
) (
) (
(
|
+
(
|
)
Confirme el lector sustituyendo
donde (
+
Al resolver
\
|
|
|
.
1
0.5
0.5
0
0.5
0.5
0
0.5
0.5
1
|
\
|
|
|
.
=
Donde
es la matriz de transicin de
Los valores de
son exactos.
donde
(
+
(
+ ()
+ ()
, es decir,
()
()
Al resolver
()
()
\
|
|
|
.
2
4
5
|
\
|
|
|
.
0.5
3.5
5
|
\
|
|
|
.
=
()
) Con
. Queda en
como
Nota: Vea que nuevamente se calcul la matriz
(matriz de transicin de
) a partir de
la matriz que se form con los vectores de la base
para ir de ()
()
.
c.- Es posible obtener a partir del vector ()
) el vector ()
()
) (
+ (
) (
+ (
+ (
) (
) (
+ (
+
Una segunda forma de obtener ()
es multiplicar ()
()
\
|
|
|
.
.5
3.5
5
|
\
|
|
|
.
2
4
5
|
\
|
|
|
.
=
()
+ Con
Queda en base
como
Nota: Vea que nuevamente se us la matriz (matriz de transicin de
) que se form
con los vectores de la base
para ir de ()
()
10.- Ejemplo de vector de coordenadas en
Determine el vector de coordenadas de .
/ En
con respecto a:
a.- La base cannica.
+ {.
/ .
/ .
/ .
/}
b.- La base.
+ {.
/ .
/ .
/ .
/}
c.- Con ()
, calcule ()
Antes de resolver, anotamos los vectores de coordenadas de la base
y verificamos que la
matriz
Con el software
Mathcad calculamos el determinante.
392
Los vectores de coordenadas de
son: (
(
)
(
)
(
)
0
0
0
1
0
0
1
0
1
0
0
0
0
1
0
0
|
\
|
|
|
|
|
.
1 =
Es diferente de cero, los vectores son linealmente independientes, generan
y forman base.
a.- .
/ ()
de la ecuacin.
.
/
.
/
.
/
.
/
.
/
.
/ .
/ .
/ (
* (
* .
/
.
/ .
/ Por lo cual
), con
la matriz en base
es .
/
b.- ()
de la ecuacin
.
/
.
/
.
/
.
/
.
/
.
/ (
* (
* .
/ .
/ .
/
De aqu se obtiene el siguiente sistema de ecuaciones.
)
(
).
393
La matriz que se obtiene es la misma que corresponde a los vectores de coordenadas de
Confirme el lector sustituyendo
) (
) Quedando la matriz en base
como .
/.
Otra forma de resolver el sistema es calcular
donde (
)
Al resolver
\
|
|
|
|
|
.
1
0
0
1
0
0
0
0
1
0
1
0
0
1
0
0
0
|
\
|
|
|
|
|
.
=
Donde
es la matriz de transicin de
con
) (
) ()
) ()
, es decir,
()
()
Al resolver
()
()
\
|
|
|
|
|
.
9
8
7
6
|
\
|
|
|
|
|
.
6
7
9
8
|
\
|
|
|
|
|
.
=
()
) Con
Queda en
como .
/
Nota: Vea que nuevamente se calcul la matriz
(matriz de transicin de
) a partir de
la matriz que se form con los vectores de la base
para ir de ()
()
.
c.- Es posible obtener a partir del vector ()
) el vector()
)
.
/ .
/ .
/ .
/ .
/
394
.
/ .
/ .
/ .
/ .
/ .
/ ()
)
Otra forma de obtener el vector ()
) , es decir, el
vector ()
transitarlo a ()
, es con donde (
) es la matriz de
transicin de
) ()
) ()
, es decir, ()
()
.
Al calcular ()
()
\
|
|
|
|
|
.
6
7
9
8
|
\
|
|
|
|
|
.
9
8
7
6
|
\
|
|
|
|
|
.
=
()
) Es el mismo vector del inciso (a). Con
Quedando la matriz en
como .
/
Nota: Vea que nuevamente se us la matriz (matriz de transicin de
) que se form
con los vectores de la base
para ir de ()
()
.
11.- Ejemplo de matriz de transicin
en la figura 3.
. ( )
Figura 3 Rotacin de
respecto al origen.
(a) Determine la matriz de transicin
de base cannica
a la base no cannica
en
,
la cual se obtiene al girar
en
torno al origen. La base cannica es
* +.
395
(b) Obtenga las nuevas coordenadas ()
del vector ()
( ) .
/
(c) Con ()
, calcule ()
Los valores anteriores ya se vieron en la primera unidad en el subtema de cambio a forma
polar. Recordemos que cualquier vector se expresa con sus componentes horizontal y vertical,
como
tiene una unidad de longitud, debido a que es el vector (una unidad de longitud)
girado
entonces en la ecuacin
es
, la
componente vertical de
es
.
Lo mismo ocurre con
es
, la componente vertical de
es
.
La base cannica
* + {.
/ .
/}. La base
+ ,(
) (
)-
(a). (
) se ocupa calcular
2
2
|
\
|
|
|
|
|
.
1
0.707
0.707
0.707
0.707
|
\
|
|
.
=
El valor corresponde a
, por lo cual
) .
/.
(b) Las nuevas coordenadas del vector ()
( ) .
/ son ()
()
()
2
2
2
2
|
\
|
|
|
|
|
.
1
1
|
\
|
|
.
1.414
0
|
\
|
|
.
=
El valor corresponde a , por lo cual ()
*.
396
(c) Para calcular ()
, se ocupa (
), ()
* y la multiplicacin de ()
()
2
2
|
\
|
|
|
|
|
.
2
0
|
\
|
|
.
1
1
|
\
|
|
.
=
Es el mismo vector del inciso (b), ()
( ) .
/
12.- Ejemplo de cambio de una base no cannica
Sean
{.
/ .
/} la base cannica,
{.
/ .
/} y
{.
/ .
/} dos bases en
.
(a) Determine las matrices de transicin de:
.
(b) Use las matrices de transicin para obtener ()
()
a partir de ()
/
(c) Use la matriz de transicin para obtener ()
a partir de ()
(d) Si ()
y ()
Antes de iniciar verificamos que los vectores de
.
/ y
.
/ sean
bases. Al calcular los determinantes |
| y |
| con Mathcad.
4
2
3
1
|
\
|
|
.
2 =
3
8
1
4
|
\
|
|
.
4 =
Entonces |
| y |
| , si forman base.
Para resolver este problema que es un poco ms complicado, hagamos el siguiente
razonamiento. Supongamos que deseamos seguir el orden para transitar de
,
siguiendo la ruta
y a
Donde
que llamaremos
multiplicada por ()
()
()
. Para pasar de
se ocupa la matriz
de los vectores de
que
llamaremos
multiplicada por ()
()
()
()
()
.
(a)
.
/
.
/
\
|
|
.
1
1
2
0.25
0.75
|
\
|
|
.
=
Conviene tratar de obtener valores enteros.
Como |
.
/
.
/.
397
La matriz de transicin de
es
.
/ .
/
Al calcular con Mathcad .
/ .
/ sin el
\
|
|
.
4
2
3
1
|
\
|
|
.
18
38
13
27
|
\
|
|
.
=
(a) Entonces la matriz de transicin de
es
.
/.
La matriz de transicin de
es
.
/
La matriz de transicin de
es
.
/
(b) Obtengamos ()
()
a partir de ()
/
Para calcular ()
se tiene que
()
.
/ .
/ ()
Al multiplicar con Mathcad .
/ .
/ sin
\
|
|
.
4
8
|
\
|
|
.
32
64
|
\
|
|
.
=
()
/ .
/
Para calcular ()
se tiene que
.
/
()
.
/ .
/ ()
Al multiplicar con Mathcad .
/ .
/
4
2
3
1
|
\
|
|
.
4
8
|
\
|
|
.
8
0
|
\
|
|
.
=
Con ()
/ se obtuvo ()
/ ()
/
(c) Obtengamos ()
a partir de ()
Para calcular ()
se tiene que
()
.
/ .
/ ()
Al multiplicar con Mathcad .
/ .
/ sin
\
|
|
.
8
0
|
\
|
|
.
32
64
|
\
|
|
.
=
()
/ .
/
Con ()
/ se obtuvo ()
/
(d) Si ()
y ()
Para pasar de
se ocupa la matriz
de los vectores de
que llamaremos
.
/
\
|
|
.
1
0.5
1
1.5
2
|
\
|
|
.
=
Conviene tratar de obtener valores ms exactos.
Como |
.
/
.
/.
La matriz de transicin de
es
.
/
()
()
.
/ .
/ ()
\
|
|
.
3
6
|
\
|
|
.
15
18
|
\
|
|
.
=
Se tiene que ()
/ (
()
()
.
/ .
/ ()
\
|
|
.
3
6
|
\
|
|
.
18
42
|
\
|
|
.
=
Se tiene que ()
/ (
)
Con ()
/ se obtuvo ()
* y ()
)
399
Determine el lector el cambio de una base no cannica
Con los datos del ejemplo 12. Sean
{.
/ .
/} la base cannica,
{.
/ .
/} y
{.
/ .
/} dos bases en
.
(a) Determine las matrices de transicin de:
(b) Use las matrices de transicin para obtener ()
()
a partir de ()
(c) Use la matriz de transicin para obtener ()
a partir de ()
(d) Si ()
y ()
Iniciaremos la solucin. Ya no se ocupa determinar que
es con la ruta
y a
que llamaremos
multiplicada por ()
()
()
. Para pasar de
se ocupa la matriz
de los vectores de
que
llamaremos
multiplicada por ()
()
()
()
()
2.-
Compruebe que los vectores de la base cannica en
.
*
+ * + {.
/ .
/}
/ .
/ ()() ()()
400
/ .
/ ()() ()()
Del mismo modo que las bases cannicas cumplen con las dos ecuaciones ya indicadas,
cualquier conjunto de vectores *
+ en
.
2.-
.
En el subtema 4.5 se estudi que la magnitud o longitud de un vector en
es:
||
. Pero
, por lo
cual || para todo
|| si y slo si .
En los ejemplos 9 y 10 del subtema 4.5, ya se resolvieron ejemplos de longitud de un vector.
En el subtema 4.4 de bases se dijo que cualquier conjunto que sea base es linealmente
independiente, tambin se mencion que al escribir en forma vertical los vectores de las bases
cannicas se forma la matriz identidad, cuyo determinante es igual a 1 y por lo tanto son
linealmente independientes. Por otro lado todas las bases cannicas tienen sus vectores
ortogonales entre s. Por lo cual se puede concluir que cualquier conjunto finito de vectores
ortogonales es linealmente independiente.
Recordemos la base cannica de
+ * + {.
/ .
/ no es mltiplo de .
/ .
/ .
y
forman una base ortogonal.
Antes de ver el proceso de ortonormalizacn de Gram-Schmidt, es conveniente tratar las
proyecciones ortogonales, que se apoyan en el producto punto para que un vector dado se
pueda expresar como la suma de vectores ortogonales.
401
Proyecciones ortogonales.
En la figura 4 podemos ver cuatro vectores que son y la
El vector
. La ecuacin anterior es
nica para el vector . El vector como la componente vectorial de ortogonal a
Veamos como se puede calcular
y
tienen la misma direccin por lo que son mltiplos y entonces
( es un escalar).
La figura muestra que y son ortogonales, por lo que . Con esto se establece.
(
()
( )
||
Pero
.
/ (
||
*
La ecuacin anterior es la proyeccin ortogonal de sobre
.
/ (
||
*
La ecuacin anterior es la componente vectorial de ortogonal a
Foco
.
||
.
||
Figura 4 El vector .
||
/ es ortogonal a
402
15.- Ejemplo de proyeccin ortogonal.
Si se tiene los vectores .
/ y .
.
/
.
/
/ .
/ .
.
/ .
/ .
/ .
/
El lector trace en papel milimtrico o en cuadriculado los cuatro vectores, y
,
verifique el ngulo de
Proceso de ortonormalizacin de Gram-Schmidt.
Vamos a estudiar como cualquier base en
|
Entonces
|
* (
|
* (
* (
) (
)(
) (
* (
)
Se tiene que |
2.- El paso dos es elegir un segundo vector ortogonal a
En la figura 4 se pueden apreciar los vectores y la
.
||
/ (proyeccin
ortogonal del vector sobre el vector ).
Si despejamos en .
||
/ se obtiene .
||
/ donde .
||
/ es la
proyeccin ortogonal del vector sobre el vector y es la componente vectorial de
ortogonal a .
La figura 4 muestra que los vectores son ortogonales entre s, cuando los dos se
encuentran en
/ ser .
pero
|
Se tiene que: .
||
La figura 4 queda
con los cambios hechos como la figura 5:
Observe que los vectores
no son ortogonales, y
| se obtendr el
vector unitario
Figura 5 El vector
es ortogonal a
Para comprobar que
)(
)
3.- El paso tres es elegir un segundo vector unitario
. Sea
|
*
+
4.- El paso cuatro es continuar el proceso, as el tercer vector
ortogonal a
se
obtiene con
5.- El paso cinco es elegir un tercer vector unitario
. Sea
|
*
+
6.- El paso seis es continuar el proceso, as el cuarto vector
ortogonal a
se
obtiene con
404
7.- El paso siete es elegir un cuarto vector unitario
. Sea
|
*
+
El proceso continua hasta lograr tener tantos vectores unitarios como vectores hay en la base.
16.- Construccin de una base ortonormal en
Construya una base ortonormal con los vectores de la base *
+ {(
+ (
+ (
+ }
Nota: Para verificar que los vectores de la base sean linealmente independientes y as formen
una base, se calcula el determinante de *
\
|
|
|
.
2 =
Los vectores son linealmente independientes, si generan
y si forman base.
Iniciamos calculando |
()
; se tiene que:
|
* (
+(
* (
,
Entonces
+ [(
+ (
,] (
, (
+ (
) (
)
|
|
*
|
(
|
*
)
(
)(
* (
) (
* (
)(
* (
* (
Seguimos con el clculo de
405
+ [(
+ (
,] (
,
[
+
(
+ (
+ (
, (
* (
* (
|
*
(
|
(
|
*
,
(
* (
* (
) (
* (
)(
* (
) (
* (
* (
* (
* (
* (
* (
* (
As obtuvimos una base ortonormal en
+
{
,
(
El resultado anterior se debe verificar calculando |
| |
| |
| y adems que se
cumpla:
.
|
|
()
406
|
() (
* (
* (
* (
* (
() (
* (
*(
* (
* (
* (
* (
*(
* (
* (
Como se cumplen todas las ecuaciones se tiene que el conjunto de vectores *
+ tienen
cada uno longitud de son ortogonales entre cada par, por lo que se confirma que si es una
base ortonormal.
17.- Ejemplo de una base ortonormal para un subespacio de
Encuentre una base ortonormal para el conjunto de vectores en
) }
En el ejemplo 6 del subtema 4.4 Bases y dimensiones se determin que en los vectores
()
; se tiene que:
|
* (
+(
* (
,
Entonces
+ [(
+ (
,] (
,
407
, (
+ (
) (
)
|
()
|
*
|
(
|
*
)
(
)(
* (
)(
* (
)(
) (
) (
) (
As obtuvimos una base ortonormal en
+
{
,
(
El resultado anterior se debe verificar calculando |
| |
.
|
( )
| (
/ .
* (
* () (
) (
* (
Al sustituir los vectores
* () (
* (
) (
) (
) (
) (
Como se cumplen todas las ecuaciones se tiene que el conjunto de vectores *
+ tienen
cada uno longitud de son ortogonales y cada uno satisface la ecuacin
Por lo que se confirma que si es una base ortonormal.
Cuando se estudiaron las matrices ortogonales en el captulo de matrices, se anot que una
matriz ortogonal es aquella que es invertible y cumple con la ecuacin
, es decir la
inversa de es igual a la transpuesta de
Tambin se tiene que al sustituir en
se
obtiene
que
+
*
+
{
,
(
(a)
(
Al multiplicar con Mathcad las matrices
0
1
2
1
2
2
6
1
6
1
6
1
3
1
3
1
3
|
\
|
|
|
|
|
|
|
.
0
2
6
1
3
1
2
1
6
1
3
1
2
1
6
1
3
|
\
|
|
|
|
|
|
|
.
1
0
0
0
1
0
0
0
1
|
\
|
|
|
.
=
409
Vemos que los vectores de la base ortonormal *
(b) Usemos Mathcad para comprobar que
cuando
(
0
1
2
1
2
2
6
1
6
1
6
1
3
1
3
1
3
|
\
|
|
|
|
|
|
|
.
1
0
0.816
0.577
0.707
0.408
0.577
0.707
0.408
0.577
|
\
|
|
|
.
=
Se confirma que
Si se cumple que
, ya que
Ya
se dijo en otros subtemas que es ms conveniente usar fracciones (quebrados) que decimales,
ya que con stos ltimos se redondea el resultado. En caso de ocupar la matriz con decimales
en otros clculos, el resultado se puede ir alejando del valor buscado; en cambio si se utiliza la
matriz con fracciones, y se cuida el uso de las mismas, el resultado no estar redondeado.
Concluimos que los vectores *
+ {(
+ (
+ (
+} al
escribirse como matriz son una matriz ortogonal.
(b) Calcule la inversa de la matriz formada con los vectores *
+
Comprobemos que son vectores ortonormales con las ecuaciones
|
| |
| |
| y
| ()
()
()
| ()
()
()
| ()
()
()
+ tienen
cada uno longitud de son ortogonales entre cada par, por lo que se confirma que si es una
base ortonormal.
(a) (
+
(
+
Al multiplicar con Mathcad las matrices
0
0
1
1
0
0
0
1
0
|
\
|
|
|
.
0
1
0
0
0
1
1
0
0
|
\
|
|
|
.
1
0
0
0
1
0
0
0
1
|
\
|
|
|
.
=
Vemos que los vectores de la base ortonormal *
(
+
(b) Usemos Mathcad para comprobar que
cuando (
+
0
0
1
1
0
0
0
1
0
|
\
|
|
|
.
1
0
1
0
0
0
1
1
0
0
|
\
|
|
|
.
=
Se confirma que
Definicin de Proyeccin Ortogonal.
Sea un subespacio de
+ Si
entonces la
proyeccin ortogonal de sobre , escrita como
20.- Ejemplo de una proyeccin ortogonal de un vector sobre un plano. Determine
donde es el plano {(
) } y es el vector (
+
En el ejemplo 17 de este subtema se determin que una base ortonormal para es
411
. Calculemos
[(
+ (
,] (
,
[
+
(
) (
, (
,
Aplicaciones de los espacios vectoriales con producto interno.
Factorizacin
Si es una matriz de con columnas linealmente independientes, entonces puede
factorizarse como La matriz es una matriz de cuyas columnas forman una base
ortonormal para el espacio generado por los vectores (columnas) de La matriz es de
triangular superior y no singular ( || y si tiene inversa).
En este momento ya sabemos como ortonormalizar una matriz de con columnas
linealmente independientes. En los ejemplos anteriores donde hicimos ortonormalizacin, la
matriz con los vectores ortonormalizados la continuamos llamando en este punto se conocer
como
Deseamos calcular en
, pero
sabemos que las matrices ortonormales son ortogonales y entonces se tiene
al
combinar las dos ecuaciones se tiene que:
.
21- Ejemplo de Factorizacin
Con los vectores de la base *
+ {(
+ (
+ (
.
Con la base(
+ (
+ (
+ se obtiene (
+
412
Con la base ortonormal
(
se obtiene
(
(
+
Al resolver con Mathcad
0
2
6
1
3
1
2
1
6
1
3
1
2
1
6
1
3
|
\
|
|
|
|
|
|
|
.
0
1
1
1
0
1
0
1
1
|
\
|
|
|
.
1.414
0
0
0.707
1.225
0
0
0.816
1.155
|
\
|
|
|
.
=
Se cumple que es una matriz triangular superior
(
En el ejemplo 16 se construy una base ortonormal a partir de tres vectores que forman una
base en
Existe una forma distinta de resolver este problema. Consiste en primero obtener
una base ortogonal para los vectores de la base original, enseguida la base ortogonal se pasa a
una base ortonormal, es decir,
es
una base ortogonal y
+ es la base ortogonal y
|
}
es la base ortonormal.
1.- El paso uno es
2.- El paso dos es
(Observe la figura 4)
3.- El paso tres es
Para obtener la base ortonormal, solo se divide cada vector de la base ortogonal entre su
longitud.
413
|
}
22.- Construccin de una base ortogonal y una base ortonormal en
Construya una base ortogonal y una base ortonormal con los vectores de la base
*
+ {(
+ (
+ (
+ }
En el ejemplo 16 ya se verific que los vectores de la base son linealmente independientes y s
forman una base.
+, |
()
()
*(
[(
+ (
+] (
+ (
* () (
+ (
+ (
) (
)
|
*(
* (
[(
+ (
+] (
*(
+ (
)+ (
+ (
* () (
+ (
* () (
) (
+ (
+ (
, (
+ {(
+ (
) (
,}
Comprobamos que los vectores sean ortogonales entre si.
414
Los tres vectores son ortogonales entre si y forman una base ortogonal. Para obtener la base
ortonormal se calcula:
|
()
|
(
|
*
+ (
|
(
|
*
)
(
|
(
|
*
,
(
) (
415
|
}
{
,
(
La base
entonces
23- Ejemplo para verificar que un vector es combinacin de una base ortogonal.
Con la base ortogonal del ejemplo 22, determine si (
+ es una combinacin lineal.
Los vectores de la base ortogonal (ya se verific) son
+ {(
+ (
) (
,}
()() ()(
) ()(
()(
) ()(
) ()(
()() (
)(
) (
)(
416
)(
) (
)(
) (
)(
Para comprobar se realizan las multiplicaciones.
+ (
, (
) (
) (
+ (
+
Se puede ver que si se cumple la ecuacin y entonces los escalares son:
Usemos Mathcad para comprobar los valores anteriores. Calculemos primero la inversa de los
vectores de la base ortogonal.
0
1
1
1
.5
.5
2
3
2
3
2
3
|
\
|
|
|
|
|
|
|
.
1
0
0.667
0.5
0.5
0.333
0.5
0.5
0.333
0.5
|
\
|
|
|
.
=
Ahora multipliquemos con Mathcad
donde (
+ (
+
0
0.667
0.5
0.5
0.333
0.5
0.5
0.333
0.5
|
\
|
|
|
.
2
4
3
|
\
|
|
|
.
3.5
1.001
1.5
|
\
|
|
|
.
=
Podemos concluir que si no tenemos un software, es ms sencillo resolver como lo hicimos en
comparacin con reducir por renglones o calcular la inversa de los vectores de la base
ortogonal seguido de la multiplicacin de matrices
Otra propiedad que resulta interesante de los conjuntos ortogonales, tiene que ver con la
relacin que existe entre sus matrices y sus transpuestas.
Si las columnas (vectores) de una matriz de forman un conjunto ortogonal, entonces
).
417
(
|
, (
,
24.- Ejemplo de multiplicacin de una matriz ortogonal de por su transpuesta.
Con los vectores de la base ortogonal del ejemplo 14, determine
Los vectores de la base ortogonal son {.
/ .
/}.
Se tiene que la matriz .
/
.
/
.
/ .
/ (
*
Resolvamos con la ecuacin arriba indicada.
()() ()()
()() ()()
.
/.
Confirmemos el resultado anterior calculando
con Mathcad
2
3
6
1
|
\
|
|
.
2
6
3
1
|
\
|
|
.
40
0
0
10
|
\
|
|
.
=
Se confirma nuestro resultado.
25.- Ejemplo de multiplicacin de una matriz ortogonal de por su transpuesta.
Con los vectores de base ortogonal del ejemplo 21, determine
Los vectores de la base ortogonal (ya se verific) son
{(
+ (
) (
,}
Se tiene que la matriz (
)
418
)(
, (
+
.
Resolvamos con la ecuacin arriba indicada.
()() (
)(
) (
)(
)(
) (
)(
) (
)(
)
Confirmemos el resultado anterior calculando
con Mathcad
0
1
2
3
1
1
2
2
3
1
1
2
2
3
|
\
|
|
|
|
|
|
.
0
1
1
1
1
2
1
2
2
3
2
3
2
3
|
\
|
|
|
|
|
|
|
.
2
0
0
0
1.5
0
0
0
1.333
|
\
|
|
|
.
=
Se confirma nuestro resultado.
EJERCICIOS PROPUESTOS.
1.- Sea el vector (
* + Determine ()
.
2.- En
sea el polinomio
y los vectores
Si Demuestre que:
(a) *(
+ es linealmente independiente en
.
(b) ()
3.- Sea ()
) en base cannica
en
con respecto a la base
+ donde
4.- Sea el vector ()
+ en la base cannica
* +. Exprese el vector en
trminos de la base
+ {(
+ (
+ (
+}
419
5.- Sea el vector ()
) en la base no cannica
{(
+ (
+ (
+}. Exprese el
vector ()
* +.
6.- Sea el vector ()
+ en la base cannica
* +. Exprese el vector en
trminos de la base
+ {(
+ (
+ (
+ }
7.- Sea la base cannica
* + y la base
+ {(
+ (
+ (
+}
(a) Determine la matriz de transicin
para ir de
(b) Exprese el vector ()
+ en trminos de la base
.
8.- Sea la base no cannica
+ {(
+ (
+ (
+} y la base cannica
* +.
(a) Determine la matriz de transicin para ir de
.
(b) Sea el vector ()
) Exprese el vector ()
* +
9.- Obtenga el vector de coordenadas de
con respecto a:
a.- La base cannica
+ con
es decir,
+
b.- La base
+ con
c.- Con ()
, calcule ()
10.- Determine el vector de coordenadas de .
/ En
con respecto a:
a.- La base cannica.
+ {.
/ .
/ .
/ .
/}
b.- La base.
+ {.
/ .
/ .
/ .
/}
c.- Con ()
, calcule ()
.
420
11.- Se tiene la siguiente figura de un vector que rota
( )
Rotacin de
respecto al origen.
(a) Determine la matriz de transicin
de base cannica
a la base
en
, la cual se
obtiene al girar
en torno al
origen. La base cannica es
* +.
(b) Obtenga las nuevas coordenadas ()
del vector ()
( )
(c) Con ()
, calcule ()
.
12.- Sean
{.
/ .
/} la base cannica,
{.
/ .
/} y
{.
/ .
/} dos bases
en
.
(a) Determine las matrices de transicin de:
.
(b) Use las matrices de transicin para obtener ()
()
a partir de ()
/
(c) Use la matriz de transicin para obtener ()
a partir de ()
(d) Si ()
y ()
Definicin de conjuntos ortogonales y conjuntos ortonormales.
13.- Compruebe que los vectores de la base cannica en
+ * + cumplen
las dos ecuaciones
. Solo calcule
14.- Sea el vector .
/. (a) Encuentre un vector .
/ y .
, verifique el ngulo de
Proceso de ortonormalizacin de Gram-Schmidt.
16.- Construya una base ortonormal con los vectores de la base
*
+ {(
+ (
+ (
+}
421
17.- Encuentre una base ortonormal para el conjunto de vectores en
) }
18.- (a) Demuestre que los vectores de la base ortonormal calculada en el ejercicio 16 al
escribirse como matriz forman una matriz ortogonal.
(b) Calcule la inversa de la matriz formada con los vectores *
+
19.- (a) Demuestre que los vectores de la base ortonormal *
+ {(
+ (
+ (
+} al
escribirse como matriz forman una matriz ortogonal.
(b) Calcule la inversa de la matriz formada con los vectores *
+
Definicin de Proyeccin Ortogonal.
20.- Determine
donde es el plano {(
) } y es el vector (
+.
Tomar
+ {(
+ (
+ (
.
22.- Construya una base ortogonal y una base ortonormal con los vectores de la base
*
+ {(
+ (
+ (
+ es una combinacin lineal.
24.- Con los vectores de base ortogonal del ejercicio 14, determine
.
25.- Con los vectores de base ortogonal del ejemplo 22, determine