Un procedimiento sistemático de aplicación de operaciones elementales por filas (y, cuando procede, permutaciones de columnas) a una matriz para obtener una forma escalonada o escalonada reducida; se usa para resolver sistemas lineales, calcular rango y obtener inversas o factorizaciones como LU (con pivoteo y permutaciones según sea necesario).

Principio

Crear ceros por debajo (y opcionalmente por encima) de los pivotes restando múltiplos adecuados de las filas pivote; la elección del pivote y la escala de las filas gobiernan la estabilidad numérica y determinan cuándo la retro-sustitución o la reducción adicional producen soluciones únicas o parametrizadas.

Demostración

Resolver el sistema x + y = 2, x - y = 0. Matriz aumentada [[1,1|2],[1,-1|0]]; restar fila1 de fila2 dando [[1,1|2],[0,-2|-2]]; dividir fila2 por -2 para obtener [[1,1|2],[0,1|1]]; restar fila2 de fila1 para obtener [[1,0|1],[0,1|1]] y así x=1,y=1.

Aplicación incorrecta

Realizar eliminación sin pivoteo sobre datos casi singulares o de punto flotante, lo que conduce a errores de redondeo catastróficos; usar operaciones por filas y olvidar aplicar permutaciones de columnas correspondientes al calcular determinantes o invariantes de similitud.

Consecuencia

Cuando se aplica correctamente, proporciona conjuntos de soluciones (únicos o parametrizados), rango y construye descomposiciones (LU con pivoteo) o inversas para matrices cuadradas de rango completo; es la columna vertebral computacional del álgebra lineal.

Inversión

En vez de eliminar hasta la forma triangular, se pueden calcular soluciones mediante factorizaciones matriciales (SVD para robustez numérica) o usar fórmulas directas de inversión (regla de Cramer) para sistemas simbólicos pequeños; estas alternativas intercambian coste por estabilidad.

Límite

Se aplica a sistemas lineales sobre cuerpos y a matrices numéricas con precauciones sobre la estabilidad; sobre anillos arbitrarios la eliminación es formalmente válida pero los pasos de pivoteo/inversión requieren unidades, y la eliminación sola no clasifica operadores lineales por similitud.

Tensión semántica

A veces se confunde con la descomposición LU o con la reducción por filas a la forma escalonada reducida (RREF); hay tensión entre el método simbólico exacto y las implementaciones numéricas estables que requieren pivoteo y escalado.

Síntesis

La eliminación gaussiana es la secuencia algorítmica de operaciones elementales por filas que reduce la matriz de un sistema lineal a forma escalonada para que las variables puedan resolverse por retro-sustitución; un pivoteo adecuado convierte el procedimiento en una herramienta robusta de factorización e inversión.