Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicio 17
17.1)
Entre las dimensiones de los subespacios fundamentales de una matriz existe una relación
importante, que está dada por el siguiente teorema:
a) El espacio de las filas y el espacio de las columnas de una matriz, tienen la misma
dimensión.
b) El espacio nulo de una matriz de orden: n x m , tiene dimensión: m − r , siendo r la
dimensión del espacio de las filas de dicha matriz.
c) El espacio nulo izquierdo de una matriz de orden n x m , tiene dimensión: n − r , siendo r la
dimensión del espacio de las filas de dicha matriz.
17.2)
Otras características importantes de estos espacios fundamentales, son las condiciones de
ortogonalidad, que se verifican entre ellos. Las mismas están enunciadas por el siguiente teorema:
nxm m
a) El espacio nulo de A∈ R , es el complemento ortogonal de su espacio fila en: R .
nxm
b) El espacio nulo izquierdo de A∈ R , es el complemento ortogonal de su espacio columna
n
de: R .
1
− 2 − 5 8 0 − 17
1 3 −5 1 5
17.1) Hallar los cuatro espacios fundamentales de la matriz A = dando
3 11 − 19 7 1
1 7 − 13 5 − 3
una base para cada uno de ellos y sus respectivas dimensiones.
Resolución:
Nul (A) : A . X = O ∧ A ∈ R
4 x5 5 x1 5
∧ X ∈R ∧ S ⊂R
Nul ( A )
− 2 −5 8 0 − 17 0 − 2 − 5 8 0 − 17 0 − 2 − 5 8 0 − 17 0
1 3 −5 5 0 3 −5 F3 − 2 F1 1 3 −5 1
≈
1 1 1 5 0 5 0
3 11 − 19 ≈ ≈
7 1 0 − 4 − 10 16 0 − 34 0 F4 − 2 F1 0 0 0 0 0 0
1 7 − 13 5 − 3 0 − 4 − 8 12 0 − 28 0 0 2 − 4 0 6 0
− 2 − 5 8 0 − 17 0 − 2 0 − 2 0 − 2 0 1 0 1 0 1 0
1 3 −5 1 5 0 1 1 − 4 0 1 0 1 1 −4
≈ ≈ − F1
1 1 0 1 0
≈ F4 ≈
2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0
0 1 −2 0 − 2 0 3 0 0
3 0 0 1 0 1 − 2 0 3
1 0 1 0 1 0 x + x3 + x5 = 0 x = − x − x
1 1 3 5
0 0 1 − 5 0
→ → x 4 = 5 x5
0
≈ 0 x 4 − 5 x5 = 0
0 0 0 0 0
0 1 − 2 0 3 0 x 2 − 2 x3 + 3 x5 = 0 x 2 = 2 x3 − 3 x 5
= (x1 ; x 2 ; x 3 ; x 4 ; x 5 )∈ R / ( x1 ; x 2 ; x 3 ; x 4 ; x 5 ) = λ (− 1; 2 ; 1 ; 0 ; 0) + µ (− 1; − 3 ; 0 ; 5 ; 1) ∧ ∀ λ ∈ R ∧ ∀ µ ∈ R
5
S Nul ( A )
dim [Nul ( A)] = 2
Fil ( A) : A . Y = X ∧ A ∈ R
T T 5x4 4 x1 5 x1 5
∧ Y ∈R ∧ X ∈R ∧ S ⊂ R
Fil ( A )
−2 1 3 1 x1 −2 0 −4 −4 x1 − x 4
−5 3 11 7 x2 −5 0 − 10 −8 x2 − 3x4
8 − 5 − 19 − 13 x3 ≈ 8 0 16 12 x3 + 5 x 4 ≈
0 1 7 5 x4 0 1 7 5 x4
− 17 5 1 −3 x5 − 17 0 − 34 − 28 x 5 − 5 x 4
−2 0 −4 −4 x1 − x 4 0 0 0 4 − 5 x1 + 2 x2 − x4
1 0 2 4 − 3x1 + x2 1 0 2 4 − 3 x1 + x2
≈ F2 − 3F1 8 0 16 12 x3 + 5 x 4 ≈ 0 0 0 − 20 24 x1 − 8 x2 + x3 + 5 x4
0 1 7 5 x4 0 1 7 5 x4
− 17 0 − 34 − 28 x5 − 5 x 4 0 0 0 40 − 51x1 + 17 x2 − 5 x4 + x5
0 0 0 4 − 5 x1 + 2 x 2 − x4
1 0 2 4 − 3x1 + x 2
F3 + 5F1 − x + 2 x + x =0
≈ 0 0 0 0 − x1 + 2 x2 + x3 → 1 2 3 →
F5 − 10 F1 − x1 − 3x 2 + 5 x 4 + x5 = 0
0 1 7 5 x4
0 0 0 0 − x − 3x + 5 x + x
1 2 4 5
2
x
3 = x1 − 2 x2
→
x5 = x1 + 3x2 − 5 x4
B
Nul A
{
= u1 = (−1;2;1;0;0) , u 2 = (−1;−3;0;5;1) }
B
Fil A
{
= u3 = (1;0;1;0;1) , u 4 = (0;1;−2;0;3) , u5 = (0;0;0;1;−5) }
Teoremas:
∧ dim[Fil ( A)] = 3 = r ∧ dim[Nul (A)] = 5 − 3 = 2 = m − r
4 x5
17.1) a) A∈ R
< u1 ; u 3 > = 0 ∧ < u1 ; u 4 > = 0 ∧ < u1 ; u 5 > = 0
17.3) a)
< u 2 ; u3 > = 0 ∧ < u2 ; u4 > = 0 ∧ < u 2 ; u5 > = 0
A . X = Y ∧ A ∈ R 4 x5 ∧ Y ∈ R 4 x1 ∧ X ∈ R 5 x1 ∧ S ⊂ R4
Col ( A) : Col ( A )
Col ( A) = Fil A T ( ) ∧ ( )
Col A T = Fil ( A)
− 2 − 5 8 0 − 17 y1
1 3 −5 1 5 y2
α1 . + α 2 . + α 3 . + α . + α . =
− 19 1 y3
4 5
3 11 7
1 7 − 13 5 −3 y
4
− 2 −5 8 0 − 17 y1 − 2 −5 8 0 − 17 y1
1 3 −5 1 5 y2 1 3 −5 1 5 y2
3 11 − 19 ≈ ≈
7 1 y3 − 4 − 10 16 0 − 34 y3 − 7 y 2
1 7 − 13 5 −3 y 4 − 4 − 8 12 0 − 28 y 4 − 5 y 2
− 2 −5 8 0 − 17 y1
F3 − 2 F2 1 3 −5 1 5 y2
0 → y 3 − 7 y 2 − 2 y1 = 0 ∧ ∀ y4 ∈ R
F4 − 2 F2 0 0 0 0 y 3 − 7 y 2 − 2 y1
0 2 −4 0 6 y 4 − 5 y 2 − 2 y1
y 3 = 2 y1 + 7 y 2 ∧ ∀ y4 ∈ R
S Col (A) = {(y1; y2 ; y3; y4 )∈R4 / (y1; y2 ; y3; y4 ) =α .(1;0;2;0)+ β .(0;1;7;0)+ δ .(0;0;0;1) ∧ ∀α ∈R ∧ ∀ β ∈R ∧ ∀δ ∈R}
{
B = v1 = (1;0;2;0) , v2 = (0;1;7;0), v3 = (0;0;0;1)
Col A
}
dim[Col ( A)] = 3 < 4 = n
3
NulI ( A) : AT . Y = O ∧ AT ∈ R 5 x 4 ∧ Y ∈ R 4 x1 ∧ O ∈ R 5 x1 ∧ NulI ( A) ⊂ R 4
−2 1 3 1 0 −2 0 −4 0 −4 −2 0 −4 0−4
− 5 3 11 7 0 −5 0 − 10 0 −8 1 0 2 04
8 F3 − 3 F1
− 5 − 19 − 13 0 ≈ 8
0 16 0 ≈
12 0 0 0 − 4 0 ≈
F3 + 4 F1
0 1 7 5 0 0 1 7 5 0 0 1 7 5 0
− 17 5 1 −3 0 − 17 0 − 34 − 28 0 − 17 0 − 34 − 28 0
0 0 0 4 0 0 0 0 1 0 0 0 0 1 0
1 0 2 4 0 1 0 2 4 0 1 0 2 0 0 y4 = 0
0
≈ 0 0 − 4 0 ≈ 0 0
0 1 0 ≈ 0 0
0 0 0 → y1 + 2 y 3 = 0 → y1 = − 2 y 3
0 1 7 5 0 0 1 7 5 0 0 1 7 0 0 y + 7y = 0 → y = −7y
2 3 2 3
0 0 0 40 0 0 0 0 1 0 0 0 0 0 0
Teoremas:
17.1) a) dim [Fil (A)] = 3 = dim[Col ( A)]
c) dim[NulI ( A)] = 1 = 4 − 3 = dim(R 4 ) − dim[Fil ( A)] = n − r
17.3) b) < v1 ; v 4 > = 0 ∧ < v2 ; v4 > = 0 ∧ < v3 ; v4 > = 0
17.2) Hallar los espacios fundamentales y verificar lo señalado por el teorema anterior (recordar el
1 2 3
resumen del inicio 17.1) para la matriz B = . ¿Qué interpretación geométrica se puede
1 2 3
hacer de los resultados obtenidos?
Resolución:
Nul (B ) : B . X = O ∧ B ∈ R 2 x 3 ∧ X ∈ R 3 x1 ∧ S Nul ( B )
⊂ R3
1 2 3 0 1 2 3 0
≈ → x + 2 y + 3z = 0 → x = − 2 y − 3z
1 2 3 0 0 0 0 0
S Nul ( B )
{
= ( x ; y ; z ) ∈ R 3 / (x ; y ; z ) = α . (− 2 ; 1; 0) + β . (− 3 ; 0 ; 1) ∧ ∀ α ∈ R ∧ ∀ β ∈ R }
dim [Nul (B )] = 2
B
Nul B
{
= u1 = (− 2 ;1; 0) , u 2 = (− 3; 0 ;1) }
Interpretación geométrica de Nul (B ) : plano “ π ” que pasa por el origen de coordenadas.
Fil (B ) : B T . Y = X ∧ B T ∈ R 3 x 2 ∧ Y ∈ R 2 x1 ∧ X ∈ R 3 x1 ∧ S Fil ( B )
⊂ R3
1 1 x1 1 1 x1
x 2 − 2 x1 = 0 → x 2 = 2 x1
2 2 x2 ≈ 0 0 x 2 − 2 x1 →
3 3 x 3 0 0 x 3 − 3 x1 x 3 − 3 x1 = 0 → x 3 = 3 x1
4
S Fil (B ) = {(x1 ; x2 ; x3 )∈ R3 / (x1 ; x2 ; x3 ) = α (1;2;3) ∧ ∀α ∈ R}
B
Fil B
{
= u3 = (1;2;3) }
dim[Fil (B )] = 1 ∧ dim[Nul (B )] + dim[Fil (B )] = 2 + 1 = 3 = dim R 3 = m ( )
Interpretación geométrica de Fil (B ) : recta “ r ” que pasa por el origen de coordenadas, r ⊂ R 3 y es
perpendicular (ortogonal) al plano “ π ”.
Teoremas:
17.1) a) B ∈ R 2 x3 ∧ dim[Fil (B )] = 1 = r ∧ dim[Nul (B )] = 3 −1 = 2 = m − r
17.3) a) < u1 ; u3 > = 0 ∧ < u 2 ; u3 > = 0
B.X = Y ∧ B ∈ R 2 x 3 ∧ Y ∈ R 2 x1 ∧ X ∈ R 3 x1 ∧ S ⊂ R2
Col (B ) : Col ( B )
Col (B ) = Fil B T( ) ∧ ( )
Col B T = Fil (B )
1 2 3 y
α 1 . + α 2 . + α 3 . = 1
1 2 3 y 2
1 2 3 y1 1 2 3 y1
≈ → y 2 − y1 = 0 → y 2 = y1
1 2 3 y 2 0 0 0 y 2 − y1
NulI (B ) : B T . Y = O ∧ B T ∈ R 3 x 2 ∧ Y ∈ R 2 x1 ∧ O ∈ R 3 x1 ∧ NulI (B ) ⊂ R 2
1 1 0 1 1 0
2 2 0 ≈ 0 0 0 → x + y =0 → x = −y
3 3 0 0 0 0
5
Teoremas:
17.1) a) dim [Fil (B )] = 1 = dim[Col (B )]
c) dim[NulI (B )] = 1 = 2 − 1 = dim (R 2 ) − dim[Fil (B )] = n − r
17.3) b) < v1 ; v 2 > = 0
0 3 3 3 1
17.3) Hacer lo mismo para las matrices C = 0 0 0 0 y D = 4 .
0 1 0 1 5
Resolución:
Para C :
Nul (C ) : C . X = O ∧ C ∈ R 3 x 4 ∧ X ∈ R 4 x1 ∧ S Nul (C )
⊂ R4
0 3 3 3 0 0 0 3 0 0 0 0 1 0 0
x3 = 0
0 0 0 0 0 ≈ 0 0 0 0 0 ≈ 0 0 0 0 0 → ∧ ∀ x1 ∈ R
0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 x2 = − x4
S Nul (C )
{
= ( x1 ; x 2 ; x 3 ; x 4 ) ∈ R 4 / ( x1 ; x 2 ; x 3 ; x 4 ) = α . (1; 0 ; 0 ; 0) + β . (0 ; − 1; 0 ; 0 ) ∧ ∀ α ∈ R ∧ ∀ β ∈ R }
dim [Nul (C )] = 2
{
B Nul (c ) = u1 = (1; 0 ; 0 ; 0) , u2 = (0; − 1;1; 0) }
Fil (C ) : C T . Y = X ∧ C T ∈ R 4 x 3 ∧ Y ∈ R 3 x1 ∧ X ∈ R 4 x1 ∧ S Fil (C )
⊂ R4
0 0 0 x1 0 0 0 x1 0 0 0 x1 0
0 0 x1
3 0 1 x2 3 0 1 x2 3 0 1 x2 0 0 1 x 2 − x3 x1 = 0 x1 = 0
3 ≈ ≈ ≈ → →
x3 3 0 x3 1
1 1
0 0
0
0 0 x3 1 0 0 x3 x4 − x2 = 0 x4 = x2
3 3 3
0 1 x 4 0 0 0 x 4 − x 2 0 0 0
x4 − x2 0 0 0 x4 − x2
C.X = Y ∧ C ∈ R 3 x 4 ∧ Y ∈ R 3 x1 ∧ X ∈ R 4 x1 ∧ S ⊂ R3
Col (C ) : Col (C )
( )
Col (C ) = Fil C T ∧ ( )
Col C T = Fil (C )
6
0 3 3 3 y1
α1 . 0 + α 2 . 0 + α 3 . 0 + α 4 . 0 = y2
0 1 0 1 y
3
1
0 3 3 3 y1 0 0 3 0 y1 − 3 y 3 0 0 1 0 y1 − y 3
2
0 0 0 0 y2 ≈ 0 0 0 0 y2 ≈ 0 0 0 0 y2 → y2 = 0
0 1 0 1 y 3 0 1 0 1 y 3 0 1 0 1 y3
NulI (C ) : C T . Y = O ∧ C T ∈ R 4 x 3 ∧ Y ∈ R 3 x1 ∧ O ∈ R 4 x1 ∧ NulI (B ) ⊂ R 3
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3 0 1 0 3 0 1 0 3 0 1 0 0 0 1 0 y3 = 0
3 ≈ ≈ ≈ → ∧ ∀ y2 ∈ R
0 0 0 3 0 0 0 1 0 0 0 1 0 0 0 y1 = 0
3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Teoremas:
17.1) a) dim [Fil (C )] = 2 = dim[Col (C )]
c) dim[NulI (C )] = 1 = 3 − 2 = dim (R 3 ) − dim[Fil (C )] = n − r
17.3) b) < v1 ; v 3 > = 0 ∧ < v 2 : v 3 > = 0
Para D :
1 0 1 0
4 0 ≈ 0 0 → {x =0
5 0 0 0
S = {x ∈ R / x = 0}
Nul ( D )
dim [Nul (D )] = 0
(1 4 5 x) → Fil (D ) ≡ R
7
Teoremas:
17.1) a) D ∈ R 3 x1 ∧ dim[Fil (D )] = 1 = r ∧ dim[Nul (D )] = 1 −1 = 0 = m − r
17.3) a) < 0 ;1 > = 0
D . X = Y ∧ D ∈ R 3 x1 ∧ Y ∈ R 3 x1 ∧ X ∈ R1 x1 ∧ S ⊂ R3
Col (D ) : Col (CD )
( )
Col (D ) = Fil D T ∧ ( )
Col D T = Fil (D )
1 y1 y1 = α
4 y2 → y 2 = 4α
5 y 3 y = 5α
3
(1 4 5 0) → y1 + 4 y 2 + 5 y 3 = 0 → y1 = − 4 y 2 − 5 y 3
Teoremas:
17.1) a) dim [Fil (D )] = 1 = dim[Col (D )]
c) dim[NulI (D )] = 2 = 3 − 1 = dim(R 3 ) − dim[Fil (D )] = n − r
17.3) b) < v1 ; v 2 > = 0 ∧ < v1 : v 3 > = 0
17.4) Demostrar que cada vector en el espacio de las columnas de A proviene de uno y sólo un
vector x i en el espacio de las filas de A . (Sugerencia: plantear la existencia de dos vectores en
el espacio fila que tienen la misma imagen en el espacio de las columnas y luego multiplicar la
matriz A por la diferencia entre dichos vectores del espacio fila).
Demostración:
Suponemos que: X 1 ≠ X 2
AT . Y = X 1
→ A T . (Y − Y ) = X 1 − X 2 → AT . O = X 1 − X 2 → O = X1 − X 2
AT . Y = X 2
→ A . O = A . (X 1 − X 2 ) → O = A . X1 − A . X 2 → A . X1 = A . X 2
8
17.5) Verificar la relación de ortogonalidad entre los espacios fundamentales para las matrices de los
ejercicios 17.1) y 17.2).
1
1
17.6) En el ejercicio 17.1) descomponer el vector: x = 1 en una componente sobre el espacio nulo
1
1
de A y otra sobre el espacio Fil ( A) . ¿En cuál vector de R 4 se transforma? Identificar lo que se
realizó en el esquema gráfico anterior de los subespacios.
Resolución:
1 0 0 − 1 − 1 1
0
1
0 2 − 3 1
x = xi + xn = β 1 . 1 + β 2 . − 2 + β 3 . 0 + α 1 . 1 + α 2
. 0 = 1
0 0 1 0 5 1
1 3 − 5 0 1 1
1 0 0 − 1 − 1 1 1 0 0 −1 −1 1 1 0 0 −1 −1 1 1 0 0 −1 −1 1
0 1 0 2 − 3 1 0 1 0 2 − 3 1 0 1 0 2 − 3 1 0 1 0 2 − 3 1
1 − 2 0 1 0 1 ≈ 1 − 2 0 1 0 1 ≈ 0 − 2 0 2 1 0 ≈ 0 0 0 6 − 5 2 ≈
0 0 1 0 5 1 0 0 1 0 5 1 0 0 1 0 5 1 0 0 1 0 5 1
1 3 − 5 0 1 1 1 3 0 0 26 6 0 3 0 1 27 5 0 0 0 − 5 36 2
1 0 0 −1 −1 1 1 0 0 0 30 5 1 0 0 0 30 5
2 − 3 1 − 65 − 7 0 1 0 0 − 65 −7
0 1 0 0 1 0 0
0 1 4 ≈
≈ F3 + F5 0 0 1 31 4 ≈ 0 0
0 1 31 4 ≈ F5 0 0 0 1 31
191 0 0
0 0 1 0 5 1 0 0 1 0 5 1 1 0 5 1
22
0 0 0 − 5 36 2 0 0 0 0 191 22 0 0 0 0 1
191
295
1 0 0 0 0
245
β 1 =
191
191
93
β 2
93 =
0 1 0 0 0 − 191
191
≈ 0
82 82
0 0 1 0
→ α 1 =
191 191
0 0 1 0 0
81 81
191 β 3 =
191
22
0 0 0 0 1 22
191 α 2 =
191
9
295
191
1 0 0 93
191
0 1 0
295 93 81 109
xi = 1 + −2 + 0 =
191 191 191 191
0 0 1 81
1 3 − 5 191
169
191
104
−
191
− 1 − 1 98
191
2 − 3
82 22 82
xn = 1 + 0 =
191 191 191
0 5 110
0 1 191
22
191
295 104
−
191 191
93 98 1
191 191 1
= + 82 = 1
109
x = xi + xn 191
191
81 110 1
191 191 1
169 22
191 191
295 104
−
191 191
93 98
− 2 −5 8 0 − 17 − 16 − 2 − 5 8 0 − 17 0
191 191
1 3 −5 1 5 109 = 5 1 3 −5 1 5 82 = 0
A . xi = . ∧ A . xn = .
3 11 − 19 7 1 191 3 3 11 − 19 7 1 191 0
110
1 7 − 13 5 − 3 81 1 5 − 3
−3 7 − 13 0
191 191
169 22
191 191
− 16
5
3 ∈R .
4
El vector “ x ”, se transforma en el vector:
−3
Los subespacios Fil ( A) y Nul ( A) son ortogonales entre sí. Al vector “ x ∈ R 5 ”, lo escribimos como
suma de dos vectores: x i ∈ Fil ( A) y x n ∈ Nul ( A) . Los subespacios: Col ( A) y NulI ( A) , también son
ortogonales entre sí. El transformado de x i ∈ Col ( A) y el transformado de x n ∈ NulI ( A) , es decir que el
transformado de x n es el vector nulo de R 4 .
10