Espacios y Sub-espacios

Espacios y Subespacios Vectoriales

Dependencia e Independencia lineal.

Un sistema de vectores S = {e1, e2, ... en } ,es lineal-mente independiente cuando la combinación
lineal nula sólo es posible si todos sus coeficientes son ceros. Osea que si

α1 e1 + α2 e2, + α3 e3 ⋯αn en =0 . Entonces αi =0. En caso contrario el sistema es dependiente.

Ejemplo1:
e1 = {4, 6, 1}; e2 = {1, 3, 4}; e3 = {-1, -2, -2};
Solve[α1 * e1 + α2 * e2 + α3 * e3 ⩵ 0]
resuelve
{{α1 → 0, α2 → 0, α3 → 0}}

Entonces podemos afirmar que los vectores e1, e2, e3, son lineal-mente independientes.
Otra forma:
RowReduce[{e1, e2, e3}]
reduce filas
{{1, 0, 0}, {0, 1, 0}, {0, 0, 1}}

MatrixForm[%]
forma de matriz
1 0 0
0 1 0
0 0 1

Ejemplo 2:
u1 = {0, -3, 3}; u2 = {5, -2, -2}; u3 = {15, -15, 3};
Solve[β1 * u1 + β2 * u2 + β3 * u3 ⩵ 0]
resuelve
β1
β2 → β1, β3 → - 
3
2 EspaciosySubespacios.nb

Otra manera de comprobarlo.

RowReduce[{u1, u2, u3}]
reduce filas
4
1, 0, - , {0, 1, -1}, {0, 0, 0}
5

MatrixForm[%]
forma de matriz
1 0 - 45
0 1 -1
0 0 0

Ejemplo2:
Dados los vectores u1={1,-1,0,2,0}, u2={0,0,-1,0,1},
u3={1,-1,1,1,0}, y u4={0,0,m,1,1}, discutir su dependencia o
independencia lineal en función del parámetro m.
u1 = {1, -1, 0, 2, 0};
u2 = {0, 0, -1, 0, 1};
u3 = {1, -1, 1, 1, 0}; u4 = {0, 0, m, 1, 1};

Reduce[a * u1 + b * u2 + c * u3 + d * u4 ⩵ {0, 0, 0, 0, 0}, m]

reduce
(d ⩵ 0 && c ⩵ 0 && b ⩵ 0 && a ⩵ 0) ||
(c ⩵ d && b ⩵ -d && a ⩵ -d && d ≠ 0 && m ⩵ -2)

Cuando m ≠-2, los vectores son linealmente independientes. y cuando m=-2, los vectores son
lienalmente dependientes.
Veamos el caso m=-2.

u4 = u4 /. m → -2
{0, 0, -2, 1, 1}

Solve[u1 ⩵ a * u2 + b * u3 + c * u4, {a, b, c}]

resuelve
{{a → -1, b → 1, c → 1}}
 EspaciosySubespacios.nb 3

Definiciones:

◼ A través de los vectores generadores: V = {e1, e2 ⋯ ,er }

Ejemplo3:
V1 = {{1, 2, 3, 4}, {0, 1, 2, 3}, {3, 4, -2, 6}};

Obtener las ecuaciones paramétricas de V1:

s = Solve[
resuelve
{{x, y, z, t} == α * V1[[1]] + β * V1[[2]] + γ * V1[[3]]}, {x, y, z, t}]
{{x → α + 3 γ, y → 2 α + β + 4 γ, z → 3 α + 2 β - 2 γ, t → 4 α + 3 β + 6 γ}}

Las ecuaciones paramétricas serán:

x=α+3γ
y=2α+β+4γ
z=3α+2β-2γ
t=4α+3β+6γ

Obtener las ecuaciones implícitas de V1:

Clear[α, β, γ, x, y, z, t]
borra

s1 =
Solve[{α + 3 * γ ⩵ x, 2 * α + β + 4 * γ ⩵ y, 3 * α + 2 * β - 2 * γ ⩵ z}, {α, β, γ}]
resuelve
1 1 1
α → (10 x - 6 y + 3 z), β → (-16 x + 11 y - 2 z), γ → (-x + 2 y - z)
7 7 7

