SlideShare una empresa de Scribd logo
1 de 14
Descargar para leer sin conexión
Espacios Vectoriales
                               Departamento de Matem´ticas, CSI/ITESM
                                                    a

                                                 17 de junio de 2008


´
Indice
   15.1. Objetivos . . . . . . . . . . . . . .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    1
   15.2. Motivaci´n . . . . . . . . . . . . .
                 o                               .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    1
   15.3. Abstracci´n y Generalizaci´n . . .
                  o                 o            .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    3
   15.4. Generalizaci´n . . . . . . . . . . .
                     o                           .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    3
   15.5. El concepto de operaci´n . . . . .
                                o                .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    3
   15.6. Espacio Vectorial . . . . . . . . . .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    4
   15.7. Teoremas sobre espacios vectoriales     .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    7
   15.8. Ejemplos de EV . . . . . . . . . .      .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    7
   15.9. Subespacio Vectorial . . . . . . . .    .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   12

15.1.   Objetivos
   En esta lectura se introduce el concepto de espacio vectorial. Este concepto generaliza los vectores n y las
matrices m × n. El concepto es abstracto y por tanto tiene alguna dificultad natural; se le pide al estudiante
un esfuerzo extra para pensar las cosas desde un punto de vista general.

15.2.   Motivaci´n
                o
   Veamos un ejemplo para introducir el concepto de las ideas invariantes en la soluci´n a un sistema de
                                                                                      o
ecuaciones lineales.
Ejemplo 15.1
Considere el sistema homog´neo:
                          e
                                          x + 2y + w + 2t = 0
                                    2x + 4y − z + w + 5t = 0
                                      x + 2y + z + 2w + t = 0
                                                 z+w−t = 0
Si utilizamos el orden x → y → z → w → t la matriz aumentada                                     reducida queda:
                                                                                                           
                             1 2    0 1     2 0        1 2                                        0 1    2 0
                            2 4 −1 1       5 0      0 0                                        1 1 −1 0 
                                                →                                                          
                            1 2    1 2     1 0      0 0                                        0 0    0 0 
                             0 0    1 1 −1 0           0 0                                        0 0    0 0
De donde la f´rmula para las soluciones son:
             o
                                                                                                                  
                                 x                   −2                              −1                          −2
                              y                    1                             0                         0      
                                                                                                                  
                              z =y 
                                                   0      +w
                                                             
                                                                             
                                                                                    −1      +t
                                                                                             
                                                                                                         
                                                                                                                 1      
                                                                                                                         
                              w                    0                             1                         0      
                                 t                    0                               0                           1
Si utilizamos el orden x → y → w   → z → t la matriz aumentada reducida queda:
                                                                          
                             1 2   1    0    2 0         1 2 0 −1       3 0
                           2 4
                                  1 −1      5 0 → 0 0 1
                                                                  1 −1 0   
                           1 2    2    1    1 0       0 0 0     0    0 0 
                             0 0   1    1 −1 0           0 0 0     0    0 0
De donde la f´rmula para las soluciones son:
             o
                                                                                 
                                 x               −2                1               −3
                              y               1               0             0    
                                                                                 
                              z =y            0    +z         1   +t        0    
                                                                                 
                              w               0              −1             1    
                                 t               0                 0               1
Si utilizamos el orden x → y → t → z → w la matriz aumentada reducida queda:
                                                                        
                             1 2    2   0 1 0          1 2 0     2    3 0
                           2 4
                                   5 −1 1 0    →  0 0 1 −1 −1 0 
                                                                          
                           1 2     1   1 2 0        0 0 0     0    0 0 
                             0 0 −1     1 1 0          0 0 0     0    0 0
De donde la f´rmula para las soluciones son:
             o
                                                                                 
                                x                −2               −2               −3
                              y               1               0             0    
                                                                                 
                              z =y            0    +z         1   +w        0    
                                                                                 
                              w               0               0             1    
                                 t               0                −1               1
Si utilizamos el orden y → x → z → w → t la matriz aumentada               reducida queda:
                                                       1                    1         
                             2 1   0 1     2 0         1                    0       1 0
                           4 2 −1 1       5 0 
                                                         2                    2         
                                               → 0 0                     1 1 −1 0 
                           2 1    1 2     1 0 
                                                     
                                                      0 0
                                                                                         
                                                                            0 0     0 0 
                             0 0   1 1 −1 0            0 0                 0   0       0 0
De donde la f´rmula para las soluciones
             o                            son:
                                                                                      
                              x                1                   0                   0
                            y 
                                
                                          
                                             −1/2    
                                                      
                                                              
                                                                 −1/2     
                                                                           
                                                                                   
                                                                                      −1    
                                                                                             
                            z =x
                                
                                          
                                              0      +w
                                                      
                                                              
                                                                  −1      +t
                                                                           
                                                                                   
                                                                                      1     
                                                                                             
                            w               0                 1                 0     
                              t                0                   0                   1
 Todas las soluciones previas aparentant ser diferentes, sin embargo, todas representan el mismo conjunto
soluci´n. Necesitamos una teor´ que nos d´ confianza en los resultados obtenidos; qu´ nos indique las co-
      o                        ıa          e                                           e
sas que permanecen y las cosas que pueden cambiar en las m´ltiples respuestas v´lidas en Rn que podemos
                                                              u                 a
obtener.    Adem´s de los conjuntos soluci´n en Rn , existen otras areas de la ingenier´ que requieren un
                  a                        o                        ´                   ıa
apoyo matem´tico: las matrices tienen su importancia y uso en ingenier´ industrial y en control; las series
             a                                                          ıa
trigonom´tricas en procesamiento de se˜ales; los conjuntos de polinomios y las series de potencias para los
          e                           n
IFIs, etc..
¿C´mo desarrollar una teor´ comod´ que se pueda aplicar a diferentes contextos sin ning´n cambio impor-
   o                       ıa      ın                                                      u
tante?


                                                          2
15.3.      Abstracci´n y Generalizaci´n
                    o                o
    Si se hace una encuesta entre los matem´ticos sobre que palabras describen a las matem´ticas se notar´ que
                                           a                                              a              a
la mayor´ responde al menos dos palabras claves: abstracci´n y generalizaci´n. La abstracci´n tiene que ver
          ıa                                                 o               o                o
con representar cantidades por medio de s´ ımbolos ,y la generalizaci´n tiene que ver con la construcci´n de
                                                                      o                                  o
estructuras o teor´ que engloban ciertas cosas o hechos conocidos. La que nos interesa m´s para abrir este
                   ıas                                                                      a
tema es el aspecto de la generalizaci´n. La generalizaci´n tambi´n tiene que ver con la economia del trabajo
                                      o                  o       e
realizado para investigar, y con determinar cu´les son los elementos m´
                                               a                        ınimos responsables de que ciertos re-
sultados ocurran.


15.4.      Generalizaci´n
                       o
   Para entender como ocurre la generalizaci´n en nuestra materia recordemos algunos conceptos hemos visto
                                            o
en diferentes cursos de matem´ticas:
                             a
     1. vectores en el espacio n dimensional (Rn ),

     2. matrices con entradas reales (Mn×m ),

     3. polinomios reales,

     4. series de pontencias,

     5. series trigonom´tricas, y
                       e

     6. soluciones a ecuaciones diferenciales lineales homog´neas
                                                            e
entre otros elementos.
El objetivo que se persigue en el presente tema consiste en introducir aquella estructura abstracta que engloba
las anteriores construcciones, y qu´ resultados se pueden obtener en lo general sin importar a cual de las
                                     e
estructuras espec´
                 ıficas se haga referencia.


15.5.      El concepto de operaci´n
                                 o
    Antes que el concepto de espacio vectorial est´ el concepto de operaci´n. Veamos algunos ejemplos de
                                                  a                           o
operaciones para ir entendiendo que las operaciones de suma o de multiplicaci´n por escalares podr´ ser
                                                                                  o                     ıan
diferentes de las que conocemos.
Lo que es importante recordar es el uso de los par´ntesis : sirven para indicar un orden en las operaciones.
                                                  e
Ejemplo 15.2
Suponga que V = R2 y que se define la operaci´n: o

                                        (x, y) ⊕ (z, w) = (5 x + z, 2 w + 2 y)

Si
                                      a = (−2, −3) , b = (−1, 3) , c = (−1, −1)
Calcule:
     1. a ⊕ b
        = (5 · (x = −2) + (z = −1), 2 · (w = 3) + 2 · (y = −3)) = (−11, 0)

     2. b ⊕ a
        = (5 · (−1) + (−2), 2 · (−3) + 2 · (−1)) = (−7, 0)

                                                             3
3. (a ⊕ b) ⊕ c
        = (−11, −0) ⊕ (−1, −1) = (5 · (−11) + (−1), 2 · (−1) + 2 · (0)) = (−56, −2)
     4. a ⊕ (b ⊕ c)
        = (−2, −3) ⊕ (−6, 4) = (−16, 2)
Ejemplo 15.3
Suponga que V = R2 y que se definen las operaciones:
                                            (x, y) ⊕ (z, w) = (2 x, 3 w + y)
y
                                                  t ⊙ (x, y) = (2 t x, 3 t y)
Si
                                                 a = (1, 0) , c1 = 1, c2 = −4
Calcule:
     1. (c1 + c2 ) ⊙ a = −3 ⊙ (1, 0) = (2(−3)(1), 3(−3)(0)) = (−6, 0)
     2. (c1 ⊙ a) ⊕ (c2 ⊙ a) = (2, 0) ⊕ (−8, 0) = (4, 0)
     3. (c1 · c2 ) ⊙ a = −4 ⊙ (1, 0) = (−8, 0)
     4. c1 ⊙ (c2 ⊙ a) = 1 ⊙ (−8, 0) = (−16, 0)

15.6.      Espacio Vectorial
Definici´n 15.1
         o
Sea V un conjunto no vac´ sobre el cual existen dos operaciones. Una llamada suma de vectores y otra
                            ıo
llamada mulitplicaci´n de un escalar por un vector. La suma de vectores, o simplemente suma, es una regla o
                    o
funci´n que asocia a dos vectores, digamos u y v un tercer vector, a este se le representar´ como u ⊕ v. La
     o                                                                                       a
multiplicaci´n es una regla que asocia a un escalar y a un vector, digamos c y u un segundo vector representado
            o
por c ⊙ u. Diremos que el conjunto V se llama espacio vectorial si cumple todos y cada uno de los siguientes
axiomas:
(A1) Para cualquiera dos vectores u y v en V
                                                            u⊕v ∈V                                          (1)
        Este axioma se conoce como el axioma de cerradura bajo la suma:
             La suma de dos elementos del conjunto debe dar como resultado tambi´n un elemento del
                                                                                e
             conjunto.

(A2) Para cualquiera dos vectores u y v en V

                                                          u⊕v =v⊕u                                          (2)
        Este axioma se conoce como el axioma de la conmutatividad de la suma:
             El orden de los sumandos no altera el resultado de la suma.

(A3) Para cualquiera tres vectores u, v y w en V

                                                   u ⊕ (v ⊕ w) = (u ⊕ v) ⊕ w                                (3)

        Este axioma se conoce como axioma de la asociatividad de la suma:

                                                              4
