Manuscript XVI-D@1 · XVI-D.tex · section · b73c6f4a
An extension can be constructed without renaming it
Coordinate candidate and a restricted auxiliary extension › An extension can be constructed without renaming it · lines 1180–1192
Let be the real vector space of ambient smooth sources , independent of space and zero for , restricted to the slab. Regard as an ambient source by its smooth zero extension. Then
Indeed, a nonzero spatially constant function cannot be compactly supported in space.
Displayed formulas in this passage
unlabeled · line 1187