Tema 3: Espacios vectoriales La estructura de espacio vectorial juega un papel fundamental en el álgebra lineal pues es la base de todos los conceptos que ahí se desarrollan. Vamos en la siguiente sección a tratarla.

1.

Definición y ejemplos

Cuando manejamos vectores del plano R2 o del espacio tridimensional R3 podemos deducir una serie de propiedades, a partir de las cuales, en un ejercicio de abstracción, introducimos el concepto de espacio vectorial como aquel ente que verifica dichas propiedades, que serán tomadas como axiomas y que se recogen en la siguiente definición: Definición: Sea  un conjunto y sea  un cuerpo. Supongamos que tenemos definidas dos operaciones en  , una LCI ”+” (denominada suma), que asigna a cada par de elementos   ∈  un elemento  +  ∈  , y otra externa ”·”:  ×  →  (denominada producto o multiplicación por elementos del cuerpo), que asigna a cada elemento  ∈  y a cada  ∈  un elemento  ·  ∈  (se podrá omitir el punto en adelante). Se dice que la terna ( + ·) es un -espacio vectorial o un espacio vectorial sobre  (en adelante se dirá simplemente que  es un espacio vectorial) si se satisfacen las siguientes propiedades (a las que denominaremos axiomas): 1.  es un grupo abeliano con la suma ”+”: a) (Propiedad asociativa) ∀   ∈  se tiene que ( + ) +  =  + ( + ) b) (Propiedad conmutativa) ∀   ∈  se tiene que + =+ c) (Elemento neutro) Existe un elemento, al que vamos a denotar por 0, tal que dado cualquier  ∈  se tiene que +0= d) (Elemento opuesto) Dado  ∈  existe un vector  tal que + =0 Diremos que  es el opuesto de  y pondremos  = −. 2. (Propiedades pseudodistributivas) 1

a) ∀  ∈  ∀ ∈  se tiene que  · ( + ) =  ·  +  ·  b) ∀ ∈  ∀  ∈  se tiene que ( + ) ·  =  ·  +  ·  3. (Propiedad pseudoasociativa) ∀ ∈  ∀  ∈  se tiene que ( · ) ·  =  · ( · ) 4. (Pseudoelemento neutro) ∀ ∈  se tiene que 1·= (donde 1 es el neutro para la multiplicación en el cuerpo ). Observación: Los elementos de un espacio vectorial se denominarán vectores (de dicho espacio vectorial) y los del cuerpo se llamarán escalares. Debido a las propiedades de un espacio vectorial como grupo abeliano existirá un vector especial que será el neutro para la suma, al cual llamaremos vector nulo, o vector cero, y lo denotaremos 0 . Y para referirnos al cero del cuerpo  distinguiéndolo del anterior podemos usar la notación 0 . Si no hay lugar a confusión los denotaremos a ambos indistintamente por 0. También aparecen dos sumas, la de escalares y la de vectores. Representaremos ambas por el mismo símbolo ”+”, siempre que no dé lugar a confusión. Por último recordemos que todo vector  ∈  tendrá un vector opuesto para la suma, el cual será designado por − (que es el vector que cumple que  + (−) = 0). Propiedad: Sea ( + ·) un espacio vectorial sobre un cuerpo  y sean  ∈  y  ∈  . Se tiene que  = 0 si y sólo si  = 0 ó  = 0 Ejemplos: 1. Sea  = R el cuerpo de los números reales y consideremos el conjunto  = R2 = {( ) :   ∈ R} Se define la suma interna ”+” y la multiplicación externa ”·” en  coordenada a coordenada: Dados  = ( )  = ( ) ∈  definimos  +  = ( ) + ( ) = ( +   + ) Dados  = ( ) ∈  y  ∈ R definimos  ·  =  · ( ) = ( ·   · ). Es sencillo comprobar que R2 , con estas operaciones anteriormente definidas, es un R-espacio vectorial. Veámoslo. 2

a) Grupo abeliano: 1) Propiedad asociativa: Dados  = ( )  = ( )  = ( ) ∈  se tiene que ( + ) +  = [( ) + ( )] + ( ) = = ( +   + ) + ( ) = (( + ) +  ( + ) + ) = = ( + ( + )  + ( + )) = = ( ) + [( +   + )] = = ( ) + [( ) + ( )] =  + ( + ) (hemos utilizado la propiedad asociativa de los números reales para la suma). 2) Propiedad conmutativa: Dados  = ( )  = ( ) ∈  se tiene que  +  = ( ) + ( ) = = ( +   + ) = ( +   + ) = = ( ) + ( ) =  +  (hemos utilizado la propiedad conmutativa de los números reales para la suma). 3) Existencia de elemento neutro: Existe un vector, el vector 0 = (0 0), tal que dado cualquier  = ( ) ∈  se tiene que  + 0 = ( ) + (0 0) = ( + 0  + 0) = ( ) =  (hemos utilizado que el número real 0 es el neutro para la suma en R). 4) Existencia de elemento opuesto: Dado  = ( ) ∈  existe un vector, el vector − = (− −), tal que  + (−) = ( ) + (− −) = ( −   − ) = (0 0) = 0 (hemos utilizado que todo número real posee opuesto para la suma). b) Propiedades pseudodistributivas: 1) Dados  = ( )  = ( ) ∈  y  ∈ R se tiene que  · ( + ) =  · [( ) + ( )] =  · ( +   + ) = = [ · ( + )  · ( + )] = ( ·  +  ·   ·  +  · ) = = ( ·   · ) + ( ·   · ) =  · ( ) +  · ( ) =  ·  +  ·  (hemos utilizado la propiedad distributiva de los números reales). 3

2) Dados  = ( ) ∈  y   ∈ R se tiene que ( + ) ·  = ( + ) · ( ) = (( + ) ·  ( + ) · ) = = ( ·  +  ·   ·  +  · ) = ( ·   · ) + ( ·   · ) = =  · ( ) +  · ( ) =  ·  +  ·  (hemos utilizado de nuevo la propiedad distributiva de los números reales). c) Propiedad pseudoasociativa: dados  = ( ) ∈  y   ∈ R se tiene que ( · ) ·  = ( · ) · ( ) = [( · ) ·  ( · ) · ] = [ · ( · )  · ( · )] = =  · ( ·   · ) =  · ( · ( )) =  · ( · ) (hemos utilizado la propiedad asociativa de los números reales para la multiplicación). d) Pseudoelemento neutro: dado  = ( ) ∈  se tiene que 1 ·  = 1 · ( ) = (1 ·  1 · ) = ( ) =  (hemos utilizado que el número real 1 es el neutro para el producto de números reales). De modo análogo se tiene para (R3  + ·), (R4  + ·) y en general para cualquier  = 1 2 3 el espacio vectorial (R  + ·), donde R = {(1  2    ) : 1  2    ∈ R}. Incluso para  = 1 obtenemos el espacio vectorial (R + ·) con la suma y el producto entre números. Además, esta construcción no es exclusiva del cuerpo R porque también es posible definir, para cualquier cuerpo  y cualquier  = 1 2 3  los espacios vectoriales de la forma (   + ·). 2. Consideremos  = P2 [R], el conjunto de todos los polinomios de grado menor o igual que dos con coeficientes reales, es decir,  = {2 +  +  :    ∈ R} Definimos una suma interna ”+” y una multiplicación por escalares ”·” del siguiente modo: Dados 2 +  +  2 +  +  ∈  definimos (2 +  + ) + (2 +  + ) = ( + )2 + ( + ) + ( +  ) y dados 2 +  +  ∈  y  ∈ R definimos  · (2 +  + ) = 2 +  +  En definitiva se define la suma y la multiplicación en cada coeficiente. Es sencillo comprobar que P2 [R], con estas operaciones anteriormente definidas, es un R-espacio vectorial. En este espacio vectorial el vector nulo es el polinomio 0 = 0 + 0 + 02 4

y el opuesto de un vector 2 +  +  es −(2 +  + ) = −2 −  −  De modo análogo se definen P3 [R], P4 [R] y en general para cualquier  ∈ N, P [R], el conjunto de los polinomios de grado menor o igual que  (en la indeterminada ) con coeficientes reales. Además esta construcción puede extenderse de nuevo a cualquier cuerpo. De este modo, para un cuerpo  y cualquier  = 0 1 2 3 también es posible definir los espacios vectoriales de la forma P [], tomando los polinomios de grado menor o igual que  (en la indeterminada ) con coeficientes sobre . 3. El espacio vectorial de las funciones reales con dominio sobre un conjunto  ⊆ R: F[] = {funciones  :  → R} (y como caso especial las funciones de una variable con dominio todo R, F = F[R] = {funciones  : R → R}) En este espacio vectorial se definen la suma y el producto de escalares por vectores del siguiente modo: si tenemos dos funciones   :  → R, la función suma  +  :  → R está dada por ( + )() =  () + (), ∀ ∈ ; y si tenemos una función  ∈:  → R y un escalar  ∈ R se define el producto de ambos como la función  ·  :  → R dada por ( · )() =  · (), ∀ ∈ . Estas operaciones proporcionan a F[] estructura de espacio vectorial sobre R en el que el vector nulo es la función idénticamente nula: 0 :  → R, tal que 0() = 0 ∀ ∈  es decir, es la que lleva todos los elementos de  al 0; y el vector opuesto de  es la función −, definida por (−)() = − () ∀ ∈  4. Dados   ∈ N∗ , las matrices de orden  ×  con coeficientes sobre  constituyen un espacio vectorial con la suma y el producto por escalares coordenada a coordenada (como si fueran vectores). El neutro es la matriz nula, y el opuesto de una matriz dada es la matriz que tiene todos los coeficientes opuestos de la anterior.

