Un conjunto de técnicas algebraicas para eliminar variables de sistemas de ecuaciones polinómicas y obtener relaciones entre las variables restantes, implementadas típicamente mediante resultantes, ideales de eliminación o bases de Gröbner.

Principio

Proyectar el conjunto algebraico definido por un ideal sobre un subespacio de coordenadas mediante la eliminación algebraica de variables; el ideal de eliminación y bases adecuadas codifican las restricciones que permanecen tras la proyección.

Demostración

Dado el sistema { f(x,y)=0, g(x,y)=0 }, eliminar y calculando el resultante Res_y(f,g) o una base de Gröbner con orden de eliminación para obtener un polinomio en x que deba satisfacer toda coordenada x de una solución.

Aplicación incorrecta

Aplicar la eliminación numéricamente sin control simbólico, o eliminar variables de modo que se pierdan multiplicidades o se introduzcan factores extrínsecos; elegir mal el orden de eliminación en Gröbner puede ocultar relaciones necesarias.

Consecuencia

La eliminación adecuada produce ecuaciones implícitas para proyecciones, identifica dependencias entre variables, calcula dimensiones y grados de las variedades proyectadas y sustenta algoritmos en geometría algebraica computacional y cálculo simbólico.

Inversión

En lugar de eliminar variables para obtener relaciones implícitas, se puede parametrizar la variedad (introducir parámetros) o elevar a representaciones de mayor dimensión; la inversión transforma relaciones implícitas en sistemas paramétricos o ampliados.

Límite

Se ocupa principalmente de sistemas polinómicos y variedades algebraicas; ecuaciones analíticas, trascendentes o diferenciales requieren marcos de eliminación distintos; la complejidad crece rápidamente con variables y grado.

Tensión semántica

En tensión con la continuación numérica y métodos locales: la eliminación da relaciones simbólicas exactas pero puede ser costosa y generar polinomios inmanejables, mientras que los métodos numéricos proporcionan información geométrica aproximada más barata.

Síntesis

La Teoría de la Eliminación es el marco simbólico que convierte sistemas polinómicos en relaciones reducidas proyectando ideales y calculando ideales o bases de eliminación, permitiendo la implicitación exacta, detección de dependencias y razonamiento algebraico sobre proyecciones.