PARTE 1 :

aL

a-b 0 a-b
A= a-b 2*a 2*a-b-1
a-b 0 2*a-b-1
88a - b, 0, a - b<, 8a - b, 2 a, - 1 + 2 a - b<, 8a - b, 0, - 1 + 2 a - b<<

Det@AD

I- 2 a + 2 a2 M Ha - bL

Para calcular el rango de la matriz A, a partir de los parámetros a y b,

utilizamos la funcion minors, para que no muestre todas las posibilidades
de éstos. Entonces las igualamos a cero para saber sus soluciones y

Menores de orden 3 :

Minors @A, 3D

99- 2 a2 + 2 a3 + 2 a b - 2 a2 b==
SolveA9- 2 a2 + 2 a3 + 2 a b - 2 a2 b Š 0=, 8a, b<E

99- 2 a2 + 2 a3 + 2 a b - 2 a2 b==

88a ® 0<, 8a ® 1<, 8b ® a<<

Menores de orden 2 :

Minors@A, 2D

992 a2 - 2 a b, - a + a2 + b - a b, - 2 a2 + 2 a b=,
90, - a + a2 + b - a b, 0=, 9- 2 a2 + 2 a b, 0, - 2 a + 4 a2 - 2 a b==

SolveA92 a2 - 2 a b Š 0, - a + a2 + b - a b Š 0, - 2 a2 + 2 a b Š 0=, 8a, b<E

88b ® a<<

SolveA90 Š 0, - a + a2 + b - a b Š 0, 0 Š 0=, 8a, b<E

88a ® 1<, 8b ® a<<

SolveA9- 2 a2 + 2 a b Š 0, 0 Š 0, - 2 a + 4 a2 - 2 a b Š 0=, 8a, b<E

88a ® 0<, 8a ® 1, b ® 1<<
2 Trabajo completo.nb

Solución :
Si a = 1, rango de A =
2 porque el determinante de A = 0 y hay un menor de orden dos que no se anula.
Si a = 0, rango de A = 2 porque el determinante de A =
0 y hay un menor de orden dos que no se anula.
Si a = b, rango de A = 1 porque el determinante de A = 0 y todos los
posibles determinantes de los menores de orden dos también se anulan.
Si a ¹ 0, a ¹ 1 y b ¹ a, el rango de A = 3 porque serán
valores que no anularán nunca el determinante de A.

bL

a-b 0 a-b a-b

M= a-b 2*a 2*a-b-1 3*a-b
a-b 0 2*a-b-1 a-b
88a - b, 0, a - b, a - b<, 8a - b, 2 a, - 1 + 2 a - b, 3 a - b<, 8a - b, 0, - 1 + 2 a - b, a - b<<

Minors@M, 3D

99- 2 a2 + 2 a3 + 2 a b - 2 a2 b, 0, 2 a2 - 2 a3 - 2 a b + 2 a2 b, - 2 a2 + 2 a3 + 2 a b - 2 a2 b==

SolveA9- 2 a2 + 2 a3 + 2 a b - 2 a2 b Š 0, 0 Š 0,
2 a2 - 2 a3 - 2 a b + 2 a2 b Š 0, - 2 a2 + 2 a3 + 2 a b - 2 a2 b Š 0=, 8a, b<E

Solve::svars : Equations may not give solutions for all "solve" variables. ‡

88a ® 0<, 8a ® 1<, 8b ® a<<

Minors @M, 2D

992 a2 - 2 a b, - a + a2 + b - a b, 2 a2 - 2 a b, - 2 a2 + 2 a b, - 2 a2 + 2 a b, a + a2 - b - a b=,
90, - a + a2 + b - a b, 0, 0, 0, a - a2 - b + a b=,
9- 2 a2 + 2 a b, 0, - 2 a2 + 2 a b, - 2 a + 4 a2 - 2 a b, 2 a2 - 2 a b, 2 a - 4 a2 + 2 a b==

SolveA92 a2 - 2 a b Š 0, - a + a2 + b - a b Š 0, 2 a2 - 2 a b Š 0,
- 2 a2 + 2 a b Š 0, - 2 a2 + 2 a b Š 0, a + a2 - b - a b Š 0=, 8a, b<E

Solve::svars : Equations may not give solutions for all "solve" variables. ‡

88b ® a<<

SolveA90 Š 0, - a + a2 + b - a b Š 0, 0 Š 0, 0 Š 0, 0 Š 0, a - a2 - b + a b Š 0=, 8a, b<E

Solve::svars : Equations may not give solutions for all "solve" variables. ‡

88a ® 1<, 8b ® a<<

SolveA9- 2 a2 + 2 a b Š 0, 0 Š 0, - 2 a2 + 2 a b Š 0,
- 2 a + 4 a2 - 2 a b Š 0, 2 a2 - 2 a b Š 0, 2 a - 4 a2 + 2 a b Š 0=, 8a, b<E

