Una matriz estructurada asociada a dos polinomios univariados cuyos elementos son formas bilineales en los coeficientes de los polinomios; su determinante (a un factor escalar) es el resultante y su núcleo codifica raíces comunes e información sobre el mcd.

Principio

Construir la forma bilineal de Bézout B(f,g)(u,v) = (f(u)g(v) - f(v)g(u))/(u-v) y representarla en bases de monomios para obtener la matriz de Bézout; las propiedades algebraicas de f y g (raíces comunes, multiplicidades) corresponden a propiedades de rango y núcleo de esa matriz.

Demostración

Para f(x)=a_0 + a_1 x + ... + a_m x^m y g(x)=b_0 + b_1 x + ... + b_n x^n, la matriz de Bézout de tamaño max(m,n) tiene entradas dadas por los coeficientes que aparecen en la expansión simétrica del bezoutiano. Su determinante se anula exactamente cuando f y g tienen una raíz común, produciendo el resultante.

Aplicación incorrecta

Usar la matriz de Bézout sin tener en cuenta el condicionamiento numérico puede conducir a cálculos de raíces inestables; confundirla con la matriz de Sylvester o usarla de forma ingenua para eliminación multivariante sin adaptación produce conclusiones incorrectas.

Consecuencia

Su uso adecuado proporciona una prueba algebraica compacta de raíces comunes, una vía para calcular resultantes, detectar multiplicidades y formar linearizaciones estructuradas para métodos numéricos de autovalores que aíslan raíces comunes.

Inversión

La matriz de Sylvester es otra matriz de eliminación construida a partir de la convolución de coeficientes cuya determinante también es el resultante; invertir la elección muestra compensaciones: Sylvester suele ser más dispersa, Bézout codifica una forma bilineal simétrica con distintas propiedades numéricas y algebraicas.

Límite

La definición es estándar para polinomios univariados sobre un cuerpo o dominio de ideales principales; las extensiones a polinomios multivariantes requieren eliminación o proyección y no son directas. Hay que gestionar escalado, cambio de base y coeficientes líderes nulos para evitar artefactos de defecto de rango.

Tensión semántica

Existe tensión entre usar matrices de Bézout como herramientas exactas simbólicas y su comportamiento en entornos numéricos donde el redondeo y el condicionamiento importan; también tensión entre diferentes matrices de resultant (Sylvester, Dixon, bezoutiano) que representan el mismo resultante de forma distinta.

Síntesis

La matriz de Bézout es la realización matricial de la forma bilineal de Bézout construida a partir de dos polinomios; su determinante proporciona el resultante y su álgebra lineal (rango, espacio nulo) refleja con precisión raíces comunes y multiplicidades, proporcionando tanto eliminación simbólica como enfoques numéricos estructurados.