En una suma de vectores, no importa el orden c´mo asocien la sumas entre dos; el resultado
                                                         o
           ser´ siempre el mismo.
              a

(A4) Existe un unico vector en V que se simbolizar´ por 0 y que se llamar´ el vector cero tal que para cualquier
               ´                                  a                      a
     vector u ∈ V se cumple
                                                u⊕0=0⊕u=u                                                    (4)
      Este axioma se conoce como el axioma de la existencia del elemento neutro:

           Existe en el conjunto un elemento distinguido que sumado con cualquier elemento da el mismo
           segundo elemento.

(A5) Para cualquier vector u ∈ V existe un unico vector tambi´n en V y simbolizado por −u que cumple
                                           ´                 e

                                             u ⊕ (−u) = (−u) ⊕ u = 0                                         (5)

      Este axioma se conoce como axioma de la existencia de inversos aditivos:

           Cada elemento del conjunto posee un inverso aditivo; un elemento del conjunto que sumado
           con ´l da el neutro aditivo.
               e

(M1) Para cualquier vector u ∈ V y para cualquier escalar c ∈ R se cumple

                                                     c⊙u∈V                                                   (6)

      Este axioma se conoce como el axioma de cerradura bajo la multiplicaci´n por escalares:
                                                                            o

           El resultado del producto entre cualquier escalar por cualquier elemento del conjunto debe dar
           como resultado tambi´n un elemento del conjunto.
                                 e

(M2) Para cualquiera dos vectores u y v en V , y para cualquier escalar c en R se cumple

                                           c ⊙ (u ⊕ v) = (c ⊙ u) ⊕ (c ⊙ v)                                   (7)

      Este axioma se conoce como la propiedad distributiva del producto (por escalares) sobre la suma (de
      vectores):

           En un producto de un escalar por una suma de vectores, da lo mismo realizar la suma de los
           vectores y el resultado multiplicarlo por el vector que individualmente multiplicar cada vector
           por el escalar y despu´s sumar los resultados.
                                 e

(M3) Para cualquier vector u ∈ V y para cualquiera dos escalares a y b en R se cumple

                                           (a + b) ⊙ u = (a ⊙ u) ⊕ (b ⊙ u)                                   (8)

      Este axioma se conoce como la propiedad distributiva del producto por escalares sobre la suma escalares.

(M4) Para cualquier vector u ∈ V y para cualquiera dos escalares a y b en R se cumple

                                               a ⊙ (b ⊙ u) = (a b) ⊙ u                                       (9)

      Esta propiedad se conoce como la ley asociativa del producto entre escalares y el producto de escalar
      con vector. Lo llamaremos simplemente como la propiedad asociativa del producto.

                                                       5
(M5) Para cualquier vector u ∈ V se cumple
                                                     1⊙u=u                                               (10)

Cuando se elabora una argumentaci´n en alg´n c´lculo o demostraci´n uno debe hacer referencia a los axiomas.
                                    o        u a                   o
Por ellos es que es conveniente y elegante llamarlos por su descripci´n. Se le pide al alumno que entienda
                                                                     o
la l´gica de cada uno de ellos y memorice sus descripciones.
    o

Ejemplo 15.4
Indique cual opci´n enuncia la propiedad distributiva de la suma de escalares sobre el producto.
                 o

  1.- (c + k) ⊙ x = (c ⊙ x) ⊕ (k ⊙ x) ← Respuesta

  2.- x ⊕ 0 = 0 ⊕ x = x

  3.- x ⊕ y = y ⊕ x ← Conmutatividad

  4.- c ⊙ x es vector ← Cerradura

  5.- x ⊕ (−x) = (−x) ⊕ x = 0

  6.- x ⊕ y es vector ← Cerradura

Ejemplo 15.5
Indique cual opci´n describe la propiedad:
                 o

                                               x⊕0=0⊕x=x

  1.- Cerradura del producto por escalares.

  2.- Existencia del neutro de la suma. ← Respuesta

  3.- Distributividad del producto sobre la suma de vectores.

  4.- Distributividad de la suma de escalares sobre el producto.

  5.- Asociatividad del producto por escalares.

  6.- Existencia del inverso aditivo

Ejemplo 15.6
Apesar que nuestro inter´s no es hacer demostraciones matem´ticas si es conveniente entender c´mo se cons-
                         e                                    a                                   o
truyen. El siguiente argumento prueba que el vector cero es unico. Es decir, que si hay otro vector que cumple
                                                            ´
la propiedad que define al neutro debe ser el mismo neutro. Justifique los pasos.
Suponga que
                                                 x+y =x
 Entonces por (a) existe (−x) que al sumarlo en ambos miembros da

                                           (−x) + (x + y) = (−x) + x

 Por la propiedad (b) se deduce entonces

                                           ((−x) + x) + y = (−x) + x

 Por la propiedad (c) se tiene entonces
                                                  0+y =0

                                                      6
Finalmente, por la propiedad (d) se tiene
                                                        y = 0.
1: la propiedad del inverso aditivo, 2: asociativa, 3: del neutro
Respuesta: la correspondencia es (a)=1,(b)=2,(c)=1,(d)=3


15.7.    Teoremas sobre espacios vectoriales
   Resultados generales sobre espacios generales:

      Sea V es un espacio vectorial, y sean u ∈ V y c ∈ R, entonces:

        1. 0 u = 0 (El escalar 0 por cualquier vector da el vector cero)
        2. c 0 = 0 (Cualquier escalar por el vector cero da el vector cero)
        3. c u = 0 implica c = 0 ´ u = 0 (Cuando el producto de un escalar por un vector da el vector
                                   o
           cero, o el escalar es cero o el vector es el vector cero)
        4. (−c) u = − (c u) (Multiplicar por un escalar negativo implica obtener el inverso aditivo del
           producto del escalar sin el signo por el vector)

15.8.    Ejemplos de EV
    Veamos algunos de los espacios vectoriales que utilizaremos.
Ejemplo EV 1
Sea V = R+ con las operaciones: x ⊕ y = x · y y c ⊙ x = xc , veamos que V con tal operaciones cumple los
axiomas de espacio vectorial:
Axioma A1: x ⊕ y ∈ V
Efectivamente, pues si x, y ∈ V entonces x, y > 0 y por tanto x ⊕ y = x · y > 0, probando que x ⊕ y ∈ V .
Axioma A2: x ⊕ y = y ⊕ x
Efectivamente, pues x ⊕ y = x · y = y · x = y ⊕ x. Esto se tiene por la propiedad conmutativa del producto de
n´meros reales.
  u
Axioma A3: x ⊕ (y ⊕ z) = (x ⊕ y) ⊕ z
Efectivamente, pues x ⊕ (y ⊕ z) = x ⊕ (y · z) = x · (y · z) = (x · y) · z = (x · y) ⊕ z = (x ⊕ y) ⊕ z. Esto se tiene
por la propiedad asociativa del producto de n´meros reales.
                                                    u
Axioma A4: Existe en V un neutro para ⊕
Efectivamente, el n´mero 1 de V = R cumple la propiedad requerida pues 1 ⊕ x = 1 · x = x = x · 1 = x ⊕ 1.
                     u
Axioma A5: Todo elemento de V posee un inverso aditivo en V
Efectivamente, si x ∈ V es n´mero, 1/x tambi´n est´ en V = R (Pues si x > 0, tambi´n se cumple 1/x > 0)
                               u                     e     a                                     e
y cumple la propiedad requerida pues x ⊕ 1/x = x · 1/x = 1 = 1/x · x = 1/x ⊕ x.
Axioma M1: c ⊙ x ∈ V
Efectivamente, pues si x ∈ V entonces x > 0 y c ⊙ x = xc > 0 para cualquier n´mero c. (Recuerde que para
                                                                                          u
x > 0, xc = ec ln(x) > 0)
Axioma M2: c ⊙ (x ⊕ y) = (c ⊙ x) ⊕ (c ⊙ y)
Efectivamente, c ⊙ (x ⊕ y) = c ⊙ (x · y) = (x · y)c = xc · y c = (xc ) ⊕ (y c ) = (c ⊙ x) ⊕ (c ⊙ y). Y esto vale por la
ley de los exponentes con bases positivas.
Axioma M3: (c1 + c2 ) ⊙ x = (c1 ⊙ x) ⊕ (c2 ⊙ x)
Efectivamente, (c1 + c2 ) ⊙ x = xc1 +c2 = xc1 · xc2 = (xc1 ) ⊕ (xc2 ) = (c1 ⊙ x) ⊕ (c2 ⊙ x). Esto vale por la ley de
los exponentes con bases positivas.
Axioma M4: (c1 · c2 ) ⊙ x = c1 ⊙ (c2 ⊙ x)
Efectivamente, (c1 · c2 ) ⊙ x = xc1 ·c2 = (xc2 )c1 = c1 ⊙ (xc2 ) = c1 ⊙ (c2 ⊙ x). Esto vale por la ley de los exponentes


                                                           7
con bases positivas.
Axioma M5: 1 ⊙ x = x
Efectivamente, 1 ⊙ x = x1 = x.
Habi´ndose cumplido los 10 axiomas, concluimos que V con las operaciones
     e

      x⊕y =x·y y

      c ⊙ x = xc

s´ es un espacio vectorial
 ı



Ejemplo EV 2: Rn
El conjunto de todas las n-adas con componentes reales Rn :
operaciones:

      La suma: La suma de dos vectores con n componentes es un vector tambi´n con n componentes cuya
                                                                               e
      componente i-´sima es la suma de las componentes i-´simas de los vectores que se est´n sumando:
                   e                                     e                                a

                                               (xi ) + (yi ) = (xi + yi )

      El producto por escalares: El producto de un escalar por un vector de n componentes se tambi´n un
                                                                                                    e
      vector de n componetes cuya componente i-´sima es el producto del escalar por la i−´sima componente
                                                e                                        e
      del vector que se multiplica:
                                                c · (xi ) = (c · xi )

Axiomas A1 y M1: x + y ∈ Rn y c · x ∈ Rn
De la misma definici´n de la suma y producto por escalares.
                    o
Axioma A2 : x + y = y + x
Los vectores son iguales pues tienen la misma dimensi´n y al comparar las componente i se tiene
                                                     o

                                               xi + yi = yi + xi

 Axioma A3: x + (y + z) = (x + y) + z
Los vectores son iguales pues tienen la misma dimensi´n y al comparar las componente i se tiene
                                                     o

                                        xi + (yi + zi ) = (xi + yi ) + zi

Axioma A4: Existe el vector neutro bajo la adici´n:
                                                  o
Este vector es el vector con todas sus componentes cero 0 = (0) y cumple 0 + x = x + 0 = x pues al comparar
las i-´simas componentes se cumple:
      e
                                            0 + xi = xi + 0 = xi
 Axioma A5: Cada vector de tiene su inverso aditivo:
Para cada vector x = (xi ) el vector −x = (−xi ) cumple x + (−x) = (−x) + x = 0 pues al comparar las i-´simas
                                                                                                       e