2.

Subespacios vectoriales

Definición: Un subconjunto  de un -espacio vectorial  se dirá que es un subespacio vectorial (o simplemente un subespacio) de  (y lo denotaremos así:  ≤  ) si se cumplen las dos propiedades siguientes: 5

1. Para todo par de vectores   ∈  se tiene que  +  ∈  ; y 2. Para todo vector  ∈  y todo escalar  ∈  se tiene que  ∈  . Propiedades: Sea  un espacio vectorial. Entonces: 1. Si  ≤  , entonces ( + ·) (con las operaciones suma y multiplicación externa heredadas de  ) es un -espacio vectorial. 2. (Caracterización de subespacio) Dado un subconjunto  de  , se tiene que  es un subespacio de  si y sólo si para cada par de vectores ,  ∈  y cada par de escalares   ∈ , se tiene que  +  ∈  . 3. Si  ≤  . Entonces 0 ∈  . La última de las propiedades anteriores es útil en la práctica para determinar, en algunas ocasiones, que ciertos subconjuntos de un espacio vectorial no son subespacios, pues, en cuanto tengamos un subconjunto del espacio vectorial que no contiene al vector nulo podremos afirmar que no puede ser un subespacio suyo. Ejemplo: 1. Consideremos el espacio vectorial  = R2 y el subconjunto  = {( ) tales que 3 −  = 0} de R2 . Entonces,  es un subespacio de  . Veámoslo. Dados  = ( )  = ( ) ∈  y   ∈ R, debemos ver que el vector  =  +  está en  . Como  = ( ) + ( ) = ( +   + ) y como 3 −  = 0, 3 −  = 0, se tiene que 3( + ) − ( + ) = (3 − ) + (3 − ) = 0. En definitiva  ∈  . 2. Sea  =  3 = {(  )|   ∈ } y sea  = {(  )| = 1}. Entonces  no es un subespacio de  porque el vector nulo de  3 , 0 = (0 0 0), no está en  . 3. Sea  =  2 = {( )|  ∈ } y sea  = {( )| = 2 }. Entonces  no es un subespacio de  porque aunque el vector nulo de  2 , 0 = (0 0), está en , se cumple para el vector (1 1) ∈  que 2(1 1) = (2 2) ∈  . 4. Sea  un espacio vectorial. Asociados a  siempre aparecen los llamados subespacios triviales, que son  y {0}. El primero es claro que es un subespacio vectorial, pues la suma de vectores de  están en  , y el producto de un escalar por un vector de  está de nuevo en  (esto se debe a la definición de suma y producto por escalares en  ). Y el conjunto {0} también es un subespacio de  , ya que, la suma de vectores nulos da de nuevo el vector nulo, así como el producto de cualquier escalar por el vector nulo. El primero está formado por todos los vectores de  y el segundo está formado únicamente por el vector 0. A éstos se les llamará subespacio total y subespacio cero (o subespacio nulo), respectivamente. A este último se le designa (igual que al vector) con el símbolo 0. 6

3.

Sistemas de vectores

Un sistema de vectores de un espacio vectorial  es una colección (finita) de vectores 1  2    de  , en la que pudiera ocurrir que hubiese alguno repetido (de ahí que no empleemos en general el término conjunto de vectores, pues en un conjunto, por definición, no puede haber elementos repetidos). También designaremos a los sistemas de vectores mediante llaves, dejando claro que eso no significa que el sistema sea propiamente un conjunto. Así, no es lo mismo hablar del sistema de vectores {1  2    }, que del conjunto de vectores {1  2    }, pues en el segundo caso estamos suponiendo además que no hay vectores repetidos.

3.1.

Combinaciones lineales. Subespacio generado. Sistema generador

Supongamos que tenemos un sistema de vectores 1  2    de un espacio vectorial  . Dado otro vector  del espacio vectorial, diremos que  es combinación lineal (abreviadamente CL) del sistema (o de los vectores) 1  2    si  = 1 1 + 2 2 +  +   para algunos 1  2   ∈ . Ejemplo: 1. Dados los vectores (0 1 2) (3 0 1) una de sus CL es el vector 2(0 1 2) − 1(3 0 1) = (−3 2 3) Todas las CL de ellos serán los vectores de la forma (0 1 2) + (3 0 1) = (3  2 + ) para cualquier par de escalares  y . 2. Dado cualquier sistema de vectores 1  2    se tiene que cada  es CL del sistema. Esto es así porque  = 0 · 1 + 0 · 2 +  + 0 · −1 + 1 ·  + 0 · +1 +  + 0 ·  3. El vector nulo es siempre CL de cualquier sistema de vectores {1  2    }. Esto se debe a que 0 = 0 · 1 + 0 · 2 +  + 0 ·  Dado un sistema de vectores  = {1  2    } de un -espacio vectorial  , podemos coger todos los vectores de  que son CL de los vectores de , es decir, el siguiente conjunto de vectores: {1 1 + 2 2 +  +   : 1  2   ∈ } 7

al que denotaremos por    ó  1  2     (otros autores utilizan la notación () o {1  2    }). De hecho se tiene que    es un subespacio de  . Dados vectores 1  2    , al subespacio dado anteriormente,  1  2    , lo llamaremos subespacio generado o engendrado por  o por los vectores 1  2    (otros docentes lo llaman envoltura lineal de los vectores 1  2    ). Ejemplo: Hallemos el subespacio de R3 generado por los vectores (2 0 3) y (−1 1 0). Éste es  (2 0 3) (−1 1 0) = {(2 0 3) + (−1 1 0) :   ∈ R} = {(2 −   3) :   ∈ R} Diremos que {1  2    } es un sistema generador (abreviadamente SG) de  si  = 1  2     Esto ocurre si y sólo si todo vector de  es CL de los vectores 1  2    . Ejemplo: Determinar cuáles de los siguientes son SG de R2 : 1. {(1 2) (−1 1)} Tomemos un vector arbitrario ( ) de R2 . Veamos si existen escalares   ∈ R de manera que ( ) = (1 2) + (−1 1). Operando e igualando coordenada a coordenada tendríamos que ( =− (∗)  = 2 +  Sumando estas dos ecuaciones concluiríamos que  = + , y sustituyendo en la primera que 3 −2+  =  −  = 3 . Así, vemos que efectivamente todo vector de R2 es CL de los vectores iniciales (pues hemos hallado  y  en función de  e , comprobando que se cumple la igualdad ( ) = (1 2) + (−1 1)), lo que prueba que éstos constituyen un SG de R2 . Nota: Habitualmente uno de los métodos más sencillos para ver que el sistema de vectores es un SG es comprobar que el sistema de ecuaciones lineales (*) es un SC. Por ejemplo, analizando los rangos (argumentando como en el Teorema de Rouché). En nuestro caso la matriz de coeficientes tiene claramente rango 2, y por tanto también la ampliada. Por ello es un SC y por tanto y los vectores consituyen un SG de R2 . 2. {(1 3)} Tomemos nuevamente un vector arbitrario ( ) de R2 . Veamos si existe algún escalar  ∈ R de manera que ( ) = (1 3). Operando e igualando coordenada a coordenada tendríamos que ( = (∗)  = 3 8

Las matrices de coeficientes y ampliada son, respectivamente, Ã ! Ã ! 1 1  3 3  por lo que su rango vale, para la primera 1, y para la segunda a veces 1 y otras veces 2. Entonces no se cumple que estemos siempre (para todos los valores de  ) con un SC (cuando el rango de la matriz ampliada es 2 estamos con un SI). Concluimos que no es un SG de R2 . 3. Supongamos que estamos en el espacio vectorial R2 y tomemos el subespacio  = {( )| + 2 = 0} de R2 . Veamos si los vectores (2 −1) y (−2 1) forman un SG de . En primer lugar es claro que ambos vectores pertenecen a . Seguidamente tomemos un vector cualquiera ( ) ∈  y veamos si es CL de los dos vectores anteriores. Así veamos si existen escalares  y  tales que ( ) = (−2 1)+(2 −1), es decir, tales que  = −2+2 e  = −. Sabemos que  + 2 = 0, con lo que  = −2 = −2 + 2 (es decir, la primera ecuación sobra, pues se deduce de la segunda). Entonces es suficiente tomar  y  tales que  =  − . Hemos deducido que los vectores (2 −1) y (−2 1) forman un SG de . Algunas propiedades destacables son las siguientes: Propiedades: Sea  un espacio vectorial. Entonces: 1. Dado un sistema de vectores 1  2    de  , se tiene que cada  pertenece a  1  2    . 2. El subespacio generado por un sistema de vectores no varía si realizamos alguna de las siguientes manipulaciones: a) Aplicamos las trasformaciones elementales de Gauss. En particular esto es aplicable a un SG de  , es decir, si sobre un SG de  aplicamos alguna de las transformaciones de Gauss (cambiamos de orden los vectores, le añadimos a algún vector algún múltiplo de otro vector del sistema o multiplicamos algún vector por un escalar no nulo) el sistema resultante es de nuevo un SG de  . b) Eliminar algunos vectores del sistema que no aporten más información de la que ya aportan los demás. Es decir, si a un sistema de vectores le quitamos uno que sea CL de los demás el sistema resultante es de nuevo un SG de  . Ejemplo: Consideremos el siguiente subespacio de R4 :  = (1 2 0 −1) (0 −1 3 0) (2 4 0 −2) (2 3 3 −2) (0 0 0 0) (1 0 6 −1)  Hallar un SG de  que tenga el menor número de vectores posibles, escalonando por Gauss. 9

