Captulo 1: Espacios vectoriales Por otra parte,

( x1 , y1 ) + [( x2 , y2 ) + ( x3 , y3 )] = ( x1 , y1 ) + ( x2 + x3 , y2 + y3 ) = ( x1 + x2 + x3 , y1 + y2 + y3 ),

luego: ii.

[( x1 , y1 ) + ( x2 , y2 )] + ( x3 , y3 ) = ( x1 , y1 ) + [( x2 , y2 ) + ( x3 , y3 )].
( x, y ) + (0, 0) = ( x, y ) para todo ( x, y ) en \ 2 .

Existe, adems, un elemento de \ 2 que es el (0, 0) tal que: iii.

As mismo, para cada par ( x, y ) podemos tomar el par ( x, y ), de modo que: iv.
( x, y ) + ( x, y ) = (0, 0).

Finalmente, hay una ley conmutativa, puesto que:

( x1 , y1 ) + ( x2 , y2 ) = ( x1 + x2 , y1 + y2 ) = ( x2 + x1 , y2 + y1 ) = ( x2 , y2 ) + ( x1 , y1 ).

Entonces, v.
( x1 , y1 ) + ( x2 , y2 ) = ( x2 , y2 ) + ( x1 , y1 ).

Definimos ahora una segunda operacin, externa, entre un nmero real y un par, as:

( x, y ) = ( x, y ),
2 cuyo resultado es un elemento de \ ; con esta operacin se verifican las siguientes propiedades:

vi.

Si \ y ( x, y ) \ 2 , entonces ( x, y ) \ 2 . Veamos ahora que:

vii.

[ ( x1 , y1 ) + ( x2 , y2 )] = ( x1 , y1 ) + ( x2 , y2 ).

Demostracin

[ ( x1 , y1 ) + ( x2 , y2 )] = ( x1 + x2 , y1 + y2 ) = ( ( x1 + x2 ), ( y1 + y2 ) )
= ( x1 + x2 , y1 + y2 ).

Por otro lado,

( x1 , y1 ) + ( x2 , y2 ) = ( x1 , y1 ) + ( x2 , y2 ) = ( x1 + x2 , y1 + y2 ).

26

viii.

( + )( x, y ) = ( x, y ) + ( x, y ).

Mdulo 1: Definicin y propiedades del espacio vectorial

Demostracin

( x, y) + ( x, y) = ( x, y) + ( x, y) = ( x + x, y + y).
ix.

( + )( x, y) = ( ( + ) x, ( + ) y ) = ( x + x, y + y) y

[ ( x, y )] = ( )( x, y).

Demostracin

[ ( x, y )] = ( x, y) = ( x, y ) y
( )( x, y ) = ( x, y ).

x.

1( x, y ) = ( x , y ).

Demostracin
1( x, y ) = (1x,1 y ) = ( x, y ).

1.2 Definicin
Los ejemplos anteriores nos sirven para obtener un conjunto de propiedades comunes a ellos. Todos los resultados que podamos deducir a partir de dichas propiedades sern vlidos en los ejemplos realizados y en cualquier otro que goce de las mismas propiedades. A estas propiedades comunes las llamamos axiomas en la siguiente definicin. Un espacio vectorial V es un conjunto de objetos llamados vectores con dos operaciones, suma y producto por un escalar, que satisface los siguientes axiomas: i. Si a y b son elementos de V, entonces a + b pertenece a V; o de otra forma, la suma es una operacin cerrada en V.
(a + b) + c = a + (b + c) para todo a, b, c V .

ii. iii. iv. v. vi.

Existe un elemento 0 en V tal que a + 0 = 0 + a = a para toda a V . Para cada a V existe un elemento a V tal que a + (a) = 0.
a + b = b + a para todo a, b en V .

Si a V y es un escalar ( \ o C), entonces a V ; es decir, V es cerrado bajo la operacin producto por un escalar. lgebra lineal elemental y aplicaciones

27

Captulo 1: Espacios vectoriales vii. viii. ix. x.

(a + b) = a + b para todo escalar y para todo a y b V .

( + )a = a + a para todo , escalares y a V .

( a) = ( ) a para todo , escalares y a V .

1a = a para todo a V .

Nota: cuando los escalares son nmeros reales, decimos que se trata de un espacio vectorial real, y en caso de que sean nmeros complejos hablamos de un espacio vectorial complejo. En el axioma viii debe notarse que el signo + al lado izquierdo de la igualdad se refiere a la suma en el conjunto de escalares, y el signo + al lado derecho denota la suma en el conjunto de vectores V.

1.3 Ejemplos
1.
\n , con las operaciones de suma y producto por un escalar definidas usualmente, tiene estructura de espacio vectorial.
n n 1 Sea V = Pn = { P / p ( x ) = an x + an 1 x + ... + a1 x + a0 , ai \} el conjunto