componentes se cumple:
                                           −xi + xi = 0 = xi + −xi
Axioma M2: c(x + y) = c x + c y: Los vectores son iguales pues tienen la misma dimensi´n y al comparar las
                                                                                      o
componentes i se tiene
                                         c(xi + yi ) = c xi + c yi



                                                       8
Axioma M3: (c1 + c2 )x = c1 x + c2 x: Los vectores son iguales pues tienen la misma dimensi´n y al comparar
                                                                                            o
las componentes i se tiene
                                         (c1 + c2 )xi = c1 xi + c2 xi
 Axioma M4: (c1 · c2 )x = c1 (c2 x): Los vectores son iguales pues tienen la misma dimensi´n y al comparar
                                                                                          o
las componentes i se tiene
                                            (c1 · c2 )xi = c1 (c2 xi )
Axioma M5: 1 · (xi ) = (1 · xi ) = (xi )
Habi´ndose cumplido los 10 axiomas, concluimos que Rn con las operaciones
    e

      (xi ) + (yi ) = (xi + yi ) y

      c(xi ) = (c xi )

s´ es un espacio vectorial
 ı



Ejemplo EV 3: Mm×n
El conjunto de todas las matrices m × n con componentes reales Mm×n :
operaciones:

      La suma: La suma de dos matrices m × n es una matriz tambi´n m × n cuyo elemento (i, j) es la suma
                                                                    e
      de los elementos (i, j) de las matrices que se est´n sumando:
                                                        a

                                             (aij ) + (bij ) = (aij + bij )

      El producto por escalares: El producto de un escalar por una matriz m × n es tambi´n una matriz m × n
                                                                                            e
      cuyo elemento (i, j) es el producto del escalar por el elemento (i, j) de la matriz que se multiplica:

                                                 c · (aij ) = (c · aij )

Axiomas A1 y M1: A + B ∈ Mm×n y c · A ∈ Mm×n : De la misma definici´n de la suma de matrices y
                                                                        o
producto por escalares.
Axioma A2 ; A + B = B + A: Las matrices son iguales pues tienen la misma dimensi´n y al comparar los
                                                                                o
elementos (i, j) se tiene
                                      aij + bij = bij + aij
 Axioma A3: A + (B + C) = (A + B) + C: Las matrices son iguales pues tienen la misma dimensi´n y al
                                                                                            o
comparar los elementos (i, j) se tiene

                                     aij + (bij + cij ) = (aij + bij ) + cij

Axioma A4, Existe una matriz neutra bajo la adici´n: Esta matriz es la matriz con todas sus componentes
                                                  o
cero 0 = (0) y cumple 0 + A = A + 0 = A, pues al comparar los elementos (i, j) componentes se cumple:

                                           0 + aij = aij + 0 = aij

 Axioma A5: Cada matriz de tiene su invero aditivo:
Para cada matriz A = (aij ), la matriz −A = (−aij ) cumple A + (−A) = (−A) + A = 0, pues al comparar los
elementos (i, j) se cumple:
                                        −aij + aij = 0 = aij + −aij


                                                       9
Axioma M2: c(A + B) = c A + c B: Las matrices son iguales pues tienen la misma dimensi´n y al comparar
                                                                                      o
los elementos (i, j) se tiene
                                     c(aij + bij ) = c aij + c bij
 Axioma M3: (c1 +c2 )A = c1 A+c2 A: Las matrices son iguales pues tienen la misma dimensi´n y al comparar
                                                                                         o
los elementos (i, j) se tiene
                                     (c1 + c2 )aij = c1 aij + c2 aij
 Axioma M4: (c1 · c2 )A = c1 (c2 A): Las matrices son iguales pues tienen la misma dimensi´n y al comparar
                                                                                          o
los elementos (i, j) se tiene
                                          (c1 · c2 )aij = c1 (c2 aij )
Axioma M5: 1 · (aij ) = (1 · aij ) = (aij )
Habi´ndose cumplido los 10 axiomas, concluimos que Mm×n con las operaciones
    e

      (aij ) + (bij ) = (aij + bij ) y

      c(bij ) = (c aij )

s´ es un espacio vectorial
 ı



Ejemplo EV 4: P
De todos los polinomios con coeficientes reales en la variable x con las operaciones:

      Suma: Cuando son dos polinomios, esta operaci´n se lleva a cabo sumando los coeficientes de las mismas
                                                   o
      potencias de x de los polinomios.

                                                     a0 + a1 x + · · · + am xm
                                                                 +
                                                     b0 + b1 x + · · · + bm xm
                                                                 =
                                         (a0 + b0 ) + (a1 + b1 ) x + · · · + (am + bm ) xm

      (Alguno de los polinomios se completa hasta el grado mayor de los dos con coeficientes cero)

      Multiplicaci´n: La multiplicaci´n por escalar es la multiplicaci´n de todo el polinomio por una cons-
                  o                  o                                   o
      tante:
                                       c(a0 + a1 x + a2 x2 + · · · + am xm )
                                                        =
                                          c a0 + c a1 x + · · · + c am xm

Axiomas A1 y M1: p(x) + q(x) ∈ P y c · p(x) ∈ P: De la misma definici´n de la suma de polinomios y
                                                                      o
producto por escalares.
Axioma A2 ; p(x) + q(x) = q(x) + q(x): Los polinomios son iguales pues est´n en la misma variable y
                                                                          a
comparando los coeficientes de xi se tiene:

                                                     pi + qi = pi + qi

 Axioma A3: p(x) + (q(x) + r(x)) = (p(x) + q(x)) + r(x): Los polinomios son iguales pues est´n en la misma
                                                                                            a
variable y comparando los coeficientes de xi se tiene:

                                              pi + (qi + ri ) = (pi + qi ) + ri

                                                             10
Axioma A4, Existe un polinomio neutro bajo la adici´n: Este polinomio es el polinomio con todos sus
                                                          o
coeficientes cero: 0 = 0 = 0 + 0 x y cumple 0 + p(x) = p(x) + 0 = p(x), pues al comparar los coeficientes de xi
se tiene:
                                             0 + pi = pi + 0 = pi
 Axioma A5: Cada polinomio de tiene su invero aditivo: Para cada plinomio p(x) = p0 + p1 x + c . . . , el
polinomio −p(x) = (−p0 ) + (−p1 ) x + (−p2 )x2 + · · · cumple p(x) + (−p(x)) = (−p(x)) + p(x) = 0, pues al
comparar los coeficientes de xi se tiene:
                                              (−pi ) + pi = 0
Axioma M2: c(p(x) + q(x)) = c p(x) + c q(x): Los polinomios son iguales pues est´n en la misma variable y
                                                                                a
comparando los coeficientes de xi se tiene:

                                           c(pi + qi ) = c pi + c qi

 Axioma M3: (c1 + c2 )p(x) = c1 p(x) + c2 p(x): Los polinomios son iguales pues est´n en la misma variable y
                                                                                   a
comparando los coeficientes de xi se tiene:

                                          (c1 + c2 )pi = c1 pi + c2 pi

 Axioma M4: (c1 · c2 )p(x) = c1 (c2 p(x)): Los polinomios son iguales pues est´n en la misma variable y
                                                                              a
comparando los coeficientes de xi se tiene:

                                            (c1 · c2 )pi = c1 (c2 pi )

 Axioma M5: 1 · p(x) = p(x)
Habi´ndose cumplido los 10 axiomas, concluimos que P con las operaciones suma de polinomios y producto
    e
de un escalar por un polinomio conocidas s´ es un espacio vectorial
                                          ı



Ejemplo EV 5: Pn
Todos los polinomios con coeficientes reales en la variable x de grado menor o igual que n (n es entero mayor
o igual que cero):

   1 operaciones:Sea x la variable independiente de los polinomios.

       a) Suma: Misma que en P.
       b) Multiplicaci´n por escalares: Misma que en P.
                      o

   2 el cero: El polinomio 0, es ´quel cuya totalidad de coeficientes es cero.
                                 a

   3 inversos aditivos: El inverso de −p de un polinomio p tiene por coeficientes los opuestos de los coefi-
     cientes de p




Ejemplo EV 6: F (R)
El conjunto de todas las funciones de valor real definidas en R:

   1 operaciones: Sean f y g dos funciones de valor real con dominio R y sea c cualquier escalar.


                                                       11
a) Suma: Se define la suma de f + g de f y g como la funci´n cuyos valores est´n expresados por:
                                                                 o                   a

                                       (f + g)(x) = f (x) + g(x) para toda x ∈ R

        b) producto por escalares: Igualmente, el producto por escalar cf se define como sigue:

                                           (c f )(x) = c f (x) para toda x ∈ R

   2 el cero: La funci´n cero, 0 es aquella cuyos valores son todos ceros: 0(x)= 0 para toda x ∈ R.
                      o

   3 inversos aditivos: La inversa de −f de f es la funci´n (-1)f .
                                                         o

   4 axiomas: La comprobaci´n de los axiomas se deja como ejercicio.
                           o

De manera m´s general, el conjunto F (X) de todas las funciones de valor real definidas en un conjuno X es
              a
un espacio vectorial. Las operaciones, el cero y el negativo se definen en la misma forma. La unica diferencia
                                                                                             ´
es que x se en encuentra en el conjunto X, en lugar de estar en R.

15.9.    Subespacio Vectorial
    Como se ha visto probar que un conjunto es un espacio vectorial es un trabajo arduo. Sin embargo, hay
situaciones en las que la prueba se reduce considerablemente: Cuando el conjunto est´ contenido en un con-
                                                                                    a
junto mayor que ya es un espacio vectorial. En este caso, como todas las propiedades de los axiomas hacen
referencia a elementos del conjunto y por tanto a elementos al conjunto mayor que ya es espacio vectorial y
por consiguiente se verifican. Salvo posiblemente los axiomas A1 y M1 que hacen referencia a la cerradura.

Definici´n 15.2
       o


     Sea V = (V, +, ·) un espacio vectorial. Un subconjuto U de V (U ⊆ V ) que no es vac´ se dice
                                                                                            ıo
     subespacio vectorial o simplemente subespacio de V si U con las mismas operaciones de suma y
     multiplicaci´n por escalares que est´n definidas en V , pero restringidas a vectores de U , es un
                 o                       a
     espacio vectorial.


Apesar que en la definci´n de subespacio est´ implicita la verificaci´n de los axiomas, el siguiente resultado da
                         o                  a                      o
la clave para la verificaci´n de que un conjunto se subespacio.
                          o
Teorema

     Un subconjunto no vac´ U de un espacio vectorial V es subespacio de V si cumple las siguientes
                          ıo
     condiciones:

           El conjunto U es cerrado bajo la suma;
           Cualquiera dos elementos de U sumados dan como resultado un elemento que tambi´n est´ en
                                                                                         e     a
           U.
           El conjunto U es cerrado bajo la multiplicaci´n por escalares;
                                                            o
           Cualquier elemento de U multiplicado por cualquier escalar da como resultado un elemento
           que tambi´n est´ en U .
                    e     a

Observe que realmente el resultado anterior hace referencia a tres condiciones: La que est´ en el enunciado:
                                                                                          a