Se deduce de lo anterior que un SG de  es {(1 2 0 −1) (0 −1 3 0) (2 3 3 −2) (1 0 6 −1)} Simplemente vamos a escalonar por Gauss dicho sistema y después de eliminar los vectores sobrantes nos quedará el SG pedido de  . Observemos en primer lugar que el tercero puede ser eliminado, pues es el doble del primero, y el penúltimo es el vector nulo y por tanto puede ser también eliminado. A simple vista no es fácil observar más relaciones de dependencia, por lo que los otros cuatro los dispondremos en forma matricial y procederemos a escalonar por Gauss: ⎛ ⎜ ⎜ ⎜ ⎝

1 2 0 −1 0 −1 3 0 2 3 3 −2 1 0 6 −1

⎞ ⎟ ⎟ ⎟ ⎠

Ahora le añadimos a la tercera fila −2 veces la primera y a la última le restamos la primera: 3 − 21 4 − 1

⎛ ⎜ ⎜ ⎜ ⎝

⎞ 1 2 0 −1 0 −1 3 0 ⎟ ⎟ ⎟ 0 −1 3 0 ⎠ 0 −2 6 0

Ahora podemos eliminar la tercera fila, por ser igual que la segunda, y la cuarta, por ser el doble de la segunda, quedándonos como SG de  el siguiente {(1 2 0 −1) (0 −1 3 0)}

3.2.

Dependencia e independencia lineal

Un sistema de vectores 1  2    se dice que es libre, o que los vectores que lo forman son linealmente independientes (LI), cuando la única CL de ellos que da como resultado el vector 0 es la CL en la que todos los escalares son nulos (diremos indistintamente que el sistema o los vectores son LI). Podemos expresarlo así: 1 1 + 2 2 +  +   = 0 ⇒ 1 = 2 =  =  = 0 En caso contrario se dice que el sistema de vectores es ligado, o que los vectores que lo forman son linealmente dependientes (LD) (diremos indistintamente que el sistema o los vectores son LD). Esto ocurre cuando podamos encontrar alguna CL de los vectores que da cero, siendo algún escalar no nulo. Ejemplo: 1. Veamos que los vectores  = (0 3 4) y  = (1 2 3) de R3 son LI. 10

Para ello supongamos que tenemos alguna CL nula de ellos, es decir,  +  = 0 para ciertos escalares  y . Entonces tendremos (0 0 0) = (0 3 4) + (1 2 3) = (0 3 4) + ( 2 3) = ( 3 + 2 4 + 3) De aquí deducimos el sistema de ecuaciones ⎧ ⎪  =0 ⎨ 3 +2 = 0 ⎪ ⎩ 4 +3 = 0

en las incógnitas  y , cuya única solución es  =  = 0. Nota: Como regla general podemos decir que si el sistema lineal obtenido es SCD entonces al tener solución única y la solución nula es una de ellas, ésta debe ser la única posible. En tal caso (SCD) los vectores serán LI, y en caso contrario (SCI) los vectores serán LD. Esto equivale, utilizando el Teorema de Rouché-Fröbenius, a que el rango de la matriz de coeficientes sea igual al número de incógnitas, dicho de otro modo, que el rango de la matriz de los vectores sea igual al número de ellos.

2. Consideremos los vectores 1 = (1 0 1) 2 = (−1 2 0) y 3 = (1 2 2) de R3 ; veamos que son LD. Para ello supongamos que se tiene alguna CL nula 1 + 2 + 3 = 0, para ciertos escalares   y . Entonces tendremos (0 0 0) = (1 0 1) + (−1 2 0) + (1 2 2) = ( −  +  2 + 2  + 2) De aquí deducimos el sistema de ecuaciones ⎧ ⎪ ⎨  − + = 0 2 +2 = 0 ⎪ ⎩  +2 = 0

el cual es SCI. Por tanto los vectores son LD.

3. Veamos que el siguiente sistema de vectores de R4 es libre: { = (1 5 4 5)  = (0 3 −1 0)  = (0 0 2 −5)} Si suponemos que existe una CL de estos vectores que da cero  +  +  = 0 tenemos que (0 0 0 0) = (1 5 4 5) + (0 3 −1 0) + (0 0 2 −5) = ( 5 + 3 4 −  + 2 5 − ) De aquí deducimos el sistema de ecuaciones ⎧  =0 ⎪ ⎪ ⎪ ⎨ 5 +3 =0 ⎪ 4 − +2 = 0 ⎪ ⎪ ⎩ 5 − = 0 11

cuyas soluciones obtenemos así: en la primera ecuación  = 0; sustituyendo esto en la segunda  = 0; sustituyendo lo anterior en la tercera o cuarta  = 0. Claramente es un SCD y por ello el sistema de vectores es LI. En los ejemplos anteriores se ha analizado la dependencia o independencia lineal de ciertos sistemas de vectores utilizando sólo la definición. A continuación vamos a ver ciertas propiedades que nos van a permitir dicho análisis de manera más práctica y eficiente. Entre ellas figura, cómo no, las transformaciones de Gauss, las cuáles nos permitirán escalonar el sistema para obtener la respuesta a la cuestión. Propiedades: En un espacio vectorial  se tiene que: 1. Un sistema escalonado es LI si y sólo si no tiene filas (vectores) nulas. 2. Las transformaciones de Gauss conservan la dependencia o independencia lineal de un sistema. 3. Todo sistema de vectores que contenga al vector nulo es LD. 4. Todo sistema de vectores que tenga algún vector repetido es LD. 5. Un sistema formado por un sólo vector es un sistema LD si y sólo si el vector es nulo. 6. Los vectores   son LD si y sólo si son proporcionales. 7. Los vectores 1  2    son LD si y sólo si alguno de ellos es CL del resto. 8. Todo sistema de vectores que contenga a un sistema LD es LD. 9. Todo sistema de vectores contenido en un sistema LI es LI. 10. Si un sistema de vectores es LI entonces las CL lineales del sistema no se repiten, es decir, cada vector que es CL del sistema puede ponerse sólo de una forma como CL del sistema. Para determinar si un sistema de vectores de R es o no LI utilizaremos habitualmente las dos primeras propiedades de la lista. De este modo escalonaremos el sistema mediante las transformaciones de Gauss. Como dichas transformaciones no cambian el carácter del sistema, si originalmente éste era LI el sistema resultante también lo será, y si el del principio era LD el escalonado final también lo será. Entonces si al escalonar nos aparece (no importa que sea al final o en un paso intermedio) el vector nulo el sistema será LD. Por contra si conseguimos escalonar hasta el final el sistema sin que aparezca el vector nulo, será un sistema LI. Veámoslo en el siguiente ejemplo: Ejemplo: Veamos si los siguientes vectores de R5 son LI o LD escalonando el sistema 1 = (1 2 3 4 5) 2 = (0 2 3 4 5) 3 = (−1 0 0 0 0) 4 = (−3 0 0 4 1) 5 = (0 0 0 8 2) 12

Los ponemos en forma matricial en el orden que ⎛ −1 0 ⎜ ⎜ −3 0 ⎜ ⎜ 0 0 ⎜ ⎜ ⎝ 0 2 1 2

creamos conveniente: ⎞ 0 0 0 ⎟ 0 4 1 ⎟ ⎟ 0 8 2 ⎟ ⎟ ⎟ 3 4 5 ⎠ 3 4 5

Le añadimos la primera fila a la segunda y quinta del siguiente ⎛ −1 0 0 0 ⎜ ⎜ 0 0 0 4 ⎜ 2 − 31 ⎜ 0 0 0 8 ⎜ 5 + 1 ⎜ ⎝ 0 2 3 4 0 2 3 4

modo ⎞ 0 ⎟ 1 ⎟ ⎟ 2 ⎟ ⎟ ⎟ 5 ⎠ 5

Ahora observamos que hay relaciones de dependencia. Por ejemplo, las dos últimas filas son iguales. O bien la segunda y tercera son proporcionales. Por tanto los vectores iniciales son LD. Si por el contrario en ninguno de los pasos obtenemos ninguna relación de dependencia, entonces los vectores serían LI. Veamos otro ejemplo: Ejemplo: Demostremos que los vectores (−1 0 1 1), (1 0 3 2) y (2 1 −1 0) son LI. Para ello hagamos operaciones sobre la matriz cuyas filas son estos vectores: ⎞ ⎛ −1 0 1 1 ⎟ ⎜ 3 2 ⎠ ⎝ 1 0 2 1 −1 0

