close

Вход

Забыли?

вход по аккаунту

?

Несколько замечаний о топологии Зарисского на алгебраических системах.

код для вставкиСкачать
МАТЕМАТИКА
Вестн. Ом. ун-та. 2012. № 4. С. 27–32.
УДК 512.57+515.12
М.В. Котов
НЕСКОЛЬКО ЗАМЕЧАНИЙ
О ТОПОЛОГИИ ЗАРИССКОГО
НА АЛГЕБРАИЧЕСКИХ СИСТЕМАХ*
Изучаются взаимосвязи между заданной на топологической алгебраической системе
топологией, топологией Зарисского и совокупностью алгебраических множеств.
Доказаны некоторые свойства топологии Зарисского, изучены топологические алгебраические системы, для которых заданная топология совпадает с топологией
Зарисского и для которых совокупность алгебраических множеств совпадает с совокупностью замкнутых в заданной топологии множеств.
Ключевые слова: топология Зарисского, топологические алгебраические системы,
универсальная алгебраическая геометрия, алгебраические множества.
Введение
Основными объектами изучения универсальной алгебраической геометрии являются алгебраические множества, т. е. множества решений
систем уравнений. Если наделить алгебраическую систему топологией,
согласованной со структурой алгебраической системы, т. е. превратить её
в топологическую алгебраическую систему, то некоторую информацию об
алгебраических множествах можно получить из свойств полученного топологического пространства.
Например, в классической алгебраической геометрии изучаются
множества нулей многочленов над полем вещественных чисел R . Хорошо
известно, что в этом случае все множества решений уравнений будут
замкнутыми в евклидовой топологии. Ниже показано, что аналогичное
утверждение имеет место в случае произвольной топологической алгебраической системы A = 〈 A, T, L〉 с хаусдорфовой топологией T .
Для некоторых топологических алгебраических систем A = 〈 A, T, L〉
верно и обратное включение, т. е. любое замкнутое в топологии T n множество X ⊆ An является алгебраическим над A . Заметим, что в этом случае мы получаем описание алгебраических множеств, в чем и состоит одна из основных задач универсальной алгебраической геометрии. Описание таких алгебраических систем даётся утверждением 4.
В универсальной алгебраической геометрии важную роль играет топология Зарисского, которая определяется как топология, предбазой замкнутых множеств которой является совокупность всех алгебраических множеств. Некоторые свойства этой топологии доказываются в этой работе.
Для некоторых топологических алгебраических систем, для которых
не имеет место утверждение 4, удаётся доказать более слабое утверждение о том, что любое замкнутое в топологии T n множество является
замкнутым в топологии Зарисского. Утверждение 5 даёт описание алгебраических систем с таким свойством.
В качестве следствия из утверждения 5 показывается, что для линейно упорядоченных решёток и линейно упорядоченных множеств топология Зарисского совпадает с порядковой топологией.
Работа выполнена в рамках ФЦП «Научные и научно-педагогические кадры инновационной России»
(субсидия, соглашение с Минобрнауки РФ № 14.В37.21.0359 и 0859). При поддержке гранта РФФИ
№12-01-31008мол_а.
*
© М.В. Котов, 2012
М.В. Котов
28
Топология Зарисского
В этом разделе напомним некоторые
определения из универсальной алгебраической геометрии, следуя [2–6], и рассмотрим
некоторые свойства замыкания в топологии
Зарисского.
Пусть x – конечный набор переменных,
L – произвольный язык. Любая атомарная
формула языка L от переменных x называется уравнением. Любое множество уравнений от переменных x языка L называется системой уравнений.
Пусть A = 〈 A, L〉 – произвольная алгебn
раическая система языка L . Точка a ∈ A
называется решением уравнения s ( x ) язы-
от
n переменных x над A , если
A |= s (a) . Точка a ∈ An называется решением системы уравнений S ( x ) над A , если
ка L
A
она является решением каждого уравнения
системы S .
Множество всех решений системы
уравнений S ( x ) называется алгебраическим
над A множеством, соответствующим системе уравнений S , обозначается VA ( S ) . Совокупность всех алгебраических
множеств Y ⊆ An обозначим A A,n .
над
A
Зафиксируем положительное целое число n . Топологией Зарисского на множестве An называется топология, предбазой
замкнутых множеств которой является совокупность A A,n . Топологию Зарисского будем обозначать Z A,n . Отметим, что, вообще
говоря, Z A,n ≠ Z A,1 .
n
Алгебраическая система A называется
эквациональной областью [5], если для любого целого положительного n и любых
Y , Z ∈ A A,n объединение Y ∪ Z принадлежит A A,n . Если
ласть
A
и ∅ ∈ A A,n ,
– эквациональная обто
A A,n = Cl( Z A,n ) [5].
(Здесь и далее Cl(T) обозначает совокупность всех замкнутых в топологии T множеств.)
Алгебраическая система A называется
нётеровой по уравнениям, если для любого
целого положительного n и любой системы
уравнений S от n переменных найдётся
конечная подсистема S0 системы S такая,
что VA ( S ) = VA ( S0 ) .
Напомним, что топологическое пространство 〈 X , T〉 называется нётеровым,
если любая строго убывающая цепочка
замкнутых в топологии T множеств обрывается.
Лемма 1 [2; 3]. Алгебраическая система
A = 〈 A, L〉 является нётеровой по уравнениям тогда и только тогда, когда для любого
целого
положительного n
пространство
〈 A , Z A,n 〉
n
топологическое
является нётеро-
вым.
Множество Y ⊆ X , Y ≠ ∅ называется
неприводимым в топологическом пространстве 〈 X , T〉 , если для любых замкнутых в
топологии T множеств Y1 , Y2 ⊆ X из включения Y ⊆ Y1 ∪ Y2 следует, что Y ⊆ Y1 или
Y ⊆ Y2 .
Пусть X ⊆ An – произвольное множество, A = 〈 A, L〉 – произвольная алгебраическая система. Определим алгебраическое
замыкание cl A A ,n и замыкание в топологии
Зарисского cl ZA , n
следующим
образом:
cl A A , n X = I Y , cl ZA , n X = I Y . Легко покаY ∈A A , n
X ⊆Y
Y ∈Z A , n
X ⊆Y
зать [3], что
1) cl ZA , n X ⊆ cl A A , n X для любого множества X ⊆ An ;
2) если A – эквациональная область
и ∅ ∈ A A,n , то cl ZA , n X = cl A A , n X ;
3) cl ZA , n X = cl A A , n X тогда и только тогда,
когда cl Z A , n X – алгебраическое множество;
4) если
в топологии Z A,n
X –
неприводимое
множество,
то
cl ZA , n X = cl A A , n X .
В случае если A нётерова по уравнениям, то замыкание в топологии Зарисского
удаётся выразить через алгебраическое замыкание.
Утверждение 1. Пусть A = 〈 A, L〉 –
произвольная нётерова по уравнениям алгебраическая система, X ⊆ An – произвольное
непустое
множество.
Тогда
где
cl ZA , n X = cl A A , n X 1 ∪ K ∪ cl A A ,n X m ,
X = X 1 ∪ K ∪ X m – разложение множества X на неприводимые в топологии Z A,n
компоненты.
Доказательство. В самом деле, так как
A нётерова по уравнениям, то по лемме 1
n
топологическое пространство 〈 A , Z A,n 〉 является нётеровым. Следовательно [12], множество X является конечным объединением
неприводимых алгебраических множеств
X = X 1 ∪ K ∪ X m . Так как объединение конечно, то
cl ZA , n X = cl ZA , n U X i = U cl ZA , n X i .
1≤ i ≤ m
1≤ i ≤ m
Но для неприводимых множеств X i , как
было сказано выше, алгебраическое замыкание совпадает с замыканием в топологии Z A,n .
Следуя А. И. Мальцеву [7], введём понятие трансляций алгебраической системы. А
Несколько замечаний о топологии Зарисского на алгебраических системах
именно, пусть A = 〈 A, L〉 – произвольная алгебраическая система, тогда преобразования множества A , имеющие вид x a t A ( x ) ,
где t ( x ) – некоторый терм языка L от переменной x , называются трансляциями
алгебраической системы A . Произведение
трансляций алгебраической системы A , определяемое формулой (t1t2 )( x ) = t1 (t2 ( x )) , снова является трансляцией. Таким образом,
множество всех трансляций алгебраической
системы A образует полугруппу – полугруппу трансляций. К числу трансляций относится всегда и тождественное отображение id . Трансляция t1 называется обратимой, если существует трансляция t2 такая,
что t1t2 = t2 t1 = id . Все обратимые трансляции
алгебраической системы
A составляют
группу обратимых трансляций алгебраической системы A .
Пусть L – язык, B – множество, тогда LB будет обозначать расширенный язык
L ∪ {cb }b∈B . При этом, если A = 〈 A, LB 〉 – алгебраическая система языка LB , B ⊆ A , то
будем считать, что cb A = b .
Лемма 2 [3]. Любое термальное отображение t A : An → Am произвольной алгебраической системы A является непрерывным отображением из топологического пространства 〈 An , Z A,n 〉 в топологическое проm
странство 〈 A , Z A,m 〉 .
Лемма 3. Любая обратимая трансляция t произвольной алгебраической системы A является непрерывным, открытым
и замкнутым в топологии Зарисского
〈 A, Z A,1 〉 отображением.
Доказательство. По предыдущей лем−1
являются непрерывными функме t и t
циями, откуда получаем, что трансляция t
является гомеоморфным отображением.
А любое гомеоморфное отображение является одновременно и замкнутым, и открытым [8].
Лемма 3 обобщает следующее известное
утверждение для групп [9].
Лемма 4. Пусть G = 〈G, Lgr,G 〉 – некоторая группа, a ∈ G , A ⊆ G , тогда
1) если
A∈Cl(ZG,1 ),
то
A−1,
aA,
Aa ∈ Cl( ZG,1 );
2) cl ZG ,1 (aA) = acl ZG,1 A, cl ZG,1 ( Aa) = (cl ZG,1 A)a.
Доказательство. Достаточно заметить,
что для любого a ∈ G отображения x → x −1 ,
x → ax и x → xa являются обратимыми
трансляциями группы G .
29
Утверждение 2.
Пусть
A = 〈 A, L〉 –
произвольная
алгебраическая
система,
t ( x1 ,K, xn ) – терм языка LA и A1 ,K An ⊆ A .
A
A
Тогда t (cl ZA ,1 A1 ,K,cl ZA ,1 An ) ⊆ cl ZA ,1 t ( A1 ,K, An ).
Доказательство. Заметим, что
t A ( clZ A,1 A1 , clZ A,1 A2 ,…, clZ A,1 An ) =
=
⊆
∪
t A ( clZ A,1 A1 , a2 , …, an ) ⊆
∪
clZ A,1 t A ( A1 , a2 , …, an ) ⊆
a2 ∈clZ A ,1 A2
…
an ∈clZ A ,1 An
a2 ∈clZ A ,1 A2
…
an ∈clZ A ,1 An
⊆ clZ A,1 t A ( A1 , clZ A,1 A2 , …, clZ A,1 An ).
Первое включение имеет место в силу
непрерывности трансляций. Повторяя аналогичные рассуждения ещё n − 1 раз, получаем требуемое включение.
Топологические алгебраические системы
В этом разделе определим топологические алгебраические системы, приведём
известные топологические факты, переписанные с помощью терминологии универсальной
алгебраической
геометрии,
и покажем, когда алгебраические множества являются замкнутыми в заданной топологии.
Пусть A = 〈 A, L〉 – произвольная алгебраическая система. Предположим также,
что на множестве A задана некоторая топология T . Тогда если для любого функционального
символа
f ∈L
функция
fA:A f →A
n
является непрерывным отображением из топологического пространства 〈 A f , T f 〉 в топологическое пространство
〈 A, T〉 и для любого предикатного символа
n
n
r ∈ L множество r A является замкнутым в
топологии T nr , то алгебраическая система
A называется топологической [7] и обозначается 〈 A, T, L〉 .
Если некоторая топология T превращает алгебраическую систему A в топологическую, то будем говорить, что T является
топологией на A .
Имеют место следующие две леммы.
Лемма 5 [8]. Пусть A = 〈 A, T, L〉 – топологическая алгебраическая система. Про〈 A, T〉
хаусдорфово
тогда
странство
и только тогда, когда множество решений
уравнения x = y замкнуто в топологическом пространстве 〈 A2 , T 2 〉 .
Лемма 6 [8]. Пусть A = 〈 A, T, L〉 – топологическая алгебраическая система, топология T является хаусдорфовой и s ( x ) –
уравнение языка L от n переменных x .
М.В. Котов
30
Тогда множество VA ( s ( x )) замкнуто в топологическом пространстве 〈 An , T n 〉 .
Лемма 6 в [8] доказывается только для
уравнений вида t1 (x ) = t2 ( x ) , но приведённое
там доказательство переносится и на уравнения вида r (t1 ( x ),K, tnr (x )) .
Утверждение 3. Пусть A = 〈 A, T, L〉 –
топологическая алгебраическая система.
Для любого положительного целого n любое
алгебраическое над A множество Y ⊆ An
является замкнутым в топологическом
пространстве 〈 An , T n 〉 тогда и только тогда, когда топологическое пространство
〈 A, T〉 является хаусдорфовым.
Доказательство. В самом деле, если
〈 A, T〉 хаусдорфово, то по лемме 6 множество решений любого уравнения замкнуто
n
в топологии T . А так как пересечение любого числа замкнутых множеств замкнуто,
то будет замкнутым и множество решений
любой системы уравнений. Наоборот, если
для любого n замкнуто в топологии T n любое алгебраическое над
A множество
n
,
то,
в
частности,
будет
замкнуто
Y⊆A
множество решений уравнения x = y . Следовательно, по лемме 5 пространство 〈 A, T〉
хаусдорфово.
Замечание 1. Из утверждения 3 следует, что если топология хаусдорфова, то для
любого целого положительного n верны
включения A A,n ⊆ Cl( Z A,n ) ⊆ Cl( T ) , т. е. тоn
пология Зарисского мажорируется топологией T n .
Замечание 2. Утверждение 3 позволяет
в некоторых случаях легко отвечать на
вопрос о том, является ли какое-то множество алгебраическим. Так как если показать, что множество не является замкнутым
в какой-либо
хаусдорфовой
топологии
на A , то тогда оно не будет алгебраическим.
Например,
рассмотрим
алгебру
A = 〈 R, max, ⋅, +, −,0,1〉 , и в качестве топологии
на R рассмотрим евклидову топологию. Тогда из утверждения 3 следует, что множества ]0,1[ и [0,1[ не являются алгебраическими над этой алгеброй. Это наблюдение
можно обобщить. Так как включение
Z A,1 ⊆ T верно для любой хаусдорфовой топологии на A , то можно рассмотреть точную нижнюю грань множества всех хаусдорфовых топологий на A в решётке топологий на A . Полученная топология рассматривалась А.А. Марковым в [9]. Обозначим эту топологию M A . Имеем следующую
цепочку включений: Z A,1 ⊆ M A ⊆ T .
Сформулируем проблему, поставленную
А.А. Марковым для групп, но имеющую
смысл для любой алгебраической системы.
Проблема Маркова. Для заданной алгебраической системы A доказать или опровергнуть, что Z A,1 = M A .
Например, если для некоторой алгебраической системы топология Зарисского
является дискретной, то эта проблема для
этой алгебраической системы, очевидно,
решается положительно. Ниже будут рассмотрены алгебраические системы, для которых эта проблема также решается положительно.
Совпадение топологии Зарисского
с заданной топологией
Выясним, когда совокупность алгебраических множеств совпадает с совокупностью замкнутых множеств, а также когда
топология Зарисского совпадает с заданной
топологией.
В работе [1] была доказана следующая
лемма.
Лемма 7 [1]. Пусть 〈 A, T〉 – топологическое пространство, B1 – база открытых
множеств топологии T . Для того чтобы
некоторая совокупность B 2 замкнутых
множеств топологии T была базой замкнутых множеств этой топологии, необходимо и достаточно, чтобы для каждой
точки a ∈ A и любого содержащего точку a
множества X ∈ B1 существовало множество
Z ∈ B2 ,
не
содержащее
точку a
и содержащее множество A \ X .
Имеют место следующие утверждения.
Заметим, что утверждение 4 для случая, когда алгебраическая система является алгеброй, доказана в работе [1].
Утверждение 4. Пусть A = 〈 A, T, L〉 –
топологическая алгебраическая система,
T – хаусдорфова топология, n – положительное целое число. A A,n = Cl( T n ) тогда
и только тогда, когда найдётся такая баn
за B топологии T , что для любой точки
a ∈ An и любого содержащего точку a множества X из B найдётся алгебраическое
множество Y , не содержащее точку a
и содержащее множество An \ X .
Доказательство. Так как топология T
хаусдорфова, то из утверждения 3 следует,
что A A,n ⊆ Cl( T n ) , следовательно, можно
воспользоваться леммой 7.
Совершенно аналогично доказывается
утверждение 5.
Утверждение 5. Пусть A = 〈 A, T, L〉 –
топологическая алгебраическая система,
T – хаусдорфова топология, n – положительное
целое
число.
Z A,n = T n
тогда
и только тогда, когда найдётся такая ба-
Несколько замечаний о топологии Зарисского на алгебраических системах
за B топологии T n , что для любой точки
a ∈ A и любого содержащего точку a мноиз B
найдётся замкнутое
жества X
в топологии Зарисского Z A,n множество Y ,
n
не
содержащее
и содержащее
точку a
множество A \ X .
В работе [1] показано, что для алгебр
A1 = 〈 R, +,| ⋅ |, −1,0,1〉 , A2 = 〈 R, max, ⋅, +, −,0,1〉 и
n
A3 = 〈 R, max, ⋅, +, −1,0,1〉 выполнены все условия утверждения 4, если множество R
снабдить евклидовой топологией, следовательно, для этих алгебр и для любого целого
положительного n совокупность алгебраических множеств Y ⊆ R n над этими алгебрами совпадает с совокупностью замкнутых
в евклидовой топологией подмножеств R n .
Llat = {∧, ∨} – язык решёток,
Пусть
Lord = {≤} – язык упорядоченных множеств.
Рассмотрим
произвольную
решётку
L = 〈 A, Llat, A 〉 . Назовём решётку линейной,
если соответствующее ей частично упорядоченное множество является линейно упорядоченным. Зададим на L порядковую топологию TL , взяв в качестве базы топологии B совокупность следующих множеств:
A , {x < a} , {x > a} , {a < x < b} , где a, b ∈ A .
Следствие 1. Для любой линейной решётки L = 〈 A, Llat, A 〉 (а также линейно упорядоченного множества L = 〈 A, Lord, A 〉 ) и для
любого целого положительного n топология
Зарисского Z L,n совпадает с порядковой топологией TL .
Доказательство. Докажем случай линейных решёток. Случай линейно упорядоченных множеств доказывается аналогично.
Топология TL является хаусдорфовой [10] и,
как несложно показать, превращает L
в топологическую алгебру. Заметим, что
VL ( a ∨ x = a ) = {x ≤ a} ,
VL ( a ∨ x = x ) = {x ≥ a} .
Предположим далее, что решётка состоит
более чем из одного элемента, тогда пустое
множество также будет алгебраическим.
Заметим также, что B n является базой топологии TL n . Пусть X ∈ B n , тогда множестn
во X имеет вид X = B1 × K × Bn , где Bi – одно
из
множеств,
перечисленных
в определении
базы B ,
и
пусть
( a1 ,K, an ) ∈ X . Покажем, что множество
Y = A − X является замкнутым в топологии
Зарисского. В самом деле оно представимо
в
виде
Y = Y1 ∪ K ∪ Yn ,
где
n
Yi = Ai −1 × {xi ≤ a} × An −i ,
i −1
n −i
Yi = A × {xi ≥ a} × A
i −1
,
Bi = {xi > a} ,
если
Bi = {xi < a} ,
если
n −i
Yi = A × ({xi ≤ a} ∪ {xi ≥ b}) × A
,
если
31
Bi = {a < xi < b} , Yi = ∅ , если Bi = A . Таким
образом, Y является объединением алгебраических множеств, следовательно, является замкнутым в топологии Зарисского.
Следовательно, применяя утверждение 5,
получаем требуемое.
Отметим, что вопрос о совпадении топологии Зарисского Z L,1 с порядковой топологией TL для дистрибутивных решёток
изучался в работе [11].
Пусть L ⊆ L′ – расширение языка, если
A = 〈 A, L〉 и A′ = 〈 A, L′〉 такие алгебраические
′
′
A′
= c A для
всех f , r, c ∈ L , то будем говорить, что A′
является расширением A .
Утверждение 6. Пусть A = 〈 A, T, L〉 –
системы, что f A = f A , r A = r A и c
топологическая алгебраическая система,
T – хаусдорфова топология, n – положительное целое число и Z A,n = T n . Тогда
1) если топологическая алгебраическая
система A′ = 〈 A, T, L′〉 является расширениA , то
ем
алгебраической
системы
Z A ′,n = T n ;
2) если n = 1 , то M A = Z A,1 ;
3) топология Z A,n является хаусдорфовой;
4) если A является нётеровой по уравнениям, то множество A является конечным.
Доказательство. Пункт 1 следует из
замечания 1 и того факта, что Z A,n ⊆ Z A′,n .
Пункт 2 следует из цепочки включений из
замечания 2. Пункт 3 следует из замечания 1. Пункт 4 следует из замечания 1, леммы 1 и того факта, что если топологическое
пространство нётерово и хаусдорфово одновременно, то оно конечно [12].
Пусть A = 〈 R, TE , LR 〉 – топологическая
алгебраическая система, язык которой содержит символ отношения порядка ≤ , интерпретированный естественным образом,
и TE – евклидова топология. Тогда из пункта 1 утверждения 6 и следствия 1 следует,
что топология Z A,n совпадёт с евклидовой
n
топологией TE при любой интерпретации
остальных символов языка L .
ЛИТЕРАТУРА
[1] Котов М. В. Алгебраическая геометрия над
некоторыми топологическими алгебрами // Алгебра и теория моделей, 8 : сб. трудов / под
ред. А. Г. Пинуса и др. Новосибирск : Изд-во
НГТУ, 2011. С. 40–47.
[2] Daniyarova E., Miasnikov A., Remeslennikov V.
Unification theorems in algebraic geometry // Alg.
Discr. Math. 2008. № 1. Р. 80–112.
[3] Даниярова Э. Ю., Мясников А. Г., Ремесленников В. Н. Алгебраическая геометрия над ал-
32
гебраическими системами. II. Основания, Фундамент. и прикл. матем. 2012. Т. 17. № 1.
С. 65–106.
[4] Daniyarova E., Miasnikov A., Remeslennikov V.
Algebraic geometry over algebraic structures III:
Equationally
Noetherian
property
and
compactness. South. Asian Bull. Math. 2011.
Vol. 35. № 1. P. 35–68.
[5] Даниярова Э. Ю., Мясников А. Г., Ремесленников В. Н. Алгебраическая геометрия над алгебраическими системами. IV. Эквациональные области и ко-области // Алгебра и логика.
2010. Т. 49. № 6. С. 715–756.
[6] Даниярова Э. Ю., Мясников А. Г., Ремесленников В. Н. Алгебраическая геометрия над ал-
М.В. Котов
гебраическими системами V: Случай произвольной сигнатуры (готовится к печати).
[7] Мальцев А. И. К общей теории алгебраических
систем : матем. сб. 1954. Т. 35. № 1. С. 35–20.
[8] Александрян Р. А., Мирзаханян Э. А. Общая
топология : учеб. пособие для вузов. М. :
Высш. школа, 1979.
[9] Марков А. А. О безусловно замкнутых множествах : матем. сб. 1946. 18(60). № 1. С. 35–28.
[10] Биркгоф Г. Теория решёток / пер. с англ. М. :
Наука, 1984.
[11] Gierz G., Stralka A. The Zariski topology for distributive lattices, Rocky Mountain // J. Math. 1987.
Vol. 17. № 2. P. 196–217.
[12] Бурбаки Н. Коммутативная алгебра : пер. с фр.
М. : Мир, 1971.
Документ
Категория
Без категории
Просмотров
4
Размер файла
400 Кб
Теги
несколько, замечания, зарисского, система, топология, алгебраический
1/--страниц
Пожаловаться на содержимое документа