We prove that the pointwise inequality used by P. Hajlasz in his definition of Sobolev spaces on metric spaces is equivalent to an integral (Poincaré-type) inequality.
Dimitri Stelio Wyss, Francesca Carocci, Giulio Orecchia
Pablo Antolin Sanchez, Thibaut Hirschler