Алгебричний многовид: відмінності між версіями

нема опису редагування
Немає опису редагування
:<math>Z(S)=\{x\in\mathbf A^n|f(x)=0 \quad \forall f\in S\}</math>
 
Підмножина <math>V\,</math>, множини <math> \mathbf A^n </math> називається '''афінною алгебричною множиною''', якщо <math>V = Z(S)\,</math> для деякої <math> S\,</math>. Непорожня афінна [[Глосарій_алгебричної_геометрії#А|алгебрична множина]] називається ''незвідною'', якщо вона не може бути представлена у вигляді [[об'єднання множин|суми]] двох алгебричних підмножин. Незвідні афінні алгебричні множини називаються афінними алгебричними многовидами, або просто '''афінними многовидами'''.
 
Для афінного многовиду можна задати природну [[топологія|топологію]], [[замкнута множина|замкнутими множинами]] якої є всі алгебричні множини. Дана топологія називається [[топологія Зариського|топологією Зариського]].