Variedade alxébrica

miniatura|200x200px|A cúbica torta é unha variedade alxébrica proxectiva.
En xeometría alxébrica, unha **variedade alxébrica **é esencialmente un conxunto de puntos (finito ou infinito) nos cales un polinomio (dunha ou máis variables) toma un valor cero, ou no cal un conxunto de tales polinomios toma un valor cero. As variedades alxébricas son un dos obxectos centrais de estudo da xeometría alxébrica clásica. As definicións xeneralizan este concepto de formas diferentes, mentres intentan preservar a idea xeométrica intuitiva tras da definición orixinal.

Dende un punto de vista histórico, o teorema fundamental da álxebra estableceu a relación entre a álxebra e a xeometría ao indicar que un polinomio dunha variable nos números complexos queda determinado polo seu conxunto de raíces, que é un obxecto xeométrico inherente. Construíndo sobre este resultado, o Nullstellensatz de Hilbert establece unha correspondencia fundamental entre os ideais dos aneis de polinomios e os subconxuntos do espazo afín. Utilizando o *Nullstellensatz* e os seus resultados asociados, é posible capturar a noción xeométrica dunha variedade en termos alxébricos como tamén facer que a xeometría entenda sobre temas da teoría de aneis.

## Definición 
Sexa \scriptstyle \mathbb{K} un corpo. Sexa \scriptstyle \mathbb{K}[x_1, ..., x_n] o anel de polinomios nas variables \scriptstyle x_1,...,x_n e coeficientes no corpo \scriptstyle \mathbb{K}. Sexa \scriptstyle S \subset \mathbb{K}[x_1,...,x_n]. Defínese a **variedade afín** determinada por \scriptstyle S (denotada por \scriptstyle V(S)) como o conxunto:
{{ecuación|
V(S):=\{a\in \mathbb{K}^n: f(a)=0, f \in S\}.
||left}}

É dicir, V(S) representa o conxunto de puntos do espazo afín \scriptstyle \mathbb{K}^n nos que se anulan todos os polinomios de \scriptstyle S.

## Variedades afíns 
Dado o corpo alxebricamente pechado K e un espazo afín \mathbb{A}^n de dimensión n sobre K, os polinomios do anel K[x_1, x_2, \ldots , x_n] son funcións con valores en K definidas sobre \mathbb{A}^n.

Tomada uma familia de polinomios S \subseteq K[x_1, x_2, \ldots , x_n], o conxunto dos puntos de \mathbb{A}^n polos que as funcións de S son todas nulas:
Z(S) = \{x \in \mathbb{A}^n \mid f(x) = 0 \,\forall f \in S\}
chámase conxunto alxébrico afín. Se Z(S) non pode ser escrito como unión propia de dous conxuntos alxébricos semellantes, chámase *variedade afín*.

### Propiedades
* Sobre as variedades afíns é posible definir unha topoloxía natural definindo como conxuntos pechados todos os conxuntos alxébricos (topoloxía de Zariski).
* Dado V \subseteq \mathbb{A}^n, I(V) é o ideal formado por todas as funcións que se anulan sobre V: 
I(V) = \{f \in K[x_1, x_2, \cdots , x_n] \mid f(x) = 0 \,\forall x \in V\}. 
:Defínese *anel das coordenadas* K[V] de V o anel cociente \frac{K[x_1, x_2, \cdots , x_n]}{I(V)}. O grao de transcendencia do campo das fraccións de K[V] sobre K chámase *dimensión* de V. 
* Un conxunto alxébrico afín V é unha variedade se e só se I(V) é un ideal primo, ou se e só se o anel das coordenadas de V é un dominio de integridade.
* Todo conxunto alxébrico afín pode ser escrito de maneira única como unión de variedades alxébricas.

## Variedade proxectiva 
É posible modificar lixeiramente a definición de variedade afín para estendela ao caso dun espazo proxectivo \mathbb{P}^n sobre o corpo K: neste caso considérase un conxunto S \subseteq K[x_1, x_2, \cdots , x_n], formado de polinomios *homoxéneos* (ou dos cales os monomios ten mesmo todos os graos). Coas mesmas notacións obtéñense entón as definicións do conxutno alxébrico proxectivo, variedade proxectiva, topoloxía de Zariski e anel das coordenadas dunha variedade.

## Isomorfismos de variedades alxébricas 
Un isomorfismo entre dúas variedades alxébricas V_1 e V_2 é un morfismo de variedade alxébrica que é tamén unha correspondencia biunívoca: 
 \phi \colon V_1 \to V_2.

V_1 e V_2 disen *isomorfas* e escríbese V_1 \cong V_2.

O isomorfismo entre variedades alxébricas é unha relación de equivalencia: toda a variedade alxébrica isomorfa entre elas pode considerarse como substancialmente equivalentes e agrúpanse nunha única clase de equivalencia chamada *variedade alxébrica abstracta*.

## Notas 
## Véxase tamén 
### Bibliografía 
* 
*
* 
*
*