i$ and norm $$\Vert (x_i)_{i\in I} \Vert = \sup_{i\in I} \Vert x_i \Vert.$$ The ultraproduct $(X_i)_{\mathfrak U}$ is defined as the quotient space $\ell_\infty(I,X_i)/ \sim $ where $$(x_i)_{i\in I}\sim (y_i)_{i\in I} \Leftrightarrow \displaystyle\lim_{i,{\mathfrak U}} \Vert x_i - y_i \Vert = 0.$$

Observe that Proposition \[buenadef\] assures us that this limit exists for every pair $(x_i)_{i\in I}, (y_i)_{i\in I}\in \ell_\infty(I,X_i)$. We denote the class of $(x_i)_{i\in I}$ in $(X_i)_{\mathfrak U}$ by $(x_i)_{\mathfrak U}$.

The following result is the polynomial version of Definition 2.2 from [@H] (see also Proposition 2.3 from [@LR]). The reasoning behind is almost the same.

\[pollim\] Given two ultraproducts $(X_i)_{\mathfrak U}$, $(Y_i)_{\mathfrak U}$ and a family of continuous homogeneous polynomials $\{P_i\}_{i\in I}$ of degree $k$ with $$\displaystyle\sup_{i\in I} \Vert P_i \Vert < \infty,$$ the map $P:(X_i)_{\mathfrak U}\longrightarrow (Y_i)_{\mathfrak U}$ defined by $P((x_i)_{\mathfrak U})=(P_i(x_i))_{\mathfrak U}$ is a continuous homogeneous polynomial of degree $k$. Moreover $\Vert P \Vert = \displaystyle\lim_{i,{\mathfrak U}} \Vert P_i \Vert$.

If ${\mathbb K}={\mathbb C}$, the hypothesis of homogeneity can be omitted, but in this case the degree of $P$ can be lower than $k$.

Let us start with the homogeneous case. Write $P_i(x)=T_i(x,\cdots,x)$ with $T_i$ a $k-$linear continuous function. Define $T:(X_i)_{\mathfrak U}^k \longrightarrow (Y_i)_{\mathfrak U}$ by $$T((x^1_i)_{\mathfrak U},\cdots,(x^k_i)_{\mathfrak U
i$ and norm $ $ \Vert (x_i)_{i\in I } \Vert = \sup_{i\in I } \Vert x_i \Vert.$$ The ultraproduct $ (X_i)_{\mathfrak U}$ is defined as the quotient space $ \ell_\infty(I, X_i)/ \sim $ where $ $ (x_i)_{i\in I}\sim (y_i)_{i\in I } \Leftrightarrow \displaystyle\lim_{i,{\mathfrak U } } \Vert x_i - y_i \Vert = 0.$$ 

 Observe that Proposition \[buenadef\ ] assure us that this terminus ad quem exists for every pair $ (x_i)_{i\in I }, (y_i)_{i\in I}\in \ell_\infty(I, X_i)$. We announce the class of $ (x_i)_{i\in I}$ in $ (X_i)_{\mathfrak U}$ by $ (x_i)_{\mathfrak U}$. 

 The following solution is the polynomial version of Definition 2.2 from [ @H ] (watch also Proposition 2.3 from [ @LR ]). The reasoning behind is almost the like. 

 \[pollim\ ] give two ultraproducts $ (X_i)_{\mathfrak U}$, $ (Y_i)_{\mathfrak U}$ and a family of continuous homogeneous polynomial $ \{P_i\}_{i\in I}$ of degree $ k$ with $ $ \displaystyle\sup_{i\in I } \Vert P_i \Vert < \infty,$$ the map $ P:(X_i)_{\mathfrak U}\longrightarrow (Y_i)_{\mathfrak U}$ defined by $ P((x_i)_{\mathfrak U})=(P_i(x_i))_{\mathfrak U}$ is a continuous homogeneous polynomial of degree $ k$. furthermore $ \Vert P \Vert = \displaystyle\lim_{i,{\mathfrak U } } \Vert P_i \Vert$. 

 If $ { \mathbb K}={\mathbb C}$, the hypothesis of homogeneity can be exclude, but in this case the degree of $ P$ can be broken than $ k$. 

 Let us start with the homogeneous case. spell $ P_i(x)=T_i(x,\cdots, x)$ with $ T_i$ a $ k-$linear continuous function. Define $ T:(X_i)_{\mathfrak U}^k \longrightarrow (Y_i)_{\mathfrak U}$ by $ $ T((x^1_i)_{\mathfrak U},\cdots,(x^k_i)_{\mathfrak U
i$ ajd norm $$\Vert (x_i)_{i\in I} \Veru = \sup_{i\in I} \Vert r_u \Vert.$$ The umtraprodjct $(X_i)_{\mathfrak U}$ is defined es tye quitient space $\ell_\infty(I,B_i)/ \sim $ wjere $$(x_i)_{i\un I}\wum (y_i)_{i\in I} \Leftrigmcarros \dis'leystyle\lim_{i,{\mathnrak U}} \Vert x_i - y_i \Vert = 0.$$

Mbrexve that Proposition \[buenadef\] assuref us thst this limit exysts sor snevy pair $(x_i)_{i\in I}, (y_i)_{i\in I}\in \ell_\inffy(I,X_i)$. Wt denote the class of $(x_i)_{i\in I}$ in $(X_i)_{\mathfrak K}$ by $(x_i)_{\mathfrak U}$.

The flllowing rewult us the polynumial verspmn of Defihition 2.2 from [@H] (see also Proposigion 2.3 from [@LR]). Tye rewvoning behiid is wlmost the same.

\[pollik\] Given two ultraprodmcts $(E_i)_{\marhfrak U}$, $(Y_i)_{\mathfrak U}$ and a family of cjntinuous hkmogeneous polynoniqls $\{P_h\}_{i\in I}$ ow deeret $k$ wjth $$\didpleystyle\sup_{i\jn I} \Vert P_u \Vert < \infty,$$ the msp $I:(C_i)_{\mathfrak U}\mongridhearrow (Y_i)_{\mathfrak U}$ defined by $P((x_i)_{\mathfgak H})=(P_i(x_i))_{\mathfrak U}$ is a cobtinuous homogeneous kolynomial of degree $k$. Moreover $\Vert P \Vert = \displaystyle\lik_{i,{\matiffak U}} \Xwrh P_i \Vert$.

If ${\mathbb K}={\mathbb C}$, the hypothesis os hpmpgeneity can bc omitted, but in tnid vwse the degreg of $P$ ezn be lower than $k$.

Leh us stwrt wuth the hjmogrneous case. Write $P_i(x)=T_i(x,\cdors,x)$ with $T_i$ c $k-$oinear continuous yunction. Defnne $T:(X_o)_{\mathgrak U}^k \longrightarrow (V_i)_{\mathrrak U}$ by $$T((d^1_i)_{\mathfrai U},\cdots,(x^k_i)_{\mathfrxk L
i$ and norm $$\Vert (x_i)_{i\in I} \Vert I} x_i \Vert.$$ ultraproduct $(X_i)_{\mathfrak U}$ space \sim $ where I}\sim (y_i)_{i\in I} \displaystyle\lim_{i,{\mathfrak U}} \Vert x_i - y_i = 0.$$ Observe that Proposition \[buenadef\] assures us that this limit exists for pair $(x_i)_{i\in I}, (y_i)_{i\in I}\in \ell_\infty(I,X_i)$. We denote the class of $(x_i)_{i\in I}$ $(X_i)_{\mathfrak by U}$. following result is the polynomial version of Definition 2.2 from [@H] (see also Proposition 2.3 from The reasoning behind is almost the same. \[pollim\] two ultraproducts $(X_i)_{\mathfrak U}$, U}$ and a family of homogeneous $\{P_i\}_{i\in I}$ degree with I} \Vert P_i < \infty,$$ the map $P:(X_i)_{\mathfrak U}\longrightarrow (Y_i)_{\mathfrak U}$ defined by $P((x_i)_{\mathfrak U})=(P_i(x_i))_{\mathfrak U}$ is a continuous homogeneous of degree $\Vert P = U}} P_i \Vert$. If C}$, the hypothesis of homogeneity can in this case the degree of $P$ can lower than Let us start with the homogeneous Write $P_i(x)=T_i(x,\cdots,x)$ with $T_i$ a $k-$linear continuous function. $T:(X_i)_{\mathfrak U}^k \longrightarrow (Y_i)_{\mathfrak U}$ by $$T((x^1_i)_{\mathfrak U},\cdots,(x^k_i)_{\mathfrak U
i$ and norm $$\Vert (x_i)_{i\in I} \Vert = \sup_{I\in I} \Vert x_i \vert.$$ THe uLtrApRoduCt $(X_i)_{\Mathfrak U}$ is defINed aS the quotient space $\ell_\inFty(I,X_I)/ \sIM $ wheRE $$(x_I)_{i\in I}\Sim (y_i)_{i\iN i} \LEFTriGhTaRroW \dISpLaystYle\Lim_{i,{\matHfrak U}} \Vert X_i - y_I \VErt = 0.$$

Observe thAT PRoposition \[BueNadef\] assures Us tHat thiS lImiT ExistS foR everY pair $(x_I)_{I\in I}, (y_i)_{I\in I}\in \ell_\InFTy(I,X_i)$. WE Denote tHE ClAss oF $(x_i)_{i\in I}$ in $(X_i)_{\mathfrAK U}$ BY $(x_i)_{\mathfrak U}$.

ThE folloWiNG rESUlt Is tHe polynomiAl VersiON of DefiNItION 2.2 FroM [@h] (see also PropoSition 2.3 from [@Lr]). the ReasonInG beHInd is aLmost ThE SamE.

\[pollim\] GiveN two UltraprodUcts $(X_i)_{\MAthfrak u}$, $(y_i)_{\mathfRak U}$ anD a fAmiLy of COnTiNuoUs HOmoGEnEouS PolYnomials $\{p_i\}_{I\iN I}$ of dEgreE $K$ WITh $$\diSplAystYle\suP_{i\in I} \Vert P_i \VeRt < \iNfty,$$ THe mAp $P:(X_i)_{\MathfRak U}\LoNgrigHtarroW (Y_i)_{\maThFrak U}$ defined by $P((X_i)_{\maThfrak U})=(P_i(X_i))_{\mAtHfrAk u}$ is a cONtinuoUs hOmoGeneous PolynomIAl oF dEGREe $K$. Moreover $\Vert P \Vert = \DiSPLaYstyle\liM_{i,{\mathFRaK U}} \vErt P_i \VerT$.

IF ${\maThbb k}={\MAthbb c}$, the HYpOthesis oF homogENeItY can be oMiTted, buT iN thIs cAse thE DegrEe of $P$ cAn be loweR than $K$.

let us start with THe homogeneous CAsE. wRiTE $P_i(x)=t_i(x,\Cdots,x)$ with $T_I$ a $k-$lINear ContINuOus FUnctiOn. DefInE $t:(X_I)_{\Mathfrak U}^k \longrightArRow (Y_i)_{\mAthfrAk U}$ by $$T((x^1_i)_{\mathfRak U},\cdots,(x^K_I)_{\MAthfrak U
i$ and norm $$\Vert (x_i)_ {i\in I} \ Vert= \ sup _{ i\in  I}\Vert x_i \Ver t .$$The ultraproduct $(X_i )_{\m at h frak U} $ isdefined as t hequ ot ien ts pa ce $\ ell _\infty (I,X_i)/ \ sim  $  where $$(x_ i )_ {i\in I}\s im(y_i)_{i\inI}\Leftr ig hta r row \ dis plays tyle\l i m_{i,{ \mathfrak  U } } \Ver t  x_i -y _ i\Ver t = 0.$$

Observe th a t Proposition\[buen ad e f\ ] ass ure s us thatth is li m it exis t sf o r  ev e ry pair $(x_i )_{i\in I}, (y_ i)_{i\ in  I} \ in \el l_\in ft y (I, X_i)$. We d enot e the cla ss of$ (x_i)_{ i \in I}$  in $( X_i )_{ \mat h fr ak  U} $b y $ ( x_ i)_ { \ma thfrak U }$ .
Thefoll o w i n g re sul t is  thepolynomial ve rsi on o f  De finit ion 2 .2 f ro m [@H ] (see  also  P roposition 2.3from  [@LR]).The  r eas on ing b e hind i s a lmo st thesame.
\ [po ll i m \ ]Given two ultrapro du c t s$(X_i)_{ \mathf r ak  U } $, $(Y_i )_ {\m athf r a k U}$  and afamily o f cont i nu ou s homog en eous p ol yno mia ls $\ { P_i\ }_{i\i n I}$ of  degr e e $k$ with $$\ d isplaystyle\s u p_ { i \i n  I}\Ve rt P_i \Ver t <\ inft y,$$ th e m a p $P: (X_i) _{ \ ma t hfrak U}\longrighta rr ow (Y_ i)_{\ mathfrak U}$defined by $ P ((x_i)_{ \mat h fr a k U})=(P_i(x_i ))_{\ mathfrak U } $ is a c ontin uous hom ogeneousp o lynomial  of  de gre e $ k $ .Moreover $\Ve r t  P \ Ve rt = \d isp laystyl e\l im_ {i, {\m at hfrak U}}  \Vert P _i  \ Ve rt $.
If $ { \mathbbK} ={\ ma thb b C}$ ,  the h ypoth esis  o fh omo geneity ca n be o mi tt ed,but  i n thi s ca s e t he degr ee of $P$  ca n  belo we r than$k$.

Let usst art with t he  ho mogene o u s case.Write $P_i(x)=T_i(x,\cd o ts,x)$wit h $T_ i$ a  $k-$line arcontin uou s  funct ion. D efine  $ T:( X _ i)_{\ m a th fra kU}^k \long r i ght arrow  ( Y_i) _{\math frak U}$ by $$T((x ^ 1_i )_{\mathfrakU}, \cdo t s ,( x^k _ i) _ {\m at h fra k U
i$ and_norm $$\Vert_(x_i)_{i\in I} \Vert =_\sup_{i\in I}_\Vert_x_i \Vert.$$_The_ultraproduct $(X_i)_{\mathfrak U}$_is defined as_the quotient space $\ell_\infty(I,X_i)/_\sim $ where_$$(x_i)_{i\in_I}\sim (y_i)_{i\in I} \Leftrightarrow \displaystyle\lim_{i,{\mathfrak U}} \Vert x_i - y_i \Vert = 0.$$

Observe that_Proposition_\[buenadef\] assures_us_that_this limit exists for every_pair $(x_i)_{i\in I}, (y_i)_{i\in I}\in_\ell_\infty(I,X_i)$. We_denote the class of $(x_i)_{i\in I}$ in $(X_i)_{\mathfrak_U}$_by $(x_i)_{\mathfrak U}$.

The_following result is the polynomial version of Definition 2.2_from [@H] (see also Proposition 2.3_from [@LR]). The_reasoning_behind_is almost the same.

\[pollim\]_Given two ultraproducts $(X_i)_{\mathfrak U}$, $(Y_i)_{\mathfrak_U}$ and a family of continuous_homogeneous polynomials $\{P_i\}_{i\in I}$ of degree $k$_with $$\displaystyle\sup_{i\in I} \Vert P_i \Vert_< \infty,$$ the map $P:(X_i)_{\mathfrak_U}\longrightarrow (Y_i)_{\mathfrak_U}$ defined by $P((x_i)_{\mathfrak U})=(P_i(x_i))_{\mathfrak_U}$ is a_continuous homogeneous_polynomial of degree_$k$. Moreover $\Vert P \Vert =_\displaystyle\lim_{i,{\mathfrak U}} \Vert_P_i \Vert$.

If ${\mathbb K}={\mathbb C}$, the_hypothesis_of homogeneity can_be_omitted,_but in_this case the_degree_of $P$_can_be lower than $k$.

Let us start_with_the homogeneous case. Write $P_i(x)=T_i(x,\cdots,x)$ with $T_i$_a $k-$linear continuous function._Define_$T:(X_i)_{\mathfrak U}^k \longrightarrow (Y_i)_{\mathfrak_U}$ by $$T((x^1_i)_{\mathfrak U},\cdots,(x^k_i)_{\mathfrak U