 $x\ge0$ and $p(x)\le0$, then $x\le r_2$. Taking $w=r_2$, we conclude that $\mu(V)\le w$, and we have the formula . It is easy to see that $w$ is a continuous function of $m_1$, $m_2$ and $\delta$.

\[lem:stepII\] Let $c<d$ be real numbers. For matrices $a_1$ and $a_2$, consider the maps ${{\mathrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,x_2\rangle\to\mathbb{C}$. Then we have $$\label{eq:kers}
\bigcap_{\substack{
N\in{\mathbb{N}}\\
a_1,a_2\in \mathbb{M}_N(\mathbb{C})_{sa} \\
c1\le a_i\le d1,\,(i=1,2)}}
\ker({{\mathrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2})
=\mathcal{I}.$$

The inclusion $\supseteq$ in  follows from the trace property.

Let $c<u<v<d$ and make the choice of polynomials $\tilde T_i$ and $\tilde U_i$ described in Corollary \[cor:MS\]. Letting $\Xi$ and $\mathcal{J}$ be as in Lemm \[lem:Ponto\], for each $y\in\mathcal{J}\backslash\{0\}$, we will find matrices $a_1$ and $a_2$ such that $$\label{eq:Tr0}
{{\mathrm{Tr}}}({{\mathrm{ev}}}_{a_1,a_2}(y))\ne0.$$ By  and  of Lemma \[lem:Ponto\], this will suffice to show $\subseteq$ in . Rather than find $a_1$ and $a_2$ explicitly, we make use of random matrices.

We may write $$y=c_01+\sum_{n=1}^\infty(c^{(1)}_a\tilde T_a(x_1)+c^{(2)}_a\tilde T_a(x_2))+\sum_{x\in S}d_x\tilde U^x,$$
$ x\ge0 $ and $ p(x)\le0 $, then $ x\le r_2$. Taking $ w = r_2 $, we conclude that $ \mu(V)\le w$, and we have the rule  . It is comfortable to see that $ w$ is a continuous function of $ m_1 $, $ m_2 $ and $ \delta$. 

 \[lem: stepII\ ] lease $ speed of light < d$ be real numbers. For matrix $ a_1 $ and $ a_2 $, regard the maps $ { { \mathrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,x_2\rangle\to\mathbb{C}$. Then we suffer $ $ \label{eq: kers } 
 \bigcap_{\substack { 
 N\in{\mathbb{N}}\\ 
 a_1,a_2\in \mathbb{M}_N(\mathbb{C})_{sa } \\ 
 c1\le a_i\le d1,\,(i=1,2) } } 
 \ker({{\mathrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2 }) 
 = \mathcal{I}.$$ 

 The inclusion $ \supseteq$ in    follows from the tracing property. 

 Let $ vitamin c < u < v < d$ and make the choice of polynomials $ \tilde T_i$ and $ \tilde U_i$ described in Corollary   \[cor: MS\ ]. let $ \Xi$ and $ \mathcal{J}$ be as in Lemm   \[lem: Ponto\ ], for each $ y\in\mathcal{J}\backslash\{0\}$, we will find matrices $ a_1 $ and $ a_2 $ such that $ $ \label{eq: Tr0 } 
 { { \mathrm{Tr}}}({{\mathrm{ev}}}_{a_1,a_2}(y))\ne0.$$ By    and    of Lemma   \[lem: Ponto\ ], this will suffice to show $ \subseteq$ in  . quite than find $ a_1 $ and $ a_2 $ explicitly, we make use of random matrices. 

 We may publish $ $ y = c_01+\sum_{n=1}^\infty(c^{(1)}_a\tilde T_a(x_1)+c^{(2)}_a\tilde T_a(x_2))+\sum_{x\in S}d_x\tilde U^x,$$
 $x\gf0$ and $p(x)\le0$, then $x\le r_2$. Taying $w=r_2$, we conclude thet $\mu(V)\ls w$, and de have the formula . It is eady to stv that $w$ is a continuuus functpon of $m_1$, $n_2$ anv $\delta$.

\[lem:stepII\] Let $c<d$ nz ream numyecs. For matrices $a_1$ and $a_2$, cmnsider the ma[s ${{\mcthrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,v_2\rangle\yo\lathbb{C}$. Then wg havt $$\lwbel{sq:kers}
\bigcap_{\substack{
N\in{\mathbb{N}}\\
a_1,a_2\in \mathbb{K}_N(\mathbb{C})_{sa} \\
c1\ke a_i\le d1,\,(i=1,2)}}
\ker({{\mathrm{Tr}}}\,\circ\,{{\mwthrl{ev}}}_{a_1,a_2})
=\mathcal{I}.$$

The ijclusion $\sukaetqw$ in  follows from the urcce properti.

Let $c<u<v<d$ and make the choice of polyuomials $\tilee T_i$ dnd $\tilde U_m$ descgibed in Corollary \[cor:KS\]. Lettong $\Xi$ and $\matmcal{J}$ be as in Lemm \[lem:Ponto\], fmr each $y\in\mathcal{T}\backslasv\{0\}$, ce will find matrices $a_1$ and $d_2$ suwh tfqt $$\uabtl{ea:Td0}
{{\mathrl{Tr}}}({{\jathrm{ev}}}_{a_1,a_2}(g))\ne0.$$ By  and  if Lemma \[lem:Ponto\], thos qill suffice fo shor $\fubseteq$ in . Rather than find $a_1$ and $a_2$ exklicifly, we make use of randim matrices.

We may wrije $$y=c_01+\sum_{n=1}^\igfty(c^{(1)}_a\tilde T_a(x_1)+c^{(2)}_a\tilde T_a(x_2))+\sum_{x\in S}d_x\tilde U^x,$$
$x\ge0$ and $p(x)\le0$, then $x\le r_2$. Taking conclude $\mu(V)\le w$, we have the to that $w$ is continuous function of $m_2$ and $\delta$. \[lem:stepII\] Let $c<d$ real numbers. For matrices $a_1$ and $a_2$, consider the maps ${{\mathrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,x_2\rangle\to\mathbb{C}$. Then have $$\label{eq:kers} \bigcap_{\substack{ N\in{\mathbb{N}}\\ a_1,a_2\in \mathbb{M}_N(\mathbb{C})_{sa} \\ c1\le a_i\le d1,\,(i=1,2)}} \ker({{\mathrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2}) =\mathcal{I}.$$ The $\supseteq$ follows the property. Let $c<u<v<d$ and make the choice of polynomials $\tilde T_i$ and $\tilde U_i$ described in \[cor:MS\]. Letting $\Xi$ and $\mathcal{J}$ be as in \[lem:Ponto\], for each $y\in\mathcal{J}\backslash\{0\}$, will find matrices $a_1$ and such $$\label{eq:Tr0} {{\mathrm{Tr}}}({{\mathrm{ev}}}_{a_1,a_2}(y))\ne0.$$ and Lemma this will suffice show $\subseteq$ in . Rather than find $a_1$ and $a_2$ explicitly, we make use of random matrices. may write T_a(x_2))+\sum_{x\in S}d_x\tilde
 $x\ge0$ and $p(x)\le0$, then $x\le r_2$. Taking $w=R_2$, we concludE that $\Mu(V)\Le w$, AnD we hAve tHe formula . It is eASy to See that $w$ is a continuous fUnctiOn OF $m_1$, $m_2$ aND $\dElta$.

\[lEm:stepIi\] leT $C<D$ be ReAl NumBeRS. FOr matRicEs $a_1$ and $a_2$, Consider thE maPs ${{\Mathrm{Tr}}}\,\circ\,{{\MAtHrm{ev}}}_{a_1,a_2}:\matHbb{c}\langle x_1,x_2\ranGle\To\mathBb{c}$. ThEN we haVe $$\lAbel{eQ:kers}
\bIGcap_{\suBstack{
N\in{\MaTHbb{N}}\\
a_1,a_2\IN \mathbb{m}_n(\MaThbb{c})_{sa} \\
c1\le a_i\le d1,\,(i=1,2)}}
\ker({{\maTHrM{tr}}}\,\circ\,{{\mathrm{ev}}}_{A_1,a_2})
=\mathCaL{i}.$$

THE IncLusIon $\supseteQ$ iN  follOWs from tHE tRACE prOPerty.

Let $c<u<v<d$ aNd make the chOIce Of polyNoMiaLS $\tilde t_i$ and $\TiLDe U_I$ described iN CorOllary \[cor:mS\]. LettINg $\Xi$ and $\MAthcal{J}$ Be as in lemM \[leM:PonTO\], fOr EacH $y\IN\maTHcAl{J}\BAckSlash\{0\}$, we wIlL fInd maTricES $A_1$ ANd $a_2$ sUch That $$\Label{Eq:Tr0}
{{\mathrm{Tr}}}({{\mAthRm{ev}}}_{A_1,A_2}(y))\nE0.$$ By  anD  of LeMma \[lEm:ponto\], This wiLl sufFiCe to show $\subseteQ$ in . RAther than FinD $a_1$ And $A_2$ eXplicITly, we mAke Use Of randoM matricES.

We MaY WRItE $$y=c_01+\sum_{n=1}^\infty(c^{(1)}_a\tildE T_A(X_1)+C^{(2)}_a\Tilde T_a(x_2))+\Sum_{x\in s}D_x\TiLDe U^x,$$
 $x\ge0$ and $p(x)\le0$, t hen $x\ler_2$.  Ta kin g$w=r _2$,  we conclude t h at $ \mu(V)\le w$, and we h ave t he form u la  . It  is eas y  t o see  t ha t $ w$ is  a co nti nuous f unction of  $m _1 $, $m_2$ and $\ delta$.

\ [le m:stepII\] L et$c<d$be  re a l num ber s. Fo r matr i ces $a _1$ and $ a_ 2 $, con s ider th e ma ps $ {{\mathrm{Tr}}}\, \ ci r c\,{{\mathrm{e v}}}_{ a_ 1 ,a _ 2 }:\ mat hbb{C}\lan gl e x_1 , x_2\ran g le \ t o \ma t hbb{C}$. Then  we have $$ \ lab el{eq: ke rs} \bigca p_{\s ub s tac k{
N\in{\ma thbb {N}}\\
a_ 1,a_2\ i n \math b b{M}_N( \mathb b{C })_ {sa} \\ 
c 1\l ea _i\ l ed1, \ ,(i =1,2)}}\k er ({{\m athr m { T r }}}\ ,\c irc\ ,{{\m athrm{ev}}}_{ a_1 ,a_2 } )
= \math cal{I }.$$ 
The i nclusi on $\ su pseteq$ in  fol lows  from the  tr ac e p ro perty . 

Let$c< u<v <d$ and  make t h e c ho i c e  o f polynomials $\ti ld e T_ i$ and $ \tilde U_ i$ describe dinCoro l l ary \ [cor : MS \]. Lett ing $\ X i$  a nd $\ma th cal{J} $beasin Le m m \[ lem:Po nto\], f or ea c h $y\in\mathca l {J}\backslash \ {0 \ } $, we w ill  find matri ces$ a_1$  and $a _2$ suchthat$$ \ la b el{eq:Tr0}
{{\mathr m{ Tr}}}( {{\ma thrm{ev}}}_{a _1,a_2}(y) ) \ n e0.$$ By   an d  o f Lemma \[lem: Ponto \], this w i ll suffi ce to  show $\ subseteq$ i n . Rath ertha n f ind $ a_ 1$ and $a_2$e x plic it ly, wemak e use o f r and ommat ri ces.

Wemay writ e$$ y= c_ 01+ \sum_ { n=1}^\in ft y(c ^{ (1) }_a\t i lde T_ a(x_1 )+c^ {( 2) } _a\ tilde T _ a( x _ 2))+ \s um _{x\ inS} d_x\t ilde U^x ,$$
 $x\ge0$_and $p(x)\le0$,_then $x\le r_2$. Taking_$w=r_2$, we_conclude_that $\mu(V)\le_w$,_and we have_the formula . It_is easy to see_that $w$ is_a_continuous function of $m_1$, $m_2$ and $\delta$.

\[lem:stepII\] Let $c<d$ be real numbers. For matrices_$a_1$_and $a_2$,_consider_the_maps ${{\mathrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,x_2\rangle\to\mathbb{C}$. Then we_have $$\label{eq:kers}
\bigcap_{\substack{
N\in{\mathbb{N}}\\
a_1,a_2\in \mathbb{M}_N(\mathbb{C})_{sa} \\
c1\le a_i\le_d1,\,(i=1,2)}}
\ker({{\mathrm{Tr}}}\,\circ\,{{\mathrm{ev}}}_{a_1,a_2})
=\mathcal{I}.$$

The inclusion_$\supseteq$ in  follows from the trace property.

Let $c<u<v<d$_and_make the choice_of polynomials $\tilde T_i$ and $\tilde U_i$ described in_Corollary \[cor:MS\]. Letting $\Xi$ and $\mathcal{J}$ be_as in Lemm \[lem:Ponto\],_for_each_$y\in\mathcal{J}\backslash\{0\}$, we will find_matrices $a_1$ and $a_2$ such that_$$\label{eq:Tr0}
{{\mathrm{Tr}}}({{\mathrm{ev}}}_{a_1,a_2}(y))\ne0.$$ By  and  of Lemma \[lem:Ponto\], this_will suffice to show $\subseteq$ in . Rather_than find $a_1$ and $a_2$ explicitly,_we make use of random_matrices.

We may_write $$y=c_01+\sum_{n=1}^\infty(c^{(1)}_a\tilde T_a(x_1)+c^{(2)}_a\tilde T_a(x_2))+\sum_{x\in S}d_x\tilde_U^x,$$