Algebrinė atmaina

Šiam straipsniui ar jo daliai trūksta išnašų į patikimus šaltinius.
Jūs galite padėti Vikipedijai pridėdami tinkamas išnašas su šaltiniais.

Algebrinėje geometrijoje algebrinė atmaina – aibė taškų, kurios koordinatės tenkina tam tikrą polinomų lygčių sistemą.

Apibrėžimai

Afiniosios atmainos

Tegu $K\,$ būna algebriškai uždaras kūnas ir $\mathbf {A} ^{n}$ – n-dimensinė afinioji erdvė virš $K\,$ . Polinomus $F\in K[x_{1},...,x_{n}]$ galime laikyti funkcijomis iš $\mathbf {A} ^{n}$ su vertėmis iš $K\,$ . Kiekvienam $S\subset K[x_{1},...,x_{n}]$ galime apibrėžti $\mathbf {A} ^{n}$ poaibį, kur visų polinomų vertės aibėje $S\,$ yra nulis:

Z(S)=\{x\in \mathbf {A} ^{n}\mid f(x)=0\quad \forall f\in S\}

Toks aibės $\mathbf {A} ^{n}$ poaibis $V\,$ yra vadinamas afiniąja algebrine aibe, jei $V=Z(S)\,$ kuriam nors $S\,$ . Netuščia afinioji algebrinė aibė vadinama neredukuojama, jei ji negali būti išreikšta dviejų algebrinių poaibių sąjunga. Neredukuojamos algebrinės aibės yra vadinamos afiniosiomis algebrinėmis atmainomis arba tiesiog algebrinėmis atmainomis.

Afiniąjai atmainai galime apibrėžti naturalią topologiją, kurioje visos uždaros aibės yra algebrinės. Ši topologija vadinama Zariskio topologija.

Tegu $V\subset \mathbf {A} ^{n}$ ir $I(V)\,$ būna polinomų nulių aibėje $V\,$ idealas:

I(V)=\{f\in K[x_{1},...,x_{n}]\mid f(x)=0\quad \forall x\in V\}

Kiekvienai algebrinei aibei $V\,$ šio idealo polinomų faktoržiedas vadinamas koordinačių žiedu arba struktūriniu žiedu.

Projekcinės atmainos

Tegu $\mathbf {P} ^{n}$ būna n-dimensinė projekcinė erdvė virš kūno $K\,$ . Homogeninis polinomas $K[x_{0},...,x_{n}]\,$ gali būti laikomas funkcija $\mathbf {P} ^{n}$ su vertėmis iš $K\,$ . Kiekvienam $S\subset \mathbf {P} ^{n}$ analogiškai apibrėžiame: