En el espacio vectorial real ℝ૜ se considera el sistema ࡿ = ሼሺ૚, ૚, ࢇሻ, ሺ૚, ࢇ, ૚ሻ, ሺࢇ, ૚, ૚ሻሽ

referido a la base canónica. Estudiar en función de a la dimensión del subespacio

engendrado por ࡿ, ࡸሺࡿሻ

Lo hacemos por sistemas equivalentes

1 1 ܽ 1 1 ܽ 1 1 ܽ
1 ܽ 1≡0 ܽ−1 1−ܽ ≡0 ܽ−1 1−ܽ
ܽ 1 1 0 1−ܽ 1 − ܽଶ 0 0 2 − ܽ − ܽଶ
Por tanto, si 2 − ܽ − ܽଶ ≠ 0, dim‫ܮ‬ሺܵሻ = 3,

2 − ܽ − ܽଶ = 0 ⇔ ሺ2 + ܽሻ · ሺ1 − ܽሻ = 0 ⇔ ܽ = 1, ܽ = −2
Luego

i) Si ܽ ≠ 1 y ܽ ≠ −2, dim‫ܮ‬ሺܵሻ = 3

ii) Si ܽ = −2, dim‫ܮ‬ሺܵሻ = 2, una posible base de ‫ܮ‬ሺܵሻ es ሼሺ1,1, −2ሻ, ሺ1, −2,1ሻሽ

iii) Si ܽ = 1, dim‫ܮ‬ሺܵሻ = 1. Una posible base de ‫ܮ‬ሺܵሻ es ሼሺ1,1,1ሻሽ

Encontrar una base para el subespacio de ℝ૝ cuyas ecuaciones paramétricas son

࢞૚ = ࣅ + ࢻ + ࢼ ࢞૛ = ࣅ − ࢻ + ૜ࢼ ࢞૜ = ࣅ + ૛ࢻ ࢞૝ = ૛ࣅ + ૜ࢻ + ࢼ
Las coordenadas de los vectores del subespacio se pueden expresar como

ሺ‫ݔ‬ଵ , ‫ݔ‬ଶ , ‫ݔ‬ଷ , ‫ݔ‬ସ ሻ = ߣ · ሺ1,1,1,2ሻ + ߙ · ሺ1, −1,2,3ሻ + ߚ · ሺ1,3,0,1ሻ

Por tanto, el sistema ሼሺ1,1,1,2ሻ, ሺ1, −1,2,3ሻ, ሺ1,3,0,1ሻሽ es generador.

Determinemos los vectores libres de dicho sistema por medio de sistemas equivalentes
݁ଵ 1 1 1 2 ‫ݑ‬ଵ = ݁ଵ 1 1 1 2
݁ଶ 1 −1 2 3 ‫ݑ‬ଶ = ݁ଶ − ݁ଵ 0 −2 1 1
݁ଷ 1 3 0 1 ‫ݑ‬ଷ = ݁ଷ − ݁ଵ 0 2 −1 −1
‫ݒ‬ଵ = ‫ݑ‬ଵ 1 1 1 2
‫ݒ‬ଶ = ‫ݑ‬ଶ 0 −2 1 1
‫ݒ‬ଷ = ‫ݑ‬ଷ + ‫ݑ‬ଶ 0 0 0 0
Una base la constituyen, por tanto, los vectores ሺ1,1,1,2ሻ y ሺ0, −2,1,1ሻ.
Determinar una base para la suma y la intersección de los subespacios ࢂ૚ y ࢂ૛ engendrados
por ሼሺ૚, ૛, ૚, ૙ሻ, ሺ−૚, ૚, ૚, ૚ሻሽ y ሼሺ૛, −૚, ૙, ૚ሻ, ሺ૚, −૚, ૜, ૠሻሽrespectivamente.

Si ‫ܸ ∈ ݑ‬ଵ ∩ ܸଶ se verificará

ߙ · ሺ1,2,1,0ሻ + ߚ · ሺ−1,1,1,1ሻ = ߜ · ሺ2, −1,0,1ሻ + ߛ · ሺ1, −1,3,7ሻ

Lo que nos lleva al sistema
ߙ − ߚ = 2ߜ + ߛ
3ߙ = ߜ 3ߙ = ߜ ߙ = −ߛ
2ߙ + ߚ = −ߜ − ߛ
≡ ߙ + ߚ = 3ߛ ≡ ߙ + ߚ = 3ߛ ≡ ߚ = 4ߛ
ߙ + ߚ = 3ߛ
ߚ = ߜ + 7ߛ ߙ = −ߜ − 4ߛ ߜ = −3ߛ
ߚ = ߜ + 7ߛ
En el segundo sistema la primera ecuación se ha obtenido sumando las dos primeras
ecuaciones del primer sistema. En el tercer sistema, se han restado las dos últimas ecuaciones
del segundo. Sumando la primera y la última en este sistema se obtiene el resultado final.

Si hacemos ߛ = 1, ߜ = −3 obtenemos un vector que es base para la intersección y que

resulta ser ሺ−5,2,3,4ሻ.

La dimensión de ܸଵ + ܸଶ es tres ya que

dimሺܸଵ + ܸଶ ሻ + dimሺܸଵ ∩ ܸଶ ሻ = dimܸଵ + dimܸଶ

