DEFINICIN DE OPERACIONES PARA ESPACIOS VECTORIALES

Vimos en el documento pasado que existe una gran variedad de espacios

vectoriales y no slo los que estn formados por vectores en R
n
que vemos como
flechas con una direccin y una magnitud.
Ahora bien, lo mismo puede suceder en el caso de las operaciones. Puede
definirse una gran variedad de operaciones de sumas entre vectores y de
productos por un escalar.
Recordemos que un espacio vectorial es el conjunto de vectores con dos
operaciones que cumplen ciertas propiedades. Entonces, lo importante para que
con las operaciones que definamos el conjunto sea un espacio vectorial es que
dichas operaciones cumplan las propiedades vistas.
Si las operaciones cumplen las propiedades el conjunto de vectores y esas
operaciones nos dar un espacio vectorial. Y sern espacios vectoriales distintos
con cada par de operaciones diferente (suma entre vectores y producto por un
escalar).
Hay un par de operaciones que ya conocemos:
la suma tradicional entre vectores de R
n

(x
1
, x
2
, x
3
, , x
n
) + (y
1
, y
2
, y
3
, , y
n
) = (x
1
+ y
1
, x
2
+ y
2
, x
3
+ y
3
, , x
n
+ y
n
)
y la multiplicacin por un escalar tradicional en R
n

k(x
1
, x
2
, x
3
, , x
n
) = (kx
1
, kx
2
, kx
3
, , kx
n
)
Sin embargo, esto no significa que no podamos definir otras operaciones en R
n

que cumplan con las propiedades vistas en el material.
Esto ha causado mucha confusin en la Actividad 1 de la Unidad 1. Al definir la
multiplicacin por un escalar como: k(x, y, z) = (x, ky, kz)
Si se define la multiplicacin por un escalar como k(x, y, z) = (x, ky, kz), esto no
significa que no cumpla con la multiplicacin por un escalar, sino que est definida
de una forma diferente.
Es cierto que no es igual a la que trabajamos tradicionalmente: (kx, ky, kz). En el
ejemplo vemos que la x no se multiplica: k(x, y, z) = (x, ky, kz). Pero esto es slo la
definicin que estamos dando.
Tampoco significa que el resultado: (x, ky, kz), est fuera del espacio. Como
observamos, (x, ky, kz) tiene tres entradas, as que es un elemento de R
3
.
Lo que debemos verificar es si cumple con las propiedades dadas para la
multiplicacin por un escalar: la propiedad distributiva por la derecha, la
propiedad distributiva por la izquierda, la asociatividad de escalares y la
cerradura para la multiplicacin por escalares.
Veamos un ejemplo:
Supongamos que estamos en R
3
, es decir, tenemos vectores de la forma (x, y, z),
y definimos:
la suma como (x
1
, y
1
, z
1
) + (x
2
, y
2
, z
2
) = (x
1
+ x
2
, y
1
+ y
2
, z
1
+ z
2
)
y la multiplicacin como k(x, y, z) = (0, ky, kz)

Verifiquemos las propiedades
de la suma entre vectores ya sabemos que stas se cumplen porque est
definida de la forma tradicional.

de la multiplicacin por un escalar
la cerradura
nos dice que si (x, y, z) est en R
3
y k est en R, entonces k(x, y, z) debe estar en
R
3
y vemos que k(x, y, z) = (0, ky, kz) Por lo tanto, k(x, y, z) est en R
3
, pues
es igual a (0, ky, kz), y ste es un elemento de R
3
.
Podramos desear decir que entonces k(x, y, z) = (0, ky, kz) no est en R
3
porque
elimina la primera entrada. Sin embargo, aunque la primera entrada sea cero,
tenemos tres entradas. As que estamos en R
3
.