2.

de los polinomios de grado menor o igual que n. El elemento 0 (neutro) en Pn es 0( x ) = 0 x n + 0 x n 1 + ... + 0 x + 0. Si P ( x) = an x n + an 1 x n 1 + ... + a1 x + a0 y
Q ( x ) = bn x n + bn 1 x n 1 + ... + b1 x + b0 ,

entonces
( an + bn ) x n + (an 1 + bn 1 ) x n 1 + ... + ( a1 + b1 ) x + (a0 + b0 ).

( P + Q) ( x) = P ( x) + Q( x) =

Se ve claramente que la suma de dos polinomios de grado menor o igual que n es otro polinomio de grado menor o igual que n. Se pueden comprobar las propiedades ii y v a x con:
( p) ( x) = [ p( x)] = an x n + an 1 x n 1 + ... + a1 x + a0 , p Pn .

p ( x) = an x n an 1 x n 1 + ... a1 x a0 p ( x) + [ p ( x) ] = 0 ( x).

28

3.

Si V = M m , n (conjunto de matrices m por n) con la suma y la multiplicacin como la matriz cero de M m , n . Si A = ( aij ) ( m , n ) , entonces A = ( aij ) ( m , n ) ,
A M m,n .

Mdulo 1: Definicin y propiedades del espacio vectorial

escalar usuales, es fcil verificar que M m , n es un espacio vectorial con 0

4.

A B por A B = AB. Si A y B son invertibles, entonces AB es invertible y se cumple i.

El axioma ii es la ley asociativa para la multiplicacin de matrices. Los axiomas iii y iv se satisfacen con 0 = 3 y A = A1 . Sin embargo, AB BA y el axioma v no se cumple; por lo tanto, S3 no es un espacio vectorial. Sea V = C[a, b] = conjunto de funciones continuas de valores reales definidas en el intervalo [a, b] . Se define:
( f + g ) ( x) = f ( x) + g ( x) y ( f )( x) = [ f ( x)].

Sea S3 el conjunto de matrices invertibles de 3 3 . Se define la suma

5.

Como la suma de funciones continuas es continua, el axioma i se cumple; de la misma forma el producto de un escalar por una funcin continua tambin es una funcin continua (propiedad vi). Los otros axiomas se verifican fcilmente con 0, la funcin 0 y (f)(x) = f (x ). Luego C[a, b], con las operaciones definidas, tiene estructura de espacio vectorial. 6.
x y = x y ( es la resta ordinaria) y la multiplicacin por un esca lar como la multiplicacin ordinaria. Veamos si V es un espacio vectorial.

Sea V el conjunto de los nmeros reales ( \) con las operaciones

x y y x son nmeros reales, lo cual verifica las condiciones i y vi de la definicin.

Veamos qu pasa con la propiedad conmutativa. Sea x = 2 y y = 3.

x y = 2 3 = 1, y x = 3 2 = 1,
luego:

x y y x.
Adems, las propiedades ii, iii y iv tampoco se cumplen. Las propiedades vii, ix y x se cumplen, pero la propiedad viii no; veamos por qu: Sea = 2, = 3, x = 4. lgebra lineal elemental y aplicaciones

29

Captulo 1: Espacios vectoriales

( + ) x = (2 + 3)4 = 5 4 = 20,

pero:

x x = 2 4 3 4 = 8 12 = 4.

7.

Sea V = {( x, y, z ): ax + by + c z = 0, a, b, c \} . Esto es, V es el conjunto de puntos en \ 3 que estn en el plano con vector normal (a, b, c) y que pasa por el origen. Veamos si se cumplen las dos propiedades de cerradura, es decir, i y vi. Sean ( x1 , y1 , z1 ) y ( x2 , y2 , z2 ) elementos de V; veamos si
( x1 + x2 , y1 + y2 , z1 + z2 ) V .

Como ( x1 , y1 , z1 ) V ,
ax1 + by1 + cz1 = 0.

(1)

De igual forma,
ax2 + by2 + cz2 = 0.

(2)

Al sumar y factorizar (1) y (2) obtenemos:

a( x1 + x2 ) + b( y1 + y2 ) + c( z1 + z2 ) = 0.

Esta expresin significa que ( x1 + x2 , y1 + y2 , z1 + z2 ) V . Ahora observemos qu sucede con ( x1 , y1 , z1 ), \.

(a x1 + b y1 + c z1 ) = 0 = 0, a x1 + b y1 + c z1 = 0.
Por lo tanto:
( x1 , y1 , z1 ) V ,

a x1 + b y1 + c z1 = 0,

esto es: Adems, si = 0, se tiene que (0, 0, 0) V , y con = 1 tenemos que:

( x1 , y1 z1 ) V .

30