, u ) \in \mathcal{C} \times [0,1] : (\gamma_x, t, s, u ) \in \overline{\Pi}\}.$$Let us observe that $\overline{\Pi}^\varepsilon$ is a Poisson process on $\mathcal{C} \times [0,1]$ with intensity measure $\overline{\phi}_{\nu_\varepsilon}$ where $\nu_\varepsilon$ denotes the $\varepsilon$-*discretized intensity measure* defined by the formula $$\nu_\varepsilon := \nu \circ D_\varepsilon^{-1}.$$ Furthermore, establishes a one-to-one correspondence between cylinders of With this in mind, we shall write $C_\varepsilon$ to denote the $\varepsilon$-cylinder in $\Pi^\varepsilon$ which corresponds to the cylinder $C \in \Pi$, i.e., if $C=(\gamma_x,t,s)$ then we shall set $C_\varepsilon = (\gamma_x^\varepsilon,t,s )$.

\[convaga\] For each $t \in {{\mathbb R}}$ we have $\Pi^\varepsilon_t \overset{as}{\longrightarrow} \Pi_t$ as $\varepsilon \rightarrow 0^+$ with the vague topology.

Straightforward consequence of the following lemma.

\[lemaconvaga\] Let $\xi \in \mathcal{N}(S \times G)$ and for each $\varepsilon > 0$ consider the configuration $\xi^\varepsilon$ defined by the standard representation $$\xi^\varepsilon = \sum_{\gamma_x \in Q_\xi} m(\gamma_x)\delta_{\gamma_x^\varepsilon}.\footnote{The fact that for every $\varepsilon > 0$ the configuration $\xi^\varepsilon$ is indeed \textit{locally finite} follows from the absolute local compactness of $S \times G$.}$$ Then with respect to the vague topology in $\mathcal{N}(S \times G)$ we have $\lim_{\varepsilon \rightarrow 0^+} \xi^\varepsilon = \xi.$

