В математике аналитическое многообразие , также известное как многообразие, представляет собой дифференцируемое многообразие с аналитическими отображениями перехода. [1] Этот термин обычно относится к реальным аналитическим многообразиям, хотя комплексные многообразия также являются аналитическими. [2] В алгебраической геометрии аналитические пространства представляют собой обобщение аналитических многообразий, в которых допускаются особенности.
При пространство аналитических функций состоит из бесконечно дифференцируемых функций таких, что ряд Тейлора
сходится к в окрестности , для всех . Требование аналитичности отображений переходов является значительно более строгим, чем требование их бесконечно дифференцируемости; аналитические многообразия являются собственным подмножеством гладких , т. е . многообразий. [1] Есть много общего между теорией аналитических и гладких многообразий, но критическое различие состоит в том, что аналитические многообразия не допускают аналитических разбиений единицы, тогда как гладкие разбиения единицы являются важным инструментом в изучении гладких многообразий. [3] Более полное описание определений и общей теории можно найти на дифференцируемых многообразиях для вещественного случая и на комплексных многообразиях для комплексного случая.