# Indeterminate system

An indeterminate system is a system of simultaneous equations (especially linear equations) which has more than one solution. The system may be said to be underspecified. If the system is linear, then the presence of more than one solution implies that there are an infinite number of solutions, but that property does not extend to nonlinear systems.

An indeterminate system is consistent, the latter implying that there exists at least one solution. For a system of linear equations, the number of equations in an indeterminate system could be the same as the number of unknowns, less than the number of unknowns (an underdetermined system), or greater than the number of unknowns (an overdetermined system). Conversely, any of those three cases may or may not be indeterminate.

## Examples

The following examples of indeterminate systems have respectively fewer, the same, and more equations than unknowns:

$x+y=2$
$x+y=2, \,\,\,\,\, 2x+2y=4$
$x+y=2, \,\,\,\,\, 2x+2y=4, \,\,\,\,\, 3x+3y=6$

## Conditions giving rise to indeterminacy

In linear systems, indeterminacy occurs if and only if the number of independent equations (the rank of the augmented matrix of the system) is less than the number of unknowns and is the same as the rank of the coefficient matrix. For if there are at least as many independent equations as unknowns that will eliminate any stretches of overlap of the equations' surfaces in the geometric space of the unknowns (aside from possibly a single point); and if the rank of the augmented matrix exceeds (necessarily by one if at all) the rank of the coefficient matrix then the equations jointly contradict each other.

## Finding the solution set of an indeterminate linear system

Let the system of equations be written in matrix form as

$Ax=b$

where A is the coefficient matrix, x is the vector of unknowns, and b is a vector of constants. Then if the system is indeterminate, the infinite solution set is the set of all x vectors generated by

$x=A^+b + [I-A^+A]w$

where $A^+$ is the Moore-Penrose pseudoinverse of A and w is any appropriately dimensioned vector.