 apply Theorem 6.1.2 (iii) of [@PGS]. Thus, since $T e_k = y_k$ for each $k$, and $T(D)$ is absolutely convex the Bipolar Theorem implies $T(D) = B$ (see Theorem 5.2.7 for the non-Archimedean version of the Bipolar Theorem). Moreover, $B$ is a bounded (because $E$ is polar and we can apply Theorem 5.4.5 of [@PGS]) Banach disk.

So, from now on until the end of this section $K$ will be supposed to be spherically complete.

\[lemma:web\_ultraborn\] If $(E, \cW)$ is a polar webbed locally convex space, then also $E_\uborn$ is a webbed locally convex space.

We shall show that given a topological web $\cW$ on $E$, then the topological web $\cV$ associated to $\cW$ as in Lemma \[lemma:new\_web\] is a topological web for $E_\uborn$. The only non-trivial thing to check is that $\cV$ is completing for the topology of $E_\uborn$. So, we reproduce here the argument of Theorem 13.3.3 of [@J] adapting it for any base field.

Let’s consider $s: \N \to \N$ and $x_k \in \cV_{s, k}$ for each $k \in \N$. Then, by condition (4) of Definition \[defn:born\_web\] we know that $$\la \cV_{s, k + 1} \subset \cV_{s, k} \then \la^{k -1} \cV_{s, k + 1} \subset \cW_{s, k}.$$ Thus, for each $x_k$ we can write $$x_k = \frac{y_k}{\la^{k-1}}, \ \ \text{ with } y_k \in \cW_{s, k}$$ and since $\cW_{s, k}$ are balanced, the assumption that $\cW$ is completing implies that the series $\underset{k \in \N}\sum \mu_k y_k$ converges for the topology of $E$ for each possible choice of $\mu_k \in K^\circ
apply Theorem 6.1.2 (iii) of [ @PGS ]. Thus, since $ T e_k = y_k$ for each $ k$, and $ T(D)$ is absolutely convex the Bipolar Theorem implies $ T(D) = B$ (visualize Theorem 5.2.7 for the non - Archimedean interpretation of the Bipolar Theorem). Moreover, $ B$ is a bounded (because $ E$ is polar and we can put on Theorem 5.4.5 of [ @PGS ]) Banach disk. 

 So, from immediately along until the end of this section $ K$ will be supposed to be spherically complete. 

 \[lemma: web\_ultraborn\ ] If $ (E, \cW)$ is a pivotal webbed locally convex space, then besides $ E_\uborn$ is a webbed locally convex space. 

 We shall picture that given a topological web $ \cW$ on $ E$, then the topological vane $ \cV$ associated to $ \cW$ as in Lemma \[lemma: new\_web\ ] is a topological web for $ E_\uborn$. The only non - superficial thing to check is that $ \cV$ is completing for the topology of $ E_\uborn$. thus, we reproduce here the argument of Theorem 13.3.3 of [ @J ] adapting it for any base field. 

 lease ’s consider $ s: \N \to \N$ and $ x_k \in \cV_{s, k}$ for each $ k \in \N$. Then, by condition (4) of Definition \[defn: born\_web\ ] we know that $ $ \la \cV_{s, k + 1 } \subset \cV_{s, k } \then \la^{k -1 } \cV_{s, k + 1 } \subset \cW_{s, k}.$$ Thus, for each $ x_k$ we can write $ $ x_k = \frac{y_k}{\la^{k-1 } }, \ \ \text { with } y_k \in \cW_{s, k}$$ and since $ \cW_{s, k}$ are balanced, the assumption that $ \cW$ is completing implies that the series $ \underset{k \in \N}\sum \mu_k y_k$ converges for the topology of $ E$ for each possible choice of $ \mu_k \in K^\circ
 apoly Theorem 6.1.2 (iii) of [@PGS]. Uhus, since $T e_k = i_k$ for eech $k$, ahd $T(D)$ is absolutely convex the Bipoler Tyeoren implies $T(D) = B$ (see Thdorem 5.2.7 fog the non-Qrchmmedean version of the Bl'olar Bheorzm). Moreover, $B$ is a bounded (because $E$ is [ouax and we can apply Theorem 5.4.5 of [@PGS]) Bwnach dosn.

So, from now og unuil the vnb of this section $K$ will be suplosed tm be sphericakly complete.

\[lemma:web\_ultrablrn\] Lf $(E, \cW)$ is a polar webbed locqlly xonvex space, then also $E_\uborn$ is a webbed locally convex space.

We rhall show that guvej a topologiral wef $\cW$ on $E$, thcm the dopologocal web $\cV$ asxocmatee to $\cW$ as in Lemma \[lxmma:new\_web\] is a topojogical wab for $E_\uborn$. The oblt non-jrividl tfung to cieci is tjat $\cV$ is comlleting for the topology of $E_\unowb$. So, we reprosuce hqrq the argument of Theorem 13.3.3 of [@J] adaptinc if for any base field.

Let’w consider $s: \N \to \N$ ajd $x_k \in \sV_{s, k}$ for each $k \in \N$. Then, by condition (4) of Definhtion \[aefu:njfb\_wfb\] we know that $$\la \cV_{s, k + 1} \subset \cV_{s, k} \then \jz^{k -1} \bV_{s, k + 1} \subset \cW_{f, k}.$$ Thus, fot favr $x_k$ we can wtite $$x_k = \fdac{y_k}{\la^{k-1}}, \ \ \text{ wihh } y_k \yn \cW_{w, k}$$ and synce $\cW_{s, k}$ are balanced, the assymption that $\xW$ is completing ilplies that the serirs $\underset{k \in \N}\sum \mu_y y_k$ converges vor the tkoology of $E$ for dacm pmssible choice of $\mu_k \in K^\sirc
apply Theorem 6.1.2 (iii) of [@PGS]. Thus, e_k y_k$ for $k$, and $T(D)$ Theorem $T(D) = B$ Theorem 5.2.7 for non-Archimedean version of the Bipolar Theorem). $B$ is a bounded (because $E$ is polar and we can apply Theorem of [@PGS]) Banach disk. So, from now on until the end of this $K$ be to spherically complete. \[lemma:web\_ultraborn\] If $(E, \cW)$ is a polar webbed locally convex space, then also $E_\uborn$ a webbed locally convex space. We shall show given a topological web on $E$, then the topological $\cV$ to $\cW$ in \[lemma:new\_web\] a topological web $E_\uborn$. The only non-trivial thing to check is that $\cV$ is completing for the topology of $E_\uborn$. we reproduce argument of 13.3.3 [@J] it for any Let’s consider $s: \N \to \N$ \cV_{s, k}$ for each $k \in \N$. Then, condition (4) Definition \[defn:born\_web\] we know that $$\la k + 1} \subset \cV_{s, k} \then \la^{k \cV_{s, k + 1} \subset \cW_{s, k}.$$ Thus, for each $x_k$ we can write $$x_k \ \ \text{ with y_k \in \cW_{s, and $\cW_{s, are the assumption $\cW$ is completing implies that the series $\underset{k \in \N}\sum \mu_k converges for the topology of $E$ for each possible choice \in
 apply Theorem 6.1.2 (iii) of [@PGS]. Thus, sInce $T e_k = y_k$ fOr eacH $k$, aNd $T(d)$ iS absOlutEly convex the BiPOlar theorem implies $T(D) = B$ (see ThEorem 5.2.7 FoR The nON-ARchimEdean veRSiON Of tHe biPolAr tHeOrem). MOreOver, $B$ is A bounded (beCauSe $e$ is polar and wE CaN apply TheoRem 5.4.5 Of [@PGS]) Banach dIsk.

so, from NoW on UNtil tHe eNd of tHis secTIon $K$ wiLl be suppoSeD To be spHEricallY COmPletE.

\[lemma:web\_ultraborN\] if $(e, \CW)$ is a polar webbEd locaLlY CoNVEx sPacE, then also $E_\UbOrn$ is A Webbed lOCaLLY ConVEx space.

We shalL show that giVEn a TopoloGiCal WEb $\cW$ on $e$, then ThE TopOlogical web $\CV$ asSociated tO $\cW$ as iN lemma \[leMMa:new\_weB\] is a toPolOgiCal wEB fOr $e_\ubOrN$. the ONlY noN-TriVial thinG tO cHeck iS thaT $\Cv$ IS comPleTing For thE topology of $E_\uBorN$. So, wE RepRoducE here The aRgUment Of TheoRem 13.3.3 of [@j] aDapting it for any Base Field.

Let’s ConSiDer $S: \N \To \N$ anD $X_k \in \cV_{S, k}$ fOr eAch $k \in \N$. then, by cONdiTiON (4) OF DEfinition \[defn:born\_wEb\] WE KnOw that $$\la \CV_{s, k + 1} \suBSeT \cv_{S, k} \then \la^{K -1} \cv_{s, k + 1} \SubsET \CW_{s, k}.$$ THus, fOR eAch $x_k$ we cAn writE $$X_k = \FrAc{y_k}{\la^{k-1}}, \ \ \TeXt{ with } Y_k \In \cw_{s, k}$$ And siNCe $\cW_{S, k}$ are bAlanced, tHe assUMption that $\cW$ is COmpleting implIEs THAt THe seRieS $\underset{k \iN \N}\suM \Mu_k y_K$ conVErGes FOr the TopolOgY Of $e$ For each possible choiCe Of $\mu_k \iN K^\cirC
 apply Theorem 6.1.2 (iii)  of [@PGS] . Thu s,sin ce  $Te_k= y_k$ for eac h  $k$ , and $T(D)$ is absolu telyco n vext he  Bipo lar The o re m imp li es  $T (D )  =  B$ ( see  Theore m 5.2.7 fo r t he  non-Archime d ea n versionofthe BipolarThe orem).  M ore o ver,$B$  is a  bound e d (bec ause $E$is polara nd we c a n  a pply  Theorem 5.4.5 of [@ P GS]) Banach di sk.

S o, fr o m  no w o n until th eend o f  this s e ct i o n  $K $  will be supp osed to bes phe ricall ycom p lete.
\[le mm a :we b\_ultrabor n\]If $(E, \ cW)$ i s  a pola r  webbed  local lycon vexs pa ce , t he n  al s o$E_ \ ubo rn$ is a  w eb bed l ocal l y c onve x s pace .

We  shall show t hat  giv e n a  topo logic al w eb  $\cW $ on $ E$, t he n the topologic al w eb $\cV$ass oc iat ed  to $ \ cW$ as  in  Le mma \[l emma:ne w \_w eb \ ] is  a topological web  f o r  $ E_\uborn $. The on ly non-triv ia l t hing t o che ck i s  t hat $\cV $ is c o mp le ting fo rthe to po log y o f $E_ \ ubor n$. So , we rep roduc e  here the argu m ent of Theore m  1 3 . 3. 3  of[@J ] adaptingit f o r an y ba s efie l d.

L et’sco n si d er $s: \N \to \N$ a nd  $x_k\in \ cV_{s, k}$ fo r each $k\ i n  \N$. Th en,b yc ondition (4) o f Def inition \[ d efn:born \_web \] we kn ow that $ $ \ la \cV_{ s,k +  1}  \s u b se t \cV_{s, k}\ t hen\l a^{k -1 } \ cV_{s,k +  1}  \s ubs et  \cW_{s,k}.$$ Th us ,fo reac h $x_ k $ we can  w rit e$$x _k =\ frac{y _k}{\ la^{ k- 1} } , \  \ \tex t {w i th }  y _k  \in  \c W_ {s, k }$$a ndsince $ \cW_{s, k }$a re b al an ced, th e assumptionth at $\cW$ i scom pletin g impliesthat the series $\under s et{k \i n \ N}\su m \m u_k y_k$con verges  fo r  the t opolog y of$E $ f o r  each p os sib le  choice of $ \mu _k \i nK^\c irc
 apply_Theorem 6.1.2_(iii) of [@PGS]. Thus,_since $T_e_k_= y_k$_for_each $k$, and_$T(D)$ is absolutely_convex the Bipolar Theorem_implies $T(D) =_B$_(see Theorem 5.2.7 for the non-Archimedean version of the Bipolar Theorem). Moreover, $B$ is_a_bounded (because_$E$_is_polar and we can apply_Theorem 5.4.5 of [@PGS]) Banach_disk.

So, from_now on until the end of this section_$K$_will be supposed_to be spherically complete.

\[lemma:web\_ultraborn\] If $(E, \cW)$ is a_polar webbed locally convex space, then_also $E_\uborn$ is_a_webbed_locally convex space.

We shall_show that given a topological web_$\cW$ on $E$, then the topological_web $\cV$ associated to $\cW$ as in_Lemma \[lemma:new\_web\] is a topological web_for $E_\uborn$. The only non-trivial_thing to_check is that $\cV$ is_completing for the_topology of_$E_\uborn$. So, we_reproduce here the argument of Theorem_13.3.3 of [@J]_adapting it for any base field.

Let’s_consider_$s: \N \to_\N$_and_$x_k \in_\cV_{s, k}$ for_each_$k \in_\N$._Then, by condition (4) of Definition_\[defn:born\_web\]_we know that $$\la \cV_{s, k +_1} \subset \cV_{s, k}_\then_\la^{k -1} \cV_{s, k_+ 1} \subset \cW_{s, k}.$$_Thus, for each $x_k$ we can_write $$x_k_= \frac{y_k}{\la^{k-1}},_\ \ \text{ with } y_k \in \cW_{s, k}$$ and since_$\cW_{s, k}$ are balanced, the assumption_that $\cW$ is completing_implies that_the_series $\underset{k \in_\N}\sum_\mu_k y_k$_converges for the topology of $E$ for_each possible_choice of $\mu_k \in K^\circ