Solve::svars : Equations may not give solutions for all "solve" variables. ‡

88a ® 0<, 8a ® 1, b ® 1<<

Solución :
 Trabajo completo.nb 3

Si a = 1, rango de M =
2 porque hay un menor de orden 3 nulo y al menos un menor de orden 2 que no se anula.
Si a = 0, rango de M =
2 porque hay un menor de orden 3 nulo y al menos un menor de orden 2 que no se anula.
Si a = b, rango de M =
1 porque hay un menor de orden 3 nulo y al menos un menor de orden 2 que no se anula.
Si a ¹ 0, a ¹ 1 y b ¹ a, el rango de M = 3 porque serán valores que no
anularán nunca un menor de orden 3 Hni lógicamente un menor de orden 2L.

Para discutir el sistema A * X = B :

El sistema A * X =
B es compatible determinado cuando rango HAL = rango HML = nº incógnitas = 3.
El sistema A * X =
B es compatible indeterminado cuando rango HAL = rango HML < nº incógnitas.
El sistema A * X = B es incompatible cuando rango HAL ¹ rango HML.

Si a = 1, el sistema es compatible indeterminado.

Si a = 0, el sistema es compatible indeterminado.
Si a = b el sistema es compatible indeterminado.

Si a ¹ 0, a ¹ 1 y b ¹ a, el sistema es compatible determinado

cL

a-b 0 a-b
A= a-b 2*a 2*a-b-1
a-b 0 2*a-b-1
88a - b, 0, a - b<, 8a - b, 2 a, - 1 + 2 a - b<, 8a - b, 0, - 1 + 2 a - b<<

Inverse@AD

:: >,
- 2 a + 4 a2 - 2 a b - 2 a2 + 2 a b
, 0,
- 2 a2 + 2 a3 + 2 a b - 2 a2 b - 2 a2 + 2 a3 + 2 a b - 2 a2 b

:0, >,
- a + a2 + b - a b a - a2 - b + a b
,
- 2 a2 + 2 a3 + 2 a b - 2 a2 b - 2 a2 + 2 a3 + 2 a b - 2 a2 b

: >>
- 2 a2 + 2 a b 2 a2 - 2 a b
, 0,
- 2 a2 + 2 a3 + 2 a b - 2 a2 b - 2 a2 + 2 a3 + 2 a b - 2 a2 b

MatrixForm@Inverse@ADD
-2 a+4 a2 -2 a b -2 a2 +2 a b
0
-2 a2 +2 a3 +2 a b-2 a2 b -2 a2 +2 a3 +2 a b-2 a2 b
-a+a2 +b-a b a-a2 -b+a b
0
-2 a2 +2 a3 +2 a b-2 a2 b -2 a2 +2 a3 +2 a b-2 a2 b
-2 a2 +2 a b 2 a2 -2 a b
0
-2 a2 +2 a3 +2 a b-2 a2 b -2 a2 +2 a3 +2 a b-2 a2 b

a-b
B= 3*a-b
a-b
88a - b<, 83 a - b<, 8a - b<<
4 Trabajo completo.nb

Inverse @AD.B
Ha - bL I- 2 a + 4 a2 - 2 a bM
::
- 2 a2 + 2 a3 + 2 a b - 2 a2 b
H3 a - bL I- a + a2 + b - a bM
: +
- 2 a2 + 2 a3 + 2 a b - 2 a2 b
Ha - bL I2 a2 - 2 a bM
: +
- 2 a2 + 2 a3 + 2 a b - 2 a2 b
Ha - bL I- 2 a2 + 2 a bM
+ >,
- 2 a2 + 2 a3 + 2 a b - 2 a2 b
Ha - bL Ia - a2 - b + a bM
>,
- 2 a2 + 2 a3 + 2 a b - 2 a2 b
Ha - bL I- 2 a2 + 2 a bM
>>
- 2 a2 + 2 a3 + 2 a b - 2 a2 b

MatrixForm@Inverse@AD.BD

Ha-bL I-2 a+4 a2 -2 a bM Ha-bL I-2 a2 +2 a bM

+
-2 a2 +2 a3 +2 a b-2 a2 b -2 a2 +2 a3 +2 a b-2 a2 b
H3 a-bL I-a+a2 +b-a bM Ha-bL Ia-a2 -b+a bM
+ = Solución
-2 a2 +2 a3 +2 a b-2 a2 b -2 a2 +2 a3 +2 a b-2 a2 b
Ha-bL I2 a2 -2 a bM Ha-bL I-2 a2 +2 a bM
+
-2 a2 +2 a3 +2 a b-2 a2 b -2 a2 +2 a3 +2 a b-2 a2 b

