You are on page 1of 18

Clase No.5 (Espacios vectoriales).

El espacio vectorial es un conjunto de elementos llamados vectores en lo que se definen dos operaciones, la adicin y la multiplicacin por un escalar. Se vio que el espacio vectorial es cerrado bajo estas operaciones; la suma de dos vectores en pertenecer a y la multiplicacin por un escalar de un vector en tambin pertenece a . El espacio vectorial tambin posee otras propiedades algebraicas. Por ejemplo, se vio que los vectores en son conmutativos y asociativos bajo la adicin: u+v=v+u u + (v + w) = (u + v) + w En esta seccin se analizan estas y otras propiedades algebraicas de . Se formulan un conjunto de axiomas basados en las propiedades de . Cualquier conjunto que satifaga estos axiomas poseera propiedades algebraicas similares a las del espacio vectorial . A dicho conjunto se le dar el nombre de espacio vectorial y a sus elementos el nombre de vectores. La ventaja de este enfoque consiste en el hecho de que los conceptos y los resultados relacionados con el espacio vectorial tambin se aplican a otros espacios vectoriales. Ahora se proporcionar la definicin formal de espacio vectorial basada en las propiedades algebraicas de . Los axiomas se pueden dividir en tres grupos. Definicin (Espacio vectorial) Un espacio vectorial es un conjunto de elementos llamados vectores, cuyas operaciones de adicin y multiplicacin por un escalar se encuentran definidas en el y satisfacen las siguientes condiciones ( son elementos cualesquiera de ,y son escaleras). Axiomas de cerradura 1. La suma existe y es un elemento de ( es cerrado bajo la adicin). 2. es un elemento de ( es cerrado bajo la multiplicacin por un escalar). Axiomas de la adicin 3. (propiedad conmutativa) ( ) ( ) 4. (propiedad asociativa)

5. Existe un elemento de , denominado vector cero. que se denota cero, tal que . 6. Para todo el elemento de , existe un elemento llamado el negativo de . ( ) que se denota , tal que . Axiomas de la multiplicacin por un escalar ) 7. ( ) 8. ( 9. ( ) ( ) 10. Los dos conjuntos de escalares utilizados con mas frecuencia en los espacios vectoriales son el conjunto de los nmeros reales y el conjunto de los nmeros complejos. Los espacios vectoriales correspondientes reciben el nombre de c espacios vectoriales reales yo espacios vectoriales complejos. Primero se abordaran los espacios vectoriales reales y se mencionarn con brevedad, cuando sea necesario, resultados de los espacios vectoriales complejos. En se satisface todas estas condiciones. En seguida se proporcionaran otros ejemplos de espacios vectoriales. Espacios vectoriales de matrices Considere el conjunto de matrices reales de 2 x 2. Denote este conjunto con . Ya definieron las operaciones de adicin y multiplicacin por escalar en este conjunto. De hecho, este conjunto forma un espacio vectorial. Se analizaron los axiomas 1, 3, 4, 5, y 6 y se deja el resto para el lector los compruebe. Utilizando la notacin vectorial para indicar los elementos de Sean [ Axioma 1: [ ]+[ ] [ ] es cerrada baja la adicin. ] y [ ] dos matrices de 2 X 2 cualesquiera. Se tiene

es una matriz de 2 X 2. Por consiguiente, Axioma 3 y 4:

De acuerdo con los estudios anteriores, se sabe que las matrices de 2 X2 son conmutativas y asociativas bajo la adiccin. Sean Suponga que las matrices son de tamaos tales que se pueden realizar las operaciones (se dice que las matrices son conformes). Entonces ( Axioma 5: La matriz cero de 2x2 es [ Axioma 6: Si [ ( ) ], entonces [ ] [ [ ] [ ], ya que ] [ ] [ ], puesto que ]+[ ] [ ] ) ( )

El conjunto de matrices de 2 X 2 constituye un espacio vectorial. Las propiedades algebraica de son similares a las de . Asimismo, se tiene que: Espacio vectoriales de funciones Sea el conjunto de funciones cuyo dominio esta formado por los nmeros reales. Cada elemento de , como , transformar la recta real en la recta real. Ahora se introducirn las operaciones de la adicin y la multiplicacin por un escalar en V para un espacio vectorial. Sean elementos cualesquiera de . Se define las adicin de como una funcin tal que ( )( ) ( ) ( )

Esta expresin define a como una funcin cuyo dominio es el conjunto de los nmeros reales. Para determinar el valor de para cualquier numero real , se suma el valor de en y el valor de en . Esta operacin recibe el nombre de adicin punto por punto. En seguida se definir la multiplicacin por un escalar de los elementos de . Sea un escalar cualquiera. La multiplicacin escalar de , es la funcin ( )( ) ( )

Esta expresin define a como una funcin cuyo dominio es el conjunto de los nmeros reales. Para determinar el valor de para cualquier nmero real , se multiplica el valor de f en x por c. Esa operacin recibe el nombre de multiplicacin por un escalar punto por punto. Para visualizar de forma geomtrica esas dos operaciones sobre funciones, considere dos funciones especficas: ( ) Entonces, ( ( ) es la funcin definitiva por )( ) por un escalar, como por ejemplo 3, es la funcin

La multiplicacin de definida por ( )( )

Una vez definidas las operaciones de adicin y multiplicacin por un escalar en este espacio de funciones, comprueba que es un espacio vectorial. Se analizarn los axiomas 1, 2, 5 y 6, se deja el resto para que el lector los verifique. Axioma 1: )( ) ( ) ( ) se encuentra definida por ( funcin cuyo dominio es el conjunto de los nmeros reales. elemento de ; por lo tanto, es cerrada bajo la adicin. es una es un

Axioma 2: ( ) . Por lo tanto, es una funcin cuyo est definida por ( )( ) dominio es el conjunto de nmeros reales. es un elemento de ; por consiguiente, es cerrado bajo la multiplicacin escalar. Axioma 5: Sea 0 la funcin tal que ( ) de funcin cero. Se tiene que ( )( ) ( ) ( ) para todo nmero real . recibe el nombre ( ) ( ) para todo nmero real en cada . As,

El valor de la funcin es el mismo que el valor de es el vector cero. Axioma 6: Considere la funcin es la negativa de . definida por ( ( ( )( ) )( ) ( ) ( ) ( ) ( El valor de la funcin tanto ( ) As, (

( ) Se demuestra que )( ) ( )

) es el mismo que el valor de es la negativa de .

en cada . Por lo

Hay muchos espacios vectoriales de funciones. Por ejemplo, el conjunto de funciones con dominio con operaciones de adicin y multiplicacin por un escalar punto por punto constituye un espacio vectorial. En los siguientes ejercicios, el lector analizar otros espacios vectoriales de funciones. El espacio vectorial complejo Ahora se extender el concepto del espacio vectorial real al espacio vectorial complejo Sea ( ) una sucesin de n nmeros complejos. El conjunto

de dichas sucesiones se denota de dichas sucesiones se denota de

. Por ejemplo, ( , mientras que (

) es un ejemplo ) es un elemento

Se define las operaciones de adicin y multiplicacin por un escalar (por un escalar complejo c) en de la siguiente manera: ( ) ( ( ) ) ( ( ) ) ) ) ( ( ) ( ) )

( Por ejemplo, considere los dos vectores ) de y el escalar . Entonces, ( ( )( ) (

Se puede demostrar que con estas dos operaciones constituye un espacio vectorial complejo (consulte los siguientes ejercicios). El siguiente teorema define propiedades tiles de los vectores. Esta propiedades resultaron evidente en el caso de y se dieron casi por sentadas. Sin embargo, no son tan evidentes para otros espacios vectoriales. TEOREMA Sea V un espacio vectorial, un vector en . un escalar y el escalar cero, entonces. ( )) ( ) ( )( ( ) DEMOTRACION Se demostraran ( ) ( ) y se dejaran las demostraciones de los incisos ( ) ( ) para que el lector los complete en los ejercicios que siguen. ( ) ( ) ( ( ) ) ) el vector cero de ,

Sume el negativo

es decir ( ( )

a ambos lado de esa ecuacin. ( ( ) ) ( ( ( ) ( ( ) ) ) ) ) )

( )