En primer lugar le añadimos la primera fila a la segunda y a la tercera, (a ésta última multiplicada por 2): ⎞ ⎛ −1 0 1 1 2 + 1 ⎟ ⎜ ⎝ 0 0 4 3 ⎠ 3 + 21 0 1 1 2 Después cambiamos de orden la segunda y tercera filas y obtenemos ⎛ ⎞ −1 0 1 1 ⎜ ⎟ 3 ←→ 2 ⎝ 0 1 1 2 ⎠ 0 0 4 3

Como en el sistema escalonado de vectores que forman las filas de la matriz no aparece el vector nulo, se deduce que éstos (y por lo tanto los vectores iniciales) son LI. Ejemplo: Demostremos que los vectores (2 1 −1 0), (1 0 −3 1) y (−1 −1 −2 1) son LD. Para ello hagamos operaciones sobre la matriz cuyas filas son estos vectores: ⎞ ⎛ 2 1 −1 0 ⎟ ⎜ 0 −3 1 ⎠ ⎝ 1 −1 −1 −2 1 13

En primer lugar cambiamos de orden las dos primeras filas: ⎞ ⎛ 1 0 −3 1 ⎟ ⎜ 1 −1 0 ⎠ 1 ←→ 2 ⎝ 2 −1 −1 −2 1

Después le añadimos la primera fila a la segunda y a la tercera (a y obtenemos ⎛ 1 0 −3 1 2 − 21 ⎜ 1 5 −2 ⎝ 0 3 + 1 0 −1 −5 2

la segunda multiplicada por −2) ⎞ ⎟ ⎠

Ahora le sumamos a la tercera fila la segunda. Nos da ⎞ ⎛ 1 0 −3 1 ⎟ ⎜ 3 + 2 5 −2 ⎠ ⎝ 0 1 0 0 0 0

Como ha aparecido el vector nulo estamos ante un sistema de vectores LD.

4.

Bases y dimensión de un espacio vectorial

Definición: Un sistema de vectores de un espacio vectorial  se dice que es una base de  si es un SG de  y es LI. Ejemplos: 1. Base canónica. Consideremos en el espacio vectorial R3 el sistema de vectores {(1 0 0) (0 1 0) (0 0 1)} Es fácil comprobar que este sistema es libre y generador del espacio vectorial: lo primero es inmediato; para lo segundo es suficiente observar que para cualquier vector (  ) se tiene que (  ) = (1 0 0) + (0 1 0) + (0 0 1) Entonces es una base de R3 , a la que llamaremos base canónica de R3 . De modo análogo puede definirse la base canónica en cualquier R y en cualquier   . Por ejemplo, en  2 la base canónica sería {(1 0) (0 1)}. 2. El sistema de vectores {(1 3) (2 −3)} es una base de R2 . LI: Por el método de escalonación basta escalonar la matriz à ! à ! 1 3 1 3 dejándola así 2 −3 0 −9 14

