Пусть - область. - пространство непрерывных в функций - пространство функций в , имеющих непрерывные
производные порядка не выше в , где
- пространство функций в , все производные которых
порядка не выше имеют непрерывные продолжения на
Пространство с нормой