Un sistema $$Ax=b\tag{1}$$ de ecuaciones en incógnitas $x_1$ , $x_2$ , $\ldots$ , $x_n$ implícitamente define el subconjunto $$S:=\{x\in{\mathbb R}^n\>|\>Ax=b\}\quad\subset{\mathbb R}^n\ .$$ "Implícitamente" significa que para cualquier $x\in{\mathbb R}^n$ es fácil comprobar si es un elemento de $S$ o no (sólo hay que calcular $Ax$ y comprobar si se trata de $=b$ ); pero no se tiene a priori una visión completa sobre este conjunto $S$ .
Resolver el sistema $(1)$ (o un sistema similar que contenga ecuaciones de naturaleza más complicada) significa obtener esa visión de conjunto. Si $S$ es, de hecho, el conjunto vacío, quiere una prueba de este hecho; si $S$ contiene sólo un número finito de puntos se quiere una lista explícita de estos puntos, etc.
En álgebra lineal el caso favorito es cuando $S$ es un conjunto de un elemento $\{a\}$ ; a continuación, llamamos a $a$ "la" solución de $(1)$ . Pero ocurre muy a menudo que $S$ es un conjunto infinito; por ejemplo, un plano bidimensional incrustado en ${\mathbb R}^n$ . En este caso se desea un "esquema de producción" explícito con un cierto número de variables libres, es decir, una representación paramétrica de $S$ que genera cada punto de $S$ exactamente una vez. En el caso de que $S$ es un plano bidimensional tal representación paramétrica tiene el aspecto siguiente $$S:\quad(u,v)\mapsto x:=a+up+vq \qquad\bigl((u,v)\in{\mathbb R}^2\bigr)\ ,\tag{2}$$ por lo que los vectores $a$ , $p$ , $q$ tienen que ser calculados a partir de los datos $A$ y $b$ . (Tenga en cuenta que el mismo $S$ tiene muchas representaciones diferentes $(2)$ .)