1: \begin{definition}\label{admissible}
2: Let $\f(\x)=\{f_1(\x),\ldots,f_n(\x)\}$ be a zero-dimensional
3: smooth complete intersection
4: in~$\R[\x]$, let~$\mu_{\R,I}$ be the
5: number of real solutions of $\f(\x)=0$, and
6: let $\bm \varepsilon(\x)=
7: \{\varepsilon_1(\x),\ldots,\varepsilon_n(\x)\}$ be a set of
8: polynomials in $\R[\x]$.
9: Suppose that the assumptions of Theorem~\ref{sturm}
10: are satisfied, let $\mathcal V \subset \mathbb A_\R^m$
11: be an open semi-algebraic subset of~$\U$
12: such that $\alfa_I \in \V$, and for every $\alfa \in \V$ the
13: number of real roots of ${\f(\alfa,\x)=0}$ is equal to~$\mu_{\R,I}$.
14: If there exists $\alfa \in \V$ such
15: that $(\f+\bm \varepsilon)(\x)=\f(\alfa, \x)$,
16: then $\bm \varepsilon(\x)$ is called
17: an {\bf admissible perturbation} of~$\f(\x)$ .
18: \end{definition}
19: