Assertion: euclidean space's property | /r/HasProperty | proved for step functions
Facets:
Source sentences:
text: Several properties of general functions in Lp(Rd) are first proved for continuous and compactly supported functions (sometimes for step functions), then extended by density to all functions.