Sie sind auf Seite 1von 4

ESPACIOS VECTORIALES.

DERIVE nos permite centrar nuestra atención en la resolución de problemas matemáticos. Los tediosos cálculos
que debemos realizar cuando no disponemos de programas adecuados hacen que nos concentremos en éstos y
perdamos de vista lo realmente importante: Los datos, el resultado pedido y la teoría que nos permite obtener la
solución.
Un mal uso del programa también hace que nos perdamos en un largo listado. Vamos a ver a través de un
ejemplo cómo podemos hacer un uso eficiente de DERIVE.
r r r r r r r r
Sean A = {v1 , v 2 , v3 , v 4 } y B = {u1 , u 2 , u 3 , u 4 } bases de R 4 . Se pide calcular PB→ A y QA→B .
El primer paso a dar es preguntarnos cuándo tendremos calculada la matriz PB→ A . Sabemos que
r r r r r r r r
PB → A = [[u1 ] A | [u 2 ] A | [u 3 ] A | [u 4 ] A ] , tenemos que calcular los vectores de coordenadas de u1 , u 2 , u 3 , u 4 en
base A. Recordamos la definición de vector de coordenadas:
r r r r r
u i = α 1 v1 + α 2 v 2 + α 3 v 3 + α 4 v 4 , i = 1,2,3,4 .
Tenemos que resolver cuatro sistemas con igual matriz de coeficientes que sabemos son compatibles
determinados. La matriz pedida es la que tiene por columnas los cuatro vectores solución. Definimos los
vectores de ambas bases:
#1: v1 := [1, 1, 0, 0]

#2: v2 := [-1, 0, 0, 0]

#3: v3 := [2, 0, -1, 0]

#4: v4 := [1, 2, 3, 4]

#6: u1 := [-3, 0, 0, 3]

#7: u2 := [0, 1, 1, 0]

#8: u3 := [0, 2, 3, 7]

#9: u4 := [3, 4, 4, 0]

Debemos construir dos matrices:


• a matriz cuyos vectores columna son los vectores de la base A.
• b matriz cuyos vectores columna son los vectores de la base B.
Teniendo en cuenta la definición de vector de coordenadas la matriz a es la matriz de coeficientes de los cuatro
sistemas y las columnas de la matriz b los términos independientes. Sabemos cómo hacerlo:

#10: a := [v1, v2, v3, v4]`

#11: b := [u1, u2, u3, u4]`

Nota: Las matrices cuyos vectores columna son los vectores de las bases pueden ser definidas sin la definición
previa de los vectores de las bases siempre que estos no sean utilizados en otros cálculos del ejercicio.

Recordamos que las funciones:


APPEND_COLUMNS(A,B): nos retorna la matriz C que resulta de la unión de A y B.
ROW_REDUCE(C): nos retorna la forma escalonada reducida de C. Por ser los sistemas compatibles
determinados la matriz formada por las cuatro últimas columnas de este resultado es la matriz pedida. El
operador COL nos permite extraer estas columnas.
En nuestro ejemplo la solución son las columnas: 5, 6, 7, 8. En general, si la base tiene n vectores son las
columnas: n+1, n+2,......,2n. Precisamos generar un vector [n+1, n+2,....,2n] para extraer estas columnas.
DERIVE nos proporciona la función VECTOR(K(i),i,inicio,fin) que nos retorna [K(inicio),
K(inicio+1),.......,K(fin)].
Teniendo en cuenta estas herramientas de DERIVE podemos definir una función cuyos parámetros son :
• a matriz de coeficientes.
• b términos independientes.
• n número de vectores de la base.

Espacios vectoriales 1
#12: cambiodebase(a, b, n) := (ROW_REDUCE(APPEND_COLUMNS(a, b))) COL

VECTOR(i, i, n + 1, 2·n)

Si designamos por P la matriz pedida y simplificamos obtenemos el resultado buscado.


#13: p := cambiodebase(a, b, 4)

„ 3 3 †
¦ - ——— 1 - ——— 4 ¦
¦ 2 2 ¦
¦ ¦
¦ 27 19 ¦
¦ ———— -1 ———— -7 ¦
¦ 4 4 ¦
#15: ¦ ¦
¦ 9 9 ¦
¦ ——— -1 ——— -4 ¦
¦ 4 4 ¦
¦ ¦
¦ 3 7 ¦
¦ ——— 0 ——— 0 ¦
… 4 4 ‡

Una vez calculada la matriz P, para calcular la matriz Q que hace el cambio de la base A a la base B tenemos en
cuenta el Teorema del Cambio de Base. Si P es la matriz que hace el cambio de la base B a la base A, la matriz
Q que hace el cambio de la base A a la base B es la matriz inversa de P.
-1
#16: q := p

