Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm (Q444882)

\((X, d, m)\) is a metric measure space. \((X,d,m)\) is said to admit a local Poincaré inequality if there are constants \(\lambda \geq 1\), \(0 < C < \infty\) such that, for any continuous function \(u\) defined on \(X\), any point \(x \in X\) and \(r>0\) with \(m(B(x,r)) >0\) and any upper gradient \(g\) of \(u\), we have \[ \int B(x, r): | u - \langle u\rangle_{B(x, r)}| dm \leq Cr \int B(x, \lambda r): g dm . \] Here \(\langle u\rangle_{B(x, r)} = \int B(x, r): u dm\) and \( \int A : u dm = \frac{1}{m(A)} \int_{A} u dm\) denote average integrals. A locally compact \(\sigma\)-finite measure space \((X, d, m)\), with \(N\)-Ricci curvature bounded below by \(K\), is called a \(CD(K, N)\) in the sense of Sturm if certain integral inequalities are satisfied; the measure contraction property \(MCP(K, N)\) of the measure space \((X, d, m)\) is taken in the sense of Ohta. In this paper, the author first establishes several results to prove the existence of good geodesics and then uses them to prove the following results. (i) If \((X, d, m)\) is a \(CD(K, \infty)\) space then we have the local Poincaré inequality \[ \int_{B(x, r)} | u -\langle u\rangle_{B(x, r)}| dm \leq 8r e^{K- \frac{r^{2}}{3}} \int_{B(x, 2r)} g d m. \] (ii) Any \(CD(K, N)\) space has the \(MCP(K, N)\) property. The validity of the local Poincaré inequality is also established in more general form.