( (

) ) (

Por lo tanto, (

) es el negativo de

(axioma 6)

Subespacios
Ciertos subconjuntos de espacios vectoriales forman espacios vectoriales ellos mismos. Para motivar los conceptos, observe de nuevo el espacio vectorial . El espacio es un conjunto de vectores en el que sean definido las operaciones de adicin y multiplicacin por un escalar. es cerrado bajo esta operaciones. Si sumas dos vectores en , obtiene un elemento de . Por ejemplo en . ( ) ( ) ( ) ( ) ( )

elemento de

elemento de

elemento de

elemento de

elemento de

Considere ahora ciertos subconjuntos de de cerradura,

que tiene las mismas caractersticas

Considere el subconjuntos , que consta de los vectores de la forma ( ) V consta de todos los elementos de que tienen las primeras dos componentes iguales.

Por ejemplo (2, 2, 3) y (1, 1, 5) que se encuentran en V; (1, 2, 3) no pertenece a un elemento de V por un escalar, obtiene un elemento de V. Sean (a, a, b), (c, c, d) elementos de V y sea k un escalar .As, ( ) ( ( ) ) ( ( ) )

en V se definen las operaciones de adicin y multiplicacin por un escalar. V tambin es cerrado bajo estas operaciones y posee las caractersticas algebraicas del espacio vectorial . Por lo tanto, se define como un espacio vectorial contenido en . Se llama a dicho espacio vectorial un subespacio del espacio mayor. Definicin: Sea V un espacio vectorial y U un subconjunto no vacio de V. Se dice que U es un subespacio de V si es cerrado bajo la adicin y la multiplicacin por un escalar. Para determinar que dicho subconjunto U es un espacio vectorial, observe que U satisface los axiomas 3 a 10 del espacio V. Un subespacio es un espacio vectorial contenido en un espacio vectorial ms grande. Ejemplo 0. Sea U el subconjunto de que consta de todos los vectores de la forma (a, 0, 0) (con ceros en la segunda y tercera componentes). Demuestre que U es un subespacio de . Solucin: Sean (a, 0, 0) y (b, 0, 0) dos elemento de U. y sea k un escalar. Se tiene (a, 0, 0) + (b, 0, 0) (a + b, 0, 0) U k(a, 0, 0) (k a, 0, 0)

La suma y el producto de un escalar pertenecen a U. Por lo tanto, U es un subespacio de Desde el punto de vista geomtrica, U es el conjunto de vectores que se encuentran en el eje . Note que la suma de los vectores se encuentra en el eje y tambin la multiplicacin por un escalar de cualquiera de estos vectores. Ejemplo 1. Sea W el conjunto de vectores de la forma ( a, , b ). Demuestre que W no es un subespacio de .

Solucin: W consta de todos los elementos de en los que la segunda componente es el cuadro de la primera. As, por ejemplo, el vector ( 2,4,3 ) se encuentra en W, mientras que el vector (2,5,3 ) no. Sean ( )y( ( ) elementos de W. Se obtiene. ) ( ) ( ( ( ) ) )

) ( ) no es un elemento de W. W no se Por consiguiente, ( encuentra cerrado bajo la adicin. W no es subespacio. Ejemplo 2. De muestre que el conjunto U de matrices diagonales de 2X2 es un subespacio del espacio vectorial de matrices de 2X2. Solucin: Se debe demostrar que U es cerrado bajo la adicin y la multiplicacin por un escalar. Considere los dos elementos de U siguientes. [ Se tiene que. [ ] [ ] [ ] ] [ ]

Observe que es una matriz diagonal de 2X2 y, por lo tanto, un elemento de es cerrado bajo la adicin.

Sea c un escalar. Se tiene que [ es una matriz diagonal de 2X2. As, escalar. ] [ ]

es cerrado bajo la multiplicacin por un

es un subespacio de

Este es un espacio vectorial de matrices contenido en

Ejemplo 3. Sea el junto de polinomios reales de grado n. Demuestre que Pes un espacio vectorial si la adicin y la multiplicacin por un escalar se definen punto por punto en los polinomios. Solucin: Se podra demostrar que junto con estas dos operaciones, satisface todos los axiomas de un espacio vectorial. Sin embargo, hay una forma ms sencilla de hacerlo. es un subconjunto del espacio vectorial V de funciones cuyo dominio es el conjunto de nmeros reales. Demuestre que este subconjunto es un subespacio de V; por lo tanto, ser un espacio vectorial en si mismo. Demuestre que es cerrado bajo la adicin y la multiplicacin por un escalar. definido por

Sea f y g dos elementos de ( )

( ) primero se considera la adicin. ( )( ) ( ) ( ) se encuentra definida por

( ( de

) ) es un elemento

)( ) es un polinomio de grado es cerrado bajo la adicin.

n. por lo tanto, (

Analice ahora la multiplicacin por un escalar. ( )( ) ( ).

se define mediante

)( )es un polinomio de grado Por lo tanto, es cerrado bajo la multiplicacin por un escalar.

es un elemento de

Se ha demostrado que , un subconjunto del espacio vectorial de funciones, es cerrado bajo la adicin y la multiplicacin. Por lo tanto, es un subespacio de y por consiguiente, un espacio vectorial. El siguiente teorema muestra una caracterstica importante de todos los subespacios. TEOREMA: Sea U un subespacio de un espacio vectorial cero de . contiene el vector

Demostracin Sea un vector cualquiera de y el vector cero de . Sea el escalar cero. De acuerdo con el teorema anterior (a), se sabe que . Puesto que es cerrado bajo la multiplicacin por un escalar, esto implica que se encuentra en . Este teorema indica por ejemplo, que todos los subespacios de contienen a ( ). Esto significa que todos los subespacios del espacio tridimensional pasan por el origen. Este teorema a veces se puede utilizar para comprobar con rapidez que ciertos subconjuntos no pueden ser subespacios. Si un subconjunto dado no contiene al vector cero, no puedes ser subespacio. El siguiente ejemplo ilustra esta idea. ) Demuestre Ejemplo 4.Sea el conjunto de vectores de la forma ( que no es un subespacio de . Solucin: Vea si ( ) se encuentra en . Hay algn valor de a para el cual ( ) sea igual a ( )? Se iguala ( ) con ( ), se obtiene: ( ) ( ) . ) no es un

Al igual las componentes correspondientes, se tiene que Este sistema de ecuaciones no tiene solucin. De esta, manera, ( elemento de no es un subespacio.

En las siguientes seccin se desarrollaran tcnicas que permiten entender mejor lo subespacios. Por ejemplo, determinar que todos los espacios significativos de

son rectas o planos que pasan por el origen, y que lo subespacios significativos de son rectas que pasan por el origen. Combinaciones lineales de vectores En la seccin anteriores se analizo el subespacio de que costa de todos los vectores de la forma (a, a, b). Observa que cualquier vector de este espacio se puedes expresar de la manera siguiente: (a, a, b) a (1, 1, 0) b (0, 0, 1) Las consecuencias de este echo consiste en que cada vector del subespacios puede expresar en trminos de (1, 1, 0) y (0, 0, 1). Por ejemplo, (2, 2, 3) ( 1, 1 , 7) 2(1, 1, 0) 1 (1, 1, 0) 3 (0, 0, 1) 7 (0, 0, 1) y

Los vectores (1, 1, 0) y (0, 0, 1) caracterizan en algn sentido al subespacio. En esta y en las siguientes secciones se considera este enfoque para entender los espacios vectoriales en trminos de ciertos vectores que representan a todos el espacio. DEFINICION Sean vectores en un espacio vectorial . Se dice que , un vector en V, es una combinacin lineal de si existen escalares tales que pueda expresarse de la manera siguiente:

Ejemplo 5. El vector (5, 4, 2) es una combinacin lineal de los vectores (1, 2, 0), (3,1, 4) y (1, 0, 3) ya que se puede expresar de la manera siguiente: (5, 4, 2) (1,2, 0) 2 (3, 1, 4) 2 (1, 0, 3) El problema de determinar si un vector es una combinacin lineal de otros vectores se convierte en resolver un sistema de ecuaciones lineales. Ejemplo 6. Determine si el vector (1, 1, 5) es una combinacin lineal de los vectores (1, 2, 3), (0, 1, 4) y (2, 3, 6).

Solucin: Analice la identidad ( )

Se pueden encontrar escalares para los cuales se cumpla esta identidad? Al aplicar las operaciones de adicin y multiplicacin por un escalar, se obtiene ( ( ) ( ) ( ) ) ( 1,1, 5) ( ,1 ,5)

Igualando los componentes, se obtienen el siguiente sistema de ecuaciones lineales:

Se puede demostrar que este sistema de ecuaciones tiene la solucin nica,

Por lo tanto, el vector ( 1, 1, 5) es la combinacin lineal siguiente de los vectores (1, 2, 3), (0, 1, 4) y (2, 3, 6): ( ) ( ) ( ) ( )

El siguiente ejemplo ilustra que es posible expresar un vector como una combinacin lineal de otros vectores de ms de una forma. Ejemplo 7. Exprese el vector (4, 4, 5) como una combinacin lineal de los vectores (1, 2, 3), (1, 1, 4) y (3, 3, 2). Solucin: Analice la siguiente identidad para los valores de ( ) ( ) ( ) ( )

Se tiene que: ( (

( ) (

( )

Al igualar los componentes se obtienen el siguiente sistema de ecuaciones lineales: 4

Este sistema de ecuaciones tiene muchas soluciones

Por lo tanto, el vector (4, 5, 5) se puede expresar de mucha formas como una combinacin lineal de los vectores (1, 2, 3), (1, 1, 4) y (3, 3, 2), (4, 5, 5) ( ) ) )( ( ( ) ( ) ) ( ( )( ) ) ( ) ( ) ( ) )

Por Ejemplo, Si r 3 entonces ( ( Si r

El siguiente ejemplo que puede no ser posible expresar un vector como una combinacin lineal de otros vectores. Ejemplo 8. Demuestre que el vector ( combinacin lineal de los vectores ( Solucin: Considere la identidad ( ) ( ) ( ) ( ) ) no se puede expresar como una )( ) ( )

Esta identidad lleva al sistema de ecuaciones lineales siguiente

Este sistema no tiene solucin. Por consiguiente, ( )( combinacin lineal de los vectores ( Ejemplo 9. Determine si la matriz [ matrices[ ] [ ] [

) no es una ( ).

] es una combinacin lineal de las de matrices de 2x2

] en el espacio vectorial

Solucin: Analice la siguiente identidad. [ ] [ ] [ ] [ ]

Puede encontrar escalares para los cuales se cumpla esa identidad? Al aplicar las operaciones de adicin y multiplicacin por un escalar de matrices, se obtiene [ ] [ ]

Al aplicar los elementos correspondientes, se obtiene el siguiente sistema de ecuaciones lineales,

Se puede demostrar este sistema tiene una solucin nica, la cual es la siguinte La matriz dada es, por lo tanto, la siguiente combinacin lineal de olas otras tres matrices, [ ] [ ] [ ] [ ]

Si el sistema anterior no tuviera solucin, es obvio que la matriz dada no seria una combinacin lineal de las otras matrices.

Definicin: Se dice que los vectores generan un espacio vectorial si todo vector en el espacio vectorial se puede expresar como una combinacin lineal de estos vectores. Un conjunto generador de vectores define, de alguna forma, el espacio vectorial puesto que cada vector del espacio vectorial se puede obtener a partir de este conjunto. )( ) ( ) generan Ejemplo 10. Demuestre que los vectores ( . Solucin: sea (x. y, z) un elemento cualquiera de . Se tiene que determinar lo siguiente: ( ) ( ) ( ) ( ) Multiplique y sume los vectores para obtener: ( Por consiguiente, ) ( )

Este sistema de ecuaciones con las incgnitas mtodo de Gauss Jordan. Su solucin es:

se resuelve por el

)( ) ( )generan . Puede escribir cualquier Los vectores ( vector de como una combinacin lineal de estos nuevos vectores de la manera siguiente:
( ) ( )( ) ( )( ) ( )( )

Esta formula vectorial permite expresar de inmediato un vector en como )( ) ( ). Poe ejemplo, si se quiere combinacin lineal de ( ) en trminos de estos vectores, se sustituya saber como se expresa ( en esta formula para obtener ( ) ( ) ( ) ( )

Ejemplo 11. Demuestre que las siguientes matrices generan el espacio vectorial de matrices de 2x2. [ Solucin: Sea [ ] un elemento cualquiera de . Se puede expresar esta matriz dela manera siguiente. [ Es el resultado. Se han creado las herramientas matemticas necesarias para expresar que un espacio vectorial en trminos de un conjunto de vectores que generan el espacio. Tambin seria til hacer lo contrario, saber generar mediante un conjunto de vectores el espacio vectorial. Teorema Sean vectores en un espacio vectorial . Sea el conjunto que consta de las combinaciones lineales de . es un subespacio de generado por los vectores . Se dice que es el espacio vectorial generado por . ) ( Ejemplo 12. Considere el espacio vectorial . Los vectores ( se encuentra en . Sea un subconjunto de que consta de todos los vectores de la forma ( ) ( ) De esta manera, es un subconjunto de generado por ( Lo siguiente ejemplo de vectores en U,se obtuvieron dando valores ( ) ( ) ( ) ( ) ) ) ] [ ] [ ] [ ] [ ] ] [ ] [ ] [ ]

( ). diversos

Se puede visualizar . por los vectores (

est formado por todos los vectores en el plano, definido ) ( ).

Generalizando este resultado. Sean los vectores vectores en el espacio vectorial . El subespacio generado por los vectores es el conjunto de la forma . Si no son colineales, entonces es el plano definido por . Ejemplo 13. Sea el espacio vectorial generado por las funciones ( ) ( ) Demuestre que la funcin ( ) se encuentra en . Solucin: tales que estar en el espacio generado por ( ) ( ( ) ) si existen escalares y

Esto da como resultado:

Si se igualan los coeficientes correspondientes, se obtiene:

Este sistema de ecuaciones tiene solucin nica ( La funcin ( ) ( ) ( ) ) ( )

As,

se encuentra en el espacio generado por .