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

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Немає опису редагування
Немає опису редагування
Рядок 15:
Для афінного многовиду можна задати природну [[топологія|топологію]], [[замкнута множина|замкнутими множинами]] якої є всі алгебраїчні множини. Дана топологія називається [[топологія Заріскі|топологією Заріскі]].
 
Для <math>V</math> -\subset підмножина <math>\mathbf A^n</math>/ Нехайнехай <math>I(V)\,</math> є [[Ідеал (алгебра)|ідеаломідеал]] многочленів, значення яких на множині <math>V\,</math> рівні нулю.
 
:<math>I(V)=\{f\in k[x_1,...,x_n]|f(x)=0 \quad \forall x \in V\}</math>
 
Для будь-якої алгебраїчної множини <math> V \,</math> '''координатним кільцем''' або '''структурним кільцем ''' називається [[фактор-кільце]] многочленів від для цього ідеалу.
 
=== Проективні многовиди ===