que el conjunto no sea vac´ y las dos expl´
                          ıo,             ıcitamente citadas.



                                                      12
trans=R,toc=Ejemplo
Ejemplo 15.7
El subconjuto W de P2 formado por s´lo polinomios de la forma
                                   o

                                               p(x) = a x + 3 a x2

donde a es un n´mero real, ¿es un subespacio vectorial?
               u
Soluci´n
      o
Requisito 0: Se debe probar que el conjunto posee al menos un elemento: Debemos dar un ejemplo concreto
de un polinomio que corresponde a este formato: Por ejemplo

                                                p(x) = 2 x + 6 x2

 el coeficiente de x2 , 6, es justo el doble del coeficiente de x, que es 2. Por tanto, W = ∅.
Requisito 1: Debemos probar que si se suman dos elementos cualquiera del conjunto, el resultado tambi´ne
est´ en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar un valor num´rico de a;
    a                                                                                           e
debemos utilizar letras. Sean p(x) = a1 x + 3 a1 x2 y q(x) = a2 x + 3 a2 x2 dos elementos de W , veamos si
p(x) + q(x) ∈ W :

                  p(x) + q(x) = a1 x + 3 a1 x2 + a2 x + 3 a2 x2 = (a1 + a2 ) x + 3 (a1 + a2 ) x2

 de donde vemos que el coeficiente de x2 es el de x multiplicado por 3. Por tanto, p(x) + q(x) ∈ W . Por tanto,
W es cerrado bajo la suma.
Requisito 2: Debemos probar que si se multiplica un escalar cualquiera por un elemento cualquiera del
conjunto, el resultado tambi´n est´ en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar
                            e     a
un valor num´rico de a; debemos utilizar letras. Sea p(x) = a1 x + 3 a1 x2 un elemento cualquiera de W y c
              e
un escalar cualquiera, veamos si c p(x) ∈ W :

                               c p(x) = c (a1 x + 3 a1 x2 ) = (c a1 ) x + 3 (c a1 ) x2

 de donde vemos que el coeficiente de x2 es el de x multiplicado por 3. Por tanto, c p(x) ∈ W . Por tanto, W
es cerrado bajo el producto por escalares.
Como hemos probado los tres requisitos, W es un subespacio vectorial de P2 .

Ejemplo 15.8
El conjunto W de todas las matrices 2 × 2 de la forma:

                                                       a 0
                                                       0 b

donde a y b son n´meros reales que cumplen a b ≤ 0, ¿es un subespacio vectorial de M2×2 ?
                 u
Soluci´n
      o
Requisto 0: Como la matriz
                                                    1    0
                                             A=
                                                    0 −1
 tiene el patr´n de las matrices de W para a = 1 y b = −1 y se cumple a b = −1 ≤ 0, A ∈ W . Por tanto,
               o
W = ∅.
Requisito 1: Debemos probar que si se suman dos elementos cualquiera del conjunto, el resultado tambi´n
                                                                                                      e
est´ en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar valores num´ricos; debemos
   a                                                                                     e
utilizar letras. Sean
                                            a1 0             a2 0
                                     A=              yB=
                                             0 b1            0 b2

                                                         13
dos elementos de W , que cumplan a1 b1 ≤ 0 y a2 b2 ≤ 0 veamos si A + B ∈ W :

                                                       a1 + a2    0
                                         A+B =
                                                          0    b1 + b2

Ahora apliquemos la prueba ultima para ver si pertenece a W
                           ´

                            (a1 + a2 ) (b1 + b2 )) = a1 b1 + a2 b1 + a1 b1 + a2 b2 ≤ 0?

 Observe que lo que es cierto es que a1 b1 ≤ 0 y que a2 b2 ≤ 0. Pero el t´rmino a2 b1 + a1 b2 puede cambiar la
                                                                         e
desigualdad. De hecho los valores a = 1, b1 = −5, a2 = −3, y b2 = 1 cumplen

                                a1 b1 = (1)(−5) = −5 ≤ 0 y a2 b2 = (−3)(1) = −3

Pero
                         (a1 + a2 )(b1 + b2 ) = (1 + −3)(−5 + 1) = (−2)(−4) = 8 > 0
Estos n´meros nos dan las matrices
       u
                                              1  0                      −3 0
                                      Ao =                y Bo =
                                              0 −5                       0 1

que s´ est´n en W , pero cuya suma no est´ en W . A estos ejemplos conctretos que prueban que una cierta
      ı   a                                 a
afirmaci´n no se cumpla se le llama contra ejemplo. El anterior contra ejemplo hace que W no sea cerrado
        o
bajo la suma. Fallando un requisito como ahora, W no es un subespacio. Sin embargo, como nos interesa
ver la opci´n que se ajusta a W deberemos revisar el otro requisito.
           o
Requisito 2: Debemos probar que si se multiplica un escalar cualquiera por un elemento cualquiera del
conjunto, el resultado tambi´n est´ en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar
                             e    a
un valor num´rico de a; debemos utilizar letras. Sea
              e

                                                          a1 0
                                                 A=
                                                          0 b1

un elemento cualquiera de W (y por tanto a1 b1 ≤ 0) y c un escalar cualquiera, veamos si c A ∈ W :

                                                         c a1 0
                                              cA =
                                                           0 c b1

Ahora apliquemos la prueba ultima para ver si pertenece a W
                           ´

                                                 (c a1 ) (c b1 ) ≤ 0?

Como
                                             (c a1 ) (c b1 ) = c2 (a1 b1 )
y c2 ≥ 0 y a1 b1 ≤ 0 entonces
                                          (c a1 ) (c b1 ) = c2 (a1 b1 ) ≤ 0
Por tanto, c A ∈ W . Por tanto, W es cerrado bajo el producto por escalares.
Resumiendo, W no es espacio vectorial: s´ es cerrado bajo el producto por escalares pero no es cerrado bajo
                                         ı
la suma.




                                                          14

Más contenido relacionado

La actualidad más candente

Método simplex
Método simplexMétodo simplex
Método simplexluz
 
Trabajo ec diferenciales en ingenieria
Trabajo ec diferenciales en ingenieriaTrabajo ec diferenciales en ingenieria
Trabajo ec diferenciales en ingenieriaNilton jara chalco
 
Ecuaciones lineales y vectores
Ecuaciones lineales y vectoresEcuaciones lineales y vectores
Ecuaciones lineales y vectoresTheSupreme23
 
Ecuaciones diferenciales orden superior
Ecuaciones diferenciales orden superiorEcuaciones diferenciales orden superior
Ecuaciones diferenciales orden superiorJohana lopez
 
Ecuaciones de 1er orden
Ecuaciones de 1er ordenEcuaciones de 1er orden
Ecuaciones de 1er ordenVelmuz Buzz
 
MODELO DE RESONANCIA ADAPTATIVA EJEMPLO
MODELO DE RESONANCIA ADAPTATIVA EJEMPLOMODELO DE RESONANCIA ADAPTATIVA EJEMPLO
MODELO DE RESONANCIA ADAPTATIVA EJEMPLOESCOM
 
PAU RESUELTO MATEMATICAS CCSS SEPTIEMBRE 2012, MADRID
 PAU RESUELTO MATEMATICAS CCSS SEPTIEMBRE 2012, MADRID PAU RESUELTO MATEMATICAS CCSS SEPTIEMBRE 2012, MADRID
PAU RESUELTO MATEMATICAS CCSS SEPTIEMBRE 2012, MADRIDJoaquin Aroca Gomez
 
Solucionquiz4 Cvusta2009 02
Solucionquiz4 Cvusta2009 02Solucionquiz4 Cvusta2009 02
Solucionquiz4 Cvusta2009 02guest4ea1e4
 
ejemplo red neuronal Art1
ejemplo red neuronal Art1ejemplo red neuronal Art1
ejemplo red neuronal Art1ESCOM
 
Ecuaciones diferenciales ordinarias
Ecuaciones diferenciales ordinariasEcuaciones diferenciales ordinarias
Ecuaciones diferenciales ordinariasKike Prieto
 
Numeros complejos unidad 1
Numeros complejos unidad 1Numeros complejos unidad 1
Numeros complejos unidad 1neurofuzzy
 
Elementos de ecuaciones_diferenciales_ordinarias
Elementos de ecuaciones_diferenciales_ordinariasElementos de ecuaciones_diferenciales_ordinarias
Elementos de ecuaciones_diferenciales_ordinariasjose manuel lopez vidal
 
Matemáticas III
Matemáticas IIIMatemáticas III
Matemáticas IIIAlexi Moran
 

La actualidad más candente (16)

Tema4
Tema4Tema4
Tema4
 
Método simplex
Método simplexMétodo simplex
Método simplex
 
Trabajo ec diferenciales en ingenieria
Trabajo ec diferenciales en ingenieriaTrabajo ec diferenciales en ingenieria
Trabajo ec diferenciales en ingenieria
 
Ecuaciones lineales y vectores
Ecuaciones lineales y vectoresEcuaciones lineales y vectores
Ecuaciones lineales y vectores
 
Ecuaciones diferenciales orden superior
Ecuaciones diferenciales orden superiorEcuaciones diferenciales orden superior
Ecuaciones diferenciales orden superior
 
Ecuaciones de 1er orden
Ecuaciones de 1er ordenEcuaciones de 1er orden
Ecuaciones de 1er orden
 
Algebra lineal (vectores r2 y r3)
Algebra lineal (vectores r2 y r3)Algebra lineal (vectores r2 y r3)
Algebra lineal (vectores r2 y r3)
 
230_eje3.pdf
230_eje3.pdf230_eje3.pdf
230_eje3.pdf
 
MODELO DE RESONANCIA ADAPTATIVA EJEMPLO
MODELO DE RESONANCIA ADAPTATIVA EJEMPLOMODELO DE RESONANCIA ADAPTATIVA EJEMPLO
MODELO DE RESONANCIA ADAPTATIVA EJEMPLO
 
PAU RESUELTO MATEMATICAS CCSS SEPTIEMBRE 2012, MADRID
 PAU RESUELTO MATEMATICAS CCSS SEPTIEMBRE 2012, MADRID PAU RESUELTO MATEMATICAS CCSS SEPTIEMBRE 2012, MADRID
PAU RESUELTO MATEMATICAS CCSS SEPTIEMBRE 2012, MADRID
 
Solucionquiz4 Cvusta2009 02
Solucionquiz4 Cvusta2009 02Solucionquiz4 Cvusta2009 02
Solucionquiz4 Cvusta2009 02
 
ejemplo red neuronal Art1
ejemplo red neuronal Art1ejemplo red neuronal Art1
ejemplo red neuronal Art1
 
Ecuaciones diferenciales ordinarias
Ecuaciones diferenciales ordinariasEcuaciones diferenciales ordinarias
Ecuaciones diferenciales ordinarias
 
Numeros complejos unidad 1
Numeros complejos unidad 1Numeros complejos unidad 1
Numeros complejos unidad 1
 
Elementos de ecuaciones_diferenciales_ordinarias
Elementos de ecuaciones_diferenciales_ordinariasElementos de ecuaciones_diferenciales_ordinarias
Elementos de ecuaciones_diferenciales_ordinarias
 
