Está en la página 1de 3

Entrega ›1

ÁLGEBRA LINEAL

Cristian Genga
Sebastián Zimmerman

LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN


Hipótesis Sea V un espacio vectorial, v1 , v2 , ..., vn ∈ V y n ∈ N.

Tesis

1) vi ∈ h{v1 , v2 , ..., vn }i ∀i ∈ J1, nK

2)h{v1 , v2 , ..., vn }i es un subespacio de V.

3) Si U ⊆ V es un subespacio de V tal que v1 , ..., vn ∈ U entonces


h{v1 , v2 , ..., vn }i ⊆ U .

Demostración
Primer item

Si vi ∈ h{v1 , v2 , ..., vn }i, significa que existe una forma de escribir vi como
combinación lineal de {α1 v1 + α2 v2 + ... + αn vn }.
Entonces dado αi = 1 y αj = 0, ∀j ∈ J1, nK y j 6= i, entonces α1 v1 +...+αn vn ,
da por resultado 0 + 0 + ... + αi vi + ... + 0 = αi vi .
Luego, 1 vi = vi . Por lo tanto vi ∈ h{v1 , v2 , ..., vn }i.

Segundo item

Sea S = {v1 , v2 , ..., vn } y hSi = h{v1 , v2 , ..., vn }i.


Para probar que hSi es un subespacio vectorial de V, se debe probar que
S ⊆ V y que S cumple las propiedades de clausura de la suma y clausura de
multiplicación por escalar. Por definición de S sabemos que S ⊆ V .

Sean Z1 , Z2 ∈ S y k, αi , βi ∈ K, ∀i ∈ J1, nK:

Sean Z1 = α1 v1 + α2 v2 + ... + αn vn y Z2 = β1 v1 + β2 v2 + ... + βn vn .


Luego Z1 + Z2 = (α1 + β1 )v1 + ... + (αn + βn )vn , con (αi + βi ) ∈ K porque la
suma es cerrada en el cuerpo K.
Por lo tanto, Z1 + Z2 ∈ S y la suma es cerrada en hSi. (1)

Sea Z1 = α1 v1 + α2 v2 + ... + αn vn de forma que Z1 ∗ k = (k ∗ α1 )v1 +


... + (k ∗ αn )vn , y como k ∗ αi es una multiplicación de k, αi ∈ K, ∀i ∈ J1, nK,
k ∗ αi ∈ K.
Por lo tanto la multiplicación por escalares es cerrada en hSi. (2)

Finalmente, por (1) y (2), hSi es un subespacio de V .

1
Tercer item

Sea S = {v1 , v2 , ..., vn } y hSi = h{v1 , v2 , ..., vn }i.


Sea P un elemento genérico de hSi y P = α1 v1 + α2 v2 + ... + αn vn .

Ya que hSi ⊆ V sabemos que P ∈ V , entonces todos los αi ∈ K con


∀i ∈ J1, nK. Luego, como S ⊆ U , ∀i ∈ J1, nK, vi ∈ U .

Por clausura
Pn de multplicación por escalar y clausura de la suma en U ,
αi vi ∈ U ⇒ i=1 αi vi ∈ U ⇒ P ∈ U .

Finalmente como P ∈ U , hSi ⊆ U .

También podría gustarte