t = 4 * α + 3 * β + 6 * γ /. Flatten[s1]
aplana
3 6 4
(-16 x + 11 y - 2 z) + (-x + 2 y - z) + (10 x - 6 y + 3 z)
7 7 7

Simplify[%]
simplifica
-2 x + 3 y

Entonces la ecuación implícita es

4 EspaciosySubespacios.nb

t=-2x+3y o 2x-3y+t=0.

◼ A través de las ecuaciones implícitas:

V = {α1 x1 +α2 x2 +⋯+αr xr = 0,β1 x1 +β2 x2 +⋯ + βs xs =0, ⋯, γ1 x1 +γ2 x2 ⋯ + γn xn = 0.}

Ejemplo 4
V = {( x1 , x2 , x3 , x4 ) ∈ ℝ4 / x1 + x2 = x3 + x4 }

Obtenemos los vectores

x = {x1, x2, x3, x4};

s2 = Solve[x1 + x2 ⩵ x3 + x4, {x1, x2, x3, x4}]
resuelve

Solve: Equations may not give solutions for all "solve" variables.
{{x4 → x1 + x2 - x3}}

x = x /. Flatten[s2]
aplana
{x1, x2, x3, x1 + x2 - x3}

v1 = x /. {x1 → 1, x2 → 0, x3 → 0}
{1, 0, 0, 1}

v2 = x /. {x1 → 0, x2 → 1, x3 → 0}
{0, 1, 0, 1}

v3 = x /. {x1 → 0, x2 → 0, x3 → 1}
{0, 0, 1, -1}

RowReduce[{v1, v2, v3}]

reduce filas
{{1, 0, 0, 1}, {0, 1, 0, 1}, {0, 0, 1, -1}}

MatrixForm[%]
forma de matriz
1 0 0 1
0 1 0 1
0 0 1 -1

Obtenemos ahora las paramétricas

Clear[α, β, γ, x1, x2, x3, x4]

borra
 EspaciosySubespacios.nb 5

Solve[{x1, x2, x3, x4} ⩵ α * v1 + β * v2 + γ * v3, {x1, x2, x3, x4}]

resuelve
{{x1 → α, x2 → β, x3 → γ, x4 → α + β - γ}}

Entonces las paramétricas son

x1 =α
x2 = β
x3 = γ
x4 = α + β - γ

◼ A través de las ecuaciones paramétricas: V = {xi = Σn k=1 αik }

Ejemplo 5
x1 = α - β; x2 = β + γ; x3 = γ; x4 =α-β+γ:

Resolviendo el sistema de las tres primeras ecuaciones y sustituyendo en la cuarta encontramos

las ecuaciones implícitas.

Clear[x1, x2, x3, x4]

borra

s3 = Solve[{x1 ⩵ α - β, x2 ⩵ β + γ, x3 ⩵ γ}, {α, β, γ}]

resuelve

{{α → x1 + x2 - x3, β → x2 - x3, γ → x3}}

X4 = α - β + γ /. Flatten[s3]
aplana
x1 + x3

Entonces la ecuación implícita es x4 = x1 +x3

◼ Operaciones con subespacios

Intersección: Dado dos sub-espacio V1 y V2, el sub-espacio V1⋂V2 es el conjunto de todos los
vectores que pertenecen a ambos sub-espacios V1 y V2. Para hallar la intersección de dos sub-
espacios, utilizamos como ecuaciones implícitas del sub-espacio
intersección, a las ecuaciones implícitas de ambos subespacios.

Suma: Dado dos subespacio V1 y V2, el subespacio V1+V2, son todos los vectores x = x1 +x2 ,
6 EspaciosySubespacios.nb

donde x1 pertenece V1 y x2 pertenece a V2.

Para hallar el subespacio suma, hacemos RowReduce al conjunto de vectores de ambos
subespacios, y los que resulten ser independientes
son la base del subespacio suma.

Ejemplo: Sea V1={(x,y,z,t)/x+y=0, 2x+z=0} y V2={(x,y,z,t)/x-y+z=0,x-t=0}