la asociatividad de escalares
nos dice que si (x, y, z) est en R
3
y k y m estn en R, entonces k[m(x, y, z)] debe
ser igual a (km)(x, y, z)
Para ello, aplicamos la definicin dada: k(x, y, z) = (0, y, z)
Entonces,
k[m(x, y, z)] = k(0, my, mz) = (0, k[my], k[mz])
y aqu podemos aplicar la asociatividad de R, pues quedan simples
multiplicaciones en R
(0, k[my], k[mz]) = (0, [km]x, [km]z) = (km)(x, y, z)
Por lo tanto, se cumple la asociatividad:
k[m(x, y, z)] = k(0, my, mz) = (0, k[my], k[mz]) = (0, [km]x, [km]z) = (km)(x, y, z)

la propiedad distributiva por la izquierda
que nos dice que si (x, y, z) est en R
3
y k y m estn en R, entonces,
(k + m)(x, y, z) = k(x, y, z) + m(x, y, z)
Para ello, aplicamos la multiplicacin y posteriormente la suma como estn
definidas:
la suma como (x
1
, y
1
, z
1
) + (x
2
, y
2
, z
2
) = (x
1
+ x
2
, y
1
+ y
2
, z
1
+ z
2
)
y la multiplicacin como k(x, y, z) = (0, ky, kz)
Entonces,
(k + m)(x, y, z) = (0, [k + m]y, [k + m]z)
Aqu aplicamos las propiedades de las operaciones en R,
(0, [k + m]y, [k + m]z) = (0 + 0, ky + my, kz + mz)
La suma de vectores que hemos definido,
(0 + 0, ky + my, kz + mz) = (0, ky, kz) + (0, my, mz)
Y la multiplicacin por un escalar definida,
(0, ky, kz) + (0, my, mz) = k(x, y, z) + m(x, y, z)
Por lo tanto, nos queda
(k + m)(x, y, z) = k(x, y, z) + m(x, y, z)
As que se cumple la distributividad por la izquierda

la propiedad distributiva por la derecha
que nos dice que si (x
1
, y
1
, z
1
) y (x
2
, y
2
, z
2
) estn en R
3
y k est en R, entonces,
k [(x
1
, y
1
, z
1
) + (x
2
, y
2
, z
2
)] = k(x
1
, y
1
, z
1
) + k(x
2
, y
2
, z
2
)
Para ello, utilizamos las operaciones como estn definidas:
la suma como (x
1
, y
1
, z
1
) + (x
2
, y
2
, z
2
) = (x
1
+ x
2
, y
1
+ y
2
, z
1
+ z
2
)
y la multiplicacin como k(x, y, z) = (0, ky, kz)
Entonces,
k [(x
1
, y
1
, z
1
) + (x
2
, y
2
, z
2
)] = k (x
1
+ x
2
, y
1
+ y
2
, z
1
+ z
2
)
y
k (x
1
+ x
2
, y
1
+ y
2
, z
1
+ z
2
) = (0, k[y
1
+ y
2
], k[z
1
+ z
2
])
Aplicamos las propiedades de las operaciones en R,
(0, k[y
1
+ y
2
], k[z
1
+ z
2
]) = (0, ky
1
+ ky
2
, kz
1
+ kz
2
)
Y nuevamente la suma entre vectores y la multiplicacin por un escalar definidas,
(0, ky
1
+ ky
2
, kz
1
+ kz
2
) = (0, ky
1
, kz
1
) + (0, ky
2
, kz
2
)
y
(0, ky
1
, kz
1
) + (0, ky
2
, kz
2
) = k(x
1
, y
1
, z
1
) + k(x
2
, y
2
, z
2
)
Por lo tanto, llegamos a que
k [(x
1
, y
1
, z
1
) + (x
2
, y
2
, z
2
)] = k(x
1
, y
1
, z
1
) + k(x
2
, y
2
, z
2
)
Es decir, se cumple la distributividad por la derecha

Y con esto comprobamos que el conjunto de vectores en R
3
con las operaciones
definidas:
la suma como (x
1
, y
1
, z
1
) + (x
2
, y
2
, z
2
) = (x
1
+ x
2
, y
1
+ y
2
, z
1
+ z
2
)
y la multiplicacin como k(x, y, z) = (0, ky, kz)
s es un Espacio Vectorial.