El sistema ሼሺ1,2,1,0ሻ, ሺ−1,1,1,1ሻ, ሺ2, −1,0,1ሻ, ሺ1, −1,3,7ሻሽ es generador de ܸଵ + ܸଶ .
Obtengamos una base de ܸଵ + ܸଶ utilizando sistemas equivalentes.
݁ଵ 1 2 1 0
݁ଶ −1 1 1 1
݁ଷ 2 −1 0 1
݁ସ 1 −1 3 7
‫ݑ‬ଵ = ݁ଵ 1 2 1 0
‫ݑ‬ଶ = ݁ଶ + ݁ଵ 0 3 2 1
‫ݑ‬ଷ = ݁ଷ − 2݁ଵ 0 −5 −2 1
‫ݑ‬ସ = ݁ସ − ݁ଵ 0 −3 2 7
‫ݒ‬ଵ = ‫ݑ‬ଵ 1 2 1 0
‫ݒ‬ଶ = ‫ݑ‬ଶ 0 3 2 1
5
‫ݒ‬ଷ = ‫ݑ‬ଵ + ‫ݑ‬ଶ 0 0 4/3 8/3
3
‫ݒ‬ସ = ‫ݑ‬ସ + ‫ݑ‬ଶ 0 0 4 8
‫ݓ‬ଵ = ‫ݒ‬ଵ 1 2 1 0
‫ݓ‬ଶ = ‫ݒ‬ଶ 0 3 2 1
3
‫ݓ‬ଷ = ‫ݒ‬ଷ 0 0 1 2
4
‫ݓ‬ସ = ‫ݒ‬ସ − 3‫ݒ‬ଷ 0 0 0 0

Los vectores ሺ1,2,1,0ሻ, ሺ0,3,2,1ሻ, ሺ0,0,1,2ሻ constituyen una base para la suma.

→Otra forma de obtener una base para la intersección es la siguiente:

Las ecuaciones paramétricas de ܸଵ serán

 ‫ݔ‬ଵ = ߙ − ߚ
‫ݔ‬ଶ = 2ߙ + ߚ
‫ݔ‬ଷ = ߙ + ߚ
‫ݔ‬ସ = ߚ
Unas ecuaciones implícitas se obtienen despejando los parámetros en dos ecuaciones y
sustituyendo su valor en las otras dos:
ߚ = ‫ݔ‬ସ ‫ݔ‬ଵ = ‫ݔ‬ଷ − ‫ݔ‬ସ − ‫ݔ‬ସ ‫ ݔ‬− ‫ݔ‬ଷ + 2‫ݔ‬ସ = 0
⇒ ⇒ ଵ
ߙ = ‫ݔ‬ଷ − ߚ = ‫ݔ‬ଷ − ‫ݔ‬ସ ‫ݔ‬ଶ = 2 · ሺ‫ݔ‬ଷ − ‫ݔ‬ସ ሻ + ‫ݔ‬ସ ‫ݔ‬ଶ − 2‫ݔ‬ଷ + ‫ݔ‬ସ = 0
Unas ecuaciones paramétricas de ܸଶ son
‫ݔ‬ଵ = 2ߜ + ߛ
‫ݔ‬ଶ = −ߜ − ߛ
‫ݔ‬ଷ = 3ߛ
‫ݔ‬ସ = ߜ + 7ߛ
Sustituyendo en las ecuaciones implícitas de ܸଵ
2ߜ + ߛ − 3ߛ + 2ߜ + 14ߛ = 0
ൠ ⇒ 4ߜ + 12ߛ = 0 ⇒ ߜ + 3ߛ = 0
−ߜ − ߛ − 6ߛ + ߜ + 7ߛ = 0
Entonces, unas ecuaciones paramétricas de ܸଵ ∩ ܸଶ serán
‫ݔ‬ଵ = −5ߛ
‫ݔ‬ଶ = 2ߛ
‫ݔ‬ଷ = 3ߛ
‫ݔ‬ସ = 4ߛ
Siendo, por tanto, una posible base de ܸଵ ∩ ܸଶ el vector ሺ−5,2,3,4ሻ.

Se considera el subespacio vectorial V de ℝ૞ engendrado por los vectores ሺ૚, ૛, −૚, ૚, ૙ሻ,
ሺ૚, ૜, ૙, −૚, ૚ሻ y ሺ૙, ૚, ૚, −૛, ૚ሻ. Obtener un subespacio suplementario.

Encontramos primero una base de V aplicando sistemas equivalentes

݁ଵ 1 2 −1 1 0
݁ଶ 1 3 0 −1 1
݁ଷ 0 1 1 −2 1
‫ݑ‬ଵ = ݁ଵ 1 2 −1 1 0
‫ݑ‬ଶ = ݁ଶ − ݁ଵ 0 1 1 −2 1
‫ݑ‬ଷ = ݁ଷ 0 1 1 −2 1
‫ݒ‬ଵ = ‫ݑ‬ଵ 1 2 −1 1 0
‫ݒ‬ଶ = ‫ݑ‬ଶ 0 1 1 −2 1
‫ݒ‬ଷ = ‫ݑ‬ଷ − ‫ݑ‬ଶ 0 0 0 0 0
Una base está constituida por los vectores ሺ1,2, −1,1,0ሻ y ሺ0,1,1, −2,1ሻ

Para encontrar una base de un subespacio suplementario basta tomar tres vectores
independientes entre sí y con los de la base V. Estos pueden ser ሺ0,0,1,0,0ሻ, ሺ0,0,0,1,0ሻ,
ሺ0,0,0,0,1ሻ. El subespacio tendrá por ecuaciones paramétricas

‫ݔ‬ଵ = 0 ‫ݔ‬ଶ = 0 ‫ݔ‬ଷ = ߣ ‫ݔ‬ସ = ߚ ‫ݔ‬ହ = ߙ