Clear[x, y, z, t]
borra

Para hallar la intersección de dos subespacios procedemos

de la siguiente manera:
1) Introducimos un vector genérico X={x,y,z,t}
2) Resolvemos el sistema compuesto por las ecuaciones
implícitas de ambos subespacios.
3) Sustituimos el resultados del apartado anterior en el
vector genérico y dando valores a los parámetros que
quedan encontramos los vectores generadores de la inter-
sección.
4) Comprobamos cuanto vectores generadores son lineal-
mente independientes.
X = {x, y, z, t}
{x, y, z, t}

s4 = Solve[{x + y ⩵ 0, 2 * x + z == 0, x - y + z ⩵ 0, x - t ⩵ 0}, {x, y, z, t}]

resuelve

Solve: Equations may not give solutions for all "solve" variables.
{{y → -x, z → -2 x, t → x}}

X = X /. Flatten[s4]
aplana
{x, -x, -2 x, x}

Entonces V1⋂V2={(1,-1,-2,1)}
 EspaciosySubespacios.nb 7

Método de Gauss
◼ Determinante de una Matriz.

Método de Sarrus

A = {{1, -2, 3}, {2, 0, 1}, {2, 5, 1}}

{{1, -2, 3}, {2, 0, 1}, {2, 5, 1}}

MatrixForm[%]
forma de matriz
1 -2 3
2 0 1
2 5 1

Det[A]
determinante
25

As = Join[A, {A[[1]], A[[2]]}]

junta
{{1, -2, 3}, {2, 0, 1}, {2, 5, 1}, {1, -2, 3}, {2, 0, 1}}

MatrixForm[%]
forma de matriz
1 -2 3
2 0 1
2 5 1
1 -2 3
2 0 1

P0 = ConstantArray[0, 6]
arreglo constante
{0, 0, 0, 0, 0, 0}

For[i = 1, i ≤ 3, i++,
para cada
P0[[i]] = As[[i, 1]] * As[[i + 1, 2]] * As[[i + 2, 3]]]

For[i = 1, i ≤ 3, i++,
para cada
P0[[i + 3]] = As[[i + 2, 1]] * As[[i + 1, 2]] * As[[i, 3]]]
8 EspaciosySubespacios.nb

Sum[P0[[i]], {i, 1, 3}] - Sum[P0[[i + 3]], {i, 1, 3}]

suma suma
25

◼ Ampliamos la matriz A

A = {{1, -2, 3}, {2, 0, 1}, {2, 5, 1}}

{{1, -2, 3}, {2, 0, 1}, {2, 5, 1}}

MatrixForm[%]
forma de matriz
1 -2 3
2 0 1
2 5 1

Det[A]
determinante
25

A1 = Transpose[Join[Transpose[A], IdentityMatrix[3]]]
transposición junta transposición matriz identidad
{{1, -2, 3, 1, 0, 0}, {2, 0, 1, 0, 1, 0}, {2, 5, 1, 0, 0, 1}}

MatrixForm[%]
forma de matriz
1 -2 3 1 0 0
2 0 1 0 1 0
2 5 1 0 0 1

◼ Escalonamos la matriz A1hacia abajo

For[i = 1, i ≤ 3, i++,
para cada
For[j = i + 1, j ≤ 3, j++,
para cada
Piv = -A1[[j, i]] / A1[[i, i]];
A1[[j]] = A1[[j]] + Piv * A1[[i]];]]

A1
25 5 9
{1, -2, 3, 1, 0, 0}, {0, 4, -5, -2, 1, 0}, 0, 0, , , - , 1
4 2 4
 EspaciosySubespacios.nb 9

MatrixForm[%]
forma de matriz
1 -2 3 1 0 0
0 4 -5 -2 1 0
0 0 25
4
5
2
- 94 1

◼ Escalonamos la matriz A1 hacia arriba

◼ Dividimos las filas de A1 por sus respectivos elementos de la diagonal

◼ Tomamos la parte derecha, que es la inversa de A

◼ Comprobamos que efectivamente A3.A=I.