Нётерово пространство (по имени Эмми Нётер) — топологическое пространство X, удовлетворяющее условию обрыва убывающих цепей замкнутых подмножеств. То есть для каждой последовательности замкнутых подмножеств Y i {displaystyle Y_{i}} пространства X такой, что:
Y 1 ⊇ Y 2 ⊇ Y 3 ⊇ ⋯ {displaystyle Y_{1}supseteq Y_{2}supseteq Y_{3}supseteq cdots }существует целое число r, что Y s = Y r ∀ s > r . {displaystyle Y_{s}=Y_{r}~forall s>r.}
Это условие эквивалентно тому, что каждое подмножество X {displaystyle X} компактно.
Эквивалентные определения
Топологическое пространство X {displaystyle X} называется нётеровым, если выполнено одно из следующих эквивалентных утверждений:
- X {displaystyle X} удовлетворяет условию обрыва убывающих цепей замкнутых подмножеств;
- X {displaystyle X} удовлетворяет условию обрыва возрастающих цепей открытых подмножеств;
- каждое непустое семейство замкнутых подмножеств в X {displaystyle X} , упорядоченное по включению имеет минимальный элемент;
- каждое непустое семейство открытых подмножеств в X {displaystyle X} , упорядоченное по включению имеет максимальный элемент;
- каждое подмножество X {displaystyle X} компактно (с топологией подпространства);
- каждое открытое подмножество X {displaystyle X} компактно.
Свойства
- Хаусдорфово пространство нётерово тогда и только тогда, когда оно конечное (и при этом оно будет дискретным).
- Каждое подпространство пространства Нётер снова является пространством Нётер.
- Если пространство X {displaystyle X} можно покрыть конечным числом нётеровых подпространств, то X {displaystyle X} само нётерово.
- Нётерово пространство X {displaystyle X} представимо в виде объединения конечного числа своих неприводимых компонент.
Примеры
Нётеровы пространства часто встречаются в алгебраической геометрии.
- Пространство A k n {displaystyle mathbb {A} _{k}^{n}} ( аффинное n-мерное пространство над полем k) с топологией Зарисского является топологическим пространством Нётер. Согласно определению топологии Зарисского в A k n {displaystyle mathbb {A} _{k}^{n}} если:
есть убывающая последовательность замкнутых множеств, то:
I ( Y 1 ) ⊆ I ( Y 2 ) ⊆ I ( Y 3 ) ⊆ ⋯ {displaystyle I(Y_{1})subseteq I(Y_{2})subseteq I(Y_{3})subseteq cdots }является возрастающей последовательностью идеалов k [ x 1 , … , x n ] {displaystyle k[x_{1},ldots ,x_{n}]} ( I ( Y i ) {displaystyle I(Y_{i})} обозначает идеал полиномиальных функций, равных нулю в каждой точке ( Y i ) {displaystyle (Y_{i})} ). Поскольку k [ x 1 , … , x n ] {displaystyle k[x_{1},ldots ,x_{n}]} является кольцом Нётер, существует целое число m {displaystyle m} , такое что:
I ( Y m ) = I ( Y m + 1 ) = I ( Y m + 2 ) ⋯ . {displaystyle I(Y_{m})=I(Y_{m+1})=I(Y_{m+2})cdots .}Учитывая однозначное соответствие между радикальными идеалами k [ x 1 , … , x n ] {displaystyle k[x_{1},ldots ,x_{n}]} и замкнутыми (в топологии Зарисского) множествами A k n {displaystyle mathbb {A} _{k}^{n}} выполняется V ( I ( Y i ) ) = Y i {displaystyle V(I(Y_{i}))=Y_{i}} для всех i. Поэтому: Y m = Y m + 1 = Y m + 2 = ⋯ {displaystyle Y_{m}=Y_{m+1}=Y_{m+2}=cdots }
- Примерами нётеровых пространств является спектры коммутативных колец. Если R {displaystyle R} — кольцо Нётер, то пространство Spec ( R ) {displaystyle operatorname {Spec} (R)} (спектр R {displaystyle R} ) является нётеровым.