Poincaré inequality and related function spaces on fractals

Given a nondegenerate harmonic structure, we elementarily prove a Poincaré-type inequality for functions in the domain of the Dirichlet form on nested fractals, involving the Kusuoka energy measure. We then study the Hajłasz-Sobolev spaces on nested fractals.
The results were obtained jointly with Andrzej Stós.