Variedade analítica

Fonte: testwiki
Saltar para a navegação Saltar para a pesquisa

Em matemática, mais especificamente na geometria diferencial e na geometria complexa, uma variedade analítica complexa ou um espaço analítico complexo[note 1] é uma generalização de uma variedade complexa que permite a presença de singularidades. Variedades analíticas complexas são espaços localmente anelados que são localmente isomorfos a espaços modelo locais, em que um espaço modelo local é um subconjunto aberto do conjunto de zeros de um conjunto finito de funções holomorfas.

Definição

Denote o feixe constante sobre um espaço topológico com valor por _. Um -espaço é um espaço localmente anelado (X,𝒪X), cujo feixe estrutura é uma álgebra sobre _.

Escolha um subconjunto aberto U de algum espaço afim complexo n, e fixe uma quantidade finita de funções holomorfas f1,,fk em U. Seja X=V(f1,,fk) o conjunto de zeros em comum dessas funções holomorfas, isto é, X={xf1(x)==fk(x)=0}. Defina um feixe de anéis em X tomando 𝒪X como a restrição a X de 𝒪U/(f1,,fk), em que 𝒪U é o feixe de funções holomorfas em U. Então, o -espaço localmente anelado (X,𝒪X) é um espaço modelo local.

Uma variedade analítica complexa é um -espaço localmente anelado (X,𝒪X) que é localmente isomorfo a um espaço modelo local.

Morfismos de variedades analíticas complexas são definidos como morfismos dos espaços localmente anelados subjacentes, eles também são chamados de aplicações holomorfas.

Veja também

Notas

  1. Às vezes é exigido que que seja reduzido, e neste caso  chamado de espaço analítico complexo reduzido para distinguí-lo de um espaço analítico complexo.

Referências

Predefinição:Refbegin

Predefinição:Refend

Ligações externas

Predefinição:Refbegin

Predefinição:Refend