{Lip}(X)$ with compact support. Using the strong locality property of the minimal relaxed gradient in $W^{1,p}(X,{\mathsf{d}},{\mathfrak{m}})$, $1<p<\infty$, i.e. $$\label{eq:stronglocality}
    |\nabla g|_p=|\nabla h|_p\quad \text{${\mathfrak{m}}$-a.e. in $\set{h=g}$, for any $h,g\in W^{1,p}(X,{\mathsf{d}},{\mathfrak{m}})$,}$$ it is possible to define a minimal relaxed gradient $|\nabla f|_p\in L^p_{{{\rm loc}}}(X,{\mathfrak{m}})$, which retains the same strong locality property, for every $f\in W^{1,p}_{{{\rm loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$. In an analogous way one can define the space $W^{1,1}_{{{\rm loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$, exploiting the strong locality of the relaxed gradient ${\left\lvert\nabla f\right\rvert}_*$ for $f\in W^{1,1}(X,{\mathsf{d}},{\mathfrak{m}})$.

$\operatorname{RCD}(K,N)$ metric measure spaces {#section: preliminaries RCD}
-----------------------------------------------

The notion of $\operatorname{RCD}(K,N)$ m.m.s. was proposed in [@Gigli15] (see also [@AmbrosioMondinoSavare15; @ErbarKuwadaSturm15]), as a finite dimensional counterpart to $\operatorname{RCD}(K,\infty)$ m.m. spaces which were introduced and firstly studied in [@AmbrosioGigliSavare14] (see also [@AmbGigliMondRaj12], dealing with the case of $\sigma$-finite reference measures). We point out that those spaces can be introduced and studied both from an Eulerian point of view, based on the so-called $\Gamma$-calculus, and from a Lagrangian point of view, based on optimal transportation techniques, which is the one we shall adopt in this brief introduction.

Let us start recalling the so-called curvature dimension condition $\operatorname{CD}(K,N)$. Its introduction dates back to the seminal and independent works [@LottVillani] and [@Sturm06a; @Sturm06b], while in
{ Lip}(X)$ with compact support. Using the strong locality place of the minimal relaxed gradient in $ W^{1,p}(X,{\mathsf{d}},{\mathfrak{m}})$, $ 1 < p<\infty$, i.e. $ $ \label{eq: stronglocality } 
     |\nabla g|_p=|\nabla h|_p\quad \text{${\mathfrak{m}}$-a.e. in $ \set{h = g}$, for any $ planck's constant, g\in W^{1,p}(X,{\mathsf{d}},{\mathfrak{m}})$,}$$ it is possible to define a minimal relaxed gradient $ |\nabla f|_p\in L^p_{{{\rm loc}}}(X,{\mathfrak{m}})$, which retain the like strong locality property, for every $ f\in W^{1,p}_{{{\rm loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$. In an analogous manner one can define the space $ W^{1,1}_{{{\rm loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$, exploit the strong locality of the relaxed gradient $ { \left\lvert\nabla f\right\rvert}_*$ for $ f\in W^{1,1}(X,{\mathsf{d}},{\mathfrak{m}})$. 

 $ \operatorname{RCD}(K, N)$ measured measure spaces { # section: preliminaries RCD } 
 ----------------------------------------------- 

 The impression of $ \operatorname{RCD}(K, N)$ m.m.s. was proposed in [ @Gigli15 ] (see besides [ @AmbrosioMondinoSavare15; @ErbarKuwadaSturm15 ]), as a finite dimensional counterpart to $ \operatorname{RCD}(K,\infty)$ m.m. spaces which were introduce and first studied in [ @AmbrosioGigliSavare14 ] (see also [ @AmbGigliMondRaj12 ], consider with the case of $ \sigma$-finite reference measuring stick). We luff out that those spaces can be bring in and studied both from an Eulerian point of view, free-base on the so - called $ \Gamma$-calculus, and from a Lagrangian point of view, based on optimal transportation techniques, which is the one we shall adopt in this brief introduction. 

 Let us start recalling the so - called curvature dimension circumstance $ \operatorname{CD}(K, N)$. Its presentation dates back to the germinal and autonomous works [ @LottVillani ] and [ @Sturm06a; @Sturm06b ], while in
{Lip}(D)$ with compact support. Uring the strong localivy propsrty of ghe minimal relaxed gradient ib $W^{1,p}(X,{\nathsf{d}},{\mathfrak{m}})$, $1<p<\infth$, i.e. $$\labep{eq:strontlocelity}
    |\nabla g|_'=|\habla h|_i\zuad \bext{${\mctifrak{m}}$-a.e. in $\set{m=g}$, for any $v,g\in W^{1,p}(X,{\mathsf{g}},{\mxtkfrak{m}})$,}$$ it is possible to define a migimal rrlwxed gradient $|\gabls f|_p\ih L^p_{{{\rm loc}}}(X,{\mathfrak{m}})$, which retains the sake strong locslity property, for every $f\ln W^{1,o}_{{{\rm loc}}}(X,{\mathsf{d}},{\matjfrak{m}})$. In ab anwoogous way ove can defpue the spacg $W^{1,1}_{{{\rm loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$, explokting the stront oocwnity of the relaqed gradient ${\left\lverd\nabla g\right\rvert}_*$ fov $f\in W^{1,1}(X,{\nathsf{d}},{\mathfrak{m}})$.

$\operavorname{RCD}(K,N)$ metric ieasure s[aees {#section: preliminaeiws RCG}
-----------------------------------------------

The notkin uf $\kpxrafornamf{RCV}(K,N)$ m.m.s. was proposed ib [@Gigli15] (see also [@AmnrjwioMondinoSavzre15; @ErfawKuwadaSturm15]), as a finite dimensional colntedpart to $\operatorname{RCE}(K,\infty)$ m.m. spaces whifh were igtroduced and firstly studied in [@AmbrosioGigliSavdre14] (sxe alwo [@XnbHigliMondRaj12], dealing with the case of $\sigma$-figjtt rvference measures). We point oit tnwt those spacgs can ys jntroduced and stufied bojh fron an Eulewian point of view, based on the so-called $\Gaina$-calculus, and frol a Lagrangnan poont og view, based on optimal trahsportation techniqusr, which is the ove ee shall adopt in this brief introducvion.

Lzt us stxrt tecalligg the so-cwlled curvature dimensioj conbitiot $\operatorjame{CD}(K,N)$. Its introduction dates back to the sgmital and indzpendekt works [@LottVijlani] and [@Sturk06a; @Sturi06b], whkle in
{Lip}(X)$ with compact support. Using the strong of minimal relaxed in $W^{1,p}(X,{\mathsf{d}},{\mathfrak{m}})$, $1<p<\infty$, \text{${\mathfrak{m}}$-a.e. $\set{h=g}$, for any W^{1,p}(X,{\mathsf{d}},{\mathfrak{m}})$,}$$ it is to define a minimal relaxed gradient f|_p\in L^p_{{{\rm loc}}}(X,{\mathfrak{m}})$, which retains the same strong locality property, for every $f\in loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$. In an analogous way one can define the space $W^{1,1}_{{{\rm loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$, exploiting strong of relaxed ${\left\lvert\nabla f\right\rvert}_*$ for $f\in W^{1,1}(X,{\mathsf{d}},{\mathfrak{m}})$. $\operatorname{RCD}(K,N)$ metric measure spaces {#section: preliminaries RCD} ----------------------------------------------- The notion of m.m.s. was proposed in [@Gigli15] (see also [@AmbrosioMondinoSavare15; as a finite dimensional to $\operatorname{RCD}(K,\infty)$ m.m. spaces which introduced firstly studied [@AmbrosioGigliSavare14] also dealing with the of $\sigma$-finite reference measures). We point out that those spaces can be introduced and studied both from Eulerian point based on so-called and a Lagrangian point based on optimal transportation techniques, which we shall adopt in this brief introduction. Let start recalling so-called curvature dimension condition $\operatorname{CD}(K,N)$. Its dates back to the seminal and independent works and [@Sturm06a; @Sturm06b], while in
{Lip}(X)$ with compact support. UsiNg the stronG locaLitY prOpErty Of thE minimal relaxeD GradIent in $W^{1,p}(X,{\mathsf{d}},{\mathfrAk{m}})$, $1<p<\iNfTY$, i.e. $$\lABeL{eq:stRonglocALiTY}
    |\NabLa G|_p=|\NabLa H|_P\qUad \teXt{${\mAthfrak{M}}$-a.e. in $\set{h=g}$, For AnY $h,g\in W^{1,p}(X,{\mathSF{d}},{\Mathfrak{m}})$,}$$ iT is Possible to deFinE a miniMaL reLAxed gRadIent $|\nAbla f|_p\IN L^p_{{{\rm lOc}}}(X,{\mathfrAk{M}})$, Which rETains thE SAmE strOng locality properTY, fOR every $f\in W^{1,p}_{{{\rm lOc}}}(X,{\matHsF{D}},{\mATHfrAk{m}})$. in an analogOuS way oNE can defINe THE SpaCE $W^{1,1}_{{{\rm loc}}}(X,{\mathsF{d}},{\mathfrak{m}})$, EXplOiting ThE stROng locAlity Of THe rElaxed gradiEnt ${\lEft\lvert\nAbla f\rIGht\rverT}_*$ For $f\in W^{1,1}(x,{\mathsF{d}},{\mAthFrak{M}})$.

$\OpErAtoRnAMe{Rcd}(K,n)$ meTRic Measure sPaCeS {#sectIon: pRELIMinaRieS RCD}
-----------------------------------------------

the noTion of $\operatoRnaMe{RCd}(k,N)$ m.M.s. was PropoSed iN [@GIgli15] (sEe also [@ambroSiOMondinoSavare15; @ERbarkuwadaStuRm15]), aS a FinItE dimeNSional CouNteRpart to $\OperatoRNamE{Rcd}(k,\InFty)$ m.m. spaces which weRe INTrOduced anD firstLY sTuDIed in [@AmbRoSiogiglIsAvare14] (See aLSo [@ambGiglimondRaJ12], DeAlIng with ThE case oF $\sIgmA$-fiNite rEFereNce meaSures). We pOint oUT that those spacES can be introduCEd AND sTUdieD boTh from an EulEriaN PoinT of vIEw, BasED on thE so-caLlED $\GAMma$-calculus, and from a laGrangiAn poiNt of view, based On optimal tRANSportatiOn teCHnIQues, which is the One we Shall adopt IN this briEf intRoductioN.

Let us staRT RecallinG thE so-CalLed CURvAture dimensioN COndiTiOn $\operaTorName{CD}(K,n)$. ItS inTroDucTiOn dates baCk to the sEmInAl AnD inDepenDEnt works [@loTtVIlLanI] and [@STUrm06a; @StUrm06b], wHile In
{Lip}(X)$ with compact sup port. Usin g the  st ron gloca lity  property of t h e mi nimal relaxed gradient  in $ W^ { 1,p} ( X, {\mat hsf{d}} , {\ m a thf ra k{ m}} )$ ,  $ 1<p<\ inf ty$, i. e. $$\labe l{e q: stronglocali t y} 
    |\nab lag|_p=|\nabla  h| _p\qua d\te x t{${\ mat hfrak {m}}$- a .e. in  $\set{h= g} $ , fora ny $h,g \ i nW^{1 ,p}(X,{\mathsf{d} } ,{ \ mathfrak{m}})$ ,}$$ i ti sp o ssi ble  to define  a  mini m al rela x ed g r adi e nt $|\nabla f |_p\in L^p_ { {{\ rm loc }} }(X , {\math frak{ m} } )$,  which reta insthe samestrong localit y  proper ty, fo r e ver y $f \ in  W ^{1 ,p } _{{ { \r m l o c}} }(X,{\ma th sf {d}}, {\ma t h f r ak{m }}) $. I n ananalogous way  on e ca n  de finethe s pace  $ W^{1, 1}_{{{ \rm l oc }}}(X,{\mathsf{ d}}, {\mathfra k{m }} )$,  e xploi t ing th e s tro ng loca lity of the  r e l a xe d gradient ${\left \l v e rt \nabla f \right \ rv er t }_*$ for  $ f\i n W^ { 1 ,1}(X ,{\m a th sf{d}},{ \mathf r ak {m }})$.
$\ operat or nam e{R CD}(K , N)$metric  measure  spac e s {#section: p r eliminaries R C D} - -- - ---- --- ----------- ---- - ---- ---- - -- --- - ----- 

The  n o ti o n of $\operatorname {R CD}(K, N)$ m .m.s. was pro posed in [ @ G i gli15] ( seea ls o  [@AmbrosioMon dinoS avare15; @ E rbarKuwa daStu rm15]),as a fini t e  dimensi ona l c oun ter p a rt  to $\operato r n ame{ RC D}(K,\i nft y)$ m.m . s pac eswhi ch  were int roducedan dfi rs tly  stud i ed in [@ Am bro si oGi gliSa v are14]  (see  als o[@ A mbG igliMon d Ra j 1 2],de al ingwit hthe c aseo f $ \sigma$ -finite r efe r ence  m ea sures).  We point out  t hat thosesp ace s canb e  introdu ced and studied both fr o m an Eu ler ian p oint  of view,  ba sed on  th e  so-ca lled $ \Gamm a$ -ca l c ulus, a nd  fr om  a Lagrang i a n p ointof  vie w, base d on optimal trans p ort ation techniq ues , wh i c hist he one  w e  sh a l l adopt in this  brief int ro d uc tion.

Let usst art rec allingthe s o -called  curvatur e dimensi on  con d i tio n $\operat orname{C D}(K,N)$. Its i n tr oduct ion  dates  b ack  to t he sem i nal  andindepe nd ent wo rks [ @L ottVilla ni] and [@Sturm06a; @St urm06b ], wh ile  in
{Lip}(X)$ with_compact support._Using the strong locality_property of_the_minimal relaxed_gradient_in $W^{1,p}(X,{\mathsf{d}},{\mathfrak{m}})$, $1<p<\infty$,_i.e. $$\label{eq:stronglocality}
 _  |\nabla g|_p=|\nabla_h|_p\quad \text{${\mathfrak{m}}$-a.e. in_$\set{h=g}$,_for any $h,g\in W^{1,p}(X,{\mathsf{d}},{\mathfrak{m}})$,}$$ it is possible to define a minimal relaxed gradient $|\nabla_f|_p\in_L^p_{{{\rm loc}}}(X,{\mathfrak{m}})$,_which_retains_the same strong locality property,_for every $f\in W^{1,p}_{{{\rm loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$._In an_analogous way one can define the space $W^{1,1}_{{{\rm_loc}}}(X,{\mathsf{d}},{\mathfrak{m}})$,_exploiting the strong_locality of the relaxed gradient ${\left\lvert\nabla f\right\rvert}_*$ for $f\in_W^{1,1}(X,{\mathsf{d}},{\mathfrak{m}})$.

$\operatorname{RCD}(K,N)$ metric measure spaces {#section: preliminaries_RCD}
-----------------------------------------------

The notion of_$\operatorname{RCD}(K,N)$_m.m.s._was proposed in [@Gigli15]_(see also [@AmbrosioMondinoSavare15; @ErbarKuwadaSturm15]), as a_finite dimensional counterpart to $\operatorname{RCD}(K,\infty)$ m.m._spaces which were introduced and firstly studied_in [@AmbrosioGigliSavare14] (see also [@AmbGigliMondRaj12], dealing_with the case of $\sigma$-finite_reference measures)._We point out that those_spaces can be_introduced and_studied both from_an Eulerian point of view, based_on the so-called_$\Gamma$-calculus, and from a Lagrangian point_of_view, based on_optimal_transportation_techniques, which_is the one_we_shall adopt_in_this brief introduction.

Let us start recalling_the_so-called curvature dimension condition $\operatorname{CD}(K,N)$. Its introduction_dates back to the_seminal_and independent works [@LottVillani]_and [@Sturm06a; @Sturm06b], while in