Documente Academic
Documente Profesional
Documente Cultură
5
Espacios vectoriales
Utilizando espacios vectoriales se han desarrollado cdigos que detectan y corrigen errores en la transmisin de informacin en forma digital.
Todos los dispositivos utilizados hoy en da (computadoras, telfonos celulares, redes de telecomunicaciones, etc.) emplean alguno de estos
tipos de codicacin.
Se familiarizar con la operacin bsica de los espacios Sabr cmo expresar vectores con bases diferentes y el pro-
vectoriales, que es la combinacin lineal, as como tambin cedimiento para relacionar dichas presentaciones (seccin
con el concepto de espacio generado, que es una clase de 5.6).
subespacio (seccin 5.3). Aprender a denir conceptos relacionados con subespacios
Conocer la propiedad de independencia lineal denida a vectoriales formados a partir de los renglones y las colum-
partir del concepto de combinacin lineal y sus caractersti- nas de matrices (seccin 5.7).
cas con respecto al concepto de conjunto generado (seccin Ejercitar la prueba formal de la existencia de una base para
5.4). cualquier espacio vectorial (seccin 5.8).
296 CAPTULO 5 Espacios vectoriales
D Denicin 5.1.1
Espacio vectorial real
Un espacio vectorial real V es un conjunto de objetos, denominados vectores, junto con
dos operaciones binarias llamadas suma y multiplicacin por un escalar, y que satisfacen
los diez axiomas enumerados en el siguiente recuadro.
EJEMPLO 5 .1 .1 El espacio Rn
x1
x
Sea V 5 Rn 5 2 : xj P R para i = 1, 2, , n .
%
xn
Cada vector en Rn es una matriz de n 3 l. Segn la definicin de suma de matrices dada en la
0
0
pgina 51, x 1 y es una matriz de n 3 1 si x y y son matrices de n 3 1. Haciendo 0 5 y
o
x1
0
x2
2x 5 , se observa que los axiomas ii) a x) se obtienen de la definicin de suma de vecto-
%
xn
res (matrices) y el teorema 2.1.1 en la pgina 53.
N Nota
Los vectores en Rn se pueden escribir
indistintamente como vectores rengln
EJEMPLO 5 .1 .2 Espacio vectorial trivial o vectores columna.
Sea V 5 {(x, y): y 5 mx, donde m es un nmero real fijo y x es un nmero real arbitrario}.
Es decir, V consiste en todos los puntos que estn sobre la recta y 5 mx que pasa por el origen
y tiene pendiente m. Para demostrar que V es un espacio vectorial, se puede verificar que se
cumple cada uno de los axiomas. Observe que los vectores en R2 se han escrito como renglones
en lugar de columnas, lo que en esencia es lo mismo.
i) Suponga que x 5 (x1, y1) y y 5 (x2, y2) estn en V. Entonces y1 5 mx1, y2 5 mx2, y
x 1 y 5 (x1, y1) 1 (x2, y2) 5 (x1, mx1) 1 (x2, mx2) 5 (x1 1 x2, mx1 1 mx2)
5 (x1 1 x2, m(x1 1 x2)) P V
Por lo tanto se cumple el axioma i).
ii) Suponga que (x, y) P V. Entonces y 5 mx y 2(x, y) 5 2(x, mx) 5 (2x, m(2x)), de ma-
nera que 2(x, y) tambin pertenece a V y (x, mx) 1 (2x, m(2x)) 5 (x 2 x, m(x 2 x)) 5
(0, 0).
Todo vector en V es un vector en R2, y R2 es un espacio vectorial, como se muestra en el ejemplo
5.1.1. Como (0, 0) 5 0 est en V (explique por qu), todas las dems propiedades se deducen
del ejemplo 5.1.1. Entonces V es un espacio vectorial.
Sea V 5 {(x, y): y 5 2x 1 1, x P R}. Es decir, V es el conjunto de puntos que estn sobre
la recta y 5 2x 1 1. V no es un espacio vectorial porque no se cumple la cerradura bajo la
suma, como sucede en el ejemplo 5.1.3. Para ver esto, suponga que (x1, y1) y (x2, y2) estn en
V. Entonces,
(x1, y1) 1 (x2, y2) 5 (x1 1 x2, y1 1 y2)
Por ejemplo, (0,1) y (3, 7) estn en V, pero (0, 1) 1 (3, 7) 5 (3, 8) no est en V porque 8 Z 2 ?
3 1 1. Una forma ms sencilla de comprobar que V no es un espacio vectorial es observar que
5.1 Denicin y propiedades bsicas 299
Sea V 5 {(x, y, z): ax 1 by 1 cz 5 0}. Esto es, V es el conjunto de puntos en R3 que est en el
plano con vector normal (a, b, c) y que pasa por el origen. Al igual que en el ejemplo 5.1.4, los
vectores se escriben como renglones en lugar de columnas.
Suponga que (x1, y1, z1) y (x2, y2, z2) estn en V. Entonces (x1, y1, z1) 1 (x2, y2, z2) 5 (x1 1
x2, y1 1 y2, z1 1 z2) P V porque
a(x1 1 x2) 1 b(y1 1 y2) 1 c(z1 1 z2) 5 (ax1 1 by1 1 cz1) 1 (ax2 1 by2 1 cz2) 5 0 1 0 5 0
Por lo tanto, el axioma i) se cumple. Los otros axiomas se verifican fcilmente. De este modo,
el conjunto de puntos que se encuentra en un plano en R3 que pasa por el origen constituye un
espacio vectorial.
p(x) 5 anxn 1 an21x n21 1 . . . 1 a1x 1 a0 Se dice que las funciones constantes
(incluyendo la funcin f (x ) 5 0) son
donde cada ai es real. La suma de p(x) 1 q(x) est definida de la manera usual: si polinomios de grado cero.
q(x) 5 bnx n 1 bn21x n21 1 . . . 1 b1x 1 b0, entonces
p(x) 1 q(x) 5 (an 1 bn)x n 1 (an21 1 bn21)x n21 1 . . . 1 (a1 1 b1)x 1 (a0 1 b0)
Es obvio que la suma de dos polinomios de grado menor o igual a n es otro polinomio de grado
menor o igual a n, por lo que se cumple el axioma i). Las propiedades ii) y v) a x) son claras. Si
se define el polinomio 0 5 0x n 1 0x n21 1 . . . 1 0x 1 0, entonces 0 P Pn y el axioma iii) se cumple.
Por ltimo, sea 2p(x) 5 2anxn 2 an21xn21 2 . . . 2 a1x 2 a0; se ve que el axioma iv) se cumple,
con lo que Pn es un espacio vectorial real.
Como la suma de funciones continuas es continua, el axioma i) se cumple y los otros axiomas
se verifican fcilmente con 0 5 la funcin cero y (2f )(x) 5 2f (x). Del mismo modo, C [a, b],
el conjunto de funciones de valores reales definidas y continuas en [a, b], constituye un espacio
vectorial.
Clculo Este smbolo se usa en todo el libro para indicar que el problema o ejemplo utiliza conceptos de clculo.
300 CAPTULO 5 Espacios vectoriales
Sea V 5 {(x, y): y $ 0}. V consiste en los puntos en R2 en el semiplano superior (los primeros
dos cuadrantes). Si y1 $ 0 y y2 $ 0, entonces y1 1 y2 $ 0; as, si (x1, y1) P V y (x2, y2) P V,
entonces (x1 1 x2, y1 1 y2) P V. Sin embargo, V no es un espacio vectorial ya que el vector
(1, 1), por ejemplo, no tiene un inverso en V porque (21, 21) F V. Ms an, el axioma vi) falla,
ya que si (x, y) a V, entonces a (x, y) a V si a , 0.
EJ EM PLO 5 .1 .1 2 El espacio Cn
T Teorema 5.1.1
Sea V un espacio vectorial. Entonces
i) a0 5 0 para todo escalar a.
ii) 0 ? x 5 0 para todo x P V.
iii) Si ax 5 0, entonces a 5 0 o x 5 0 (o ambos).
iv) (2l)x 5 2x para todo x P V.
Demostracin
i) Por el axioma iii), 0 1 0 5 0; y del axioma vii),
a0 5 a(0 1 0) 5 a0 1 a0 (5.1.1)
5.1 Denicin y propiedades bsicas 301
Sumando 2a0 en los dos lados de (5.1.1) y usando la ley asociativa (axioma ii), se obtiene
0 + ( 0) = [ 0 + 0] + ( 0)
0 = 0 + [ 0 + ( 0)]
0 = 0 + 0
0 = 0
ii) Se usa, esencialmente, la misma prueba que en la parte i). Se comienza con 0 1 0 5 0
y se usa el axioma vii) para ver que 0x 5 (0 1 0)x 5 0x 1 0x o 0x 1 (20x) 5 0x 1
[0x 1 (20x)] o 0 5 0x 1 0 5 0x.
iii) Sea ax 5 0. Si a & 0, se multiplican ambos lados de la ecuacin por l/a para obtener
(l/a)(ax)5 (l/a) 0 5 0 [por la parte i)]. Pero (l/a)(ax) 5 1x 5 x (por el axioma ix),
de manera que x 5 0.
iv) Primero se usa el hecho de que 1 1 (21) 5 0. Despus, usando la parte ii), se obtiene
0 5 0x 5 [1 1 (2l)]x 5 1x 1 (2l)x 5 x 1 (2l)x (5.1.2)
Se suma 2x en ambos lados de (5.1.2) para obtener
x = 0 + ( x ) = x + ( 1)x + ( x ) = x + ( x ) + ( 1)x
= 0 + ( 1)x = ( 1)x
Observacin. La parte iii) del teorema 5.1.1 no es tan obvia como parece. Existen situaciones co-
nocidas en las que xy 5 0 no implica que x o y sean cero. Como ejemplo, se tiene la multiplicacin
0 1 0 2
de matrices de 2 2. Si $ = y %= , en donde ni A ni B son cero y, como se
0 0
puede verificar, AB 5 0, el resultado del producto de estas matrices es la matriz cero.
R Resumen 5.1
Un espacio vectorial real V es un conjunto de objetos, denominados vectores, junto con dos ope-
raciones denominadas suma (denotada por x 1 y) y multiplicacin por un escalar (denotada por
ax) que satisfacen los siguientes axiomas: (p. 296)
viii) Si x P V y y P V, entonces x 1 y P V (cerradura bajo la suma).
viii) Para todo x, y y z en V, (x 1 y) 1 z 5 x 1 (y 1 z)
(ley asociativa de la suma de vectores).
viii) Existe un vector 0 P V tal que para todo x P V, x 1 0 5 0 1 x 5 x
(el 0 se llama vector cero o idntico aditivo).
viiv) Si x P V, existe un vector 2x en V tal que x 1 (2x) 5 0
(2x se llama inverso aditivo de x).
iii v) Si x y y estn en V, entonces x 1 y 5 y 1 x
(ley conmutativa de la suma de vectores).
iivi) Si x P V y a es un escalar, entonces ax P V
(cerradura bajo la multiplicacin por un escalar).
302 CAPTULO 5 Espacios vectoriales
A A U T O E V A L U A C I N 5.1
De las siguientes afirmaciones, indique si son falsas o verdaderas:
x
VI I I) El conjunto de vectores en R2 con y 5 23x es un espacio vectorial real.
y
x
VI II) El conjunto de vectores en R2 con y 5 23x 1 1 es un espacio vectorial real.
y
x
I I VI) El conjunto de vectores y en R3 con 2x 2 y 2 12z 5 0 es un espacio vectorial
real. z
x
I VII) El conjunto de vectores y en R3 con 2x 2 y 2 12z 5 1 es un espacio vectorial
real. z
Respuestas a la autoevaluacin
I) V II) F III) F IV) V V) F VI) V VII) F VIII) F
5.1 Denicin y propiedades bsicas 303
Problemas 5.1
1 F
13. El conjunto de matrices con las operaciones de suma de matrices y multiplica-
G 1
cin por un escalar usuales.
a b
14. El conjunto de matrices
c d
donde a, b, c, d son nmeros reales diferentes de cero con la
a1 b1 a2 b2 a1a2 b1b2
operacin de multiplicacin definida por < 5
c1 d1 c2 d2 c1c2 d1d2
, el conjunto
15. El conjunto de vectores los nmeros racionales Q con la operacin de suma, el conjunto
de escalares los nmeros enteros Z y la operacin de multiplicacin de escalar y vector la
multiplicacin usual.
16. El conjunto que consiste en un solo vector (0, 0) bajo las operaciones usuales en R2.
17. El conjunto de polinomios de grado # n con trmino constante cero.
18. El conjunto de polinomios de grado # n con trmino constante a0 positivo.
19. El conjunto de polinomios de grado # n con trmino constante a0 negativo.
20. El conjunto de funciones continuas de valores reales definidas en [0, l] con f (0) 5 0 y f (1)
5 0 bajo las operaciones del ejemplo 5.1.8.