INGENIERÍA

ÁLGEBRA
EXAMEN 18/12/2015

1. Dados los conjuntos A, B, C ⊆ U , se pide:

a. Demostrar formalmente la siguiente inclusión mediante inferencia:

(Ac ∪ C c )c ⊆ A ∩ (B ∪ C )
b. Simplificar la expresión:

((( )
Ac ∪ B c ∪ A ∩ ( A ∪ C ) − B ) )
2. Sea la función f : R →] − ∞,3[ , dada por:

f ( x) = 3 − e 4 x
a. Demostrar que f que es biyectiva.
b. Determinar la expresión analítica de la función recíproca f 1 y verificar el
−

resultado mediante el teorema de composición de funciones recíprocas.

3. Resolver las siguientes cuestiones sobre relaciones binarias:

a. Dada la relación binaria G ⊆ R + × R + :

{
G = ( x, y ) ∈ R + × R + | y ≥ x 2 − 2 x + 2 }
Obtener la representación cartesiana, el conjunto original y el conjunto imagen,
la imagen del elemento x = 2 y la imagen recíproca del elemento y = 3 , la
imagen del subconjunto A =]0,1[ y la imagen recíproca del subconjunto
B =]0,1[ .
b. En el conjunto Q de los números racionales se define la relación binaria
reflexiva R ⊆ Q × Q :
3y + k
xR y ⇔ x = (k ∈ Z )
3
Demostrar que R es una relación de equivalencia.

4. Resolver las siguientes cuestiones sobre inducción y álgebra de Boole:

a. Demostrar por inducción la desigualdad 2 n > 2n + 1, para n ≥ 3 .
b. Demostrar que en un álgebra de Boole (B,+,·) se cumple la igualdad:
ab + ab + a ⋅ b = ab
5. Determinar el rango de la matriz M ∈ M5 (R ) :

⎡− 3 0 0 −3 0 ⎤
⎢ 1 −2 −4 −5 −6⎥
⎢ ⎥
M =⎢ 2 1 5 2 0 ⎥
⎢ ⎥
⎢ 3 − 5 − 8 − 14 − 17 ⎥
⎢⎣ − 1 2 3 6 7 ⎥⎦

6. Estudiar la compatibilidad del siguiente sistema lineal parametrizado utilizando el

método de Gauss:
⎧βx
⎪
(1 − 2β) y (
+ β2 − 1 z) =1
⎪ α2 y − 4z = α2 + 1
S:⎨
⎪x − 2y + βz =0
⎪− x
⎩ + 3y (
+ α2 − β − 5 z) = 1−β
1. Dados los conjuntos A, B, C ⊆ U , se pide:
a. Demostrar formalmente la siguiente inclusión mediante inferencia:

(Ac ∪ C c )c ⊆ A ∩ (B ∪ C )
Sea x ∈ U ; se tiene que:

(
x ∈ Ac ∪ C c )c ⇒ x ∉ Ac ∪ C c (Definición de complemento)

⇒ x ∉ Ac ∧ x ∉ C c (Definición de unión)

⇒ x ∈ A ∧ x ∈C (Definición de complemento)

⇒ x∈ A∧ x∈B ∪C (Definición de unión)

⇒ x ∈ A ∩ (B ∪ C) (Definición de intersección)

Es decir, (
x ∈ Ac ∪ C c)c ⇒ x ∈ A ∩ (B ∪ C ) , luego, por definición de
c
subconjunto, se cumple (Ac ∪ C c ) ⊆ A ∩ (B ∪ C ) .

b. Simplificar la expresión:

((( ) ) )
Ac ∪ B c ∪ A ∩ ( A ∪ C ) − B

Ac ∪ (((B c ∪ A)∩ ( A ∪ C ) )− B ) =

= Ac ∪ (((B c ∪ A)∩ ( A ∪ C ) )∩ B c ) (Definición de diferencia)

= Ac ∪ ((B c ∪ A)∩ ( A ∪ C ) ∩ B c ) (Asociativa)

= Ac ∪ (B c ∩ (B c ∪ A)∩ ( A ∪ C ) ) (Conmutativa)

= Ac ∪ (B c ∩ ( A ∪ C ) ) (Absorción)

= (Ac ∪ B c )∩ (Ac ∪ A ∪ C ) (Distributiva)

= (Ac ∪ B c )∩ (U ∪ C ) (Unión de complementos)

= (Ac ∪ B c )∩ U (Identidad U/∪)

= Ac ∪ B c (Identidad U/∩)
2. Sea la función f : R →] − ∞,3[ , dada por:

f ( x) = 3 − e 4 x
a. Demostrar que f que es biyectiva.

Para probar que f es biyectiva hay que demostrar que es inyectiva y sobreyectiva.
• f inyectiva ( ∀x, xʹ ∈ R : f ( x) = f ( xʹ) ⇒ x = x ʹ ):
En efecto, sean x, x ʹ ∈ dom( f ) = R :

f ( x) = f ( x ʹ) ⇒ 3 − e 4 x = 3 − e 4 x ʹ

⇒ −e 4 x = −e 4 x ʹ

⇒ e 4x = e 4xʹ

( ) ( )
⇒ ln e 4 x = ln e 4 x ʹ

⇒ 4 x = 4 xʹ

⇒ x = xʹ
• f sobreyectiva ( imag( f ) =] − ∞,3[ ):
En efecto, sea x ∈ dom( f ) = R :

x ∈R ⇒ x ∈] − ∞,+∞[
⇒ 4 x ∈]4(−∞),4(+∞)[=] − ∞,+∞[

⇒ e 4 x ∈]e −∞ , e +∞ [=]0,+∞[

⇒ −e 4 x ∈] − ∞,0[

⇒ f ( x) = 3 − e 4 x ∈]3 + (−∞),3 + 0[=] − ∞,3[= imag( f )

luego f es inyectiva y sobreyectiva, es decir, biyectiva.

b. Determinar la expresión analítica de la función recíproca f 1 y verificar el

−

resultado mediante el teorema de composición de funciones recíprocas.

• f −1 :] − ∞,3[→ R :
y = f (x)

y = 3 − e4x

e4x = 3 − y

( )
ln e 4 x = ln(3 − y )
 4 x = ln(3 − y )

x = f −1 ( y) = 1 ln(3 − y)
4

• Teorema de composición de funciones recíprocas.

Teniendo en cuenta que f ( x) = 3 − e 4 x , f −1 ( y) = 1 ln(3 − y) , resulta:

4

f −1 ! f : R → R

(
( f −1 ! f ))( x) = f −1 ( f ( x)) = f −1 3 − e 4 x = )
( ( )) ( )
= 1 ln 3 − 3 − e 4 x = 1 ln e 4 x = 1 (4 x) = x
4 4 4

f ! f −1 :] − ∞,3[→] − ∞,3[

(4
( f ! f −1 )( y) = f ( f −1 ( y)) = f 1 ln(3 − y) = )
= 3−e
(
4 14 ln(3 − y ) ) = 3 − eln(3− y) = 3 − (3 − y) = y
3. Resolver las siguientes cuestiones sobre relaciones binarias:
a. Dada la relación binaria G ⊆ R + × R + :

{
G = ( x, y ) ∈ R + × R + | y ≥ x 2 − 2 x + 2 }
Obtener la representación cartesiana, el conjunto original y el conjunto imagen,
la imagen del elemento x = 2 y la imagen recíproca del elemento y = 3 , la
imagen del subconjunto A =]0,1[ y la imagen recíproca del subconjunto
B =]0,1[ .

- Representación cartesiana:

y ≥ x2 − 2 x + 2

y = x 2 − 2 x + 2 ⇒ y − 1 = ( x − 1) 2 (Parábola vertical V(1,1), p = 1)

Y
5

y − 1 = ( x − 1) 2
2
1

O 1 2 3 X

- orig( R) = R + , imag( R ) = [1,+∞[

- R( 2) = [2,+∞[ , R −1(3) =]0,1 + 2 ]

- R(]0,1[) = [1,+∞[ , R −1(]0,1[) = {1}

b. En el conjunto Q de los números racionales se define la relación binaria

reflexiva R ⊆ Q × Q :
3y + k
xR y ⇔ x = (k ∈ Z )
3
Demostrar que R es una relación de equivalencia.
Como la relación es reflexiva por hipótesis, para probar que es una equivalencia basta
con demostrar que también cumple las propiedades simétrica y transitiva.
- R simétrica: (∀x, y ∈ Q : x R y ⇒ y R x)
Sean x, y ∈ Q :
3y + k
xR y ⇒x= (k ∈ Z )
3
 ⇒ 3x = 3 y + k (k ∈ Z )
⇒ −3 y = −3x + k (k ∈ Z )
⇒ 3 y = 3x − k (k ∈ Z )
3x + (−k )
⇒y= (k ∈ Z )
3
3x + k ʹ
⇒y= (k ʹ = −k ∈ Z )
3
⇒ yRx

∴ R simétrica
- R transitiva: (∀x, y, z ∈ Q : x R y ∧ y R z ⇒ x R z )

Sean x, y, z ∈ Q :
3y + k 3z + k ʹ
xR y∧ yRz ⇒ x = ∧y= (k , k ʹ ∈ Z )
3 3
3 y + k 3z + k ʹ
⇒ x+ y = + (k , k ʹ ∈ Z )
3 3
k 3z + k ʹ
⇒ x+ y = y+ + (k , k ʹ ∈ Z )
3 3
k 3z + k ʹ
⇒x= + (k , k ʹ ∈ Z )
3 3
3z + k + k ʹ
⇒x= (k , k ʹ ∈ Z )
3
3z + k ʹʹ
⇒x= (k ʹʹ = k + k ʹ ∈ Z )
3
⇒ xRz

∴ R transitiva
4. Resolver las siguientes cuestiones sobre inducción y álgebra de Boole:
a. Demostrar por inducción la desigualdad 2n > 2n + 1, para n ≥ 3 .
i. Base de la inducción. Para n = 3 la propiedad se cumple, ya que:

23 = 8 > 2(3) + 1 = 7

ii. Paso inductivo. Supuesto que la propiedad sea cierta para n ≥ 3 , entonces
también se debe verificar para n+1:

2n > 2n + 1 ⇒ 2n +1 > 2(n + 1) + 1

En efecto:
H.Ind.
2n +1 = 2 ⋅ 2n > 2(2n + 1) = 4n + 2 = 2n + 2n + 2 =
= 2n + 2 + 2n = 2(n + 1) + 2n > 2(n + 1) + 1

luego la propiedad es cierta, como se quería demostrar.

b. Demostrar que en un álgebra de Boole (B,+,·) se cumple la igualdad:

ab + ab + a ⋅ b = ab
ab + ab + a ⋅ b =
(
= ab + a + a b ) (Distributiva ·/+)

= ab + 1 ⋅ b (Suma de complementos)

= ab + b (Identidad 1/·)
( )( )
= a+b b+b (Distributiva +/·)

= (a + b )⋅ 1 (Suma de complementos)

=a+b (Identidad 1/·)

= ab (Morgan)
5. Determinar el rango de la matriz M ∈ M5 (R ) :

⎡− 3 0 0 −3 0 ⎤
⎢ 1 −2 −4 −5 −6⎥
⎢ ⎥
M =⎢2 1 5 2 0 ⎥
⎢ ⎥
⎢ 3 − 5 − 8 − 14 − 17 ⎥
⎢⎣ − 1 2 3 6 7 ⎥⎦

Forma 1: Método de la matriz escalonada

f =f −f
⎡− 3 0 0 −3 0 ⎤ ⎡1 0 0 1 0 ⎤ f 32 = f 32 − 2 1f1
⎢ 1 −2 −4 −5 −6 ⎥ ⎢ ⎥ f 4 = f 4 − 3 f1
⎥ f1 = 3 f1 ⎢ 1 − 2 − 4 − 5 − 6 ⎥ f 5 = f 5 + f1
−1
⎢
M =⎢ 2 1 5 2 0 ⎥ ~ ⎢2 1 5 2 0 ⎥ ~
⎢ ⎥ ⎢ ⎥
⎢ 3 − 5 − 8 − 14 − 17 ⎥ ⎢ 3 − 5 − 8 − 14 − 17 ⎥
⎢⎣ − 1 2 3 6 7 ⎥⎦ ⎢⎣− 1 2 3 6 7 ⎥⎦

⎡1 0 0 1 0 ⎤ ⎡1 0 0 1 0 ⎤ f3 = f3 +2 f2
⎢0 − 2 − 4 − 6 − 6 ⎥
⎢
⎢0 1
⎥ f2 ↔ f3 ⎢ 5 0 0 ⎥⎥ ff 4 == ff 4 −+25 ff 2
5 5 2
~ ⎢0 1 5 0 0 ⎥ ~ ⎢0 − 2 − 4 − 6 − 6 ⎥ ~
⎢ ⎥ ⎢ ⎥
⎢0 − 5 − 8 − 17 − 17 ⎥ ⎢0 − 5 − 8 − 17 − 17 ⎥
⎢⎣0 2 3 7 7 ⎥⎦ ⎢⎣0 2 3 7 7 ⎥⎦

⎡1 0 0 10 ⎤ ⎡1 0 0 1 0 ⎤
⎢0
⎢ 1 5 0 ⎥ ⎢
0 ⎥ f 3 = 1 f 3 ⎢0 1 5 0 0 ⎥⎥ ff 4 == ff 4 +−17
7 f
f3
6 5 5 3
~ ⎢0 0 6 − 6 − 6 ⎥ ~ ⎢0 0 1 −1 −1 ⎥ ~
⎢ ⎥ ⎢ ⎥
⎢0 0 17 − 17 − 17 ⎥ ⎢0 0 17 − 17 − 17 ⎥
⎢⎣0 0 −7 7 7 ⎥⎦ ⎢⎣0 0 − 7 7 7 ⎥⎦

⎡1 0 0 1 0⎤
⎢0 1 5 0 0 ⎥⎥
⎢
~ ⎢0 0 1 − 1 − 1⎥ ⇒ rg( A) = 3
⎢ ⎥
⎢0 0 0 0 0⎥
⎢⎣0 0 0 0 0 ⎥⎦

Forma 2: Método del determinante

Submatrices de orden 1:
• X = fila 1 columna 1 de A:
X = − 3 = −3 ≠ 0 ⇒ rg( A) ≥ 1
Submatrices de orden 2:
• X' = X + fila 2 columna 2 de A:
−3 0
Xʹ = = 6 − 0 = 6 ≠ 0 ⇒ rg( A) ≥ 2
1 −2

Submatrices de orden 3:
• X'' = X' + fila 3 columna 3 de A:
−3 0 0
X ʹʹ = 1 − 2 − 4 = (30 + 0 + 0) − (0 + 0 + 12) = 18 ≠ 0 ⇒ rg( A) ≥ 3
2 1 5

Submatrices de orden 4:
• X''' = X'' + fila 4 columna 4 de A:
−3 0 0 −3 −3 0 0 0
1 −2 −4 − 5 c 4 = c 4 − c1 1 −2 −4 −6
X ʹʹʹ = = =
2 1 5 2 2 1 5 0
3 − 5 − 8 − 14 3 − 5 − 8 − 17

−2 −4 −6
= ( −3)(−1) 2 1 5 0 = ( −3)((170 + 0 + 48) − (150 + 0 + 68)) = ( −3)(0) = 0
− 5 − 8 − 17
• X''' = X'' + fila 4 columna 5 de A:
−3 0 0 0
1 −2 −4 −6
X ʹʹʹ = =0
2 1 5 0
3 − 5 − 8 − 17
• X''' = X'' + fila 5 columna 4 de A:
−3 0 0 −3 −3 0 0 0
1 −2 −4 − 5 c 4 = c 4 − c1 1 −2 −4 −6
X ʹʹʹ = = =
2 1 5 2 2 1 5 0
−1 2 3 6 −1 2 3 7

−2 −4 −6
= ( −3)(−1) 2 1 5 0 = ( −3)(( −70 + 0 − 18) − ( −60 + 0 − 28)) = ( −3)(0) = 0
2 3 7
• X''' = X'' + fila 5 columna 5 de A:
−3 0 0 0
1 −2 −4 −6
X ʹʹʹ = =0
2 1 5 0
−1 2 3 7
Todas las submatrices de A de orden 4 tienen determinante nulo, por tanto rg( A) = 3 .
6. Estudiar la compatibilidad del siguiente sistema lineal parametrizado utilizando el
método de Gauss:
⎧βx
⎪
(1 − 2β) y ( )
+ β2 − 1 z =1
⎪ α2 y − 4z = α2 + 1
S:⎨
⎪x − 2y + βz =0
⎪− x
⎩ + 3y ( )
+ α2 − β − 5 z = 1−β

Método de Gauss:
⎡ β 1 − 2β β2 − 1 1 ⎤ ⎡1 −2 β 0 ⎤ f = f −βf
3 3 1
⎢ 2 2 ⎥ ⎢
f1 ↔ f 3 0 2 2 ⎥ f 4 = f 4 + f1
⎢ 0 α − 4 α + 1⎥ ~ ⎢ α − 4 α + 1
⎥ ~
2
⎢1 −2 β 0 ⎥ ⎢ β 1 − 2 β β − 1 1 ⎥
⎢ ⎥ ⎢ ⎥
⎣⎢− 1 3 α2 − β − 5 1 − β ⎥⎦ ⎣− 1 3 α2 − β − 5 1 − β ⎦

⎡1 − 2 β 0 ⎤ ⎡1 − 2 β 0 ⎤ f = f − α2 f
3 3 2
⎢0 α 2 −4 2 ⎥ ⎢
α + 1 f2 ↔ f3 0 1 −1 1 ⎥ f4 = f4 − f2
~⎢ ⎥ ~ ⎢ ⎥ ~
⎢0 1 −1 1 ⎥ ⎢0 α 2 −4 α 2 + 1⎥
⎢ 2 ⎥ ⎢ 2 ⎥
⎣0 1 α − 5 1 − β ⎦ ⎣0 1 α − 5 1 − β ⎦
⎡1 − 2 β 0⎤ ⎡1 − 2 β 0 ⎤
⎢0 1 −1 ⎥ f = f −
1 4 4 3 0 1 f ⎢ −1 1 ⎥
~⎢ ⎥ ~ ⎢ ⎥
⎢0 0 α 2 − 4 1 ⎥ ⎢0 0 α 2 − 4 1 ⎥
⎢ 2 ⎥ ⎢ ⎥
⎣0 0 α − 4 − β ⎦ ⎣0 0 0 − β − 1⎦

α2 − 4 = 0 ⇒ α = ±2
− β − 1 = 0 ⇒ β = −1
• Si α = ±2 , β = −1 :

⎡1 − 2 − 1 0⎤
⎢ 0 1 − 1 1⎥
A ~⎢
ʹ ⎥
⎢0 0 0 1⎥
⎢ ⎥
⎣0 0 0 0⎦

rg( A) = 2 ≠ rg( Aʹ) = 3

Sistema Incompatible
• Si α = ±2 , β ≠ −1:

⎡1 − 2 β 0 ⎤ ⎡1 − 2 β 0⎤
⎢0 1 − 1 1 ⎥ f 4 = f 4 + (β +1) f 3 ⎢0 1 −1 1⎥
Aʹ ~ ⎢ ⎥ ~ ⎢ ⎥
⎢0 0 0 1 ⎥ ⎢0 0 0 1⎥
⎢ ⎥ ⎢ ⎥
⎣0 0 0 − β − 1 ≠ 0⎦ ⎣0 0 0 0⎦
 rg( A) = 2 ≠ rg( Aʹ) = 3

Sistema Incompatible
• Si α ≠ ±2 , β = −1 :

⎡1 − 2 −1 0⎤
⎢0 1 −1 1⎥
Aʹ ~ ⎢ ⎥
⎢0 0 α 2 − 4 ≠ 0 1⎥
⎢ ⎥
⎣0 0 0 0⎦

rg( A) = rg( Aʹ) = 3 = n

Sistema Compatible Determinado

• Si α ≠ ±2 , β ≠ −1 :

⎡1 − 2 β 0 ⎤
⎢0 1 −1 1 ⎥
Aʹ ~ ⎢ ⎥
⎢0 0 α 2 − 4 ≠ 0 1 ⎥
⎢ ⎥
⎣0 0 0 − β − 1 ≠ 0⎦

rg( A) = 3 ≠ rg( Aʹ) = 4

Sistema Incompatible
 INGENIERÍA
ÁLGEBRA
EJERCICIOS DE RECUPERACIÓN 18/12/2015

1. Sean las funciones f : R 2 → R y g : R → R 2 , dadas por:

f ( x, y ) = 3x + y ( )
g (t ) = t 2 + t , t 3 + 1
a. Determinar la función compuesta f ! g y probar que es biyectiva.

b. Determinar ( f ! g ) −1 y verificar el resultado mediante el teorema de

composición de funciones recíprocas.

2. Resolver las siguientes cuestiones sobre algebra de Boole, matrices, determinantes y

sistemas lineales:
a. Simplificar la siguiente expresión booleana:
( x + y )( x + z ) + yz + x( x + z )
b. Dadas las matrices cuadradas regulares A, B ∈ Mn (R ) y la matriz rectangular
C ∈ Mm×n (R ) , probar que se cumple la igualdad:
−1
(
CB (B + A)−1 AC T = C A−1 + B −1 C T )
1. Sean las funciones f : R 2 → R y g : R → R 2 , dadas por:

f ( x, y ) = 3x + y ( )
g (t ) = t 2 + t , t 3 + 1
a. Determinar la función compuesta f ! g y probar que es biyectiva.

f ! g :R →R

( ) ( )
( f ! g )(t ) = f ( g (t )) = f t 2 + t, t 3 + 1 = 3 t 2 + t + t 3 + 1 = t 3 + 3t 2 + 3t + 1 = (t + 1)3
Se trata de probar que f ! g es inyectiva y sobreyectiva.
• f ! g inyectiva ( ∀t , t ʹ ∈ R : ( f ! g )(t ) = ( f ! g )(t ʹ) ⇒ t = t ʹ ):
En efecto, sean t , t ʹ ∈ dom( f ! g ) = R :

( f ! g )(t ) = ( f ! g )(t ʹ) ⇒ (t + 1)3 = (tʹ + 1)3

⇒ 3 (t + 1)3 = 3 (t ʹ + 1)3

⇒ t + 1 = tʹ + 1

⇒ t = tʹ
• f ! g sobreyectiva ( imag( f ! g ) = R ):
En efecto, sea t ∈ dom( f ! g ) = R :

t ∈R ⇒ t ∈] − ∞,+∞[
⇒ t + 1 ∈] − ∞ + 1,+∞ + 1[=] − ∞,+∞[

⇒ (t + 1) 3 ∈](−∞) 3 , (+∞) 3 [=] − ∞,+∞[

⇒ ( f ! g )(t ) = (t + 1)3 ∈] − ∞,+∞[= R = imag( f ! g )

luego f ! g es inyectiva y sobreyectiva, es decir, biyectiva.

b. Determinar ( f ! g ) −1 y verificar el resultado mediante el teorema de

composición de funciones recíprocas.
• ( f ! g )−1 : R → R :
y = ( f ! g )(t )

y = (t + 1)3

3 y = 3 (t + 1)3

3 y = t +1

3 y −1 = t
 t = ( f ! g ) −1( y ) = 3 y − 1

• Teorema de composición de funciones recíprocas:

Teniendo en cuenta que ( f ! g )(t ) = (t + 1)3, ( f ! g ) −1( y ) = 3 y − 1, resulta:

( f ! g )−1 ! ( f ! g ) : R → R

( )
(( f ! g )−1 ! ( f ! g ))(t ) = ( f ! g )−1(( f ! g )(t )) = ( f ! g )−1 (t + 1)3 =

= 3 (t + 1)3 − 1 = t + 1 − 1 = t

( f ! g ) ! ( f ! g )−1 : R → R

( )
(( f ! g ) ! ( f ! g ) −1 )( y) = ( f ! g )(( f ! g ) −1 ( y)) = ( f ! g ) 3 y − 1 =
3 3
( ) ( )
= 3 y −1+1 = 3 y = y
2. Resolver las siguientes cuestiones sobre álgebra de Boole, matrices, determinantes y
sistemas lineales:
a. Simplificar la siguiente expresión booleana:
( x + y )( x + z ) + yz + x( x + z )

( x + y )( x + z ) + yz + x( x + z ) =

= ( x + y )( x + z ) + yz + x (Absorción)

= x( x + z ) + y ( x + z ) + yz + x (Distributiva ·/+)

= x + y ( x + z ) + yz + x (Absorción)

= x + y ( x + z ) + yz (Idempotencia)

= x + yx + yz + yz (Distributiva ·/+)

= x + yz + yz (Absorción)
= x +1 (Suma de complementos)
=1 (Identidad 1/+)

b. Dadas las matrices cuadradas regulares A, B ∈ Mn (R ) y la matriz rectangular

C ∈ Mm×n (R ) , probar que se cumple la igualdad:
−1
(
CB (B + A)−1 AC T = C A−1 + B −1 C T)
−1
CB(B + A)−1 AC T = C ((B + A)B −1 ) AC T Inversa de un producto
−1
= C (BB −1 + AB −1 ) AC T Distributiva
−1
= C (I n + AB −1 ) AC T Producto de inversas
−1
= C (A−1 (I n + AB −1 )) C T Inversa de un producto
−1
= C (A−1 + A−1 AB −1 ) C T Distributiva
−1
= C (A−1 + I n B −1 ) C T Producto de inversas
−1
= C (A−1 + B −1 ) C T Matriz unidad