Оболочка голоморфности
Оболо́чка голомо́рфности (римановой) области , наибольшая область , обладающая тем свойством, что всякая функция, голоморфная в , голоморфно продолжается в . Задача построения для данной области её оболочки голоморфности возникает в связи с тем, что в комплексном пространстве , , не всякая область есть область голоморфности, т. е. существуют такие области, что любая функция, голоморфная в этой области, допускает голоморфное продолжение в более широкую (вообще говоря, неоднолистную) область. Оболочка есть область голоморфности, и если – область голоморфности, то .
В приложениях, в аксиоматической квантовой теории поля, возникает нетривиальная задача о построении оболочки голоморфности областей специального вида, отражающих физические требования спектральности, локальной коммутативности и лоренцовой ковариантности. При этом особенно полезными оказываются теорема Боголюбова об «острие клина» и теоремы непрерывности.