Professional Documents
Culture Documents
Definición
Sean (V, +, K, *) un espacio vectorial y S un subconjunto de V.
S es subespacio vectorial de V si (S, +, K, *) es espacio vectorial en sí mismo, siendo +
y * las mismas operaciones definidas en V. Las bases de un subespacio son el
subconjunto de "alfa" y "beta" en el menor subespacio formado por la recta que pasa por
dos puntos.
Condición de existencia de subespacio
El criterio para la verificación de que S sea subespacio de V, es que ambas operaciones
(+ entre elementos del conjunto S y * con escalares del cuerpo K) sean cerradas, es
decir, den como resultado elementos que también pertenezcan a S.Estas antes
mencionadas se dan con la suma y la multiplicacion para los vectores.
Para ello se definen 4 axiomas que de cumplirse, garantizan la existencia del subespacio
vectorial. Sea V un espacio vectorial, se define S como subespacio vectorial si y solo si:
1. S no es un conjunto vacío.
Es decir que si .
Dimensiones de subespacios
Esta fórmula resuelve que la dimensión de la suma de los subespacios S y W será igual a
la dimensión del subespacio S más la dimensión del subespacio W menos la dimensión
de la intersección de ambos.
Por ejemplo, siendo dim(S) = 3 y dim(W) = 2 y teniendo como intersección un
subespacio de dimensión 1.
Luego, dim(S + W) = 4.
En la suma directa