Subespacio vectorial

Ir a la navegaci�nIr a la b�squeda
En �lgebra lineal, un subespacio vectorial es el subconjunto de un espacio
vectorial, que satisface por s� mismo la definici�n de espacio vectorial con las
mismas operaciones que V.

�ndice
1 Definici�n de subespacio vectorial
1.1 Consecuencias
1.2 Criterio de verificaci�n
2 Ejemplos
3 Operaciones con subespacios
3.1 Uni�n
3.2 Intersecci�n
3.3 Suma
3.3.1 Suma directa
3.3.2 Subespacios suplementarios
4 Dimensiones de subespacios
4.1 En la suma directa
5 V�ase tambi�n
6 Referencias
Definici�n de subespacio vectorial[editar]
Sea {\displaystyle V_{}^{}} V_{{}}^{{}} un espacio vectorial sobre {\displaystyle
K_{}^{}} K_{{}}^{{}} y {\displaystyle U\subset V} U\subset V no vac�o,
{\displaystyle U_{}^{}} U_{{}}^{{}} es un subespacio vectorial de {\displaystyle
V_{}^{}} V_{{}}^{{}} si:

{\displaystyle i)\;\;\forall u,v\in U,u+v\in U} i)\;\;\forall u,v\in U,u+v\in U

{\displaystyle ii)\;\forall u\in U,\forall k\in K,ku\in U} ii)\;\forall u\in
U,\forall k\in K,ku\in U
Consecuencias[editar]
Un subconjunto de vectores que cumple las dos condiciones anteriores es un
subespacio vectorial y por tanto un espacio vectorial.
mostrarDemostraci�n
Notaciones

Dado {\displaystyle F\,} F\, un subespacio vectorial, se tiene:

Para i) el abuso de lenguaje {\displaystyle F+F\subset F} F+F\subset F, e incluso

{\displaystyle F+F=F} F+F=F es correcto.

mostrarDemostraci�n
Para ii) el abuso de lenguaje {\displaystyle \lambda F\subset F} \lambda F\subset
F, e incluso {\displaystyle \lambda F=F,\;\;\forall \lambda \in K-\{0\}} \lambda
F=F,\;\;\forall \lambda \in K-\{0\} es correcto.

mostrarDemostraci�n
Criterio de verificaci�n[editar]
Es posible sintetizar i) y ii) en una condici�n �nica:

Si V es un espacio vectorial, entonces un subconjunto no vac�o U de V es un

subespacio vectorial si y s�lo si para cualesquiera dos vectores v, w
pertenecientes a U y cualesquiera escalares r y s pertenecientes al cuerpo
asociado, el vector {\displaystyle rv+sw} rv+sw es tambi�n un elemento de U.

Ejemplos[editar]
Dado el espacio vectorial {\displaystyle \mathbb {R} ^{2}} \mathbb {R} ^{2}, sus
elementos son del tipo {\displaystyle (a,b)\in \mathbb {R} ^{2}} (a,b)\in {\mathbb
{R}}^{2}.

{\displaystyle {\vec {0}},u} {\vec {0}},u y {\displaystyle \lambda u} \lambda u

est�n alineados, {\displaystyle \forall u\in \mathbb {R} ^{2}} \forall u\in
{\mathbb {R}}^{2}, {\displaystyle \forall \lambda \in K.} \forall \lambda \in K.

{\displaystyle {\vec {0}},u,v} {\vec {0}},u,v y {\displaystyle u+v} u+v forman un

paralelogramo si no est�n alineados, {\displaystyle \forall u,v\in \mathbb {R}
^{2}.} \forall u,v\in {\mathbb {R}}^{2}.

Suma de 3 elementos.

El subconjunto

{\displaystyle U=\{(a,b):a+b=0\}} U=\{(a,b):a+b=0\}.

es un subespacio vectorial.

mostrarDemostraci�n
El subconjunto

{\displaystyle C=\{(a,b):b=a^{2}\}} C=\{(a,b):b=a^{2}\}

no es un subespacio vectorial.

mostrarDemostraci�n
Operaciones con subespacios[editar]
Sea {\displaystyle (V,+,K,*)} {\displaystyle (V,+,K,*)} un espacio vectorial;
{\displaystyle (S,+,K,*)} {\displaystyle (S,+,K,*)} y {\displaystyle (W,+,K,*)}
{\displaystyle (W,+,K,*)} subespacios vectoriales de {\displaystyle V} V, se
definen las siguientes operaciones:

