Ejemplo: Cálculo del rango de una matriz con parámetros

Ejemplo: Cálculo del rango de una matriz con parámetros

Discutir, según los valores de a, el rango de la matriz racional:
æ
ç
ç
ç
è
a+2
1
1
a-1
a
a-1
1
a-1
a+1
0
a+1
a-1
ö
÷
÷
÷
ø



Solución: Se exponen varias maneras diferentes de actuar, con una valoración sobre cada una de ellas, pero es el lector quien debe elegir.


Primera solución: El intento de hacer ceros en la primera columna llevaría a multiplicar la primera fila por -a/(a+2), pero para a = -2 este no es un número. ¿Qué hacer? Podemos subdividir en dos problemas:

Esta manera de proceder es correcta, pero quizá demasiado larga, y sobre todo superflua ya que si el lector hace bien los cálculos deberá concluir que
ì
í
î
rang(A) = 2Û a=0 o a=1
rang(A)=3Û a ¹ 0 y a ¹ 1
por lo que la discusión a=-2, a ¹ -2 es aparente y accidental.


Segunda solución: Puestos a dar valores, un lector con buena visión, quizá prefiera observar la última columna y realizar los dos sub-problemas siguientes:


Tercera solución: No es estrictamente necesario subdividir el problema en varios dando a priori valores a los parámetros.

En este tipo de problemas debe ponerse cuidado en no hacer una aparente operación elemental tipo 3 que involucre un parámetro, pues para ciertos valores del parámetro ello equivaldría a multiplicar - o peor aún dividir- esa línea por cero, lo que no es una operación elemental y disminuye en una unidad el rango. En consecuencia, siempre que podamos, evitaremos las operaciones elementales tipo 3 que involucren parámetros.

Permutamos las columnas 1, 2 y luego la (nueva) 2 y la 3 obteniendo una matriz más manejable
æ
ç
ç
ç
è
1
1
a+2
a-1
a-1
1
a
a-1
0
a+1
a+1
a-1
ö
÷
÷
÷
ø

Procedemos a hacer ceros en la primera columna, mediante operaciones elementales tipo 2; se obtiene una matriz del tipo
æ
ç
ç
ç
è
1
1
a+2
a-1
0
2-a
*
*
0
a+1
a+1
a-1
ö
÷
÷
÷
ø

Sumando a la segunda fila la tercera,


æ
ç
ç
ç
è
1
1
a+2
a-1
0
3
**
**
0
a+1
a+1
a-1
ö
÷
÷
÷
ø

y mediante sencillas operaciones elementales se llega a


æ
ç
ç
ç
è
1
1
a+2
a-1
0
3
**
**
0
0
a(a+1)(a-1)
a(a-1)(a-2)
ö
÷
÷
÷
ø

Esta matriz tiene, como mínimo, rango 2 y el rango será 2 para los valores de a que anulen a la vez a la tercera fila de la matriz. Es decir, a = 0, 1. La conclusión es siempre la misma:


ì
í
î
rang(A) = 2Û a=0 o a=1
rang(A)=3Û a ¹ 0 y a ¹ 1


Cuarta solución: Tratar el parámetro a como una indeterminada y aprovechar que en Q[a] existe la división euclídea2 .

Sumando a la primera fila la tercera
æ
ç
ç
ç
è
1
*
*
*
a
a-1
1
a-1
a+1
0
a+1
a-1
ö
÷
÷
÷
ø

Podemos hacer ceros en la primera columna obteniendo


æ
ç
ç
ç
è
1
*
*
*
0
-1
**
**
0
-a-1
a2+2 a+1
a-1
ö
÷
÷
÷
ø

Finalmente hacemos ceros en la segunda columna


æ
ç
ç
ç
è
1
*
*
*
0
-1
**
**
0
0
-a3+a
-a2+a
ö
÷
÷
÷
ø

Como en la solución anterior se trata de averiguar los ceros comunes de los polinomios no nulos en la última fila, lo que viene dado por su máximo común divisor: a(a-1). Por tanto, una vez más:


ì
í
î
rang(A) = 2Û a=0 o a=1
rang(A)=3Û a ¹ 0 y a ¹ 1

Esta solución es universal para matrices con un parámetro, e implementable en un sistema de Algebra Computacional, pero puede requerir mayores conocimientos algebraicos en el lector.


Notas:

1 lo que siempre es una operación elemental, incluso para a=2

2 para calcular la denominada forma de Hermite de una matriz

Cerrar la ventana y volver al Módulo Principal