solution set

• The solution set of the single equation $x=0$ is the singleton set $\backslash \{\; 0\; \backslash \}$.
• Since there do not exist numbers $x$ and $y$ making the two equations simultaneously true, the solution set of this system is the {{nowrap|empty set $\backslash emptyset$.}}
• The solution set of a constrained optimization problem is its feasible region.
• The truth set of the predicate $P(n):\; n\; \backslash mathrm\{\backslash \; is\backslash \; even\}$ is $\backslash \{\; 2,4,6,8,\backslash ldots\; \backslash \}$.

In algebraic geometry, solution sets are called algebraic sets if there are no inequalities. Over the reals, and with inequalities, there are called semialgebraic sets.

More generally, the solution set to an arbitrary collection E of relations (E_i) (i varying in some index set I) for a collection of unknowns $\{(x\_j)\}\_\{j\backslash in\; J\}$, supposed to take values in respective spaces $\{(X\_j)\}\_\{j\backslash in\; J\}$, is the set S of all solutions to the relations E, where a solution $x^\{(k)\}$ is a family of values $\{\backslash left(\; x^\{(k)\}\_j\; \backslash right)\}\_\{j\backslash in\; J\}\backslash in\; \backslash prod\_\{j\backslash in\; J\}\; X\_j$ such that substituting $\{\backslash left(x\_j\backslash right)\}\_\{j\backslash in\; J\}$ by $x^\{(k)\}$ in the collection E makes all relations "true".

(Instead of relations depending on unknowns, one should speak more correctly of predicates, the collection E is their logical conjunction, and the solution set is the inverse image of the boolean value true by the associated boolean-valued function.)

The above meaning is a special case of this one, if the set of polynomials f_i if interpreted as the set of equations f_i(x)=0.

• The solution set for E = { x+y = 0 } with respect to $(x,y)\backslash in\; \backslash R^2$ is S = { (a,−a) : a ∈ R }.
• The solution set for E = { x+y = 0 } with respect to $x\; \backslash in\; \backslash R$ is S = { −y }. (Here, y is not "declared" as an unknown, and thus to be seen as a parameter on which the equation, and therefore the solution set, depends.)
• The solution set for $E\; =\; \backslash \{\; \backslash sqrt\; x\; \backslash le\; 4\; \backslash \}$ with respect to $x\backslash in\backslash R$ is the interval S = [0,2] (since $\backslash sqrt\; x$ is undefined for negative values of x).
• The solution set for $E\; =\; \backslash \{\; e^\{i\; x\}\; =\; 1\; \backslash \}$ with respect to $x\backslash in\backslash Complex$ is S = 2πZ (see Euler's identity).

• Equation solving
• Extraneous and missing solutions
• Equaliser (mathematics)

{{Reflist}}

{{DEFAULTSORT:Solution Set}}

Category:Equations