1

Espacios vectoriales, soluciones e indicaciones

1. Indicar cules de los siguientes subconjuntos de Q4 son subespacios: a (a) S = { (3a , a , a b , b) | a, b Q}. (b) T = { (a, b, c, d) | a + 2d = 0 }. (c) R = { (a, b, c, d) | a + 2d = 1 }. (d) U = { (a, b, c, d) | |a| |b| }. Solucin. Slo lo son S y T . o o 2. Cules de los siguientes subconjuntos de Rn son subespacios vectoriales? a (a) A = {(x1 , . . . , xn ) Rn | x1 = 0}. (b) B = {(x1 , . . . , xn ) Rn | x1 = 0 x2 = 0}. o (c) C = {(x1 , . . . , xn ) Rn | x1 Z}. (d) D = {(x1 , . . . , xn ) Rn | x1 (x2 + x3 ) = 0}. Solucin. Slo lo es A. o o 3. Sea T = { (z , z) | z C } C2 . Es Csubespacio? Y Rsubespacio? Solucin. Como t(z, z) = (tz, tz) y tz = tz, no lo es sobre C pero s sobre R. o 4. Sean K un cuerpo y K N el espacio de las sucesiones (a0 , a1 , . . . , an . . . ) con los ai K. Cules de a las siguientes condiciones sobre elementos de K N son lineales? (es decir, dene un subespacio) (1) A lo ms un nmero nito de componentes ai son no nulas. a u (2) Slo son nulas un nmero nito de componentes. o u (3) Ninguna componente vale 1. Solucin. Solamente (1) es lineal. o 5. Sea K S el espacio de las funciones f del conjunto S en el cuerpo K. Cules de las siguientes a condiciones son lineales? (1) f se anula en un elemento dado s S. (2) f toma el valor (jado en K) en un elemento dado s S. (3) f se anula en todos los elementos de un subconjunto dado T de S. Solucin. (1) y (3) son lineales, pero no (2). o 6. Se consideran los vectores u = (1, 3, 2), v = (2, 1, 1) C3 . Se puede escribir el vector (1, 7, 4) como combinacin lineal de u y de v? Y el vector (2, 5, 4)? Para qu valores de t es (1, t, 5) o e combinacin lineal de u y v? o Solucin. S no y t = 8. o , 7. Hallar una base del subespacio de C4 generado por los vectores (1, 1, 0, 2), (2, 3, 2, 5) y (1, 2, 2, 7). Son estos vectores linealmente independientes? Solucin. No, pues generan un subespacio de dimensin 2. Dos de ellos forman base. o o 8. Sean L, M y N subespacios de V . Para cada una de las siguientes igualdades, probar que es cierta en general o dar un ejemplo de V , L, M y N en que no se cumpla.

(a) L (M + N ) = (L M ) + (L N ). (b) L (M + [L N ]) = (L M ) + (L N ). (c) (L + M ) (L + N ) = L + (M N ). Solucin. La igualdad 2 es cierta; basta probar los dos contenidos. Para los casos 1 y 3, basta o tomar V = R2 , M = {(x, 0) | x R}, N = {(0, y) | y R} y L = {(x, x) | x R}. 9. Calcular bases de S, T , S + T y S T , siendo S y T los subespacios de C4 : (a) S = { (3a , a , a b , b) | a, b C } y T = { (a, b, c, d) | a + 2d = 0 }. (b) S = { (a, b, c, d) | a b = 0 } y T generado por (1, 1, 2, 1) y (2, 0, 1, 1). (c) S = { (a, b, c, d) | ab+cd = a+b+c3d = 0 } y T generado por (1, 1, 1, 1) y (1, 1, 1, 1). (d) S = { (a, b, c, d) | a c = b = 0 } y T generado por (1, 0, 1, 0), (0, 2, 1, 0) y (1, 4, 1, 0). (e) S el subespacio generado por (0, 1, 1 + i, i), (1, 0, i, 0) (1, 2, 2 i, 2i) y (1, 1, 1, i) y T generado por (1, 1, 1 + 2i, i), (0, 0, 0, 1) y (1, 1, 1 + 2i, 1 + i). Solucin. La tcnica general es la siguiente. Se calculan bases de S y T . La unin de ambas genera o e o S + T , luego se puede obtener una base del mismo. De todo ello podemos obtener la dimensin o de S T . Una base de ste se obtiene obligando a que un vector est en S y en T a la vez. Las e e dimensiones respectivas de S, T , S + T y S T en cada caso son las siguientes. Caso 1: 2, 3, 4 y 1. Caso 2: 3, 2, 4 y 1. Caso 3: 2, 2, 3 y 1. Caso 4: 2, 3, 4 y 1. Caso 5: dim S = 3 = dim (S + T ) y como S + T siempre contiene a S y a T , debe ser S = S + T , luego S T y S T = T . 10. Se consideran los subespacios de R3 , S = R(3, 1, 2), T = R(1, 2, 3) y U = R(2, 3, 1). Comprobar que (1, 0, 1) S + T + U y encontrar diversas formas de expresarlo como suma de vectores en R, T y U ; deducir que la suma no es directa. Solucin. Comprobacin. o o 11. Sean S = { (x, y, z) C3 | x = y = z } y T = { (0, a, b) | a, b C } subespacios de C3 . Probar que C3 = S T . Solucin. Comprobacin directa, por dimensiones o por unin de bases de subespacios. o o o 12. Sean S = { (x1 , . . . , xn ) Qn | x1 + + xn = 0 } y T = { (x, . . . , x) | x Q }. Probar que S y T son subespacios de Qn y que Qn = S T . Solucin. Comprobacin directa, por dimensiones o por unin de bases de subespacios. o o o 13. Sea p K[X] un polinomio de grado n > 0. Si Kn1 [X] es el subespacio de los polinomios de grado menor que n y S es el subconjunto formado por los mltiplos de p, probar que S es tambin u e subespacio y que K[X] = S Kn1 [X]. Solucin. Para ver que K[X] = S + Kn1 [X], basta dividir un polinomio de K[X] por p. o 14. Sean K un cuerpo y S = T R un conjunto tal que T R = . Si L es el subespacio de los elementos de K S que se anulan en T y M el de los que se anulan en R, probar que K S = L M . Solucin. Para cada f K S , se dene f1 K S por o f1 (x) = con lo que f1 L y f f1 M . 15. Sean K un cuerpo, S un conjunto y s0 S jo. Comprobar que si L es el subespacio de las funciones f : S K que se anulan en s0 y M el de las funciones constantes, se tiene K S = L M . 2 0 si f (x) si xT xR