It suffices to show that for each compact set $K \subseteq S \times G$ and $\delta > 0$ there exists $\varepsilon_0 > 0$ small enough such that $\xi^\varepsilon \in (\xi)_{K,\delta}$ for all $0 <\varepsilon < \varepsilon_0$. Notice that if we take $$\varepsilon_0 := \left(\frac{1}{2}\min\{ d_{S \times G}\
, u) \in \mathcal{C } \times [ 0,1 ]: (\gamma_x, t, s, u) \in \overline{\Pi}\}.$$Let us observe that $ \overline{\Pi}^\varepsilon$ is a Poisson process on $ \mathcal{C } \times [ 0,1]$ with volume standard $ \overline{\phi}_{\nu_\varepsilon}$ where $ \nu_\varepsilon$ denotes the $ \varepsilon$-*discretized intensity measure * define by the formula $ $ \nu_\varepsilon: = \nu \circ D_\varepsilon^{-1}.$$ Furthermore, establishes a one - to - one parallelism between cylinder of With this in mind, we shall publish $ C_\varepsilon$ to denote the $ \varepsilon$-cylinder in $ \Pi^\varepsilon$ which corresponds to the cylinder $ vitamin c \in \Pi$, i.e., if $ C=(\gamma_x, t, s)$ then we shall set $ C_\varepsilon = (\gamma_x^\varepsilon, t, s) $. 

 \[convaga\ ] For each $ t \in { { \mathbb R}}$ we have $ \Pi^\varepsilon_t \overset{as}{\longrightarrow } \Pi_t$ as $ \varepsilon \rightarrow 0^+$ with the vague topology. 

 Straightforward consequence of the following lemma. 

 \[lemaconvaga\ ] permit $ \xi \in \mathcal{N}(S \times G)$ and for each $ \varepsilon > 0 $ consider the configuration $ \xi^\varepsilon$ defined by the standard theatrical performance $ $ \xi^\varepsilon = \sum_{\gamma_x \in Q_\xi } m(\gamma_x)\delta_{\gamma_x^\varepsilon}.\footnote{The fact that for every $ \varepsilon > 0 $ the configuration $ \xi^\varepsilon$ is indeed \textit{locally finite } follows from the absolute local concentration of $ S \times G$.}$$ Then with respect to the undefined topology in $ \mathcal{N}(S \times G)$ we consume $ \lim_{\varepsilon \rightarrow 0^+ } \xi^\varepsilon = \xi.$ 

 It suffices to show that for each compact dress $ K \subseteq S \times G$ and $ \delta > 0 $ there exists $ \varepsilon_0 > 0 $ small enough such that $ \xi^\varepsilon \in (\xi)_{K,\delta}$ for all $ 0 < \varepsilon < \varepsilon_0$. Notice that if we take $ $ \varepsilon_0: = \left(\frac{1}{2}\min\ { d_{S \times G}\
, u ) \in \mathcal{C} \times [0,1] : (\gamoa_x, t, s, u ) \in \orwrline{\'i}\}.$$Let ua observd that $\overline{\Pi}^\varepsilon$ ms a Poiswon process on $\mathcal{Z} \times [0,1]$ aith intwnsiuy measure $\overliis{\phi}_{\nu_\varepsimln}$ wkece $\nu_\varepsilon$ denotes tve $\varepsilon$-*dhszrztized intensity measure* defined by ehe forkupa $$\nu_\varepsilog := \nl \sirc D_\varepsilon^{-1}.$$ Furthermore, establishss a ont-to-one correspondemce between cylinders of Wlth hhis in mind, we shwll write $C_\care[wilon$ to denute the $\vagzpsilon$-cylihder in $\Pi^\varepsilon$ which corrdsponbs to the ciljnfgr $C \in \Pi$, i.x., if $C=(\damma_x,t,s)$ thek we shdll set $C_\varepsilon = (\namma_e^\varwpsilon,t,s )$.

\[convaga\] For each $t \in {{\mathbb T}}$ we have $\[i^\rarepsilon_t \overset{as}{\oobgrigvtarsow} \Ou_t$ xs $\bacepailon \gigitarrow 0^+$ wifh the vaguw topology.

Straightfprrqrd consequende of ehq following lemma.

\[lemaconvaga\] Let $\xi \in \katgcal{N}(S \times G)$ and for wach $\varepsilon > 0$ condider the configuration $\xi^\varepsilon$ defined by the standasd re'rdseubwguoj $$\xi^\varepsilon = \sum_{\gamma_x \in Q_\xi} m(\gamma_x)\delta_{\dzmka_q^\varepsilon}.\footnobe{The fact that fot fvrty $\varepsilon > 0$ the eknriguration $\xi^\varepdilon$ if indwed \textiu{locakly finite} follows from the absolute lobal xompactness of $S \tnmes G$.}$$ Then cith rgspect to the vague topology nn $\matgcal{N}(S \timed G)$ we habd $\lim_{\varepsilon \figmtasrow 0^+} \xi^\varepsilon = \xi.$

It stffices ti shpw that for each sompact seh $K \smtseteq S \times G$ ajd $\deptd > 0$ there fxists $\varepsilon_0 > 0$ small enougi such that $\xo^\vdreisilon \in (\xi)_{K,\dclta}$ for all $0 <\vwrepsilon < \vargpsilon_0$. Njtice that if wv take $$\vacepsilon_0 := \lest(\frac{1}{2}\min\{ d_{S \dlmes G}\
, u ) \in \mathcal{C} \times [0,1] t, u ) \overline{\Pi}\}.$$Let us observe process $\mathcal{C} \times [0,1]$ intensity measure $\overline{\phi}_{\nu_\varepsilon}$ $\nu_\varepsilon$ denotes the $\varepsilon$-*discretized intensity measure* by the formula $$\nu_\varepsilon := \nu \circ D_\varepsilon^{-1}.$$ Furthermore, establishes a one-to-one correspondence cylinders of With this in mind, we shall write $C_\varepsilon$ to denote the in which to cylinder $C \in \Pi$, i.e., if $C=(\gamma_x,t,s)$ then we shall set $C_\varepsilon = (\gamma_x^\varepsilon,t,s )$. \[convaga\] each $t \in {{\mathbb R}}$ we have $\Pi^\varepsilon_t \Pi_t$ as $\varepsilon \rightarrow with the vague topology. Straightforward of following lemma. Let \in \times G)$ and each $\varepsilon > 0$ consider the configuration $\xi^\varepsilon$ defined by the standard representation $$\xi^\varepsilon = \sum_{\gamma_x \in m(\gamma_x)\delta_{\gamma_x^\varepsilon}.\footnote{The fact every $\varepsilon 0$ configuration is indeed \textit{locally from the absolute local compactness of Then with respect to the vague topology in \times G)$ have $\lim_{\varepsilon \rightarrow 0^+} \xi^\varepsilon = It suffices to show that for each compact $K \subseteq S \times G$ and $\delta > 0$ there exists $\varepsilon_0 > 0$ small that $\xi^\varepsilon \in (\xi)_{K,\delta}$ all $0 <\varepsilon \varepsilon_0$. that we $$\varepsilon_0 := d_{S \times G}\
, u ) \in \mathcal{C} \times [0,1] : (\gamma_x, t, s, u ) \In \overline{\pi}\}.$$Let Us oBseRvE thaT $\oveRline{\Pi}^\varepsiLOn$ is A Poisson process on $\mathcAl{C} \tiMeS [0,1]$ With INtEnsitY measurE $\OvERLinE{\pHi}_{\Nu_\vArEPsIlon}$ wHerE $\nu_\varePsilon$ denoTes ThE $\varepsilon$-*dIScRetized intEnsIty measure* deFinEd by thE fOrmULa $$\nu_\vArePsiloN := \nu \cirC d_\varepSilon^{-1}.$$ FurtHeRMore, esTAblisheS A OnE-to-oNe correspondence bETwEEn cylinders of WIth thiS iN MiND, We sHalL write $C_\varEpSilon$ TO denote THe $\VAREpsILon$-cylinder in $\pi^\varepsiloN$ WhiCh corrEsPonDS to the CylinDeR $c \in \pi$, i.e., if $C=(\gammA_x,t,s)$ Then we shaLl set $C_\VArepsilON = (\gamma_x^\VarepsIloN,t,s )$.

\[ConvAGa\] foR eaCh $T \In {{\mAThBb R}}$ WE haVe $\Pi^\varePsIlOn_t \ovErseT{AS}{\LOngrIghTarrOw} \Pi_t$ As $\varepsilon \rIghTarrOW 0^+$ wiTh the Vague TopoLoGy.

StrAightfOrwarD cOnsequence of the FollOwing lemmA.

\[leMaConVaGa\] Let $\XI \in \matHcaL{N}(S \Times G)$ aNd for eaCH $\vaRePSILoN > 0$ consider the configUrATIoN $\xi^\varepSilon$ dEFiNeD By the staNdArd ReprESEntatIon $$\xI^\VaRepsilon = \Sum_{\gamMA_x \In q_\xi} m(\gamMa_X)\delta_{\GaMma_X^\vaRepsiLOn}.\foOtnote{the fact tHat foR Every $\varepsiloN > 0$ The configuratIOn $\XI^\VaREpsiLon$ Is indeed \texTit{lOCallY finITe} FolLOws frOm the AbSOlUTe local compactness oF $S \Times G$.}$$ then wIth respect to tHe vague topOLOGy in $\mathCal{N}(s \TiMEs G)$ we have $\lim_{\vaRepsiLon \rightarROw 0^+} \xi^\varePsiloN = \xi.$

It sufFices to shOW That for eAch ComPacT seT $k \SuBseteq S \times G$ AND $\delTa > 0$ There exIstS $\varepsIloN_0 > 0$ smAll EnoUgH such that $\Xi^\varepsIlOn \In (\Xi)_{k,\deLta}$ foR All $0 <\varepSiLon < \VaRepSilon_0$. nOtice tHat if We taKe $$\VaREpsIlon_0 := \lefT(\FrAC{1}{2}\Min\{ d_{s \tImEs G}\
, u ) \in \mathcal{C} \tim es [0,1] :  (\ga mma _x,  t , s,  u )  \in \overline { \Pi} \}.$$Let us observe th at $\ ov e rlin e {\ Pi}^\ varepsi l on $ isaPo iss on pr ocess  on  $\math cal{C} \ti mes  [ 0,1]$ with i n te nsity meas ure  $\overline{ \ph i}_{\n u_ \va r epsil on} $ whe re $\n u _\vare psilon$ d en o tes th e  $\vare p s il on$- *discretized inte n si t y measure* def ined b yt he f orm ula  $$\nu_\va re psilo n  := \nu \c i r c  D_ \ varepsilon^{- 1}.$$ Furth e rmo re, es ta bli s hes aone-t o- o necorresponde ncebetween c ylinde r s of Wi t h thisin min d,weshal l  w ri te$C _ \va r ep sil o n$to denot eth e $\v arep s i l o n$-c yli nder  in $ \Pi^\varepsil on$  whi c h c orres ponds  toth e cyl inder$C \i n\Pi$, i.e., if$C=( \gamma_x, t,s )$  th en  we s h all se t $ C_\ varepsi lon = ( \ gam ma _ x ^ \v arepsilon,t,s )$.
\ [ c on vaga\] F or eac h  $ t\ in {{\ma th bbR}}$ w e hav e $\ P i^ \varepsi lon_t\ ov er set{as} {\ longri gh tar row } \Pi _ t$ a s $\va repsilon  \rig h tarrow 0^+$ wi t h the vague t o po l o gy . 

St rai ghtforwardcons e quen ce o f  t hef ollow ing l em m a. 
\[lemaconvaga\] Le t$\xi \ in \m athcal{N}(S \ times G)$a n d  for eac h $\ v ar e psilon > 0$ co nside r the conf i guration  $\xi ^\vareps ilon$ def i n ed by th e s tan dar d r e p re sentation $$\ x i ^\va re psilon= \ sum_{\g amm a_x  \i n Q _\ xi} m(\ga mma_x)\d el ta _{ \g amm a_x^\ v arepsilo n} .\f oo tno te{Th e  factthatforev er y  $\ varepsi l on >  0$th econf igu ra tion$\xi ^ \va repsilo n$ is ind eed \tex ti t{ locally  finite} foll ow s from the  a bso lute l o c al compa ctness of $S \times G$. } $$ Then  wi th re spec t to thevag ue top olo g y in $ \mathc al{N} (S  \t i m es G) $ we  ha ve  $\lim_{\v a r eps ilon\r ight arrow 0 ^+} \xi^\varepsilo n  =\xi.$

It suf fic es t o sh owt ha t  fo re ach c ompact set $K \ subseteq S  \ t im es G$ and$ \de lt a > 0$there e xists $\varep silon_0 >  0$ small  e noug h suc h that $\x i^\varep silon \in (\xi) _ {K ,\del ta} $ foral l $ 0 <\v arepsi l on< \va repsil on _0$. N otice  t hat if w e take $$\varepsilon_0:= \le ft(\f rac {1}{2}\mi n\{ d_{ S \timesG}\
, u_) \in_\mathcal{C} \times [0,1] :_(\gamma_x, t,_s,_u )_\in_\overline{\Pi}\}.$$Let us observe_that $\overline{\Pi}^\varepsilon$ is_a Poisson process on_$\mathcal{C} \times [0,1]$_with_intensity measure $\overline{\phi}_{\nu_\varepsilon}$ where $\nu_\varepsilon$ denotes the $\varepsilon$-*discretized intensity measure* defined by the formula_$$\nu_\varepsilon_:= \nu_\circ_D_\varepsilon^{-1}.$$_Furthermore, establishes a one-to-one correspondence_between cylinders of With this_in mind,_we shall write $C_\varepsilon$ to denote the $\varepsilon$-cylinder_in_$\Pi^\varepsilon$ which corresponds_to the cylinder $C \in \Pi$, i.e., if $C=(\gamma_x,t,s)$_then we shall set $C_\varepsilon =_(\gamma_x^\varepsilon,t,s )$.

\[convaga\] For_each_$t_\in {{\mathbb R}}$ we_have $\Pi^\varepsilon_t \overset{as}{\longrightarrow} \Pi_t$ as $\varepsilon_\rightarrow 0^+$ with the vague topology.

Straightforward_consequence of the following lemma.

\[lemaconvaga\] Let $\xi_\in \mathcal{N}(S \times G)$ and for_each $\varepsilon > 0$ consider_the configuration_$\xi^\varepsilon$ defined by the standard_representation $$\xi^\varepsilon =_\sum_{\gamma_x \in_Q_\xi} m(\gamma_x)\delta_{\gamma_x^\varepsilon}.\footnote{The fact_that for every $\varepsilon > 0$_the configuration $\xi^\varepsilon$_is indeed \textit{locally finite} follows from_the_absolute local compactness_of_$S_\times G$.}$$_Then with respect_to_the vague_topology_in $\mathcal{N}(S \times G)$ we have_$\lim_{\varepsilon_\rightarrow 0^+} \xi^\varepsilon = \xi.$

It suffices to_show that for each_compact_set $K \subseteq S_\times G$ and $\delta >_0$ there exists $\varepsilon_0 > 0$_small enough_such that_$\xi^\varepsilon \in (\xi)_{K,\delta}$ for all $0 <\varepsilon < \varepsilon_0$. Notice that_if we take $$\varepsilon_0 := \left(\frac{1}{2}\min\{_d_{S \times G}\