Matemáticas III
Matemáticas IIIMatemáticas III
Matemáticas III
 

Destacado

Historia de las matemáticas. Niko. 4tA
Historia de las matemáticas.  Niko. 4tAHistoria de las matemáticas.  Niko. 4tA
Historia de las matemáticas. Niko. 4tAmgalmes
 
Escuela normal superior del distrito de barranquilla
Escuela normal superior del distrito de barranquillaEscuela normal superior del distrito de barranquilla
Escuela normal superior del distrito de barranquillaTonny Quintero
 
Diapositivas sidleshare
Diapositivas sidleshareDiapositivas sidleshare
Diapositivas sidleshareDiana Alvarez
 
La imagen visual
La imagen visualLa imagen visual
La imagen visualGTA_IVO
 
Manual de buenas practicas comerciales para el sector de los supermercados
Manual de buenas practicas comerciales para el sector de los supermercadosManual de buenas practicas comerciales para el sector de los supermercados
Manual de buenas practicas comerciales para el sector de los supermercadosConaudisa
 
Esquemadeinvestigacionusopedagogicodelastic 100808222744-phpapp02
Esquemadeinvestigacionusopedagogicodelastic 100808222744-phpapp02Esquemadeinvestigacionusopedagogicodelastic 100808222744-phpapp02
Esquemadeinvestigacionusopedagogicodelastic 100808222744-phpapp02Juan Matos Pena
 
DIA DE LA INAUGURACIÓN GURU JOSH GURU JOSH REFLECTIONS
DIA DE LA INAUGURACIÓN GURU JOSH GURU JOSH REFLECTIONSDIA DE LA INAUGURACIÓN GURU JOSH GURU JOSH REFLECTIONS
DIA DE LA INAUGURACIÓN GURU JOSH GURU JOSH REFLECTIONSFernando Díez Prieto
 
Universidad regional autonoma de los andes perfil 8vo
Universidad regional autonoma de los andes perfil 8voUniversidad regional autonoma de los andes perfil 8vo
Universidad regional autonoma de los andes perfil 8voBrayan Diaz
 
Material didáctico Leidy Castrillon y Johana Chiquillo
Material didáctico Leidy Castrillon y Johana ChiquilloMaterial didáctico Leidy Castrillon y Johana Chiquillo
Material didáctico Leidy Castrillon y Johana ChiquilloLeidy Castrillon
 
1)¿que e la web 2
1)¿que e la web 21)¿que e la web 2
1)¿que e la web 2GTA_IVO
 
Las 7 leyes espirituales del exito (adri mesias)
Las 7 leyes espirituales del exito (adri mesias)Las 7 leyes espirituales del exito (adri mesias)
Las 7 leyes espirituales del exito (adri mesias)Adri Chiki Mesias
 
Maria gabrielacastillocomercioelectronico
Maria gabrielacastillocomercioelectronicoMaria gabrielacastillocomercioelectronico
Maria gabrielacastillocomercioelectronicomariagabrielacastillom
 
Presentacion ciadi, natalia
Presentacion ciadi, nataliaPresentacion ciadi, natalia
Presentacion ciadi, nataliaGerardoTripolone
 
integración escolar nuevas tecnologias
integración escolar nuevas tecnologiasintegración escolar nuevas tecnologias
integración escolar nuevas tecnologiasHome
 
Bienvenidos francesc d'albranca
Bienvenidos francesc d'albrancaBienvenidos francesc d'albranca
Bienvenidos francesc d'albrancasengolidor
 
Listado estudiantes pendientes por recuperar primer periodo inglés
Listado estudiantes pendientes por recuperar primer periodo inglésListado estudiantes pendientes por recuperar primer periodo inglés
Listado estudiantes pendientes por recuperar primer periodo inglésNorma Rodriguez
 
Historia de las matemáticas. Olivia. 4t A
Historia de las matemáticas. Olivia. 4t AHistoria de las matemáticas. Olivia. 4t A
Historia de las matemáticas. Olivia. 4t Amgalmes
 

Destacado (20)

Historia de las matemáticas. Niko. 4tA
Historia de las matemáticas.  Niko. 4tAHistoria de las matemáticas.  Niko. 4tA
Historia de las matemáticas. Niko. 4tA
 
Escuela normal superior del distrito de barranquilla
Escuela normal superior del distrito de barranquillaEscuela normal superior del distrito de barranquilla
Escuela normal superior del distrito de barranquilla
 
Diapositivas sidleshare
Diapositivas sidleshareDiapositivas sidleshare
Diapositivas sidleshare
 
La imagen visual
La imagen visualLa imagen visual
La imagen visual
 
Manual de buenas practicas comerciales para el sector de los supermercados
Manual de buenas practicas comerciales para el sector de los supermercadosManual de buenas practicas comerciales para el sector de los supermercados
Manual de buenas practicas comerciales para el sector de los supermercados
 
Esquemadeinvestigacionusopedagogicodelastic 100808222744-phpapp02
Esquemadeinvestigacionusopedagogicodelastic 100808222744-phpapp02Esquemadeinvestigacionusopedagogicodelastic 100808222744-phpapp02
Esquemadeinvestigacionusopedagogicodelastic 100808222744-phpapp02
 
Taller 8 c
Taller 8 cTaller 8 c
Taller 8 c
 
Epeleko konpostatze planta prentsa dossierra
Epeleko konpostatze planta   prentsa dossierraEpeleko konpostatze planta   prentsa dossierra
Epeleko konpostatze planta prentsa dossierra
 
DIA DE LA INAUGURACIÓN GURU JOSH GURU JOSH REFLECTIONS
DIA DE LA INAUGURACIÓN GURU JOSH GURU JOSH REFLECTIONSDIA DE LA INAUGURACIÓN GURU JOSH GURU JOSH REFLECTIONS
DIA DE LA INAUGURACIÓN GURU JOSH GURU JOSH REFLECTIONS
 
Universidad regional autonoma de los andes perfil 8vo
Universidad regional autonoma de los andes perfil 8voUniversidad regional autonoma de los andes perfil 8vo
Universidad regional autonoma de los andes perfil 8vo
 
Web 2.0
Web 2.0Web 2.0
Web 2.0
 
Material didáctico Leidy Castrillon y Johana Chiquillo
Material didáctico Leidy Castrillon y Johana ChiquilloMaterial didáctico Leidy Castrillon y Johana Chiquillo
Material didáctico Leidy Castrillon y Johana Chiquillo
 
1)¿que e la web 2
1)¿que e la web 21)¿que e la web 2
1)¿que e la web 2
 
Las 7 leyes espirituales del exito (adri mesias)
Las 7 leyes espirituales del exito (adri mesias)Las 7 leyes espirituales del exito (adri mesias)
Las 7 leyes espirituales del exito (adri mesias)
 
Maria gabrielacastillocomercioelectronico
Maria gabrielacastillocomercioelectronicoMaria gabrielacastillocomercioelectronico
Maria gabrielacastillocomercioelectronico
 
Presentacion ciadi, natalia
Presentacion ciadi, nataliaPresentacion ciadi, natalia
Presentacion ciadi, natalia
 
integración escolar nuevas tecnologias
integración escolar nuevas tecnologiasintegración escolar nuevas tecnologias
integración escolar nuevas tecnologias
 
Bienvenidos francesc d'albranca
Bienvenidos francesc d'albrancaBienvenidos francesc d'albranca
Bienvenidos francesc d'albranca
 
Listado estudiantes pendientes por recuperar primer periodo inglés
Listado estudiantes pendientes por recuperar primer periodo inglésListado estudiantes pendientes por recuperar primer periodo inglés
Listado estudiantes pendientes por recuperar primer periodo inglés
 
Historia de las matemáticas. Olivia. 4t A
Historia de las matemáticas. Olivia. 4t AHistoria de las matemáticas. Olivia. 4t A
Historia de las matemáticas. Olivia. 4t A
 

Similar a Espacios Vectoriales

Similar a Espacios Vectoriales (19)

Tp Metodos Numericos
Tp Metodos NumericosTp Metodos Numericos
Tp Metodos Numericos
 
Análisis matemático 3
Análisis matemático 3Análisis matemático 3
Análisis matemático 3
 
Estatica meriam
Estatica meriamEstatica meriam
Estatica meriam
 
Matices ortogonales
Matices ortogonalesMatices ortogonales
Matices ortogonales
 
triplico las multiplicaciones
triplico las multiplicaciones triplico las multiplicaciones
triplico las multiplicaciones
 
Publicación carlos pdf
Publicación carlos pdfPublicación carlos pdf
Publicación carlos pdf
 
Portal de tramites sep oct_2012
Portal de tramites sep oct_2012Portal de tramites sep oct_2012
Portal de tramites sep oct_2012
 
Algebra lineal (vectores r2 y r3)
Algebra lineal (vectores r2 y r3)Algebra lineal (vectores r2 y r3)
Algebra lineal (vectores r2 y r3)
 
Refuerzo 16
Refuerzo 16Refuerzo 16
Refuerzo 16
 
Aprende c++ como si estuviera en primero pre
Aprende c++ como si estuviera en primero preAprende c++ como si estuviera en primero pre
Aprende c++ como si estuviera en primero pre
 
Regresion lineal simple
Regresion lineal simpleRegresion lineal simple
Regresion lineal simple
 
Modelos continuos Estadistica
Modelos continuos EstadisticaModelos continuos Estadistica
Modelos continuos Estadistica
 
Trabajo de grado franklin
Trabajo de grado franklinTrabajo de grado franklin
Trabajo de grado franklin
 
Sede gobcan.es sep oct_2012
Sede gobcan.es sep oct_2012Sede gobcan.es sep oct_2012
Sede gobcan.es sep oct_2012
 
Variables complejas
Variables complejasVariables complejas
Variables complejas
 
VARIABLE COMPLEJA
VARIABLE COMPLEJAVARIABLE COMPLEJA
VARIABLE COMPLEJA
 
Variable Compleja
Variable ComplejaVariable Compleja
Variable Compleja
 
calculo en fenómenos naturales y procesos sociales
calculo en fenómenos naturales y procesos socialescalculo en fenómenos naturales y procesos sociales
calculo en fenómenos naturales y procesos sociales
 
Modelo input - output de Leontief
Modelo input - output de LeontiefModelo input - output de Leontief
Modelo input - output de Leontief
 

