f0eac2a5a41af239.tex
1: \begin{definition}[$\RCD(K,\infty)$ spaces]
2:    $(X,\sfd,\mm,\bar x)$ is a $\RCD(K,\infty)$  \pmm~space if it 
3:   satisfies the $\CD(K,\infty)$ condition and the $W_2$-heat flow $(\h_t)$ (see Theorem \ref{thm:gf})
4:     is linear, i.e.~
5: % . We say that that the heat flow is linear on $(X,\sfd,\mm)$, or that $(X,\sfd,\mm)$ is an $\RCD(K,\infty)$ space, provided the following is true. For any two gradient flows $(\mu_t),(\nu_t)$ of the relative entropy starting from $\bar\mu,\bar\nu\in D(\entv)$ respectively and any $\alpha,\beta\in[0,1]$, $\alpha+\beta=1$ the curve
6: \begin{equation}
7: \label{eq:rcdent}
8: \h_t(\alpha\mu+\beta\nu)=\alpha\h_t\mu+\beta\h_t\nu\quad
9: \forevery t\ge0,\ \mu,\nu\in D(\entv),\ \alpha,\beta\in [0,1],\ \alpha+\beta=1,
10: \end{equation}
11: or, equivalently, if the Cheeger energy $\C$ is a quadratic form in
12: $L^2(X,\mm)$, i.e. 
13: \begin{equation}
14: \label{eq:rcdch}
15: \C(f+g)+\C(f-g)=2\C(f)+2\C(g) \qquad\text{for every
16: $f,g\in L^2(X,\mm).$}
17: \end{equation}
18: %is the gradient flow of the entropy starting from $\alpha_0\mu+\alpha_1\nu$.
19: \end{definition}
20: