Buscar en Wikipedia

ltima edicin hace 5 meses por PatruBOT

Subespacio vectorial

En lgebra lineal, un subespacio vectorial es el subconjunto de un espacio vectorial, que

satisface por s mismo la definicin de espacio vectorial con las mismas operaciones que
V..

Definicin subespacio vectorial

Sea

un espacio vectorial sobre

no vaco,

es un subespacio vectorial de

si:

Consecuencias
Un subespacio vectorial que cumple las dos condiciones anteriores es un espacio
vectorial.
Demostracin
i) permite el cumplimiento de la propiedad conmutativa y asociativa.
ii) permite el cumplimiento de la propiedad asociativa, elemento neutro y propiedad distributiva
respecto las dos operaciones.
Luego para el elemento neutro de la suma ste se puede obtener como

, que

y lo mismo para el elemento opuesto de la suma obtenido

como

, ya que

Notaciones
Dado

un subespacio vectorial, se tiene:

Para i) el abuso de lenguaje

, e incluso

es correcto.

Demostracin
Se quiere ver que

Para ii) el abuso de lenguaje

, e incluso

es correcto.

Demostracin

Criterio de verificacin
Es posible sintetizar i) y ii) en una condicin nica:

Si V es un espacio vectorial, entonces un

subconjunto no vaco U de V es un subespacio
vectorial si y slo si para cualesquiera dos vectores
v, w pertenecientes a U y cualesquiera escalares r y
s pertenecientes al cuerpo asociado, el vector
es tambin un elemento de U.

Ejemplos
Dado el espacio vectorial

, sus elementos son del tipo

estn alineados,

forman un paralelogramo si no estn alineados,

Suma de 3 elementos.

El subconjunto

es un subespacio vectorial.
Demostracin
Por definicin de U los elementos son de la forma

como las operaciones estn bien definidas entonces que U es en s mismo un espacio vectorial, es
decir, satisface las condiciones de subespacio vectorial de

El subconjunto

no es un subespacio vectorial.
Demostracin
Nuevamente slo es necesario verificar tres condiciones: la pertenencia del vector nulo y la
cerradura de ambas operaciones.
El vector nulo (0, 0) s es un elemento de C puesto que 0 = 0.
Sin embargo, ni la suma ni el producto son cerrados:
Los vectores (1, 1) y (2, 4) son elementos de C, pero su suma (1, 1) + (2, 4) = (3,5) no lo es,
puesto que 5 no es igual a 3.
El vector (2, 4) es un elemento de C, pero al multiplicarlo por el escalar 2 se obtiene (4, 8) que
no es un elemento de C puesto que 8 no es igual a 4.

Operaciones con subespacios

Sea (V, +, K, *) un espacio vectorial; (S, +, K, *) y (W, +, K, *) subespacios de V, se definen las
siguientes operaciones:

Unin

En la gran mayora de los casos la unin de dos subespacios no es un subespacio de V,

pues no se cumple con la ley de composicin interna. S pertenece de forma segura la unin
a V en los casos en que S este contenido en W o viceversa.

Interseccin
La interseccin de dos subespacios es un subespacio de V.

Suma
La suma de dos subespacios es un subespacio de V.
Suma directa
Si la interseccin 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
Lo que quiere decir tambin que todo vector de V, se escribe de manera nica como la suma
de un vector de S y otro de W.

Dimensiones de subespacios
Esta frmula resuelve que la dimensin de la suma de los subespacios
dimensin del subespacio

ms la dimensin del subespacio

ser igual a la

menos la dimensin de la

interseccin de ambos.
Por ejemplo, siendo

y teniendo como interseccin un

subespacio de dimensin 1.
Luego,

En la suma directa
En el caso particular de la suma directa, como
La frmula de Grassmann resulta:

Entonces en el ejemplo anterior, resultara

Vase tambin
Referencias
1. "lgebra II" Armando O. Rojo. Editorial "El Ateneo". Buenos Aires.
Leer en otro idioma

Wikipedia Mvil

Escritorio

El contenido est disponible bajo la licencia CC BY-SA 3.0 , salvo que se indique lo contrario.
Trminos de uso

Privacidad