4c72f5b4cd42b76a.tex
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: