## [Forma Canónica Racional](/es/node/61191) Definición Forma matricial canónica sobre un campo que expresa un operador lineal como una matriz en bloques diagonales de matrices companion determinadas por sus factores invariantes; clasifica clases de semejanza sobre el campo base sin requerir clausura algebraica. ## Principio Principio Trasladar el teorema de estructura para módulos finitamente generados sobre un dominio euclidiano al álgebra lineal: el espacio vectorial visto como módulo sobre el anillo de polinomios se descompone en suma directa de módulos cíclicos cuyas matrices companion forman los bloques de la forma canónica racional. ## Demostración Demostración Dado un endomorfismo con factores invariantes m1(x) | m2(x) | …, construir matrices companion para cada factor invariante y ensamblarlas en bloques diagonales para obtener la forma canónica racional, única salvo el orden de los bloques. ## Aplicación incorrecta Aplicación incorrecta Usar la forma canónica racional como si proporcionara automáticamente autovalores o autovectores sobre una extensión del campo; aunque determina la semejanza sobre el campo base, no sustituye la forma de Jordan cuando se desean bases de autovectores explícitas sobre una clausura algebraica. ## Consecuencia Consecuencia Proporciona un invariante completo independiente del campo para la semejanza de matrices, permitiendo la clasificación de operadores lineales sobre campos arbitrarios y dando procedimientos algorítmicos para calcular bloques canónicos y polinomios mínimos. ## Inversión Inversión Contrasta con la forma canónica de Jordan, que se descompone en bloques de Jordan tras pasar a una clausura algebraica y enfatiza vectores propios generalizados; la forma de Jordan es más refinada en un campo algebraicamente cerrado pero no está definida en todo campo base sin extensión. ## Límite Límite Se aplica a endomorfismos lineales de espacios vectoriales de dimensión finita sobre un campo; presupone la estructura de módulo sobre el anillo de polinomios y no trata directamente operadores de dimensión infinita ni objetos fuera del marco de álgebra lineal sobre campos. ## Tensión semántica Tensión semántica Existe tensión entre la forma canónica racional y la forma de Jordan: RCF es canónica sobre el campo base y usa bloques companion derivados de factores invariantes, mientras que la forma de Jordan muestra la estructura nilpotente explícita y las bases de autovectores sobre clausuras algebraicas cuando existen. ## Síntesis Síntesis La forma canónica racional agrupa la descomposición en factores invariantes de un operador lineal en una matriz diagonal por bloques de bloques companion, proporcionando un representante canónico independiente del campo de la clase de semejanza e incorporando la información del polinomio mínimo y característico.