PARTE 2 :

aL La aplicacion lineal f, asociada a la matriz A,

no es automorfismo siempre y cuando no tenga inversa,
es decir, que su determinante sea siempre nulo,
por lo tanto, igualamos su determinante a cero.

a-b 0 a-b
A= a-b 2*a 2*a-b-1
a-b 0 2*a-b-1
88a - b, 0, a - b<, 8a - b, 2 a, - 1 + 2 a - b<, 8a - b, 0, - 1 + 2 a - b<<

Det@AD

I- 2 a + 2 a2 M Ha - bL

SolveA9- 2 a + 2 a2 Š 0, a - b Š 0=, 8a, b<E

88a ® 0, b ® 0<, 8a ® 1, b ® 1<<

Así, cuando el valor de los parámetros sea el dado anteriormente,

el determinante será cero y la aplicacion asociada a la matriz A,
no será automorfimos.
En resumen, no sera automorfismo, cuando a = b = 0, ó a = b = 1.

Para calcular la dimensión de la antiimagen de f :

f ^ - 1 8Ha - bL v1 + H3 * a - bL v2 + Ha - bL v3< = E

dim HEL = dim HVL - rango HAL. Nota : rango HAL = dim HIm HfLL

Con esto, podemos calcular directamente la dimensión, puesto que la

dimension de V la conocemos gracias a la base dada HB = 8v1, v2 , v3<L y es 3.

Para rango HAL = 1 :

dim HEL = 3 - 1 = 2

Para rango HAL = 2 :

dim HEL = 3 - 2 = 1
 Trabajo completo.nb 5

Para rango HAL = 3 :

dim HEL = 3 - 3 = 0

Ecuación vectorial :

Ha - bL I- 2 a + 4 a2 - 2 a bM Ha - bL I- 2 a2 + 2 a bM
Hx, y, zL = t + ,
- 2 a2 + 2 a3 + 2 a b - 2 a2 b - 2 a2 + 2 a3 + 2 a b - 2 a2 b
H3 a - bL I- a + a2 + b - a bM Ha - bL Ia - a2 - b + a bM
+ ,
- 2 a2 + 2 a3 + 2 a b - 2 a2 b - 2 a2 + 2 a3 + 2 a b - 2 a2 b
Ha - bL I2 a2 - 2 a bM Ha - bL I- 2 a2 + 2 a bM
+
- 2 a2 + 2 a3 + 2 a b - 2 a2 b - 2 a2 + 2 a3 + 2 a b - 2 a2 b

Para la dirección de E cuando dim HEL =

2 -- > Ha = bL. HPor esto : dim HEL = dim HVL - rango HALL.

Clear@AD

Clear@BD

0 0 0
A= 0 2*a a-1
0 0 a-1
880, 0, 0<, 80, 2 a, - 1 + a<, 80, 0, - 1 + a<<

0
B= 2*a
0
880<, 82 a<, 80<<

x
X= y
z

A.X = B

0 0 0 x 0
0 2*a a-1 . y = 2*a
0 0 a-1 z 0

Donde se obtienen las ecuaciones implicitas :

x=z=0
y=1
6 Trabajo completo.nb

Su ecuación paramétrica es :
Hx, y, zL = H0, 0, 0L + a H0, 1, 0L + b H0, 0, 0L

Así, obtenemos la dirección del subespacio de la variedad vectorial :

U = 8H0, 1, 0L<
Para dar un sumplementario de U,
utilizamos una base con vectores linealmente independientes : S =
8H1, 0, 0L, H0, 0, 1L<

Para b = 1

Clear @AD

a-1 0 a-1
A= a - 1 2 * a 2 * Ha - 1L
a-1 0 2 * Ha - 1L
88- 1 + a, 0, - 1 + a<, 8- 1 + a, 2 a, 2 H- 1 + aL<, 8- 1 + a, 0, 2 H- 1 + aL<<

a-1
B= 3*a-1
a-1
88- 1 + a<, 8- 1 + 3 a<, 8- 1 + a<<

A.X = B

a-1 0 a-1 x a-1

a - 1 2 * a 2 * Ha - 1L . y = 3*a-1
a-1 0 2 * Ha - 1L z a-1

De donde salen las ecuaciones implicitas :

x=1
y=1
z=0

La ecuacion vectorial es =
Hx, y, zL = H0, 0, 0L + a * H1, 0, 0L + b * H0, 1, 0L

Así, obtenemos la dirección del subespacio de la variedad vectorial :

U = 8H1, 0, 0L, H0, 1, 0L<
Para dar un sumplementario de U,
utilizamos una base con vectores linealmente independientes : S = 8H0, 0, 1L<

Para a = 1, el sistema A * X = B es incompatible ,

entonces habría que dar la dirección en función de parámetros.