Solucin. Si f K S , sea g1 K S dada por g1 (s) = g(s0 ) para todo s S. As g1 M y gg1 L. o 16. En RR se consideran los subespacios P = {f | f (x) = f (x) x R } (funciones pares) e I = {f | f (x) = f (x) x R } (funciones impares). Comprobar que RR = P I. Solucin. Si f RR , basta denir las funciones fp , fi RR por o fp (x) = 1 1 f (x) + f (x) y fi (x) = f (x) f (x) . 2 2

17. Sea V un espacio vectorial de dimensin nita tal que V = S1 + + Sr con los Si subespacios de o r V . Probar que la suma es directa si y slo si dim V = i=1 dim Si . o Solucin. Al unir bases de cada Si se obtiene una familia que genera S1 + + Sr = V . El hecho o de ser o no ser base depende de que la suma sea directa o no. 18. Se consideran los subespacios de C4 , S = { (x1 , x2 , x3 , x4 ) C4 | x1 = x2 = 0, x3 + x4 = 0 }, T = { (x1 , x2 , x3 , x4 ) C4 | x1 = x2 , x3 = x4 } y L el subespacio generado por (1, 1, i, i). Probar que la suma de S, T y L es directa y es C4 . Solucin. Comprobacin directa o por unin de bases de subespacios. o o o 19. Se consideran los subespacios de Q4 , S = { (x1 , x2 , x3 , x4 ) | x1 + 2x3 = 0 } y T = { (x1 , x2 , x3 , x4 ) | x1 2x3 = x2 + 2x4 = 0}. Calcular bases y suplementarios de S y de T . Solucin. La base de cada subespacio se calcula de la forma habitual. Se completa cada base a una o base del espacio total y el suplementario est generado por los vectores aadidos. a n 20. Sea T = { p Q3 [X] | p(1) = p(2) }. Probar que T es un subespacio de Q3 [X]; hallar una base de T y una base de un suplementario de T . Solucin. Como dim T = 3, para encontrar el suplementario basta ampliar la base de T hasta base o de Q3 [X] y para ello observar que es vlido cualquier p Q3 [X] que no est en T . a e 21. Se consideran los subespacios de Q4 , S = { (x, y, z, t) Q4 | x = 3z } y T generado por (3, 2, 1, 2), (3, 3, 1, 3) y (3, 0, 1, 0). Comprobar que T est contenido en S, hallar una base de T y completarla a hasta una base de S. Hallar un subespacio U de dimensin 3 tal que T = S U . o Solucin. Como dim T = 2, para la primera parte basta encontrar un vector de S que no pertenezca o a T . Para calcular U , utilizar un vector que no pertenezca a S. 22. Se consideran en R4 el subespacio S generado por (1, 0, 1, 0), (0, 2, 1, 0) y (1, 4, 1, 0) y el subespacio T = { (x, y, z, t) | x y + z t = x + y + z 3t = 0 }. Hallar bases de S, T , S + T , S T y de un suplementario comn de S y T . u Solucin. Aqu se tiene dim S = 2 = dim T, dim (S + T ) = 3. Para encontrar el suplementario o comn basta buscar dos vectores que sirvan para ampliar tanto la base de S como la base de T u hasta base de R4 . 23. Sea V un espacio vectorial de dimensin nita y S1 , S2 dos subespacios de igual dimensin. Probar o o que existe un suplementario comn de S1 y S2 . u Solucin. Sea m la dimensin de los Si y q la de S1 S2 . Ampliamos una base de la interseccin o o o hasta base de S1 con unos vectores a1 , . . . , amq y hasta base de S2 con b1 , . . . , bmq (si fuera m = q, se tendr S1 = S1 S2 = S2 ). Se comprueba que los vectores a1 + b1 , . . . , amq + bmq sirven para a ampliar tanto la base de S1 como la base de S2 hasta base de S1 + S2 . Ahora basta mpliar estos m q vectores con una base de un suplementario de S1 + S2 en V .