Teorema dos zeros de Hilbert


O Hilbert Nullstellensatz (em alemão: "teorema dos zeros") é um teorema em Geometria algébrica que relaciona variedades e ideais en anéis de polinômios sobre corpos algebricamente fechados. Foi provado inicialmente por David Hilbert, em 1893.

Formulação


Seja K um corpo algebricamente fechado (como o dos números complexos), considera-se o anel de polinômios K[X1,X2,..., Xn] e seja I um ideal neste anel. A variedade afim V(I) definida por este ideal consiste de todas as n-tuplas x = (x1,...,xn) em Kn tal que f(x) = 0 para todo f en I. O teorema dos zeros de Hilbert nos diz que se p é um polinômio em k[X1,X2,... , Xn] que se anula na variedade V(I), i.e. p(x) = 0 para todo x em V(I), então existe um número natural r tal que pr está em I.

Um corolário imediato é o "teorema dos zeros fraco": se I é um ideal próprio em K[X1,X2,... , Xn], então V(I) não pode ser vazio, i.e. existe um zero comum para todos os polinômios do ideal. Esta é a razão para o nome do teorema; que é facilmente demonstrável nesta forma "fraca". Notar que ao assumir que K seja algebricamente fechado é essencial aqui: o ideal próprio (X² + 1) em R[X] não tem um zero comum.

Com a notação comum da geometria algébrica, o teorema dos zeros pode ser também formulado como

\({\displaystyle {\hbox{I}}({\hbox{V}}(J))={\sqrt {J}}}\) para todo ideal J

Aqui √J denota o radical de J e I(U) denota o ideal de todos os polinômios que se anulam no conjunto U. Deste modo, obtemos uma correspondência bijectiva que reverte a ordem entre as variedades afins em Kn e os ideais radicais de K[X1,X2,... , Xn].

Ligações externas


Dois trabalhos de formação acadêmica sobre o Teorema de Zeros de Hilbert:

Referências em Matemática na WEB:

Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o .









Categorias: Álgebra




Data da informação: 24.09.2021 01:23:02 CEST

Fonte: Wikipedia (Autores [História])    Licença: CC-BY-SA-3.0

Mudanças: Todas as imagens e a maioria dos elementos de design relacionados a essas foram removidos. Alguns ícones foram substituídos por FontAwesome-Icons. Alguns modelos foram removidos (como "o artigo precisa de expansão) ou atribuídos (como" notas de rodapé "). As classes CSS foram removidas ou harmonizadas.
Os links específicos da Wikipedia que não levam a um artigo ou categoria (como "Redlinks", "links para a página de edição", "links para portais") foram removidos. Todo link externo possui um FontAwesome-Icon adicional. Além de algumas pequenas mudanças de design, foram removidos os contêineres de mídia, mapas, caixas de navegação, versões faladas e microformatos geográficos.

Observe: Como o conteúdo fornecido é retirado automaticamente da Wikipedia no momento especificado, uma verificação manual foi e não é possível. Portanto, o LinkFang.org não garante a precisão e a atualidade do conteúdo adquirido. Se houver uma informação incorreta no momento ou com uma exibição imprecisa, sinta-se à vontade para Contate-Nos: email.
Veja também: Cunho & Política de Privacidade.