Нетеровий топологічний простір

Нетеровий простір — топологічний простір X, що задовольняє умові обриву спадних ланцюгів замкнутих підмножин. Тобто для кожної послідовності замкнутих підмножин $Y_i$ простору X, такої що:

$Y_1\supseteq Y_2\supseteq Y_3\supseteq \cdots ,$

існує ціле число r, що $Y_s=Y_r,\mathrm{\forall }s>r.$

Еквівалентне умова: будь-яке непорожнє сімейство замкнутих підмножин в X, впорядковане щодо включення має мінімальний елемент.

Властивості

• Будь-який підпростір простору Нетер знову є простором Нетер.
• Якщо простір X допускає скінченне покриття нетеровими підпросторами, то X теж є нетеровим.
• Простір X є простором Нетер тоді і тільки тоді, коли будь-яка відкрита підмножина в X є компактною.
• Нетеровий простір X є об'єднанням скінченного числа своїх незвідних компонент.

Приклади

Нетерові простори часто зустрічаються у алгебричній геометрії.

• Простір ${𝔸}_k^n$ (афінний n-вимірний простір над полем k) із топологією Зариського є топологічним простором Нетер. Згідно з означенням топології Зариського в ${𝔸}_k^n,$ якщо

$Y_1\supseteq Y_2\supseteq Y_3\supseteq \cdots$

є спадна послідовність замкнутих множин, то

$I(Y_1)\subseteq I(Y_2)\subseteq I(Y_3)\subseteq \cdots$

є зростаючою послідовністю ідеалів $k[x_1,\dots ,x_n]$ ($I(Y_i)$ позначає ідеал поліноміальних функцій, що рівні нулю в кожній точці $(Y_i)$). Оскільки $k[x_1,\dots ,x_n]$ є кільцем Нетер, існує ціле число m, таке що

$I(Y_m)=I(Y_{m+1})=I(Y_{m+2})=\cdots .$

Зважаючи на однозначну відповідність між радикальними ідеалами $k[x_1,\dots ,x_n]$ і замкнутими (в топології Заріскі) множинами ${𝔸}_k^n$ виконується $V(I(Y_i))=Y_i$ для всіх i. Тому: $Y_m=Y_{m+1}=Y_{m+2}=\cdots$

• Прикладами нетерових просторів є спектри комутативних кілець. Для кільця R простір Spec(R) (спектр R) є нетеровим тоді і тільки тоді, коли R — кільце Нетер.

Див. також

• Кільце Нетер

Посилання

• Юрій Дрозд. Вступ до алгебричної геометрії