Secuencia de operaciones elementales sobre filas (y opcionalmente columnas) aplicadas a una matriz para transformarla en forma escalonada o forma escalonada reducida, utilizada para resolver sistemas lineales, calcular el rango, encontrar inversas y obtener bases de espacios de solución mediante eliminación sistemática de variables.

Principio

Las operaciones elementales sobre filas (intercambiar filas, escalar una fila por un escalar no nulo, añadir un múltiplo escalar de una fila a otra) preservan el conjunto de soluciones del sistema lineal correspondiente; aplicarlas de forma sistemática elimina incógnitas paso a paso para triangularizar la matriz de coeficientes.

Demostración

Resolver un sistema 3×3: formar la matriz aumentada, usar operaciones por filas para producir una forma escalonada superior, realizar sustitución hacia atrás para obtener la solución única cuando los pivotes son no nulos; en caso singular el procedimiento revela dependencias y parametriza el espacio de soluciones.

Aplicación incorrecta

Dividir por un pivote que sea cero sin permutar antes filas, o manejar descuidadamente el pivoteo en aritmética de punto flotante (omitiendo pivoteo parcial/completo) puede producir errores de división por cero o grave inestabilidad numérica y soluciones numéricas incorrectas.

Consecuencia

La aplicación correcta produce forma escalonada (o reducida), a partir de la cual se lee el rango, se determina la solvencia, se calculan inversas cuando hay rango completo y se obtienen descripciones paramétricas explícitas de los espacios de solución; sustenta la factorización LU y muchos solvers directos lineales.

Inversión

La inversa consiste en efectuar operaciones sobre filas no invertibles (escalar por cero, transformaciones no reversibles) que destruyen la equivalencia de soluciones; deshacer la eliminación requiere registrar las operaciones por filas o almacenar factores (LU) porque la transformación no se recupera de forma única a partir de la forma triangular por sí sola.

Límite

Se aplica a sistemas lineales sobre cuerpos (o anillos de división con precaución); sobre anillos sin división (como los enteros) la aplicación directa falla sin adaptaciones (forma normal de Smith). En contextos numéricos, la estabilidad y la estrategia de pivoteo son límites esenciales del uso directo.

Tensión semántica

Tensión con métodos iterativos: la eliminación es un procedimiento directo y finito idóneo para sistemas densos pequeños o medianos, mientras que los solucionadores iterativos (Gradiente Conjugado, GMRES) son preferibles para sistemas muy grandes, dispersos o mal condicionados por razones de memoria y complejidad.

Síntesis

La eliminación gaussiana es el procedimiento de operaciones elementales sobre filas que reduce un sistema lineal a forma triangular (o reducida), exponiendo el rango y la solvencia y permitiendo solución directa, inversión matricial y descomposición LU cuando procede.