On the derivation and covering properties of a differentiation basis
The -finiteness of a variational measure, generated by a real valued function, is proved whenever it is -finite on all Borel sets that are negligible with respect to a -finite variational measure generated by a continuous function.
We use the Calderón Maximal Function to prove the Kato-Ponce Product Rule Estimate and the Christ-Weinstein Chain Rule Estimate for the Hajłasz gradient on doubling measure metric spaces.
Let X be a set with a symmetric kernel d (not necessarily a distance). The space (X,d) is said to have the weak (resp. strong) covering property of degree ≤ m [briefly prf(m) (resp. prF(m))], if, for each family B of closed balls of (X,d) with radii in a decreasing sequence (resp. with bounded radii), there is a subfamily, covering the center of each element of B, and of order ≤ m (resp. splitting into m disjoint families). Since Besicovitch, covering properties are known to be the main tool for...