 the $L^{\infty}$-bound for the laplacian and the uniform boundedness of the supports.

Passing to the proof of (ii), observe that the very construction of the regularized Kantorovich potentials (see ) $\eta_s$ grants that $(\mu_s,b_s)_{s\in(0,1)}$ is a solution to the continuity equation with uniformly bounded density (the uniform bound for the densities is a consequence of ). Moreover, grants, via the results of [@AmbrosioTrevisan14], that, for any $0<s<t<1$, there exists a unique Regular Lagrangian flow $({{\boldsymbol{X}}}_s^r)_{r\in[s,t]}$ of $(b_r)_{r\in(s,t)}$. Observe that, by the very definition of RLF, also $r\mapsto ({{\boldsymbol{X}}}_s^r)_{\sharp}\mu_s$ is a solution, with uniformly bounded density and initial datum $\mu_s$, to the continuity equation induced by $(b_r)_{r\in(s,t)}$. Hence $({{\boldsymbol{X}}}_s^t)_{\sharp}\mu_s=\mu_t$ for any $s\le t<1$, since the conclusion in (i) implies that the continuity equation induced by $(b_r)_{r\in(s,t)}$ has a unique solution with uniformly bounded density (again by the results of [@AmbrosioTrevisan14]).

Conclusion {#subsec:conclusion}
----------

Below we state and prove our main theorem concerning the constancy of the dimension for finite dimensional $\operatorname{RCD}$ metric measure spaces. Its proof involves almost all the ingredients we developed so far in the note.

\[thm:constancyofdimension\] Let $(X,{\mathsf{d}},{\mathfrak{m}})$ be an $\operatorname{RCD}(K,N)$ m.m.s. for some $K\in{\mathbb{R}}$ and $1\le N<+\infty$. Then there is exactly one regular set $\mathcal{R}_n$ having positive ${\mathfrak{m}}$-measure in the Mondino-Naber decomposition of $(X,{\mathsf{d}},{\mathfrak{m}})$.

As we already observed, the statement is not affected by tensorization with Euclidean factors. Thus we assume without loss of generality that $(X,{\mathsf{d}},{\mathfrak{m}})$ satisfies either assumption
the $ L^{\infty}$-bound for the laplacian and the uniform boundedness of the supports. 

 Passing to the validation of (ii), note that the very construction of the regulate Kantorovich electric potential (see) $ \eta_s$ grants that $ (\mu_s, b_s)_{s\in(0,1)}$ is a solution to the continuity equality with uniformly bounded density (the uniform bound for the density is a consequence of). Moreover, grants, via the resultant role of [ @AmbrosioTrevisan14 ], that, for any $ 0 < s < t<1 $, there exists a unique unconstipated Lagrangian menstruation $ ({ { \boldsymbol{X}}}_s^r)_{r\in[s, t]}$ of $ (b_r)_{r\in(s, t)}$. Observe that, by the very definition of RLF, also $ r\mapsto ({ { \boldsymbol{X}}}_s^r)_{\sharp}\mu_s$ is a solution, with uniformly bounded density and initial datum $ \mu_s$, to the continuity equation induce by $ (b_r)_{r\in(s, t)}$. Hence $ ({ { \boldsymbol{X}}}_s^t)_{\sharp}\mu_s=\mu_t$ for any $ s\le t<1 $, since the conclusion in (i) incriminate that the continuity equation induced by $ (b_r)_{r\in(s, t)}$ has a unique solution with uniformly jump density (again by the results of [ @AmbrosioTrevisan14 ]). 

 Conclusion { # subsec: conclusion } 
 ---------- 

 Below we state and prove our chief theorem concerning the constancy of the dimension for finite dimensional $ \operatorname{RCD}$ metric measure spaces. Its proof involves almost all the ingredients we developed so far in the note. 

 \[thm: constancyofdimension\ ] Let $ (X,{\mathsf{d}},{\mathfrak{m}})$ be an $ \operatorname{RCD}(K, N)$ m.m.s. for some $ K\in{\mathbb{R}}$ and $ 1\le N<+\infty$. Then there is exactly one regular sic $ \mathcal{R}_n$ having positive $ { \mathfrak{m}}$-measure in the Mondino - Naber decay of $ (X,{\mathsf{d}},{\mathfrak{m}})$. 

 As we already note, the statement is not affected by tensorization with Euclidean gene. Thus we assume without loss of generality that $ (X,{\mathsf{d}},{\mathfrak{m}})$ meet either assumption
 thf $L^{\infty}$-bound for the laklacian and the uuuform uoundedhess of ghe supports.

Passing to the pcoof of (iu), observe that the verh construbtion of rhe cegularized Kantorovich ijtenflals (vxe ) $\eta_s$ grants that $(\mu_s,b_v)_{s\in(0,1)}$ is a soludiun to the continuity equation with unyformly blunded density (the tnifkgm bound for the densities is a conseqlence of ). Moreovet, grants, via the results ov [@AmhrosioTrevisan14], thah, for any $0<s<j<1$, thqee exists a jnique Reglnar Lagranfian flow $({{\boldsymbol{X}}}_s^r)_{r\in[s,t]}$ of $(b_r)_{r\iu(s,t)}$. Observe tyat, ty the very defigition of RLN, also $s\mapsto ({{\boldsymbol{X}}}_s^r)_{\xhacp}\mu_w$ is a solution, with nniformly bounded degsity and iuitial datum $\mu_s$, to tye conthnuidy edyatkon iiduded by $(b_r)_{c\in(s,t)}$. Hence $({{\boldsymbol{Z}}}_s^t)_{\sharp}\mu_s=\mu_t$ for snr $s\le t<1$, since fhe cogcjusion in (i) implies that the continuity eqhation induced by $(b_r)_{r\in(w,t)}$ has a unique solutlon with tniformly bounded density (again by the results of [@AmbrkrioUrcyisav14]).

Xojclusion {#subsec:conclusion}
----------

Below we state and pwkvt olr main theorem cjncerning tne cpgstancy of thg dimensioh for finite dimendional $\jperarorname{RCQ}$ meyric measure spaces. Its proif involves clmist all the ingrednents we devzloped so fsr in the note.

\[thm:constaucyofdjmension\] Leh $(X,{\mathsf{s}},{\oathfrak{m}})$ be an $\upegatosname{RCD}(K,N)$ m.m.s. for some $K\ig{\mathbb{R}}$ end $1\lz N<+\infty$. Them therq is exactpy onc regular set $\mathcwl{R}_n$ kavinc positive ${\mathfrak{m}}$-measure in the Mondino-Naber decompoxidiot of $(X,{\machsf{d}},{\msthfrak{m}})$.

As we already obserred, the ftateoent is non affectev by tensorisation with Egflidean factmrs. Thus we qssune withujt loss of genrrality tkct $(X,{\mathsd{d}},{\mathfrak{m}})$ satisfles ekfher assumption
the $L^{\infty}$-bound for the laplacian and the of supports. Passing the proof of construction the regularized Kantorovich (see ) $\eta_s$ that $(\mu_s,b_s)_{s\in(0,1)}$ is a solution to continuity equation with uniformly bounded density (the uniform bound for the densities is consequence of ). Moreover, grants, via the results of [@AmbrosioTrevisan14], that, for any there a Regular flow $({{\boldsymbol{X}}}_s^r)_{r\in[s,t]}$ of $(b_r)_{r\in(s,t)}$. Observe that, by the very definition of RLF, also $r\mapsto ({{\boldsymbol{X}}}_s^r)_{\sharp}\mu_s$ is solution, with uniformly bounded density and initial datum to the continuity equation by $(b_r)_{r\in(s,t)}$. Hence $({{\boldsymbol{X}}}_s^t)_{\sharp}\mu_s=\mu_t$ for $s\le since the in implies the continuity equation by $(b_r)_{r\in(s,t)}$ has a unique solution with uniformly bounded density (again by the results of [@AmbrosioTrevisan14]). Conclusion ---------- Below and prove main concerning constancy of the finite dimensional $\operatorname{RCD}$ metric measure spaces. almost all the ingredients we developed so far the note. Let $(X,{\mathsf{d}},{\mathfrak{m}})$ be an $\operatorname{RCD}(K,N)$ m.m.s. some $K\in{\mathbb{R}}$ and $1\le N<+\infty$. Then there is one regular set $\mathcal{R}_n$ having positive ${\mathfrak{m}}$-measure in the Mondino-Naber decomposition of $(X,{\mathsf{d}},{\mathfrak{m}})$. As we the statement is not by tensorization with factors. we without of generality $(X,{\mathsf{d}},{\mathfrak{m}})$ satisfies either assumption
 the $L^{\infty}$-bound for the laplaCian and the UnifoRm bOunDeDnesS of tHe supports.

PassINg to The proof of (ii), observe thaT the vErY ConsTRuCtion Of the reGUlARIzeD KAnTorOvICh PotenTiaLs (see ) $\etA_s$ grants thAt $(\mU_s,B_s)_{s\in(0,1)}$ is a soluTIoN to the contInuIty equation wIth UniforMlY boUNded dEnsIty (thE unifoRM bound For the denSiTIes is a COnsequeNCE oF ). MorEover, grants, via the REsULts of [@AmbrosioTRevisaN14], tHAt, FOR anY $0<s<t<1$, There existS a UniquE regular lAgRANGiaN Flow $({{\boldsymboL{X}}}_s^r)_{r\in[s,t]}$ of $(B_R)_{r\iN(s,t)}$. ObsErVe tHAt, by thE very DeFIniTion of RLF, alSo $r\mApsto ({{\boldSymbol{x}}}_S^r)_{\sharp}\MU_s$ is a soLution, WitH unIforMLy BoUndEd DEnsITy And INitIal datum $\Mu_S$, tO the cOntiNUITY equAtiOn inDuced By $(b_r)_{r\in(s,t)}$. HencE $({{\boLdsyMBol{x}}}_s^t)_{\shArp}\mu_S=\mu_t$ FoR any $s\Le t<1$, sinCe the CoNclusion in (i) implIes tHat the conTinUiTy eQuAtion INduced By $(b_R)_{r\iN(s,t)}$ has a Unique sOLutIoN WITh Uniformly bounded deNsITY (aGain by thE resulTS oF [@AMBrosioTrEvIsaN14]).

ConCLUsion {#SubsEC:cOnclusioN}
----------

Below WE sTaTe and prOvE our maIn TheOreM concERninG the coNstancy oF the dIMension for finiTE dimensional $\oPErATOrNAme{RcD}$ mEtric measurE spaCEs. ItS proOF iNvoLVes alMost aLl THe INgredients we developEd So far iN the nOte.

\[thm:constanCyofdimensION\] let $(X,{\mathSf{d}},{\mAThFRak{m}})$ be an $\operatOrnamE{RCD}(K,N)$ m.m.s. fOR some $K\in{\MathbB{R}}$ and $1\le N<+\Infty$. Then THEre is exaCtlY onE reGulAR SeT $\mathcal{R}_n$ havING posItIve ${\mathFraK{m}}$-measuRe iN thE MoNdiNo-naber decoMpositioN oF $(X,{\MaThSf{d}},{\MathfRAk{m}})$.

As we aLrEadY oBseRved, tHE stateMent iS not AfFeCTed By tensoRIzATIon wItH EUcliDeaN fActorS. ThuS We aSsume wiThout loss Of gENeraLiTy That $(X,{\maThsf{d}},{\mathfrak{M}})$ sAtisfies eiThEr aSsumptION
 the $L^{\infty}$-bound fo r the lapl acian  an d t he  uni form  boundedness o f  the  supports.

Passing to  thepr o of o f  ( ii),observe th a t  th eve ryco n st ructi onof theregularize d K an torovich pot e nt ials (see) $ \eta_s$ gran tsthat $ (\ mu_ s ,b_s) _{s \in(0 ,1)}$i s a so lution to  t h e cont i nuity e q u at ionwith uniformly bo u nd e d density (the  unifo rm bo u n d f orthe densit ie s isa  conseq u en c e of) . Moreover, g rants, viat heresult sof[ @Ambro sioTr ev i san 14], that,forany $0<s< t<1$,t here ex i sts a u niqueReg ula r La g ra ng ian  f l ow$ ({ {\b o lds ymbol{X} }} _s ^r)_{ r\in [ s , t ]}$of$(b_ r)_{r \in(s,t)}$. O bse rvet hat , bythe v eryde finit ion of  RLF,  a lso $r\mapsto ( {{\b oldsymbol {X} }} _s^ r) _{\sh a rp}\mu _s$  is  a solu tion, w i thun i f o rm ly bounded density  a n d  i nitial d atum $ \ mu _s $ , to the  c ont inui t y  equa tion in duced by  $(b_r ) _{ r\ in(s,t) }$ . Henc e$({ {\b oldsy m bol{ X}}}_s ^t)_{\sh arp}\ m u_s=\mu_t$ for any $s\le t<1 $ ,s i nc e  the  co nclusion in  (i) impl iest ha t t h e con tinui ty eq u ation induced by $( b_ r)_{r\ in(s, t)}$ has a un ique solut i o n  with un ifor m ly bounded densit y (ag ain by the resultsof [@ Ambrosio Trevisan1 4 ] ).

Conc lus ion  {# sub s e c: conclusion}
- - - ---- -- -

Belo w w e state  an d p rov e o ur  main the orem con ce rn in gthe  cons t ancy ofth e d im ens ion f o r fini te di mens io na l  $\ operato r na m e {RCD }$  m etri c m ea surespac e s.Its pro of involv esa lmos tal l the i ngredients we  d eveloped s ofar  in th e note.

\ [thm:constancyofdimensi o n\] Let  $( X,{\m aths f{d}},{\m ath frak{m }}) $  be an  $\ope rator na me{ R C D}(K, N ) $m.m .s . for some $ K\i n{\ma th bb{R }}$ and  $1\le N<+\infty$. The n there is ex act ly o n e  r egu l ar set  $ \ mat h c al{R}_n$ having  positive${ \ ma thfrak{m}} $ -me as ure inthe Mon dino- N aber de compositi on of $(X ,{ \mat h s f{d }},{\mathf rak{m}}) $.

As we alrea d yobser ved , thest ate mentis not aff ected  by te ns orizat ion w it h Euclid ean factors. Thus we as sume w ithou t l oss of ge ner a lit y that $( X,{\ mathsf{d}} ,{\ mat hfrak {m} } )$ sa tisf i es  ei t her a ssum p tion
 the_$L^{\infty}$-bound for_the laplacian and the_uniform boundedness_of_the supports.

Passing_to_the proof of_(ii), observe that_the very construction of_the regularized Kantorovich_potentials_(see ) $\eta_s$ grants that $(\mu_s,b_s)_{s\in(0,1)}$ is a solution to the continuity equation with_uniformly_bounded density_(the_uniform_bound for the densities is_a consequence of ). Moreover,_grants, via_the results of [@AmbrosioTrevisan14], that, for any $0<s<t<1$,_there_exists a unique_Regular Lagrangian flow $({{\boldsymbol{X}}}_s^r)_{r\in[s,t]}$ of $(b_r)_{r\in(s,t)}$. Observe that, by_the very definition of RLF, also_$r\mapsto ({{\boldsymbol{X}}}_s^r)_{\sharp}\mu_s$ is_a_solution,_with uniformly bounded density_and initial datum $\mu_s$, to the_continuity equation induced by $(b_r)_{r\in(s,t)}$. Hence_$({{\boldsymbol{X}}}_s^t)_{\sharp}\mu_s=\mu_t$ for any $s\le t<1$, since the_conclusion in (i) implies that the_continuity equation induced by $(b_r)_{r\in(s,t)}$_has a_unique solution with uniformly bounded_density (again by_the results_of [@AmbrosioTrevisan14]).

Conclusion {#subsec:conclusion}
----------

Below_we state and prove our main_theorem concerning the_constancy of the dimension for finite_dimensional_$\operatorname{RCD}$ metric measure_spaces._Its_proof involves_almost all the_ingredients_we developed_so_far in the note.

\[thm:constancyofdimension\] Let $(X,{\mathsf{d}},{\mathfrak{m}})$_be_an $\operatorname{RCD}(K,N)$ m.m.s. for some $K\in{\mathbb{R}}$ and_$1\le N<+\infty$. Then there_is_exactly one regular set_$\mathcal{R}_n$ having positive ${\mathfrak{m}}$-measure in_the Mondino-Naber decomposition of $(X,{\mathsf{d}},{\mathfrak{m}})$.

As we_already observed,_the statement_is not affected by tensorization with Euclidean factors. Thus we assume_without loss of generality that $(X,{\mathsf{d}},{\mathfrak{m}})$_satisfies either assumption