En matemáticas , una variedad analítica , también conocida como variedad, es una variedad diferenciable con mapas de transición analíticos . [1] El término generalmente se refiere a variedades analíticas reales, aunque las variedades complejas también son analíticas. [2] En geometría algebraica, los espacios analíticos son una generalización de las variedades analíticas tales que se permiten singularidades.
Para , el espacio de funciones analíticas, , consta de funciones infinitamente diferenciables , tales que la serie de Taylor
converge a en un entorno de , para todo . El requisito de que las aplicaciones de transición sean analíticas es significativamente más restrictivo que el de que sean infinitamente diferenciables; las variedades analíticas son un subconjunto propio de las suaves , es decir , las variedades. [1] Hay muchas similitudes entre la teoría de las variedades analíticas y suaves, pero una diferencia crítica es que las variedades analíticas no admiten particiones analíticas de la unidad, mientras que las particiones suaves de la unidad son una herramienta esencial en el estudio de las variedades suaves. [3] Se puede encontrar una descripción más completa de las definiciones y la teoría general en variedades diferenciables , para el caso real, y en variedades complejas , para el caso complejo.