Un sistema de ecuaciones o restricciones que tiene más condiciones independientes que grados de libertad (incógnitas), lo que suele conducir a inconsistencia salvo que existan relaciones especiales o redundancias entre las condiciones.

Principio

Cuando el número o el rango de restricciones independientes excede la dimensión del espacio de soluciones, la intersección de las variedades de restricciones es genéricamente vacía; la solvencia requiere condiciones de compatibilidad (p. ej., coherencia del término derecho o colinealidad de filas).

Demostración

Escenario ilustrativo: un sistema lineal Ax = b con A ∈ R^{m×n} y m > n será normalmente inconsistente para un b arbitrario; la respuesta práctica es buscar soluciones de mínimos cuadrados, usar regularización o comprobar si b pertenece al espacio columna de A.

Aplicación incorrecta

Declarar un sistema sobredeterminado irresoluble sin considerar soluciones aproximadas o métodos de proyección, o eliminar variables de modo que se destruyan redundancias y se introduzca sesgo.

Consecuencia

Reconocer la sobredeterminación conduce a métodos: resolver en el sentido de mínimos cuadrados, detectar y explotar redundancias, aplicar relajación de restricciones o comprobaciones de compatibilidad, e interpretar los residuales como indicadores de desajuste modelo-datos.

Inversión

Sistema subdeterminado: menos restricciones independientes que grados de libertad, lo que produce infinitas soluciones o familias parametrizadas de soluciones salvo regularización.

Límite

El ámbito excluye sistemas sobredeterminados pero consistentes donde las restricciones son redundantes o exactamente compatibles; también distingue la sobredeterminación algebraica de la sobreidentificación estadística y de casos donde el ruido de medida convierte una inconsistencia exacta en consistencia aproximada.

Tensión semántica

Tensión con la noción de 'sobre-constricción' — sobredeterminado es una afirmación algebraica estructural sobre cuentas/rango, mientras que sobre-constricción puede implicar inviabilidad práctica o restricción excesiva en contextos de modelado.

Síntesis

Un sistema sobredeterminado indica que las restricciones pueden superar al número de incógnitas y por tanto ser genéricamente incompatibles; resolverlo requiere comprobar la compatibilidad, usar proyección/regularización para hallar soluciones de mejor ajuste o simplificar el conjunto de restricciones eliminando o fusionando condiciones redundantes.