====== Окольцованное пространство ====== ===== Определение ===== __Определение 1.__ Пара (X,\mathcal{O}_X), состоящая из [[:glossary:topology|топологического пространства]] (X,\tau) и заданного на нем [[:glossary:topology:sheaf|пучка]] [[:glossary:ring|колец]] \mathcal{O}_X, называется **окольцованным пространством**((ringed space)). __Определение 2.__ Окольцованное пространство (X,\mathcal{O}_X) называется **локально окольцованным**((locally ringed space)), если в каждой точке P\in X [[:glossary:topology:presheaf|слой]] \mathcal{O}_{X,P} является [[:glossary:ring:commutative:local|локальным кольцом]]. __Пример 1.__ [[:glossary:ring:spectrum|Простой спектр]] \textrm{Spec}~A кольца A является локально окольцованным пространством. ===== См. также ===== * [[:glossary:ring:spectrum|Простой спектр кольца]] * [[:glossary:topology:space:ringed:morphism|Морфизм окольцованных пространств]] ===== Литература ===== * [[http://www.ozon.ru/context/detail/id/105336/?partner=lds1938|Хартсхорн Р. «Алгебраическая геометрия», Мир, 1981.]] {{tag>"алгебраическая геометрия" "окольцованное пространство" "простой спектр кольца"}}