En matemáticas , dimensión compleja generalmente se refiere a la dimensión de una variedad compleja o una variedad algebraica compleja . [1] Estos son espacios en los que las vecindades locales de puntos (o de puntos no singulares en el caso de una variedad) se modelan en un producto cartesiano de la forma para algunos , y la dimensión compleja es el exponente en este producto. Como a su vez puede ser modelado por , un espacio de dimensión compleja tendrá dimensión real . [2] Es decir, una variedad suave de dimensión compleja tiene dimensión real ; y una variedad algebraica compleja de dimensión compleja , alejada de cualquier punto singular , también será una variedad suave de dimensión real .
Sin embargo, para una variedad algebraica real (es decir, una variedad definida por ecuaciones con coeficientes reales), su dimensión se refiere comúnmente a su dimensión compleja, y su dimensión real se refiere al máximo de las dimensiones de las variedades contenidas en el conjunto de sus variedades reales. puntos. La dimensión real no es mayor que la dimensión, y es igual a ella si la variedad es irreducible y tiene puntos reales que no son singulares . Por ejemplo, la ecuación define una variedad de dimensión (compleja) 2 (una superficie), pero de dimensión real 0: tiene solo un punto real, (0, 0, 0), que es singular. [3]
Las mismas consideraciones se aplican a la codimensión . Por ejemplo, una hipersuperficie compleja suave en un espacio proyectivo complejo de dimensión n será una variedad de dimensión 2 ( n − 1). Un hiperplano complejo no separa un espacio proyectivo complejo en dos componentes, porque tiene codimensión real 2.