„ 7 7 †
¦ ——— 0 ——— -1 ¦
¦ 3 3 ¦
¦ ¦
¦ 23 4 8 ¦
¦ - ———— ——— -10 ——— ¦
#18: ¦ 3 3 3 ¦
¦ ¦
¦ -1 0 -1 1 ¦
¦ ¦
¦ 8 1 2 ¦
¦ ——— - ——— 3 - ——— ¦
… 3 3 3 ‡
r r r
Si nos dan como dato un vector w∈ R 4 y nos piden los vectores de coordenadas [w] A y [w] B nos debemos de
preguntar cómo obtener estos resultados con los datos dados y los resultados ya obtenidos.
r r
Para calcular [w] A conocemos los vectores de la base A y el vector w , debemos utilizar la definición de vector
de coordenadas que como ya hemos visto implica la resolución de un sistema cuya matriz de coeficientes tiene
r
por columnas los vectores de la base A y por término independiente el vector columna w . Ya sabemos que para
obtener la solución lo más sencillo es definir una función.
#19: coordenadas(a, n) := (ROW_REDUCE(APPEND_COLUMNS(a, w))) COL [n + 1]

„ 4 †
¦ ¦
¦ -1 ¦
#20: w := ¦ ¦
¦ -4 ¦
¦ ¦
… -4 ‡

#21: wa := coordenadas(a, 4)

Espacios vectoriales 2
#22: wa

„ 1 †
¦ ¦
¦ -2 ¦
#23: ¦ ¦
¦ 1 ¦
¦ ¦
… -1 ‡
r
Para calcular [w] B debemos tener en cuenta los datos y los resultados ya obtenidos para utilizar el método más
eficiente. Como el número de operaciones a realizar para multiplicar una matriz por un vector es menor que el
r r
necesario para obtener la solución de un sistema, utilizamos el Teorema del cambio de base: [w]B = Q A→ B ⋅ [w] A .

#24: wb := q • wa

„ 17 †
¦ ———— ¦
¦ 3 ¦
¦ ¦
#25: ¦ -23 ¦
¦ ¦
¦ -3 ¦
¦ ¦
… 7 ‡

En nuestro ejemplo el espacio vectorial era R 4 , si fuese un espacio vectorial V distinto a R n el modo de obtener
la solución con DERIVE es similar:

1. Consideramos los vectores de coordenadas de los vectores dados en la base canónica. Ya trabajamos en
Rn .
2. Si nos piden como resultado uno o más vectores de V como el/los resultados obtenidos son vectores de
coordenadas y éstos pertenecen a R n debemos utilizar la definición de vector de coordenadas para
obtener el resultado pedido.
Por ejemplo:
r r r r
A = {v1 = 1 + X , v 2 = −1, v 3 = 2 − X 2 , v 4 = 1 + 2 x + 3x 2 + 4 x 3 } y

r r r r
B = {u1 = −3 + 3 x 3 , u 2 = x + x 2 , u 3 = 2 x + 3x 2 + 7 x 3 , u 4 = 3 + 4 x + 4 x 2 } .

calculamos las matrices que hacen los cambios de base utilizando el mismo proceso que en el ejemplo anterior.
Para ésto consideramos los vectores de coordenadas de los vectores de las bases A y B en la base canónica de
P3 [ X ] . Por ejemplo, calcular Q A→ B :
Paso 1. Definimos las matrices a y b cuyos vectores columna son los vectores de las bases A y B
respectivamente:

„ 1 -1 2 1 †
¦ ¦
¦ 1 0 0 2 ¦
#1: a := ¦ ¦
¦ 0 0 -1 3 ¦
¦ ¦
… 0 0 0 4 ‡

„ -3 0 0 3 †
¦ ¦
¦ 0 1 2 4 ¦
#2: b := ¦ ¦
¦ 0 1 3 4 ¦
¦ ¦
… 3 0 7 0 ‡

Espacios vectoriales 3
Paso 2. Si no hemos definido previamente la función solucion(a,b,n) la definimos. En el caso de que ya esté
definida en nuestro fichero de trabajo la asignamos a Q. Tenemos que tener en cuenta cuál es la matriz de
coeficientes y cuál la correspondiente a los términos independientes, ya que el primer parámetro de la función
corresponde a la matriz de coeficientes y el segundo a los términos independientes. Para hacerlo correctamente
cogemos lápiz y papel y escribimos la definición correspondiente a la matriz de cambio de base pedida en
r r r r
nuestro caso: Q A→ B = [[v1 ]B , [v 2 ] B , [v 3 ]B , [v 4 ]B ] ⇒ matriz de coeficientes b y términos independientes a.

#3: q := solucion(b, a, 4)

„ 7 7 †
¦ ——— 0 ——— -1 ¦
¦ 3 3 ¦
¦ ¦
¦ 23 4 8 ¦
¦ - ———— ——— -10 ——— ¦
#5: ¦ 3 3 3 ¦
¦ ¦
¦ -1 0 -1 1 ¦
¦ ¦
¦ 8 1 2 ¦
¦ ——— - ——— 3 - ——— ¦
… 3 3 3 ‡
r r
Si nos dan [w] A = (1,3,0,5) y nos piden w , sabemos que:
r r r r r
w = 1 ⋅ v1 + 3 ⋅ v 2 + 0 ⋅ v3 + 5 ⋅ v 4 de este modo obtenemos el resultado pedido.

Espacios vectoriales 4