Uni�n[editar]
{\displaystyle S\cup W=\left\{\mathbf {v} \in V\colon \mathbf {v} \in S\
{\text{�}}\ \mathbf {v} \in W\right\}} {\displaystyle S\cup W=\left\{\mathbf {v}
\in V\colon \mathbf {v} \in S\ {\text{�}}\ \mathbf {v} \in W\right\}}
En general, la uni�n de subespacios no es un subespacio.

Intersecci�n[editar]
{\displaystyle S\cap W=\left\{\mathbf {v} \in V\colon \mathbf {v} \in S\
{\text{y}}\ \mathbf {v} \in W\right\}} {\displaystyle S\cap W=\left\{\mathbf {v}
\in V\colon \mathbf {v} \in S\ {\text{y}}\ \mathbf {v} \in W\right\}}
La intersecci�n de dos subespacios es un subespacio.

Suma[editar]
{\displaystyle S+W=\left\{\mathbf {v} \in V\colon \mathbf {v} =(\mathbf {u_{1}}
+\mathbf {u_{2}} )\wedge \mathbf {u_{1}} \in S\wedge \mathbf {u_{2}} \in W\right\}}
{\displaystyle S+W=\left\{\mathbf {v} \in V\colon \mathbf {v} =(\mathbf {u_{1}}
+\mathbf {u_{2}} )\wedge \mathbf {u_{1}} \in S\wedge \mathbf {u_{2}} \in W\right\}}
La suma de dos subespacios es un subespacio de V.

Suma directa[editar]
Si la intersecci�n entre S y W es el subespacio trivial (es decir, el vector nulo),
entonces a la suma se la llama "suma directa".1?
Es decir que si {\displaystyle S\cap W=\left\{{\vec {0}}\right\}\Rightarrow S\oplus
W} {\displaystyle S\cap W=\left\{{\vec {0}}\right\}\Rightarrow S\oplus W}
Esto significa que todo vector de S+W, se escribe de manera �nica como la suma de
un vector de S y otro de W.

Subespacios suplementarios[editar]
Se dice que los subespacios {\displaystyle S} S y {\displaystyle W} {\displaystyle
W}son suplementarios cuando verifican que su suma directa es igual al espacio
vectorial {\displaystyle V} {\displaystyle V}:

{\displaystyle S\oplus W=\;V\;\leftrightarrow \;{\begin{cases}S+W=\;V\\S\cap

W=\left\lbrace {\overset {\rightarrow }{0}}\right\rbrace \end{cases}}}
{\displaystyle S\oplus W=\;V\;\leftrightarrow \;{\begin{cases}S+W=\;V\\S\cap
W=\left\lbrace {\overset {\rightarrow }{0}}\right\rbrace \end{cases}}}

Dimensiones de subespacios[editar]
La f�rmula de Grassmann resuelve que la dimensi�n de la suma de los subespacios
{\displaystyle S} S y {\displaystyle W} W ser� igual a la dimensi�n del subespacio
{\displaystyle S} S m�s la dimensi�n del subespacio {\displaystyle W} W menos la
dimensi�n de la intersecci�n de ambos, es decir:

{\displaystyle \dim(S+W)=\dim(S)+\dim(W)-\dim(S\cap W)} {\displaystyle

\dim(S+W)=\dim(S)+\dim(W)-\dim(S\cap W)}

Por ejemplo, siendo {\displaystyle \dim(S)=3} \dim(S)=3 y {\displaystyle \dim(W)=2}

\dim(W)=2 y teniendo como intersecci�n un subespacio de dimensi�n 1.
Luego, {\displaystyle \dim(S+W)=4} \dim(S+W)=4.

En la suma directa[editar]
En el caso particular de la suma directa, como {\displaystyle S\cap W=\left\{{\vec
{0}}\right\}\Rightarrow \dim(S\cap W)=0} {\displaystyle S\cap W=\left\{{\vec
{0}}\right\}\Rightarrow \dim(S\cap W)=0}.
La f�rmula de Grassmann resulta:

{\displaystyle \dim(S\oplus W)=\dim(S)+\dim(W)} \dim(S\oplus W)=\dim(S)+\dim(W)

Entonces en el ejemplo anterior, resultar�a {\displaystyle \dim(S\oplus W)=5}

\dim(S\oplus W)=5