Maximal functions which measure the smoothness of a function are introduced and studied from the point of view of their relationship to classical smoothness and their use in proving embedding theorems, extension theorems, and various results on differentiation. New spaces of functions which generalize Sobolev spaces are introduced.