CTEDRA DE MATEMTICA IV ESCUELA DE ECONOMA FACULTAD DE CIENCIAS ECONMICAS Y SOCIALES UNIVERSIDAD CENTRAL DE VENEZUELA PROFESORA ANA BLANCO DE GONZLEZ, EdD ESPACIOS VECTORIALES Profa. Ana Blanco de Gonzlez, EdD 2 ESPACIOS VECTORIALES Se denomina Espacio Vectorial: Un conjunto no vaco de elementos llamados vectores asociado a un conjunto de nmeros llamados escalares con dos operaciones definidas, llamadas Adicin y Multiplicacin por escalar. Profa. Ana Blanco de Gonzlez, EdD 3 ESPACIOS VECTORIALES Si denotamos: Espacio Vectorial: V Conjunto de vectores: A Conjunto de escalares: B Adicin con el signo: + Multiplicacin por un escalar: .
Entonces Espacio Vectorial: V = {A, b, +, .} Profa. Ana Blanco de Gonzlez, EdD 4 ESPACIOS VECTORIALES Espacio Vectorial Real: Un conjunto no vaco de elementos llamados vectores con dos operaciones definidas, llamadas Adicin y Multiplicacin por escalar; donde los escalares son nmeros reales. Profa. Ana Blanco de Gonzlez, EdD 5 ESPACIOS VECTORIALES La operacin Adicin debe satisfacer los siguientes axiomas: 1. Cerrada en V 2. Conmutativa 3. Asociativa 4. Existe en V un nico vector llamado cero (neutro) 5. Para cada elemento de V existe un nico vector llamado inverso (simtrico) Profa. Ana Blanco de Gonzlez, EdD 6 ESPACIOS VECTORIALES La operacin Adicin debe satisfacer los siguientes axiomas: 1. x, y e A: x + y e A 2. x, y e A: x + y = y + x 3. x, y, z e A: (x+y)+z = x+(y+z) 4. - 0 e A: x + 0 = 0 + x = x 5. xeA -(-x)eA: x+(-x) = (-x)+x = x Profa. Ana Blanco de Gonzlez, EdD 7 ESPACIOS VECTORIALES La operacin Multiplicacin por un escalar debe satisfacer los siguientes axiomas: 6. Cerrada en V 7. Para cada elemento de V existe un nico elemento 1 (neutro) 8. Distributiva respecto a los vectores 9. Distributiva respecto a los escalares 10. Asociativa respecto a los escalares Profa. Ana Blanco de Gonzlez, EdD 8 ESPACIOS VECTORIALES La operacin Multiplicacin por un escalar debe satisfacer los siguientes axiomas: 6. xeA -oeB: o.xeA 7. xeA -1eB: 1.x = x.1 = x 8. x,yeA . oeB: o.(x+y) = o.x + o.y 9. xeA . o,|eB: (o+|).x = o.x + |.x 10. xeA . o,|eB: (o.|).x = o.(|.x) Profa. Ana Blanco de Gonzlez, EdD 9 ESPACIOS VECTORIALES Cmo probar si un conjunto es un Espacio Vectorial? Para comprobar si un conjunto es un Espacio Vectorial se debe probar que se cumplen los 10 axiomas de la definicin. Cmo probar si un conjunto no es un Espacio Vectorial? Para comprobar si un conjunto no es un Espacio Vectorial basta con probar que uno de los 10 axiomas de la definicin no se cumple. Profa. Ana Blanco de Gonzlez, EdD 10 ESPACIOS VECTORIALES Hay que tomar en consideracin tres factores: (i) Cmo se definen los elementos del conjunto?
(ii)Cmo se define la operacin adicin? Si la operacin Adicin se define de manera ordinaria o usual, se efecta sumando componente a componente. Por ejemplo en 9 4 : (x 1 , x 2 , x 3 , x 4 ) + (y 1 , y 2 , y 3 , y 4 ) = (x 1 + y 1 , x 2 + y 2 , x 3 + y 3 , x 4 + y 4 )
(iii) Cmo se define la operacin Multiplicacin por un escalar? Si la operacin Multiplicacin por un escalar se define de manera ordinaria o usual, se aplica multiplicando el escalar por cada componente. Por ejemplo en 9 4 : o.(x 1 , x 2 , x 3 , x 4 ) = (o.x 1 , o.x 2 , o.x 3 , o.x 4 ) Profa. Ana Blanco de Gonzlez, EdD 11 ESPACIOS VECTORIALES Ejemplos: (a) Comprueba que 9 3 es un espacio vectorial con las operaciones adicin y multiplicacin por un escalar ordinarias
Solucin: Se debe comprobar que se cumplen los 10 axiomas de la definicin.
Hay que tomar en consideracin tres factores: (i) Cmo se definen los elementos del conjunto? Los elementos del conjunto 9 3 son ternas de nmeros reales de la forma: (x 1 , x 2 , x 3 )
(ii) Cmo se define la operacin Adicin? La operacin Adicin se aplica de manera ordinaria sumando componente a componente.
(iii) Cmo se define la operacin Multiplicacin por un escalar? La operacin Multiplicacin por un escalar se aplica de manera ordinaria multiplicando el escalar por cada componente. Profa. Ana Blanco de Gonzlez, EdD 12 ESPACIOS VECTORIALES Axioma 1: Para comprobar que se cumple el Axioma 1: - Se toman dos elementos del conjunto 9 3 : (x 1 , x 2 , x 3 ) . (y 1 , y 2 , y 3 )
- Se efecta la operacin Adicin de la manera usual: (x 1 , x 2 , x 3 ) + (y 1 , y 2 , y 3 ) = (x 1 + y 1 , x 2 + y 2 , x 3 + y 3 )
- Siendo x i . y i nmeros reales, las sumas x i + y i tambin son nmeros reales y el resultado (x 1 + y 1 , x 2 + y 2 , x 3 + y 3 ) es un elemento de 9 3
Por lo tanto se afirma que la adicin es cerrada en 9 3 y se cumple el Axioma 1 Profa. Ana Blanco de Gonzlez, EdD 13 ESPACIOS VECTORIALES Axioma 2: - Se toman dos elementos del conjunto 9 3 : (x 1 , x 2 , x 3 ) . (y 1 , y 2 , y 3 )
- Se efecta la operacin Adicin de dos formas: (i) (x 1 , x 2 , x 3 ) + (y 1 , y 2 , y 3 ) = (x 1 + y 1 , x 2 + y 2 , x 3 + y 3 ) (ii) (y 1 , y 2 , y 3 ) + (x 1 , x 2 , x 3 ) = (y 1 + x 1 , y 2 + x 2 , y 3 + x 3 )
Para que se cumpla la Propiedad Conmutativa estos dos resultados deben ser iguales.
Siendo x i e y i nmeros reales, ellos cumplen la propiedad conmutativa de la Adicin tal que: x 1 + y 1 = y 1 + x 1 . x 2 + y 2 = y 2 + x 2 . x 3 + y 3 = y 3 + x 3
Por lo tanto los dos resultados obtenidos son iguales, se puede afirmar que la Adicin es conmutativa en 9 3 y se cumple el Axioma 2 Profa. Ana Blanco de Gonzlez, EdD 14 ESPACIOS VECTORIALES Axioma 3: - Se toman tres elementos del conjunto 9 3 : (x 1 , x 2 , x 3 ) . (y 1 , y 2 , y 3 ) . (z 1 , z 2 , z 3 )
- Se efecta la operacin adicin de dos formas: (i) [(x 1 , x 2 , x 3 ) + (y 1 , y 2 , y 3 )] + (z 1 , z 2 , z 3 ) = = (x 1 + y 1 , x 2 + y 2 , x 3 + y 3 ) + (z 1 , z 2 , z 3 ) = (x 1 + y 1 + z 1 , x 2 + y 2 + z 2 , x 3 + y 3 + z 3 ) (ii) (x 1 , x 2 , x 3 ) + [(y 1 , y 2 , y 3 ) + (z 1 , z 2 , z 3 )] = = (x 1 , x 2 , x 3 ) + (y 1 + z 1 , y 2 + z 2 , y 3 + z 3 ) = (x 1 + y 1 + z 1 , x 2 + y 2 + z 2 , x 3 + y 3 + z 3 )
Para que se cumpla la Propiedad Asociativa estos dos resultados deben ser iguales.
Siendo x i e y i nmeros reales estos dos resultados son iguales, por lo tanto se puede afirmar que la Adicin es Asociativa en 9 3 y se cumple el Axioma 3 Profa. Ana Blanco de Gonzlez, EdD 15 ESPACIOS VECTORIALES Axioma 4: - Se toman dos elementos del conjunto 9 3 : (x 1 , x 2 , x 3 ) . (0, 0, 0)
- Se efecta la operacin Adicin de dos formas: (i) (x 1 , x 2 , x 3 ) + (0, 0, 0) = (x 1 + 0, x 2 + 0, x 3 + 0) (ii) (0, 0, 0) + (x 1 , x 2 , x 3 ) = (0 + x 1 , 0 + x 2 , 0 + x 3 )
Para que exista el Elemento Neutro debe cumplirse que: (i) (x 1 + 0, x 2 + 0, x 3 + 0) = (x 1 , x 2 , x 3 ) Siendo x i nmeros reales esta igualdad es cierta
(ii) (0 + x 1 , 0 + x 2 , 0 + x 3 ) = (x 1 , x 2 , x 3 ) Siendo x i nmeros reales esta igualdad es cierta
Por lo tanto se puede afirmar que existe un Elemento Neutro y se cumple el Axioma 4 Profa. Ana Blanco de Gonzlez, EdD 16 ESPACIOS VECTORIALES Axioma 5: - Se toman tres elementos del conjunto 9 3 : (x 1 , x 2 , x 3 ) . (y 1 , y 2 , y 3 ) . (0, 0, 0)
- Se efecta la operacin Adicin de dos formas: (i) (x 1 , x 2 , x 3 ) + (y 1 , y 2 , y 3 ) = (x 1 + y 1 , x 2 + y 2 , x 3 + y 3 ) (ii) (y 1 , y 2 , y 3 ) + (x 1 , x 2 , x 3 ) = (y 1 + x 1 , y 2 + x 2 , y 3 + x 3 )
Para que exista un Elemento Inverso debe cumplirse que: (i) (x 1 + y 1 , x 2 + y 2 , x 3 + y 3 ) = (0, 0, 0) y 1 = - x 1 . y 2 = - x 2 . y 3 = - x 3
(ii) (y 1 + x 1 , y 2 + x 2 , y 3 + x 3 ) = (0, 0, 0) y 1 = - x 1 . y 2 = - x 2 . y 3 = - x 3
Siendo x i nmeros reales entonces -x i tambin es un nmero real y el elemento (- x 1 , - x 2 , -x 3 ) e 9 3 por lo tanto se puede afirmar que existe el Inverso Aditivo y se cumple el Axioma 5 Profa. Ana Blanco de Gonzlez, EdD 17 ESPACIOS VECTORIALES Axioma 6: Para comprobar que se cumple el Axioma 6: - Se toma un elemento del conjunto 9 3 : (x 1 , x 2 , x 3 ) y un escalar cualquiera: o
- Se efecta la operacin Multiplicacin por un escalar de la manera usual: o.(x 1 , x 2 , x 3 ) = (o.x 1 , o.x 2 , o.x 3 )
- Siendo o un escalar cualquiera y x i nmeros reales, los productos o.x i son nmeros reales y el elemento resultante (o.x 1 , o.x 2 , o.x 3 ) e 9 3
Por lo tanto se afirma que la Multiplicacin por un escalar es cerrada en 9 3 y se cumple el Axioma 6 Profa. Ana Blanco de Gonzlez, EdD 18 ESPACIOS VECTORIALES Axioma 7: - Se toma un elemento del conjunto 9 3 : (x 1 , x 2 , x 3 ) . el escalar 1
- Se efecta la operacin Multiplicacin por un escalar de la manera usual: 1.(x 1 , x 2 , x 3 ) = (1.x 1 , 1.x 2 , 1.x 3 )
- Siendo 1 y x i nmeros reales se cumple que: (1.x 1 , 1.x 2 , 1.x 3 ) = (x 1 , x 2 , x 3 )
Por lo tanto se cumple el Axioma 7 Profa. Ana Blanco de Gonzlez, EdD 19 ESPACIOS VECTORIALES Axioma 8: - Se toman dos elementos del conjunto 9 3 : (x 1 , x 2 , x 3 ) . (y 1 , y 2 , y 3 ) y un escalar cualquiera: o
- Se efecta la operacin Multiplicacin por un escalar de dos formas: (i) o.[(x 1 , x 2 , x 3 ) + (y 1 , y 2 , y 3 )] = o.[(x 1 + y 1 , x 2 + y 2 , x 3 + y 3 )] = = (o.(x 1 + y 1 ), o.(x 2 + y 2 ), o.(x 3 + y 3 ))
Siendo x i e y i nmeros reales y o un escalar cualquiera que cumplen con la propiedad Distributiva, estos dos resultados son iguales, por lo tanto se puede afirmar que se cumple el Axioma 8 Profa. Ana Blanco de Gonzlez, EdD 20 ESPACIOS VECTORIALES Axioma 9: - Se toma un elemento del conjunto 9 3 : (x 1 , x 2 , x 3 ) . dos escalares cualquiera: o, |
- Se efecta la operacin Multiplicacin por un escalar de dos formas: (i) (o + |).(x 1 , x 2 , x 3 ) = ((o + |).x 1 , (o + |).x 2 , (o + |).x 3 )
Siendo x i nmeros reales y o, | escalares cualquiera que cumplen con la propiedad Distributiva, estos dos resultados son iguales, por lo tanto se puede afirmar que se cumple el Axioma 9 Profa. Ana Blanco de Gonzlez, EdD 21 ESPACIOS VECTORIALES Axioma 10: - Se toma un elemento del conjunto 9 3 : (x 1 , x 2 , x 3 ) . dos escalares cualquiera: o, |
- Se efecta la operacin Multiplicacin por un escalar de dos formas: (i) (o.|).(x 1 , x 2 , x 3 ) = ((o.|).x 1 , (o.|).x 2 , (o.|).x 3 )
(ii) o.[|.(x 1 , x 2 , x 3 )] = o.[(|.x 1 , |.x 2 , |.x 3 )] = (o.|.x 1 , o.|.x 2 , o.|.x 3 )
Siendo x i nmeros reales y o, | escalares cualquiera que cumplen con la propiedad Asociativa, estos dos resultados son iguales, por lo tanto se puede afirmar que se cumple el Axioma 10 Profa. Ana Blanco de Gonzlez, EdD 22 ESPACIOS VECTORIALES Ejemplos: (b) Determina cuales de los axiomas de la definicin de espacio vectorial se cumplen si se define en 9 2 la Multiplicacin por un escalar de la manera usual y la Adicin se define as: (x, y) + (p, q) = (x.p, y + q) Solucin:
Hay que tomar en consideracin tres factores: (i) Cmo se definen los elementos del conjunto? Los elementos del conjunto 9 2 son pares de nmeros reales de la forma: (x 1 , x 2 )
(ii) Cmo se define la operacin Adicin? (x 1 , x 2 ) + (y 1 , y 2 ) = (x 1 .y 1 , x 2 + y 2 )
(iii) Cmo se define la operacin Multiplicacin por un escalar? La operacin Multiplicacin por un escalar se aplica de manera ordinaria multiplicando el escalar por cada componente. Profa. Ana Blanco de Gonzlez, EdD 23 ESPACIOS VECTORIALES Axioma 1: Para comprobar que se cumple el Axioma 1: - Se toman dos elementos del conjunto 9 2 : (x 1 , x 2 ) . (y 1 , y 2 )
- Se efecta la operacin Adicin de la manera definida: (x 1 , x 2 ) + (y 1 , y 2 ) = (x 1 .y 1 , x 2 + y 2 )
- Siendo x i . y i nmeros reales, el producto x 1 .y 1 y la suma x 2 + y 2 tambin son nmeros reales y el resultado (x 1 .y 1 , x 2 + y 2 ) es un elemento de 9 2
Por lo tanto se afirma que la adicin es cerrada en 9 2 y se cumple el Axioma 1 Profa. Ana Blanco de Gonzlez, EdD 24 ESPACIOS VECTORIALES Axioma 2: - Se toman dos elementos del conjunto 9 2 : (x 1 , x 2 ) . (y 1 , y 2 )
- Se efecta la operacin Adicin de la manera definida: (i) (x 1 , x 2 ) + (y 1 , y 2 ) = (x 1 .y 1 , x 2 + y 2 ) (ii) (y 1 , y 2 ) + (x 1 , x 2 ) = (y 1 .x 1 , y 2 +
x 2 )
- Siendo x i . y i nmeros reales se cumple: x 1 .y 1 = y 1 .x 1 . x 2 + y 2 = y 2 + x 2
Por lo tanto se afirma que la adicin es conmutativa en 9 2
y se cumple el Axioma 2 Profa. Ana Blanco de Gonzlez, EdD 25 ESPACIOS VECTORIALES Axioma 3: - Se toman tres elementos del conjunto 9 2 : (x 1 , x 2 ) . (y 1 , y 2 ) . (z 1 , z 2 )
- Se efecta la operacin Adicin de la manera definida: (i) [(x 1 , x 2 ) + (y 1 , y 2 )] + (z 1 , z 2 ) = (x 1 .y 1 , x 2 + y 2 ) + (z 1 , z 2 ) = (x 1 .y 1 .z 1 , x 2 + y 2 + z 2 )
(ii)(x 1 , x 2 ) + [(y 1 , y 2 )] + (z 1 , z 2 )] = (x 1 , x 2 ) + (y 1 .z 1 , y 2 + z 2 ) = (x 1 .y 1 .z 1 , x 2 + y 2 + z 2 )
- Siendo x i . y i nmeros reales los dos resultados obtenidos son iguales.
Por lo tanto se afirma que la adicin es asociativa en 9 2
y se cumple el Axioma 3 Profa. Ana Blanco de Gonzlez, EdD 26 ESPACIOS VECTORIALES Axioma 4: - Se toman dos elementos del conjunto 9 2 : (x 1 , x 2 ) . (0, 0)
- Se efecta la operacin Adicin de dos formas: (i) (x 1 , x 2 ) + (0, 0) = (x 1 .0, x 2 + 0) (ii) (0, 0) + (x 1 , x 2 ) = (0.x 1 , 0 + x 2 )
Para que exista el Elemento Neutro debe cumplirse que: (i) (x 1 .0, x 2 + 0) = (x 1 , x 2 ) 0 = x 1 . x 2 = x 2
(ii) (0.x 1 , 0 + x 2 ) = (x 1 , x 2 ) 0 = x 1 . x 2 = x 2
x i no siempre es 0, por lo tanto se puede afirmar que no existe el neutro para la Adicin definida y no se cumple el Axioma 4. Luego el conjunto no es Espacio Vectorial Profa. Ana Blanco de Gonzlez, EdD 27 ESPACIOS VECTORIALES Axioma 5: Como no existe el neutro tampoco existe el Inverso Aditivo y no se cumple el Axioma 5 Profa. Ana Blanco de Gonzlez, EdD 28 ESPACIOS VECTORIALES Axiomas 6, 7, 8, 9 y 10: Siendo definida la operacin Multiplicacin por un escalar de la manera usual en el conjunto 9 2 est comprobado previamente que se cumplen los axiomas 6, 7, 8, 9 y 10. Profa. Ana Blanco de Gonzlez, EdD 29 ESPACIOS VECTORIALES Ejemplos: (c) Determina cuales de los axiomas de la definicin de espacio vectorial se cumplen si se define en 9 2 la Adicin ordinaria y la Multiplicacin por un escalar definida as: o.(x, y) = (o + x, y)
Solucin:
Hay que tomar en consideracin tres factores: (i) Cmo se definen los elementos del conjunto? Los elementos del conjunto 9 2 son pares de nmeros reales de la forma: (a, b)
(ii) Cmo se define la operacin Adicin? La operacin Adicin se aplica de la manera ordinaria sumando componente a componente.
(iii) Cmo se define la operacin Multiplicacin por un escalar? o(a, b) = (o + a, b) Profa. Ana Blanco de Gonzlez, EdD 30 ESPACIOS VECTORIALES Axioma 1: Para comprobar que se cumple el Axioma 1: - Se toman dos elementos del conjunto 9 2 : (a, b) . (c, d) - Se efecta la operacin Adicin de la manera ordinaria: (a, b) + (c, d) = (a + c, b + d) - Siendo a, b, c, d
nmeros reales, las sumas tambin son nmeros reales y el resultado (a + c, b + d) es un elemento de 9 2
Por lo tanto se afirma que la adicin es cerrada en 9 2 y se cumple el Axioma 1 Profa. Ana Blanco de Gonzlez, EdD 31 ESPACIOS VECTORIALES Axioma 2, 3, 4 y 5: Siendo definida la operacin Adicin de la manera usual en el conjunto 9 2 est comprobado previamente que se cumplen los axiomas 2, 3, 4 y 5. Profa. Ana Blanco de Gonzlez, EdD 32 ESPACIOS VECTORIALES Axioma 6: Para comprobar que se cumple el Axioma 6: - Se toma un elemento del conjunto 9 2 : (x 1 , x 2 ) y un escalar cualquiera: o - Se efecta la operacin Multiplicacin por un escalar de la manera definida: o.(x 1 , x 2 ) = (o + x 1 , x 2 ) - Siendo o un escalar cualquiera y x i nmeros reales, el elemento resultante (o + x 1 , x 2 ) es un elemento de 9 2
Por lo tanto se afirma que la Multiplicacin por un escalar es cerrada en 9 2 y se cumple el Axioma 6 Profa. Ana Blanco de Gonzlez, EdD 33 ESPACIOS VECTORIALES Axioma 7: - Se toma un elemento del conjunto 9 2 : (x 1 , x 2 ) y el escalar 1 - Se efecta la operacin Multiplicacin por un escalar de la manera definida: 1.(x 1 , x 2 ) = (1 + x 1 , x 2 ) - Siendo 1 y x i nmeros reales se cumple que: (1 + x 1 , x 2 ) = (x 1 , x 2 )
Por lo tanto no se cumple el Axioma 7 Profa. Ana Blanco de Gonzlez, EdD 34 ESPACIOS VECTORIALES Axioma 8: - Se toman dos elementos del conjunto 9 2 : (x 1 , x 2 ) . (y 1 , y 2 ) y un escalar cualquiera: o - Se efecta la operacin Multiplicacin por un escalar de dos formas: (i) o.[(x 1 , x 2 ) + (y 1 , y 2 )] = o.[(x 1 + y 1 , x 2 + y 2 )] = (o + x 1 + y 1 , x 2 + y 2 ) (ii) [o.(x 1 , x 2 )] + [o.(y 1 , y 2 )] = (o + x 1 , x 2 ) + (o + y 1 , y 2 ) = (o + x 1 + o + y 1 , x 2 + y 2 ) = (2o + x 1 + y 1 , x 2 + y 2 )
Estos dos resultados no son iguales, por lo tanto se puede afirmar que no se cumple el Axioma 8 Profa. Ana Blanco de Gonzlez, EdD 35 ESPACIOS VECTORIALES Axioma 9: - Se toma un elemento del conjunto 9 2 : (x 1 , x 2 ) y dos escalares cualquiera: o, | - Se efecta la operacin Multiplicacin por un escalar de dos formas: (i) (o + |).(x 1 , x 2 ) = (o + | + x 1 , x 2 ) (ii)[o.(x 1 , x 2 )] + [|.(x 1 , x 2 )] = (o + x 1 , x 2 ) + (| + x 1 , x 2 ) = (o + x 1 + | + x 1 , x 2 + x 2 ) = (o + | + 2x 1 , 2x 2 )
Estos dos resultados no son iguales, por lo tanto se puede afirmar que no se cumple el Axioma 9 Profa. Ana Blanco de Gonzlez, EdD 36 ESPACIOS VECTORIALES Axioma 10: - Se toma un elemento del conjunto 9 2 : (x 1 , x 2 ) y dos escalares cualquiera: o, | - Se efecta la operacin Multiplicacin por un escalar de dos formas: (i) (o.|).(x 1 , x 2 ) = ((o.|) + x 1 , x 2 ) (ii) o.[|.(x 1 , x 2 )] = o.(| + x 1 , x 2 ) = (o + | + x 1 , x 2 ) Estos dos resultados no son iguales, por lo tanto se puede afirmar que no se cumple el Axioma 10.
De acuerdo con los resultados obtenidos se concluye que 9 2
con la Multiplicacin por un escalar definida as: o(x, y) = (o + x, y) no es un espacio vectorial.