Espacios Vectoriales

  • 1. Espacios Vectoriales Departamento de Matem´ticas, CSI/ITESM a 17 de junio de 2008 ´ Indice 15.1. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 15.2. Motivaci´n . . . . . . . . . . . . . o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 15.3. Abstracci´n y Generalizaci´n . . . o o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 15.4. Generalizaci´n . . . . . . . . . . . o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 15.5. El concepto de operaci´n . . . . . o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 15.6. Espacio Vectorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 15.7. Teoremas sobre espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 15.8. Ejemplos de EV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 15.9. Subespacio Vectorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 15.1. Objetivos En esta lectura se introduce el concepto de espacio vectorial. Este concepto generaliza los vectores n y las matrices m × n. El concepto es abstracto y por tanto tiene alguna dificultad natural; se le pide al estudiante un esfuerzo extra para pensar las cosas desde un punto de vista general. 15.2. Motivaci´n o Veamos un ejemplo para introducir el concepto de las ideas invariantes en la soluci´n a un sistema de o ecuaciones lineales. Ejemplo 15.1 Considere el sistema homog´neo: e x + 2y + w + 2t = 0 2x + 4y − z + w + 5t = 0 x + 2y + z + 2w + t = 0 z+w−t = 0 Si utilizamos el orden x → y → z → w → t la matriz aumentada reducida queda:     1 2 0 1 2 0 1 2 0 1 2 0  2 4 −1 1 5 0   0 0 1 1 −1 0   →   1 2 1 2 1 0   0 0 0 0 0 0  0 0 1 1 −1 0 0 0 0 0 0 0 De donde la f´rmula para las soluciones son: o         x −2 −1 −2  y   1   0   0           z =y     0 +w    −1 +t    1    w   0   1   0  t 0 0 1
  • 2. Si utilizamos el orden x → y → w → z → t la matriz aumentada reducida queda:     1 2 1 0 2 0 1 2 0 −1 3 0  2 4  1 −1 5 0 → 0 0 1  1 −1 0    1 2 2 1 1 0   0 0 0 0 0 0  0 0 1 1 −1 0 0 0 0 0 0 0 De donde la f´rmula para las soluciones son: o         x −2 1 −3  y   1   0   0           z =y  0 +z  1 +t  0           w   0   −1   1  t 0 0 1 Si utilizamos el orden x → y → t → z → w la matriz aumentada reducida queda:     1 2 2 0 1 0 1 2 0 2 3 0  2 4  5 −1 1 0   →  0 0 1 −1 −1 0     1 2 1 1 2 0   0 0 0 0 0 0  0 0 −1 1 1 0 0 0 0 0 0 0 De donde la f´rmula para las soluciones son: o         x −2 −2 −3  y   1   0   0           z =y  0 +z  1 +w  0           w   0   0   1  t 0 −1 1 Si utilizamos el orden y → x → z → w → t la matriz aumentada reducida queda:    1 1  2 1 0 1 2 0 1 0 1 0  4 2 −1 1 5 0   2 2   → 0 0 1 1 −1 0   2 1 1 2 1 0    0 0  0 0 0 0  0 0 1 1 −1 0 0 0 0 0 0 0 De donde la f´rmula para las soluciones o son:         x 1 0 0  y      −1/2     −1/2     −1    z =x     0 +w    −1 +t    1    w   0   1   0  t 0 0 1 Todas las soluciones previas aparentant ser diferentes, sin embargo, todas representan el mismo conjunto soluci´n. Necesitamos una teor´ que nos d´ confianza en los resultados obtenidos; qu´ nos indique las co- o ıa e e sas que permanecen y las cosas que pueden cambiar en las m´ltiples respuestas v´lidas en Rn que podemos u a obtener. Adem´s de los conjuntos soluci´n en Rn , existen otras areas de la ingenier´ que requieren un a o ´ ıa apoyo matem´tico: las matrices tienen su importancia y uso en ingenier´ industrial y en control; las series a ıa trigonom´tricas en procesamiento de se˜ales; los conjuntos de polinomios y las series de potencias para los e n IFIs, etc.. ¿C´mo desarrollar una teor´ comod´ que se pueda aplicar a diferentes contextos sin ning´n cambio impor- o ıa ın u tante? 2
  • 3. 15.3. Abstracci´n y Generalizaci´n o o Si se hace una encuesta entre los matem´ticos sobre que palabras describen a las matem´ticas se notar´ que a a a la mayor´ responde al menos dos palabras claves: abstracci´n y generalizaci´n. La abstracci´n tiene que ver ıa o o o con representar cantidades por medio de s´ ımbolos ,y la generalizaci´n tiene que ver con la construcci´n de o o estructuras o teor´ que engloban ciertas cosas o hechos conocidos. La que nos interesa m´s para abrir este ıas a tema es el aspecto de la generalizaci´n. La generalizaci´n tambi´n tiene que ver con la economia del trabajo o o e realizado para investigar, y con determinar cu´les son los elementos m´ a ınimos responsables de que ciertos re- sultados ocurran. 15.4. Generalizaci´n o Para entender como ocurre la generalizaci´n en nuestra materia recordemos algunos conceptos hemos visto o en diferentes cursos de matem´ticas: a 1. vectores en el espacio n dimensional (Rn ), 2. matrices con entradas reales (Mn×m ), 3. polinomios reales, 4. series de pontencias, 5. series trigonom´tricas, y e 6. soluciones a ecuaciones diferenciales lineales homog´neas e entre otros elementos. El objetivo que se persigue en el presente tema consiste en introducir aquella estructura abstracta que engloba las anteriores construcciones, y qu´ resultados se pueden obtener en lo general sin importar a cual de las e estructuras espec´ ıficas se haga referencia. 15.5. El concepto de operaci´n o Antes que el concepto de espacio vectorial est´ el concepto de operaci´n. Veamos algunos ejemplos de a o operaciones para ir entendiendo que las operaciones de suma o de multiplicaci´n por escalares podr´ ser o ıan diferentes de las que conocemos. Lo que es importante recordar es el uso de los par´ntesis : sirven para indicar un orden en las operaciones. e Ejemplo 15.2 Suponga que V = R2 y que se define la operaci´n: o (x, y) ⊕ (z, w) = (5 x + z, 2 w + 2 y) Si a = (−2, −3) , b = (−1, 3) , c = (−1, −1) Calcule: 1. a ⊕ b = (5 · (x = −2) + (z = −1), 2 · (w = 3) + 2 · (y = −3)) = (−11, 0) 2. b ⊕ a = (5 · (−1) + (−2), 2 · (−3) + 2 · (−1)) = (−7, 0) 3
  • 4. 3. (a ⊕ b) ⊕ c = (−11, −0) ⊕ (−1, −1) = (5 · (−11) + (−1), 2 · (−1) + 2 · (0)) = (−56, −2) 4. a ⊕ (b ⊕ c) = (−2, −3) ⊕ (−6, 4) = (−16, 2) Ejemplo 15.3 Suponga que V = R2 y que se definen las operaciones: (x, y) ⊕ (z, w) = (2 x, 3 w + y) y t ⊙ (x, y) = (2 t x, 3 t y) Si a = (1, 0) , c1 = 1, c2 = −4 Calcule: 1. (c1 + c2 ) ⊙ a = −3 ⊙ (1, 0) = (2(−3)(1), 3(−3)(0)) = (−6, 0) 2. (c1 ⊙ a) ⊕ (c2 ⊙ a) = (2, 0) ⊕ (−8, 0) = (4, 0) 3. (c1 · c2 ) ⊙ a = −4 ⊙ (1, 0) = (−8, 0) 4. c1 ⊙ (c2 ⊙ a) = 1 ⊙ (−8, 0) = (−16, 0) 15.6. Espacio Vectorial Definici´n 15.1 o Sea V un conjunto no vac´ sobre el cual existen dos operaciones. Una llamada suma de vectores y otra ıo llamada mulitplicaci´n de un escalar por un vector. La suma de vectores, o simplemente suma, es una regla o o funci´n que asocia a dos vectores, digamos u y v un tercer vector, a este se le representar´ como u ⊕ v. La o a multiplicaci´n es una regla que asocia a un escalar y a un vector, digamos c y u un segundo vector representado o por c ⊙ u. Diremos que el conjunto V se llama espacio vectorial si cumple todos y cada uno de los siguientes axiomas: (A1) Para cualquiera dos vectores u y v en V u⊕v ∈V (1) Este axioma se conoce como el axioma de cerradura bajo la suma: La suma de dos elementos del conjunto debe dar como resultado tambi´n un elemento del e conjunto. (A2) Para cualquiera dos vectores u y v en V u⊕v =v⊕u (2) Este axioma se conoce como el axioma de la conmutatividad de la suma: El orden de los sumandos no altera el resultado de la suma. (A3) Para cualquiera tres vectores u, v y w en V u ⊕ (v ⊕ w) = (u ⊕ v) ⊕ w (3) Este axioma se conoce como axioma de la asociatividad de la suma: 4
  • 5. En una suma de vectores, no importa el orden c´mo asocien la sumas entre dos; el resultado o ser´ siempre el mismo. a (A4) Existe un unico vector en V que se simbolizar´ por 0 y que se llamar´ el vector cero tal que para cualquier ´ a a vector u ∈ V se cumple u⊕0=0⊕u=u (4) Este axioma se conoce como el axioma de la existencia del elemento neutro: Existe en el conjunto un elemento distinguido que sumado con cualquier elemento da el mismo segundo elemento. (A5) Para cualquier vector u ∈ V existe un unico vector tambi´n en V y simbolizado por −u que cumple ´ e u ⊕ (−u) = (−u) ⊕ u = 0 (5) Este axioma se conoce como axioma de la existencia de inversos aditivos: Cada elemento del conjunto posee un inverso aditivo; un elemento del conjunto que sumado con ´l da el neutro aditivo. e (M1) Para cualquier vector u ∈ V y para cualquier escalar c ∈ R se cumple c⊙u∈V (6) Este axioma se conoce como el axioma de cerradura bajo la multiplicaci´n por escalares: o El resultado del producto entre cualquier escalar por cualquier elemento del conjunto debe dar como resultado tambi´n un elemento del conjunto. e (M2) Para cualquiera dos vectores u y v en V , y para cualquier escalar c en R se cumple c ⊙ (u ⊕ v) = (c ⊙ u) ⊕ (c ⊙ v) (7) Este axioma se conoce como la propiedad distributiva del producto (por escalares) sobre la suma (de vectores): En un producto de un escalar por una suma de vectores, da lo mismo realizar la suma de los vectores y el resultado multiplicarlo por el vector que individualmente multiplicar cada vector por el escalar y despu´s sumar los resultados. e (M3) Para cualquier vector u ∈ V y para cualquiera dos escalares a y b en R se cumple (a + b) ⊙ u = (a ⊙ u) ⊕ (b ⊙ u) (8) Este axioma se conoce como la propiedad distributiva del producto por escalares sobre la suma escalares. (M4) Para cualquier vector u ∈ V y para cualquiera dos escalares a y b en R se cumple a ⊙ (b ⊙ u) = (a b) ⊙ u (9) Esta propiedad se conoce como la ley asociativa del producto entre escalares y el producto de escalar con vector. Lo llamaremos simplemente como la propiedad asociativa del producto. 5
  • 6. (M5) Para cualquier vector u ∈ V se cumple 1⊙u=u (10) Cuando se elabora una argumentaci´n en alg´n c´lculo o demostraci´n uno debe hacer referencia a los axiomas. o u a o Por ellos es que es conveniente y elegante llamarlos por su descripci´n. Se le pide al alumno que entienda o la l´gica de cada uno de ellos y memorice sus descripciones. o Ejemplo 15.4 Indique cual opci´n enuncia la propiedad distributiva de la suma de escalares sobre el producto. o 1.- (c + k) ⊙ x = (c ⊙ x) ⊕ (k ⊙ x) ← Respuesta 2.- x ⊕ 0 = 0 ⊕ x = x 3.- x ⊕ y = y ⊕ x ← Conmutatividad 4.- c ⊙ x es vector ← Cerradura 5.- x ⊕ (−x) = (−x) ⊕ x = 0 6.- x ⊕ y es vector ← Cerradura Ejemplo 15.5 Indique cual opci´n describe la propiedad: o x⊕0=0⊕x=x 1.- Cerradura del producto por escalares. 2.- Existencia del neutro de la suma. ← Respuesta 3.- Distributividad del producto sobre la suma de vectores. 4.- Distributividad de la suma de escalares sobre el producto. 5.- Asociatividad del producto por escalares. 6.- Existencia del inverso aditivo Ejemplo 15.6 Apesar que nuestro inter´s no es hacer demostraciones matem´ticas si es conveniente entender c´mo se cons- e a o truyen. El siguiente argumento prueba que el vector cero es unico. Es decir, que si hay otro vector que cumple ´ la propiedad que define al neutro debe ser el mismo neutro. Justifique los pasos. Suponga que x+y =x Entonces por (a) existe (−x) que al sumarlo en ambos miembros da (−x) + (x + y) = (−x) + x Por la propiedad (b) se deduce entonces ((−x) + x) + y = (−x) + x Por la propiedad (c) se tiene entonces 0+y =0 6
  • 7. Finalmente, por la propiedad (d) se tiene y = 0. 1: la propiedad del inverso aditivo, 2: asociativa, 3: del neutro Respuesta: la correspondencia es (a)=1,(b)=2,(c)=1,(d)=3 15.7. Teoremas sobre espacios vectoriales Resultados generales sobre espacios generales: Sea V es un espacio vectorial, y sean u ∈ V y c ∈ R, entonces: 1. 0 u = 0 (El escalar 0 por cualquier vector da el vector cero) 2. c 0 = 0 (Cualquier escalar por el vector cero da el vector cero) 3. c u = 0 implica c = 0 ´ u = 0 (Cuando el producto de un escalar por un vector da el vector o cero, o el escalar es cero o el vector es el vector cero) 4. (−c) u = − (c u) (Multiplicar por un escalar negativo implica obtener el inverso aditivo del producto del escalar sin el signo por el vector) 15.8. Ejemplos de EV Veamos algunos de los espacios vectoriales que utilizaremos. Ejemplo EV 1 Sea V = R+ con las operaciones: x ⊕ y = x · y y c ⊙ x = xc , veamos que V con tal operaciones cumple los axiomas de espacio vectorial: Axioma A1: x ⊕ y ∈ V Efectivamente, pues si x, y ∈ V entonces x, y > 0 y por tanto x ⊕ y = x · y > 0, probando que x ⊕ y ∈ V . Axioma A2: x ⊕ y = y ⊕ x Efectivamente, pues x ⊕ y = x · y = y · x = y ⊕ x. Esto se tiene por la propiedad conmutativa del producto de n´meros reales. u Axioma A3: x ⊕ (y ⊕ z) = (x ⊕ y) ⊕ z Efectivamente, pues x ⊕ (y ⊕ z) = x ⊕ (y · z) = x · (y · z) = (x · y) · z = (x · y) ⊕ z = (x ⊕ y) ⊕ z. Esto se tiene por la propiedad asociativa del producto de n´meros reales. u Axioma A4: Existe en V un neutro para ⊕ Efectivamente, el n´mero 1 de V = R cumple la propiedad requerida pues 1 ⊕ x = 1 · x = x = x · 1 = x ⊕ 1. u Axioma A5: Todo elemento de V posee un inverso aditivo en V Efectivamente, si x ∈ V es n´mero, 1/x tambi´n est´ en V = R (Pues si x > 0, tambi´n se cumple 1/x > 0) u e a e y cumple la propiedad requerida pues x ⊕ 1/x = x · 1/x = 1 = 1/x · x = 1/x ⊕ x. Axioma M1: c ⊙ x ∈ V Efectivamente, pues si x ∈ V entonces x > 0 y c ⊙ x = xc > 0 para cualquier n´mero c. (Recuerde que para u x > 0, xc = ec ln(x) > 0) Axioma M2: c ⊙ (x ⊕ y) = (c ⊙ x) ⊕ (c ⊙ y) Efectivamente, c ⊙ (x ⊕ y) = c ⊙ (x · y) = (x · y)c = xc · y c = (xc ) ⊕ (y c ) = (c ⊙ x) ⊕ (c ⊙ y). Y esto vale por la ley de los exponentes con bases positivas. Axioma M3: (c1 + c2 ) ⊙ x = (c1 ⊙ x) ⊕ (c2 ⊙ x) Efectivamente, (c1 + c2 ) ⊙ x = xc1 +c2 = xc1 · xc2 = (xc1 ) ⊕ (xc2 ) = (c1 ⊙ x) ⊕ (c2 ⊙ x). Esto vale por la ley de los exponentes con bases positivas. Axioma M4: (c1 · c2 ) ⊙ x = c1 ⊙ (c2 ⊙ x) Efectivamente, (c1 · c2 ) ⊙ x = xc1 ·c2 = (xc2 )c1 = c1 ⊙ (xc2 ) = c1 ⊙ (c2 ⊙ x). Esto vale por la ley de los exponentes 7
  • 8. con bases positivas. Axioma M5: 1 ⊙ x = x Efectivamente, 1 ⊙ x = x1 = x. Habi´ndose cumplido los 10 axiomas, concluimos que V con las operaciones e x⊕y =x·y y c ⊙ x = xc s´ es un espacio vectorial ı Ejemplo EV 2: Rn El conjunto de todas las n-adas con componentes reales Rn : operaciones: La suma: La suma de dos vectores con n componentes es un vector tambi´n con n componentes cuya e componente i-´sima es la suma de las componentes i-´simas de los vectores que se est´n sumando: e e a (xi ) + (yi ) = (xi + yi ) El producto por escalares: El producto de un escalar por un vector de n componentes se tambi´n un e vector de n componetes cuya componente i-´sima es el producto del escalar por la i−´sima componente e e del vector que se multiplica: c · (xi ) = (c · xi ) Axiomas A1 y M1: x + y ∈ Rn y c · x ∈ Rn De la misma definici´n de la suma y producto por escalares. o Axioma A2 : x + y = y + x Los vectores son iguales pues tienen la misma dimensi´n y al comparar las componente i se tiene o xi + yi = yi + xi Axioma A3: x + (y + z) = (x + y) + z Los vectores son iguales pues tienen la misma dimensi´n y al comparar las componente i se tiene o xi + (yi + zi ) = (xi + yi ) + zi Axioma A4: Existe el vector neutro bajo la adici´n: o Este vector es el vector con todas sus componentes cero 0 = (0) y cumple 0 + x = x + 0 = x pues al comparar las i-´simas componentes se cumple: e 0 + xi = xi + 0 = xi Axioma A5: Cada vector de tiene su inverso aditivo: Para cada vector x = (xi ) el vector −x = (−xi ) cumple x + (−x) = (−x) + x = 0 pues al comparar las i-´simas e componentes se cumple: −xi + xi = 0 = xi + −xi Axioma M2: c(x + y) = c x + c y: Los vectores son iguales pues tienen la misma dimensi´n y al comparar las o componentes i se tiene c(xi + yi ) = c xi + c yi 8
  • 9. Axioma M3: (c1 + c2 )x = c1 x + c2 x: Los vectores son iguales pues tienen la misma dimensi´n y al comparar o las componentes i se tiene (c1 + c2 )xi = c1 xi + c2 xi Axioma M4: (c1 · c2 )x = c1 (c2 x): Los vectores son iguales pues tienen la misma dimensi´n y al comparar o las componentes i se tiene (c1 · c2 )xi = c1 (c2 xi ) Axioma M5: 1 · (xi ) = (1 · xi ) = (xi ) Habi´ndose cumplido los 10 axiomas, concluimos que Rn con las operaciones e (xi ) + (yi ) = (xi + yi ) y c(xi ) = (c xi ) s´ es un espacio vectorial ı Ejemplo EV 3: Mm×n El conjunto de todas las matrices m × n con componentes reales Mm×n : operaciones: La suma: La suma de dos matrices m × n es una matriz tambi´n m × n cuyo elemento (i, j) es la suma e de los elementos (i, j) de las matrices que se est´n sumando: a (aij ) + (bij ) = (aij + bij ) El producto por escalares: El producto de un escalar por una matriz m × n es tambi´n una matriz m × n e cuyo elemento (i, j) es el producto del escalar por el elemento (i, j) de la matriz que se multiplica: c · (aij ) = (c · aij ) Axiomas A1 y M1: A + B ∈ Mm×n y c · A ∈ Mm×n : De la misma definici´n de la suma de matrices y o producto por escalares. Axioma A2 ; A + B = B + A: Las matrices son iguales pues tienen la misma dimensi´n y al comparar los o elementos (i, j) se tiene aij + bij = bij + aij Axioma A3: A + (B + C) = (A + B) + C: Las matrices son iguales pues tienen la misma dimensi´n y al o comparar los elementos (i, j) se tiene aij + (bij + cij ) = (aij + bij ) + cij Axioma A4, Existe una matriz neutra bajo la adici´n: Esta matriz es la matriz con todas sus componentes o cero 0 = (0) y cumple 0 + A = A + 0 = A, pues al comparar los elementos (i, j) componentes se cumple: 0 + aij = aij + 0 = aij Axioma A5: Cada matriz de tiene su invero aditivo: Para cada matriz A = (aij ), la matriz −A = (−aij ) cumple A + (−A) = (−A) + A = 0, pues al comparar los elementos (i, j) se cumple: −aij + aij = 0 = aij + −aij 9
  • 10. Axioma M2: c(A + B) = c A + c B: Las matrices son iguales pues tienen la misma dimensi´n y al comparar o los elementos (i, j) se tiene c(aij + bij ) = c aij + c bij Axioma M3: (c1 +c2 )A = c1 A+c2 A: Las matrices son iguales pues tienen la misma dimensi´n y al comparar o los elementos (i, j) se tiene (c1 + c2 )aij = c1 aij + c2 aij Axioma M4: (c1 · c2 )A = c1 (c2 A): Las matrices son iguales pues tienen la misma dimensi´n y al comparar o los elementos (i, j) se tiene (c1 · c2 )aij = c1 (c2 aij ) Axioma M5: 1 · (aij ) = (1 · aij ) = (aij ) Habi´ndose cumplido los 10 axiomas, concluimos que Mm×n con las operaciones e (aij ) + (bij ) = (aij + bij ) y c(bij ) = (c aij ) s´ es un espacio vectorial ı Ejemplo EV 4: P De todos los polinomios con coeficientes reales en la variable x con las operaciones: Suma: Cuando son dos polinomios, esta operaci´n se lleva a cabo sumando los coeficientes de las mismas o potencias de x de los polinomios. a0 + a1 x + · · · + am xm + b0 + b1 x + · · · + bm xm = (a0 + b0 ) + (a1 + b1 ) x + · · · + (am + bm ) xm (Alguno de los polinomios se completa hasta el grado mayor de los dos con coeficientes cero) Multiplicaci´n: La multiplicaci´n por escalar es la multiplicaci´n de todo el polinomio por una cons- o o o tante: c(a0 + a1 x + a2 x2 + · · · + am xm ) = c a0 + c a1 x + · · · + c am xm Axiomas A1 y M1: p(x) + q(x) ∈ P y c · p(x) ∈ P: De la misma definici´n de la suma de polinomios y o producto por escalares. Axioma A2 ; p(x) + q(x) = q(x) + q(x): Los polinomios son iguales pues est´n en la misma variable y a comparando los coeficientes de xi se tiene: pi + qi = pi + qi Axioma A3: p(x) + (q(x) + r(x)) = (p(x) + q(x)) + r(x): Los polinomios son iguales pues est´n en la misma a variable y comparando los coeficientes de xi se tiene: pi + (qi + ri ) = (pi + qi ) + ri 10
  • 11. Axioma A4, Existe un polinomio neutro bajo la adici´n: Este polinomio es el polinomio con todos sus o coeficientes cero: 0 = 0 = 0 + 0 x y cumple 0 + p(x) = p(x) + 0 = p(x), pues al comparar los coeficientes de xi se tiene: 0 + pi = pi + 0 = pi Axioma A5: Cada polinomio de tiene su invero aditivo: Para cada plinomio p(x) = p0 + p1 x + c . . . , el polinomio −p(x) = (−p0 ) + (−p1 ) x + (−p2 )x2 + · · · cumple p(x) + (−p(x)) = (−p(x)) + p(x) = 0, pues al comparar los coeficientes de xi se tiene: (−pi ) + pi = 0 Axioma M2: c(p(x) + q(x)) = c p(x) + c q(x): Los polinomios son iguales pues est´n en la misma variable y a comparando los coeficientes de xi se tiene: c(pi + qi ) = c pi + c qi Axioma M3: (c1 + c2 )p(x) = c1 p(x) + c2 p(x): Los polinomios son iguales pues est´n en la misma variable y a comparando los coeficientes de xi se tiene: (c1 + c2 )pi = c1 pi + c2 pi Axioma M4: (c1 · c2 )p(x) = c1 (c2 p(x)): Los polinomios son iguales pues est´n en la misma variable y a comparando los coeficientes de xi se tiene: (c1 · c2 )pi = c1 (c2 pi ) Axioma M5: 1 · p(x) = p(x) Habi´ndose cumplido los 10 axiomas, concluimos que P con las operaciones suma de polinomios y producto e de un escalar por un polinomio conocidas s´ es un espacio vectorial ı Ejemplo EV 5: Pn Todos los polinomios con coeficientes reales en la variable x de grado menor o igual que n (n es entero mayor o igual que cero): 1 operaciones:Sea x la variable independiente de los polinomios. a) Suma: Misma que en P. b) Multiplicaci´n por escalares: Misma que en P. o 2 el cero: El polinomio 0, es ´quel cuya totalidad de coeficientes es cero. a 3 inversos aditivos: El inverso de −p de un polinomio p tiene por coeficientes los opuestos de los coefi- cientes de p Ejemplo EV 6: F (R) El conjunto de todas las funciones de valor real definidas en R: 1 operaciones: Sean f y g dos funciones de valor real con dominio R y sea c cualquier escalar. 11
  • 12. a) Suma: Se define la suma de f + g de f y g como la funci´n cuyos valores est´n expresados por: o a (f + g)(x) = f (x) + g(x) para toda x ∈ R b) producto por escalares: Igualmente, el producto por escalar cf se define como sigue: (c f )(x) = c f (x) para toda x ∈ R 2 el cero: La funci´n cero, 0 es aquella cuyos valores son todos ceros: 0(x)= 0 para toda x ∈ R. o 3 inversos aditivos: La inversa de −f de f es la funci´n (-1)f . o 4 axiomas: La comprobaci´n de los axiomas se deja como ejercicio. o De manera m´s general, el conjunto F (X) de todas las funciones de valor real definidas en un conjuno X es a un espacio vectorial. Las operaciones, el cero y el negativo se definen en la misma forma. La unica diferencia ´ es que x se en encuentra en el conjunto X, en lugar de estar en R. 15.9. Subespacio Vectorial Como se ha visto probar que un conjunto es un espacio vectorial es un trabajo arduo. Sin embargo, hay situaciones en las que la prueba se reduce considerablemente: Cuando el conjunto est´ contenido en un con- a junto mayor que ya es un espacio vectorial. En este caso, como todas las propiedades de los axiomas hacen referencia a elementos del conjunto y por tanto a elementos al conjunto mayor que ya es espacio vectorial y por consiguiente se verifican. Salvo posiblemente los axiomas A1 y M1 que hacen referencia a la cerradura. Definici´n 15.2 o Sea V = (V, +, ·) un espacio vectorial. Un subconjuto U de V (U ⊆ V ) que no es vac´ se dice ıo subespacio vectorial o simplemente subespacio de V si U con las mismas operaciones de suma y multiplicaci´n por escalares que est´n definidas en V , pero restringidas a vectores de U , es un o a espacio vectorial. Apesar que en la definci´n de subespacio est´ implicita la verificaci´n de los axiomas, el siguiente resultado da o a o la clave para la verificaci´n de que un conjunto se subespacio. o Teorema Un subconjunto no vac´ U de un espacio vectorial V es subespacio de V si cumple las siguientes ıo condiciones: El conjunto U es cerrado bajo la suma; Cualquiera dos elementos de U sumados dan como resultado un elemento que tambi´n est´ en e a U. El conjunto U es cerrado bajo la multiplicaci´n por escalares; o Cualquier elemento de U multiplicado por cualquier escalar da como resultado un elemento que tambi´n est´ en U . e a Observe que realmente el resultado anterior hace referencia a tres condiciones: La que est´ en el enunciado: a que el conjunto no sea vac´ y las dos expl´ ıo, ıcitamente citadas. 12
  • 13. trans=R,toc=Ejemplo Ejemplo 15.7 El subconjuto W de P2 formado por s´lo polinomios de la forma o p(x) = a x + 3 a x2 donde a es un n´mero real, ¿es un subespacio vectorial? u Soluci´n o Requisito 0: Se debe probar que el conjunto posee al menos un elemento: Debemos dar un ejemplo concreto de un polinomio que corresponde a este formato: Por ejemplo p(x) = 2 x + 6 x2 el coeficiente de x2 , 6, es justo el doble del coeficiente de x, que es 2. Por tanto, W = ∅. Requisito 1: Debemos probar que si se suman dos elementos cualquiera del conjunto, el resultado tambi´ne est´ en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar un valor num´rico de a; a e debemos utilizar letras. Sean p(x) = a1 x + 3 a1 x2 y q(x) = a2 x + 3 a2 x2 dos elementos de W , veamos si p(x) + q(x) ∈ W : p(x) + q(x) = a1 x + 3 a1 x2 + a2 x + 3 a2 x2 = (a1 + a2 ) x + 3 (a1 + a2 ) x2 de donde vemos que el coeficiente de x2 es el de x multiplicado por 3. Por tanto, p(x) + q(x) ∈ W . Por tanto, W es cerrado bajo la suma. Requisito 2: Debemos probar que si se multiplica un escalar cualquiera por un elemento cualquiera del conjunto, el resultado tambi´n est´ en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar e a un valor num´rico de a; debemos utilizar letras. Sea p(x) = a1 x + 3 a1 x2 un elemento cualquiera de W y c e un escalar cualquiera, veamos si c p(x) ∈ W : c p(x) = c (a1 x + 3 a1 x2 ) = (c a1 ) x + 3 (c a1 ) x2 de donde vemos que el coeficiente de x2 es el de x multiplicado por 3. Por tanto, c p(x) ∈ W . Por tanto, W es cerrado bajo el producto por escalares. Como hemos probado los tres requisitos, W es un subespacio vectorial de P2 . Ejemplo 15.8 El conjunto W de todas las matrices 2 × 2 de la forma: a 0 0 b donde a y b son n´meros reales que cumplen a b ≤ 0, ¿es un subespacio vectorial de M2×2 ? u Soluci´n o Requisto 0: Como la matriz 1 0 A= 0 −1 tiene el patr´n de las matrices de W para a = 1 y b = −1 y se cumple a b = −1 ≤ 0, A ∈ W . Por tanto, o W = ∅. Requisito 1: Debemos probar que si se suman dos elementos cualquiera del conjunto, el resultado tambi´n e est´ en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar valores num´ricos; debemos a e utilizar letras. Sean a1 0 a2 0 A= yB= 0 b1 0 b2 13
  • 14. dos elementos de W , que cumplan a1 b1 ≤ 0 y a2 b2 ≤ 0 veamos si A + B ∈ W : a1 + a2 0 A+B = 0 b1 + b2 Ahora apliquemos la prueba ultima para ver si pertenece a W ´ (a1 + a2 ) (b1 + b2 )) = a1 b1 + a2 b1 + a1 b1 + a2 b2 ≤ 0? Observe que lo que es cierto es que a1 b1 ≤ 0 y que a2 b2 ≤ 0. Pero el t´rmino a2 b1 + a1 b2 puede cambiar la e desigualdad. De hecho los valores a = 1, b1 = −5, a2 = −3, y b2 = 1 cumplen a1 b1 = (1)(−5) = −5 ≤ 0 y a2 b2 = (−3)(1) = −3 Pero (a1 + a2 )(b1 + b2 ) = (1 + −3)(−5 + 1) = (−2)(−4) = 8 > 0 Estos n´meros nos dan las matrices u 1 0 −3 0 Ao = y Bo = 0 −5 0 1 que s´ est´n en W , pero cuya suma no est´ en W . A estos ejemplos conctretos que prueban que una cierta ı a a afirmaci´n no se cumpla se le llama contra ejemplo. El anterior contra ejemplo hace que W no sea cerrado o bajo la suma. Fallando un requisito como ahora, W no es un subespacio. Sin embargo, como nos interesa ver la opci´n que se ajusta a W deberemos revisar el otro requisito. o Requisito 2: Debemos probar que si se multiplica un escalar cualquiera por un elemento cualquiera del conjunto, el resultado tambi´n est´ en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar e a un valor num´rico de a; debemos utilizar letras. Sea e a1 0 A= 0 b1 un elemento cualquiera de W (y por tanto a1 b1 ≤ 0) y c un escalar cualquiera, veamos si c A ∈ W : c a1 0 cA = 0 c b1 Ahora apliquemos la prueba ultima para ver si pertenece a W ´ (c a1 ) (c b1 ) ≤ 0? Como (c a1 ) (c b1 ) = c2 (a1 b1 ) y c2 ≥ 0 y a1 b1 ≤ 0 entonces (c a1 ) (c b1 ) = c2 (a1 b1 ) ≤ 0 Por tanto, c A ∈ W . Por tanto, W es cerrado bajo el producto por escalares. Resumiendo, W no es espacio vectorial: s´ es cerrado bajo el producto por escalares pero no es cerrado bajo ı la suma. 14