Cálculo simbólico de la forma canónica racional de una matriz

Abstract

SE INTRODUCEN ALGORITMOS EFICIENTES Y EXACTOS PARA EL CALCULO DE LA FORMA CANONICA RACIONAL DE UNA MATRIZ A SOBRE UN CUERPO K, INDEPENDIENTEMENTE DE LA CARACTERISTICA DEL CUERPO, SE SIGUEN METODOS TIPO DANILEVSKI, CON LO QUE ESENCIALMENTE SE REALIZAN SOLO OPERACIONES ELEMENTALES DE SEMEJANZA SOBRE LA MATRIZ A. POR OTRO LADO, LA RELACION EXISTENTE ENTRE LA FORMA DE JORDAN Y LA FORMA CANONICA RACIONAL PERMITE OBTENER LA FORMA RACIONAL DE F(A), F UN POLINOMIO, MEDIANTE LA FORMA DE JORDAN DE A. PUES, COMO ES CONOCIDO, LA IMAGEN POR F DE UN BLOQUE DE JORDAN ES SENCILLA DE CALCULAR, MIENTRAS QUE EL CALCULO DE LA IMAGEN DE A POR F RESULTA, EN GENERAL, DEMASIADO COSTOSO. ADEMAS, SIEMPRE QUE SE DEN DETERMINADAS CONDICIONES RELATIVAS AL POLINOMIO F, SE OBTIENE LA FORMA RACIONAL DE F(A) Y UNA MATRIZ DE PASO R QUE LA TRANSFORMA EN DICHA FORMA CANONICA CON TODOS LOS COEFICIENTES EN K.