SG: Sea  = ( ) un vector cualquiera de R2 . Veamos si puede ponerse como CL de nuestros vectores. Para ello deberían existir escalares  y  tales que ( ) = (1 3) + (2 −3), lo que se traduce en el siguiente sistema de ecuaciones en el que las incógnitas son  y  (  =  + 2  = 3 − 3 Como es un SC (el rango de la matriz de coeficientes y el de la ampliada vale 2), el vector ( ) puede ponerse como CL de los vectores (1 3) y (2 −3), y como esto ocurre para cualquier vector ( ) ∈ R2 , se cumple entonces que los vectores iniciales forman un SG (y al ser LI, por tanto, también una base) de R2 . 3. En el espacio vectorial P3 [R], de los polinomios con coeficientes reales de grado menor o igual que 3, el sistema {1  2  3 } es una base. A esta base la llamaremos también base canónica del espacio vectorial P3 [R]. LI: Si tenemos una CL nula de los vectores 0 =  · 1 +  ·  +  · 2 +  · 3 =  +  + 2 + 3 esto se traduce que el polinomio anterior es el polinomio cero, y por tanto sus coeficientes son todos nulos, es decir,  =  =  =  = 0. SG: Sea () = ++2 +3 un vector cualquiera de P3 [R]. Este vector se pone claramente como CL de {1  2  3 }, pues () =  +  + 2 + 3 =  · 1 +  ·  +  · 2 +  · 3 Tener una base en un espacio vectorial es algo que simplifica mucho las cosas, pues no hace falta trabajar con todos los vectores del espacio vectorial, teniendo en cuenta que éstos se ponen como CL de los vectores de la base. El siguiente resultado nos dice que la existencia de bases es una propiedad de todo espacio vectorial. Teorema de la base Todo espacio vectorial (no nulo) tiene alguna base. Además, todas las bases de un espacio vectorial tienen el mismo número de elementos. Se llama dimensión de un espacio vectorial  al número de elementos de cualquiera de sus bases, y se denotará por dim  . Según lo que hemos visto para las bases canónicas de los espacios vectoriales de la forma R (o   ) deducimos que la dimensión de estos espacios vectoriales es . Diremos que un espacio vectorial tiene dimensión finita cuando sus bases tienen un número finito de elementos, cosa que ocurrirá en todos los casos que vamos a tratar, salvo que hagamos mención explícita de lo contrario. 15

Observación: El subespacio nulo es un espacio vectorial que no tiene bases, ya que el único vector que forma parte de él es el vector 0, y éste no puede formar un sistema libre. Esto también puede ser interpretado como que la base del espacio vectorial nulo es el conjunto vacío, ∅. En cualquier caso la dimensión de este espacio vectorial es 0. Sería incorrecto decir que la base de este espacio vectorial está formada por el vector 0. Propiedades: Sea  un espacio vectorial no nulo de dimensión , y  = {1  2    } un sistema de vectores de  . 1. Si  es SG de  entonces existe una base de  contenida en . En particular  ≤ . 2. Si  es un sistema libre de vectores de  entonces existe una base de  que contiene a . En particular  ≤ . 3. Si  = , entonces  es una base de  ⇔  es un SG de  ⇔  es un sistema libre de vectores de  . Observación: Como consecuencia de estas propiedades se deduce además que la dimensión de un espacio vectorial  es el número máximo de vectores que puede tener un sistema libre de  e igualmente el número mínimo de vectores que puede tener un SG de  . En la práctica normalmente lo que necesitaremos es simplemente hallar una base de  a partir de un SG del espacio, sin necesidad de que la base esté formada exclusivamente por vectores del SG. Un método válido, si estamos en R , es de nuevo el método de escalonación: Después de escalonar el SG de  los vectores no nulos que queden constituirán una base de  . Se pueden ir quitando durante la escalonación los vectores nulos que vayan apareciendo sin necesidad de esperar hasta el final. Incluso pueden eliminarse los vectores que sean CL de los demás. Ejemplo: Recordemos el ejemplo 3.2 en el que probábamos que los siguientes vectores de R5 eran LD 1 = (1 2 3 4 5) 2 = (0 2 3 4 5) 3 = (−1 0 0 0 0) 4 = (−3 0 0 4 1) 5 = (0 0 0 8 2) Ahora lo que pretendemos es hallar una base del subespacio vectorial de R5 generado por 1  2  3  4  5 . Escalonamos igual que hicimos para comprobar si el sistema era libre o ligado: Partiendo de ⎛ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎝

−1 −3 0 0 1

0 0 0 2 2

0 0 0 3 3

16

0 4 8 4 4

0 1 2 5 5

⎞ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎠

le añadíamos la primera fila a la segunda y quinta del ⎛ −1 ⎜ ⎜ 0 ⎜ 2 − 31 ⎜ 0 ⎜ 5 + 1 ⎜ ⎝ 0 0

siguiente modo ⎞ 0 0 0 0 ⎟ 0 0 4 1 ⎟ ⎟ 0 0 8 2 ⎟ ⎟ ⎟ 2 3 4 5 ⎠ 2 3 4 5

y luego eliminábamos algunos vectores que eran CL de otros: Como los dos últimos vectores son iguales se puede quitar, por ejemplo, el quinto. Como el segundo y el tercero son proporcionales quitaremos el tercero. Así nos quedaría la matriz ⎞ ⎛ −1 0 0 0 0 ⎟ ⎜ ⎝ 0 0 0 4 1 ⎠ 0 2 3 4 5

Ahora simplemente intercambiamos los dos últimos vectores para tener escalonada la matriz. ⎞ ⎛ −1 0 0 0 0 ⎟ ⎜ 2 ←→ 3 ⎝ 0 2 3 4 5 ⎠ 0 0 0 4 1 Eso significa que los vectores

{(−1 0 0 0 0) (0 2 3 4 5) (0 0 0 4 1)} constituyen una base del subespacio generado por los 5 vectores iniciales. Sabemos que todo subespacio  de un espacio vectorial  es por sí solo un espacio vectorial, con lo que tendrá una base. Podremos hablar pues de su dimensión, como el número de vectores de cualquiera de sus bases. Veamos en el próximo resultado que entonces la dimensión del subespacio no puede superar la del espacio. Propiedad: Sea  un espacio vectorial (de dimensión finita) y  un subespacio suyo. Entonces dim  ≤ dim  . De hecho dim  = dim  si y sólo si  =  .

4.1.

Rango de un sistema de vectores

Definición: Se llama rango de un sistema de vectores 1  2    a dim  1  2    . Si estamos en R esto es lo mismo que el rango de la matriz cuyas filas (o columnas) son los vectores. Propiedades El rango se conserva al realizar cualquier operación que transforme un sistema de vectores en otro que genere lo mismo. Por ejemplo: 1. Quitar algún vector que sea CL de los restantes. 17

2. Las transformaciones de Gauss. Además, dado un sistema formado por  vectores de un espacio vectorial  se tiene que: 1. El sistema es LI si y sólo si su rango es . 2. Es un SG de  si y sólo si su rango es dim  . Ejemplo: Calculemos el rango del sistema de vectores siguiente {(1 0 3 2) (0 −1 1 0) (3 0 −1 1) (2 1 −5 −1)} y deducir si el sistema es LI o SG de R4 . Si lo ponemos en forma de matriz el problema se reduce a calcular el rango de la siguiente matriz ⎛ ⎜ ⎜ ⎜ ⎝

1 0 3 2 0 −1 1 0 3 0 −1 1 2 1 −5 −1

⎞ ⎟ ⎟ ⎟ ⎠

lo cual se puede hacer escalonándola. En primer lugar le añadimos la primera fila a la tercera (multiplicada por −3) y a la cuarta (multiplicada por −2) 3 − 31 4 − 21

⎛ ⎜ ⎜ ⎜ ⎝

1 0 3 2 0 −1 1 0 0 0 −10 −5 0 1 −11 −5

Seguidamente le sumamos a la cuarta fila la segunda ⎛ 1 0 3 2 ⎜ 0 −1 1 0 ⎜ 4 + 2 ⎜ ⎝ 0 0 −10 −5 0 0 −10 −5

⎞ ⎟ ⎟ ⎟ ⎠

⎞ ⎟ ⎟ ⎟ ⎠

Y por último le restamos la tercera a la cuarta para obtener la siguiente escalonación de la matriz inicial ⎞ ⎛ 1 0 3 2 ⎜ 0 −1 1 0 ⎟ ⎟ ⎜ 4 − 3 ⎟ ⎜ ⎝ 0 0 −10 −5 ⎠ 0 0 0 0

lo cual nos indica que el rango es 3 (nos han salido 3 vectores no nulos). Por tanto los vectores no son LI (el rango no es igual al número de vectores, 4) ni constituyen un SG de R4 (pues el rango no coincide con dim R4 = 4). 18

4.2.

Coordenadas respecto de una base

Supongamos que tenemos una base  = {1  2    } de un espacio vectorial  . Entonces dado un vector  ∈  sabemos que éste puede ponerse como CL de los vectores de la base , ya que ésta constituye un SG del espacio. Pero al ser además vectores LI esta CL es única. Esto significa que tenemos  = 1 1 + 2 2 +  +   para ciertos escalares 1  2    , que, en ese orden, son únicos cumpliendo la condición anterior. Llamaremos coordenadas del vector  en (o respecto de) la base  a los escalares anteriores (que se suelen poner en forma de vector), y para esto usaremos la notación  = (1  2    ) (aunque en algunos textos prefieren poner  = (1  2    ) ). El vector anterior es lo que se llama un vector-fila; también se puede poner, si interesa, en forma de vector-columna ⎛

⎜ ⎜  = ⎜ ⎝

1 2  

⎞ ⎟ ⎟ ⎟ ⎠

La necesidad de ponerlo en forma de vector es que interesa que estén ordenados porque importa el orden en que se disponen los escalares. Ejemplos: 1. En R2 cojamos la base  = {(1 −3) (0 −1)} Hallemos las coordenadas del vector (2 5) en la base . Sabemos que son los escalares   que cumplen que (2 5) = (1 −3) + (0 −1) = ( −3 − ) De aquí deducimos el sistema de ecuaciones ( 2=  5 = −3 −  cuya solución es  = 2  = −11. De este modo obtenemos que las coordenadas de (2 5) en la base  son (2 −11). 2. Las coordenadas del vector nulo son todas nulas Esto es así porque (0  0) = 0 · 1 + 0 · 2 +  + 0 ·  para cualquier base  = {1  2    }. 19

3. Si tenemos una base  = {1  2    } de un espacio vectorial entonces las coordenadas en  de los propios vectores de la base son las siguientes: (1 ) = (1 0  0) (2 ) = (0 1 0  0)  ( ) = (0 0  0 1) 4. Si estamos en los espacios vectoriales de la forma R y tomamos como base  la canónica, las coordenadas de un vector  ∈ R en esta base son precisamente las componentes del vector, es decir, ⎛ ⎞ 1 ⎜  ⎟ ⎜ 2 ⎟  = (1  2    ) −→  = ⎜ ⎟ ⎝  ⎠ 

Esto es así porque

(1  2    ) = 1 (1 0  0) + 2 (0 1  0) +  +  (0 0  1) 5. Dada la base  = {(4 3) (−5 0)} de R2 y el vector  ∈ R2 tal que  = (3 −2) se tiene que  = 3 · (4 3) − 2 · (−5 0) = (22 9)

4.3.

Cambio de base

Supongamos que tenemos dos bases  = {1  2    } y  0 de un mismo espacio vectorial  (con dim  = ). Lo que pretendemos es, dado un vector  ∈  , relacionar las coordenadas de  en  con las coordenadas de  en  0 . Llamaremos matriz cambio de base de  a  0 (y la denotaremos por →0 ó →0 ) a aquélla cuyas columnas son las coordenadas de los vectores de la base  respecto de  0 . Esto es, si (1 )0 = (11  21   1 ) (2 )0 = (12  22   2 )  ( )0 = (1  2    ) entonces →0



⎜ ⎜ =⎜ ⎝

11 21  1

12 22  2

   

1 2  

⎞ ⎟ ⎟ ⎟ ⎠

La matriz cambio de base nos relaciona las coordenadas de un vector en ambas bases. Concretamente, si tomamos un vector  ∈  se cumple la siguiente relación matricial 0 = →0 ·  20

Poniendo



⎜ ⎜  = ⎜ ⎝

1 2  





⎜ ⎜ 0 = ⎜ ⎝

⎟ ⎟ ⎟ ⎠

01 02  0

la relación matricial anterior se traduce en el sistema de ecuaciones

⎞ ⎟ ⎟ ⎟ ⎠

01 = 11 1 + 12 2 +  + 1  02 = 21 1 + 22 2 +  + 2   0 = 1 1 + 2 2 +  +   a lo que denominaremos ecuaciones cambio de base de  a  0 . Ejemplo: En R2 se consideran las bases  = {(1 2) (2 −1)} y  0 = {(1 −3) (0 −1)} de R2 . 1. Hallar tanto la matriz cambio de base como las ecuaciones cambio de base de  a  0 . 2. Dado el vector  ∈ R2 tal que sus coordenadas en  son (3 −3) hallar sus coordenadas en  0 . 3. Dado el vector  ∈ R2 tal que sus coordenadas en  0 son (0 −5) hallar sus coordenadas en . Solución: 1. Tenemos que poner los vectores de  en función de los de  0 . En primer lugar (1 2) = (1 −3) + (0 −1) = ( −3 − ), de donde obtenemos el sistema de ecuaciones 1 =



2 = −3 −  en el que obtenemos directamente que  = 1, y por tanto  = −5. Así las coordenadas del vector (1 2) respecto de la base  0 son (1 −5). Procedemos igual con el vector (−2 1) para llegar a la igualdad (2 −1) = (1 −3) + (0 −1) = ( −3 − ), de donde obtenemos el sistema de ecuaciones 2 =



−1 = −3 −  en el que deducimos que  = 2 y por tanto  = −5. Así las coordenadas del vector (2 −1) respecto de la base  0 son (2 −5). Entonces la matriz cambio de base de  a  0 es à ! 1 2 →0 = −5 −5

21

Concluimos que las ecuaciones cambio de base de  a  0 son 0 =

 + 2

 0 = −5 − 5 2. Ahora es sencillo calcular 0 como el producto à 0 = →0 ·

3 −3

!

=

Ã

−3 0

!

También se puede realizar la sustitución  = 3,  = −3 en las ecuaciones anteriores y obtener el mismo resultado. 3. Para hallar  basta con hacer la sustitución 0 = 0,  0 = −5 en las ecuaciones anteriores y resolver. Se obtiene entonces que  = (2 −1). Ejemplo: En R2 se consideran las dos bases  y  0 para las cuales se conocen las ecuaciones del cambio de base de  a  0 , que son 0 = 3 +  0 = Hallar la matriz la cambio de base de  a  0 . Solución: →0 =

−5 Ã

Propiedades:

3 1 0 −5

!

1. La matriz →0 es invertible y su inversa es 0 → . 2. Si  es la base canónica entonces las columnas de → son los vectores de la base . 3. 1 →3 = 2 →3 · 1 →2 4. Como caso particularmente útil del anterior destaquemos la situación en que 2 es la base canónica  de R , pues en ese caso la fórmula queda así −1

1 →3 = (3 → )

· 1 →

Ejemplos: 1. En R3 si denominamos por  a la base canónica y tenemos la base  = {(1 2 3) (0 −1 3) (0 0 −4)} entonces →

⎞ 1 0 0 ⎟ ⎜ = ⎝ 2 −1 0 ⎠ 3 3 −4 ⎛

22

2. En R2 si denominamos por  a la base canónica y disponemos de las bases  = {(1 2) (0 −1)} y  0 = {(1 0) (1 1)} (que hacen el papel, en la fórmula dada en la última propiedad anterior, de 1 y 3 , respectivamente) se tiene que →0 = (0 → )−1 · → Como → =

Ã

1 0 2 −1

!

0 → =

Ã

1 1 0 1

!

necesitamos hallar la inversa de la última matriz. Basta realizar un sencillo cálculo (por ejemplo mediante Gauss-Jordan basta con añadirle a la primera −1 por la segunda) para obtener que à ! 1 −1 (0 → )−1 = 0 1 Entonces concluimos que →0 =

5.

Ã

1 −1 0 1

! Ã ·

1 0 2 −1

!

=

Ã

−1 1 2 −1

!

Ecuaciones de los subespacios

Supongamos que estamos en el espacio vectorial R . Supongamos ahora que tenemos un subespacio  de R con una base 1  2    (aunque también es posible tomar un SG) de . Si tenemos un vector  ∈ R , para que  pertenezca a  debe ocurrir que este vector sea CL de los vectores 1  2    , es decir, deben existir escalares 1  2    tales que  = 1 1 + 2 2 +  +   . Suponiendo que  = (1  2    ) y que  = (1  2    ) para cada  = 1 2  , e igualando coordenada a coordenada, tendremos un sistema de ecuaciones de la forma ⎧ 1 = 11 1 + 12 2 +  + 1  ⎪ ⎪ ⎪ ⎨  =   +   +  +   2 21 1 22 2 2  (∗) ⎪  ⎪ ⎪ ⎩  = 1 1 + 2 2 +  +  

A éstas las llamaremos ecuaciones paramétricas de  . A los escalares 1  2    que aparecen en ellas se les llamará parámetros (son los números mediante los cuales se obtiene cada una de las incógnitas 1  2    como CL de ellos). Finalmente, si eliminamos de forma ”adecuada” los parámetros de estas ecuaciones, nos aparecerán lo que llamaremos ecuaciones implícitas de , lo cual se puede hacer de modo similar al que empleábamos para escalonar un sistema de vectores, sólo

23

que aquí escalonando ⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩

los parámetros en las ecuaciones. Quedaría un sistema de la forma 11 1 + 12 2 +  + 1  = 11 1 + 12 2 +  + 1  21 1 + 22 2 +  + 2  = 22 2 +  + 2   1 1 + 2 2 +  +   =   11 1 + 12 2 +  + 1  = 0 12 1 + 22 2 +  + 2  = 0  1 1 + 2 2 +  +   = 0

donde las últimas  ecuaciones serían las ecuaciones implícitas ⎧ ⎪ 11 1 + 12 2 +  + 1  = 0 ⎪ ⎪ ⎪ ⎨   +   +  +   = 0 12 1 22 2 2  ⎪  ⎪ ⎪ ⎪ ⎩   +   +  +   = 0 1 1 2 2  

(notar que  +  = ). Éstas se caracterizan porque son de la forma CL de las coordenadas 1    igualadas a 0 (lo que se conoce como ecuaciones lineales homogéneas). En ellas no aparece ningún parámetro. Observaciones: 1. Es conveniente indicar que un mismo subespacio puede estar representado por diferentes bases, y por lo tanto por diferentes ecuaciones paramétricas o diferentes ecuaciones implícitas. 2. Cuando pasemos base a implícitas o viceversa, puede venir bien la comprobación de si los vectores de la base (iniciales u obtenidos después) verifican las ecuaciones implícitas. 3. Dado  ≤   , si llamamos  a la matriz de coeficientes del sistema de ecuaciones implícitas de , (es decir  = ker ) debe cumplirse que dim  + () =  Ejemplo:Consideremos el siguiente subespacio de R3  = (1 0 3) (−1 2 −2)  Vamos a hallar las ecuaciones paramétricas e implícitas de . Tenemos, pues, dado el subespacio mediante un SG {(1 0 3) (−1 2 −2)}

24

el cual es una base (como puede fácilmente comprobarse). Cojamos un vector ”genérico” (  ) ∈ R3 e impongamos la condición de que pertenece a . Entonces deben existir escalares   tales que (  ) = (1 0 3) + (−1 2 −2), y esto se traduce en el sistema de ecuaciones paramétricas de  ⎧ ⎪ ⎨ = − = 2 ⎪ ⎩  = 3 − 2

Entonces obtendremos las ecuaciones implícitas eliminnando los parámetros  y . ⎧ ⎧ ⎪ ⎪ ⎨ = − ⎨ = − 3 − 31 = 2 2 ←→ 3  − 3 =  ⎪ ⎪ ⎩ ⎩  − 3 =  = 2 3 − 22

(

= −  − 3 = 

Luego la (única, en este caso) ecuación implícita de  es 6 +  − 2 = 0 Aunque no es obligatorio, es sencillo comprobar que los dos vectores que había en la base de , (1 0 3) y (−1 2 −2), cumplen la ecuación. Ejemplo: Consideremos el siguiente subespacio de R3  = (−2 4 1)  El vector dado constituye una base de . Obtenemos el sistema de ecuaciones paramétricas de  ⎧ ⎪ ⎨  = −2  = 4 ⎪ ⎩ =

Utilizando la última ecuación podemos eliminar el parámetro  de las demás (añadimos a la primera 2 veces la tercera y a la segunda, 4 veces). Entonces tenemos (  + 2 = 0  − 4 = 0 Éstas son las dos ecuaciones implícitas de . Aunque no es obligatorio, es sencillo comprobar que el vector que había en la base de , (−2 4 1), cumple las dos ecuaciones implícitas. Se pueden obtener las ecuaciones implícitas de un subespacio  directamente a partir de una base suya sin tener que obtener las ecuaciones paramétricas. Veámoslo en el siguiente ejemplo: Ejemplo: Consideremos el siguiente subespacio de R4  = (1 0 3 2) (0 −1 1 0)  25

Vamos a hallar las ecuaciones implícitas de . Construimos la matriz ¯ ⎞ ⎛ 1 0 ¯¯  ⎜ 0 −1 ¯  ⎟ ¯ ⎟ ⎜ ¯ ⎟ ⎜ ⎝ 3 1 ¯¯  ⎠ 2 0 ¯ 

la cual vamos a escalonar (observemos que se ponen los vectores por columnas, estando al final la columna de las incógnitas; todo esto aunque las operaciones las vayamos a hacer como siempre por filas. En este caso no es que estemos mezclando operaciones por filas y columnas, es solamente que estamos realizando matricialmente las operaciones con los coeficientes de las ecuaciones paramétricas, en vez de operar con éstas directamente). En primer lugar le añadimos a la tercera fila −3 veces la primera, y a la cuarta −2 veces la primera, resultando ¯ ⎞ ⎛  1 0 ¯¯ ⎟ ⎜ 0 −1 ¯  ⎟ ¯ ⎜ ⎟ ¯ ⎜ ¯ ⎝ 0 1 ¯  − 3 ⎠ 0 0 ¯  − 2 Seguidamente le sumamos a la tercera fila la segunda y sale ¯ ⎛ 1 0 ¯¯  ⎜ 0 −1 ¯  ¯ ⎜ ¯ ⎜ ⎝ 0 0 ¯¯  − 3 +  0 0 ¯  − 2

De aquí deducimos que las ecuaciones implícitas de  son

⎞ ⎟ ⎟ ⎟ ⎠

 − 3 +  = 0  − 2 =0 Hemos visto cómo obtener las ecuaciones paramétricas a partir de una base (o un SG) del subespacio, y cómo llegar a las ecuaciones implícitas a partir de las paramétricas. Nos faltan los dos pasos inversos. Comencemos pasando de paramétricas a base (o SG): Básicamente consiste en invertir los pasos que se han hecho para obtener las ecuaciones paramétricas partiendo de una base. A partir de un sistema de ecuaciones paramétricas como el siguiente ⎧ 1 = 11 1 + 22 2 +  + 1  ⎪ ⎪ ⎪ ⎨  =   +   +  +   2 21 1 22 2 2  ⎪  ⎪ ⎪ ⎩  = 1 1 + 2 2 +  +   podemos obtener la siguiente relación

(1  2    ) = 1 (11  21   1 ) + 2 (12  22   2 ) +  +  (1  2    ) 26

de donde deducimos que un SG de  (no necesariamente una base, pero del cual sabemos cómo extraerla) sería {1 = (11  21   1 )  2 = (12  22   2 )    = (1  2    )} es decir, serían los vectores {1  2    }. El paso de implícitas a paramétricas se basa en utilizar el método de Gauss para triangularizar el sistema de ecuaciones. Recordemos que el método consiste en, operando de forma adecuada, obtener un sistema escalonado (de un modo bastante similar al que empleamos con sistemas escalonados de vectores). Este sistema tendrá una matriz de coeficientes escalonada. De hecho se puede obtener una matriz escalonada con diagonal principal no nula (salvo las filas completamente nulas). Una vez con esta disposición, a los coeficientes de la diagonal principal los llamaremos pivotes, los cuales se corresponderán con determinadas incógnitas del sistema. Cada una de éstas aparecerá en primer lugar en alguna de las ecuaciones. Entonces se eligen como parámetros precisamente las restantes incógnitas, para seguidamente despejar el resto de incógnitas en función de los parámetros. Ejemplos: 1. Hallar una base y las ecuaciones implícitas del subespacio de R3 ⎧ ⎪ ⎨  =− 1 :  = 3 + 2 ⎪ ⎩  = 5 Una base es

{(1 3 5) (−1 2 0)} Las ecuaciones implícitas resultan de escalonar (en esta ocasión cambio el orden de los parámetros):  = − +   = − +   = 2 + 3 2 + 21  + 2 = 5  = 5  = 5  = − +   + 2 = 5  −  − 2 = 0

3 − 2 Luego ya tenemos la ecuación implícita de 1

{ −  − 2 = 0 2. Hallar una base y las ecuaciones implícitas del subespacio de R3 ⎧ ⎪ ⎨  = −3 2 : =0 ⎪ ⎩ = 27

Una base es {(−3 0 1)} Las ecuaciones implícitas resultan de escalonar (en esta ocasión cambio el orden de las ecuaciones): = 1 ←→ 3 =0  = −3 = =0  + 3 = 0

3 + 31

Luego ya tenemos las ecuaciones implícitas de 2 ( =0  + 3 = 0 3. Consideremos el siguiente subespacio de R4 (  −  + 3 = 0 3 : 2 −  −  + 5 = 0 dado en ecuaciones implícitas. Vamos a hallar las ecuaciones paramétricas y una base de 3 . Utilizaremos el método de Gauss. Fijando la primera ecuación vamos a proceder a eliminar la incógnita  del resto de ecuaciones, en este caso de la segunda. Basta con añadirle a la segunda −2 veces por la primera. Entonces obtenemos el sistema (  − +3 = 0  − − = 0 el cual está ya escalonado, (esto se observa porque la matriz de los coeficientes resultante à ! 1 −1 0 3 está escalonada). En la primera ecuación la incógnita que figura en primer 0 1 −1 −1 lugar es , en la segunda es , luego elegimos como parámetros a las dos últimas incógnitas , . Entonces obtenemos  −  = 3  =  + . De la última obtenemos que  =  − 3 =  − 2. Así tendremos las ecuaciones paramétricas de 3 ⎧ ⎧  =  − 2  =  − 2 ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨  =+ ⎨  =+ o bien, si ponemos  = ,  = , ⎪ ⎪ =  =  ⎪ ⎪ ⎪ ⎪ ⎩ ⎩ = = El paso de paramétricas a una base es sencillo pues, agrupando en forma de vector tendremos (   ) = (   0) + (−2  0 ) = (1 1 1 0) + (−2 1 0 1) 28

Esto prueba que {(1 1 1 0) (−21 1 0 1)} es un SG de 3 . Habiendo elegido el método de triangulación de Gauss para pasar de implícitas a paramétricas, está asegurado que este SG será una base del subespacio. (En el caso en que hagamos el paso de paramétricas a un SG de modo directo (sin partir de las implícitas) lo que obtenemos será un SG, que no puede asegurarse que sea base. En tal caso basta con sacar una base a partir de él.) 4. Consideremos el siguiente subespacio de R3 4 : {2 −  + 3 = 0} dado en ecuaciones implícitas. Vamos a hallar las ecuaciones paramétricas y una base de 4 . Al emplear en este caso el método de Gauss, como sólo hay una ecuación (una fila) el sistema ya está escalonado. Por tanto sólo hay un pivote, que se dejará a la izquierda. Por ejemplo nos interesa quedarnos con la incógnita  a la izquierda, dejando las demás como parámetros. Así quedará ⎧ ⎧ ⎪ ⎪ = = ⎨ ⎨  = 2 + 3  = 2 + 3 o bien, si ponemos  = ,  = , ⎪ ⎪ ⎩ ⎩ = =

El paso de paramétricas a una base es sencillo pues, agrupando en forma de vector tendremos (  ) = ( 2 0) + (0 3 ) = (1 2 0) + (0 3 1)

Esto prueba que {(1 2 0) (0 3 1)} es un SG de 4 , el cual es una base como sucede con el ejemplo anterior. 5. Consideremos el siguiente subespacio de R3 ⎧ ⎪ ⎨ − −  +  = 0 5 :  + 2 + 3 = 0 ⎪ ⎩ ++ =0

dado en ecuaciones implícitas. Vamos a hallar las ecuaciones paramétricas y una base de 5 . Al emplear en este caso el método de Gauss, sumamos la primera ecuación a las otras dos. Obtenemos ⎧ ⎪ ⎨ − −  +  = 0 5 :  + 4 = 0 ⎪ ⎩ 2 = 0 De la tercera ecuación concluimos que  = 0. Al sustituir esto en la segunda vemos que  = 0. Finalmente deducimos de la primera que  = 0. Así quedará ⎧ ⎪ ⎨ =0 =0 ⎪ ⎩ =0 29

Éstas serían las ecuaciones paramétricas (ojo: sin parámetros). Y no obtendríamos base, pues no sale ningún parámetro. Todas estas peculiaridades se dan porque 5 = 0, el subespacio nulo. 6. Consideremos el siguiente subespacio de R4 (  −  + 3 = 0 6 :  − 2 + 5 = 0 dado en ecuaciones implícitas. Vamos a hallar las ecuaciones paramétricas y una base de 6 . Utilizaremos el método de Gauss. Fijando la primera ecuación vamos a proceder a eliminar la incógnita  del resto de ecuaciones, en este caso de la segunda. Basta con restarle a la segunda la primera. Entonces obtenemos el sistema (  −  + 3 = 0 6 : − + 2 = 0 el cual está ya escalonado. Dejamos  e  en la parte izquierda, las cuales quedarán en función de los parámetros. Ahora obtenemos que (  −  = −3 6 : − = −2 Obtenemos que  = 2, para después sustituir en la ecuación superior y deducir que  = −3 = 2 − 3 = −. Así conseguimos las siguientes ecuaciones paramétricas de 6 ⎧  = − ⎪ ⎪ ⎪ ⎨  = 2 ⎪ = ⎪ ⎪ ⎩ =

El paso de paramétricas a una base es sencillo pues, agrupando en forma de vector tendremos (   ) = (0 0  0) + (− 2 0 ) = (0 0 1 0) + (−1 2 0 1)

Esto prueba que {(0 0 1 0) (−1 2 0 1)} es un SG de 6 . Y al ser LI, constituye además una base del subespacio. Nota: Es importante destacar en este ejemplo que la variable , a pesar de no aparecer en las ecuaciones implícitas, no tiene valor nulo, sino el de un parámetro. 7. En el espacio vectorial 3 de los polinomios de grado menor o igual que 3, hallar una base del subespacio  = {() : (−1) = 0 0 (−1) = 0} formado por los polinomios que tiene al −1 como raíz de multiplicidad al menos 2. 30

Poniendo () =  +  + 2 + 3 , tendríamos que 0 () =  + 2 + 32 , y por tanto (−1) =  −  +  −  y 0 (−1) =  − 2 + 3. Entonces lo que tiene que cumplirse es ( −+−=0  − 2 + 3 = 0 Este sistema de ecuaciones (considerando las incógnitas    ) constituye las ecuaciones implícitas del subespacio  . Como ya está escalonado el sistema tomamos como parámetros  y  y obtenemos de la última que  = 2 − 3 y de la primera que  =  −  +  =  − 2. Por tanto las ecuaciones paramétricas de  son ⎧  =  − 2 ⎪ ⎪ ⎪ ⎨  = 2 − 3 ⎪ = ⎪ ⎪ ⎩ = Para obtener una base tomaremos un vector genérico () =  +  + 2 + 3 ∈ 3 e impondremos que pertenece a  utilizando la condición anterior de las ecuaciones paramétricas () =  +  + 2 + 3 = = ( − 2) + (2 − 3) + 2 + 3 =

= ( + 2 + 2 ) + (−2 − 3 + 3 ) = = (1 + 2 + 2 ) + (−2 − 3 + 3 )

de donde deducimos que una base de  está formada por los dos siguientes polinomios (vectores del espacio vectorial 3 ) {1 + 2 + 2  −2 − 3 + 3 }.

6.

Suma e intersección de subespacios

Supongamos que tenemos dos subespacios vectoriales  y  de un espacio vectorial  . Llamaremos suma de  y  al conjunto de vectores  +  = { + | ∈   ∈  } Llamaremos intersección de  y  a la intersección como conjuntos, es decir, al conjunto  ∩  = { ∈  | ∈   ∈  } La definición de suma y de intersección de dos subespacios puede extenderse a cualquier número de éstos, siendo el resultado nuevamente un subespacio del espacio vectorial inicial. Propiedad: Dados dos (o más) subespacios vectoriales  y  de un espacio vectorial  se verifica que tanto la suma  +  como la intersección  ∩  son también subespacios de  . 31

Veamos ahora la forma de calcular la suma y la intersección: Propiedad: Si  es un SG de  y  0 es un SG de  entonces  ∪  0 es un SG de  +  . Observación: Aunque estos sistemas generadores sean bases respectivas de  y  , en general no se da que la unión sea una base de  +  , porque es posible que sea un sistema ligado. De hecho, cuando la unión de dos bases de  y  es una base de  + ocurre una situación (que más adelante analizaremos) en la que se dice que la suma de los subespacios es directa. Propiedad: Las ecuaciones implícitas de  junto con las de  constituyen unas ecuaciones implícitas de  ∩  . Ejemplos: 1. Consideramos los subespacios de R4 siguientes  = (1 2 3 −2) 

 = (0 1 3 −1) (1 1 0 5) 

Entonces  + = (1 2 3 −2) (0 1 3 −1) (1 1 0 5) . Luego un SG (y una base de  + ) es {(1 2 3 −2) (0 1 3 −1) (1 1 0 5)} Por tanto unas ecuaciones paramétricas de  +  son  = +  = 2 +  +   = 3 + 3  = −2 −  + 5 que en modo paramétrico expresamos así: ⎛ 1 0 ⎜ 2 1 ⎜ ⎜ ⎝ 3 3 −2 −1

Escalonando se tiene

2 − 21 3 − 31 4 + 21 y 3 − 32 4 + 2

⎛ ⎜ ⎜ ⎜ ⎝ ⎛ ⎜ ⎜ ⎜ ⎝

1 0 0 0

1 1 0 5

¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯

   

⎞ ⎟ ⎟ ⎟ ⎠

¯ 1 0 1 ¯¯  0 1 −1 ¯¯  − 2 ¯ 0 3 −3 ¯¯  − 3 0 −1 7 ¯  + 2

32

⎞ ⎟ ⎟ ⎟ ⎠

¯ 0 1 ¯¯  1 −1 ¯¯  − 2 ¯ 0 0 ¯¯  + 3 − 3 0 6 ¯ +

⎞ ⎟ ⎟ ⎟ ⎠

luego el subespacio  +  tiene por ecuación implícita 3 − 3 +  = 0 2. Consideramos los subespacios de R4 siguientes (  −2 +3 = 0 :  − − = 0 Entonces

:

n

6 +2 − + = 0 

⎧ ⎪ ⎨ 

−2 +3 = 0  ∩ :  − − = 0 ⎪ ⎩ 6 +2 − + = 0

Si queremos obtener una base de  ∩ debemos resolver el sistema anterior. Para ello aplicamos las siguientes transformaciones elementales: ⎧ ⎪ +3 = 0 ⎨  −2  − − =0 3 − 61 ⎪ ⎩ 14 − −17 = 0 y seguidamente

3 − 142

⎧ ⎪ +3 = 0 ⎨  −2  − − = 0 ⎪ ⎩ 13 −3 = 0

o, lo que es lo mismo, cambiando el orden de las dos últimas variables ⎧ ⎪ =0 ⎨  −2 +3  − − =0 3 − 142 ⎪ ⎩ −3 +13 = 0

para así despejar las siguientes ecuaciones paramétricas de  ∩  7 3 16  = 3  =  13  = 3

 = −

de donde obtenemos que una base de  ∩  es {(−7 16 3 13)} Puede comprobarse fácilmente que este vector pertenece tanto a  como a  , pues verifica las ecuaciones implícitas de ambos subespacios (es decir, las ecuaciones implícitas de la intersección  ∩  ). 33

3. En R4 consideramos lo siguientes subespacios vectoriales  = (0 1 −3 4)   = {(   ) :  −  = 0 3 +  −  = 0}  = (−1 −1 −4 2)  Hallar una base de la suma  +  + . Para ello necesitamos una base (o SG) de cada uno de los subespacios. Como de  y  ya tenemos, sólo nos falta de  . Para éste resolvemos las ecuaciones después de escalonar: cambiamos el orden de las ecuaciones y el de las incógnitas para poner  la primera,  la segunda e  la tercera ( quedaría igual), y obtenemos ( − + +3 =0 :  − + =0 Entonces tomando como parámetros   se tienen como ecuaciones paramétricas de   =   =   =  + 3 = 4  =  y por tanto una base de  es {(1 1 4 0) (0 0 0 1}. Finalmente obtenemos un SG para  +  + : {(0 1 −3 4) (1 1 4 0) (0 0 0 1) (−1 −1 −4 2)} del cual escalonando podríamos sacar una base. Esto se haría por ejemplo así: elegimos el orden de los vectores así ⎞ ⎛ −1 −1 −4 2 ⎜ 0 1 −3 4 ⎟ ⎟ ⎜ ⎟ ⎜ ⎝ 0 0 0 1 ⎠ 1 1 4 0

en donde le sumamos al cuarto el primero para obtener ⎞ ⎛ −1 −1 −4 2 ⎜ 0 1 −3 4 ⎟ ⎟ ⎜ 4 + 1 ⎟ ⎜ ⎝ 0 0 0 1 ⎠ 0 0 0 2

y eliminamos el último por ser múltiplo del tercero. Obenemos como base de  +  +  la formada por los vectores {(−1 −1 −4 2) (0 1 −3 4) (0 0 0 1}

4. Consideramos los subespacios de R3 siguientes  =  (1 2 −1) (3 1 2)  n  : 3 − + = 0 34

Para hallar la intersección de ambos debemos obtener las ecuaciones implícitas de  (porque de  ya las tenemos). Sale sólo una que es n  :  − − = 0

Entonces

 ∩ :

(

 − − 3 − +

=0 =0

Para hallar una base podemos escalonar. En este caso si le añadimos a la segunda -3 veces la primera obtenemos que (  − − =0  ∩ : 2 +4 =0 de donde  = −2 y por tanto  = −. Por tanto una base de  ∩  es {(−1 −2 1)} Propiedad: Sean  y  subespacios vectoriales de un espacio vectorial de dimensión finita  Entonces se verifica la fórmula de las dimensiones: dim( +  ) + dim( ∩  ) = dim  + dim  Supongamos que tenemos dos subespacios vectoriales 1  2 de un espacio vectorial  . Se dice que la suma de ambos subespacios (es decir, 1 + 2 ) es una suma directa cuando al unir bases de cada uno de ellos obtenemos un sistema LI (y por tanto una base de la suma). En tal caso pondremos L la suma así 1 2 . Observaciones: 1. En el caso de 2 subespacios (y sólo en éste) esta definición equivale a que 1 ∩ 2 = 0, es decir, cuando sólo tienen en común el vector nulo. 2. La definición anterior es válida para varios subespacios. Además se da la siguiente equivalencia: a) La suma es directa si y sólo si la dimensión de la suma es la suma de las dimensiones. b) La suma es directa si y sólo si todo vector de dicha suma se pone de modo único como suma de vectores de cada uno de los subespacios. Ejemplo: Comprobar si la suma de los subespacios dados en los 3 ejemplos es suma directa. 1. En el primer ejemplo la suma de los subespacios sí es suma directa, pues se puede comprobar que los 3 vectores obtenidos al unir las bases de ambos subespacios (uno de  y dos de  ) sí son LI. 2. En el segundo ejemplo la suma no es suma directa. 3. En el último ejemplo la suma de los 3 subespacios  +  +  no era suma directa pues para la base de la suma nos sobraba algún vector (concretamente 1) después de unir bases de cada uno de los 3 subespacios. 35

7.

Operaciones en coordenadas

Supongamos que tenemos una base  = {1  2    } de un espacio vectorial  . Muchas de las cosas que hemos visto anteriormente para sistemas de vectores (hallar una base a partir de un SG, el rango de un sistema de vectores, etc.) pueden hacerse en coordenadas respecto de la base , es decir, no es del todo necesario tener los vectores con los que tengamos que operar, es suficiente con tener sus coordenadas respecto de la base . Por ejemplo, supongamos que para un sistema de vectores 1  2    del espacio vectorial se conocen sus coordenadas respecto de la base . Éstas coordenadas (1 )  (2 )   ( ) son realmente vectores de R . Pues bien: Los vectores 1  2    son LD o LI si y sólo si lo son (1 )  (2 )   ( ) (como vectores de R ). La dimensión del subespacio  de  que generan 1  2    coincide con la dimensión del subespacio  de R generado por (1 )  (2 )   ( ) Para hallar una base del subespacio anterior  es suficiente con hallar una base del subespacio  anterior y coger los vectores de  cuyas coordenadas respecto de la base  son precisamente las de los vectores de la base de . Ejemplo: Dada una base  = {1  2  3 } de un espacio vectorial  vamos a determinar si el sistema {1 + 2  1 + 3  2 + 3 } es una base de  . Hallemos las coordenadas de estos vectores respecto de la base ; éstas son (1 1 0) (1 0 1) (0 1 1) De modo que es suficiente ver si estos últimos vectores son una base de R3 . Al ser 3 vectores basta ver si son LI. Para ello haremos operaciones en la matriz ⎞ ⎛ 1 1 0 ⎟ ⎜ ⎝ 1 0 1 ⎠ 0 1 1 Le añadimos a la segunda fila la primera multiplicada por −1 y nos sale ⎞ ⎛ 1 1 0 ⎟ ⎜ 2 − 1 ⎝ 0 −1 1 ⎠ 0 1 1 36

Ahora le añadimos a la tercera fila la segunda y sale ⎛ 3 + 2

⎞ 1 1 0 ⎟ ⎜ ⎝ 0 −1 1 ⎠ 0 0 2

Como el sistema ha sido escalonado con éxito, los vectores (1 1 0), (1 0 1) y (0 1 1) son LI y por tanto una base de R3 . Entonces el sistema de vectores {1 + 2  1 + 3  2 + 3 } es una base de  .

37