курсовые,контрольные,дипломы,рефераты
Федеральное агентство по образованию
Государственное
образовательное учреждение высшего профессионального образования
Вятский государственный
гуманитарный университет
Математический факультет
Кафедра алгебры и геометрии
Выпускная квалификационная работа
Топологическая определяемость верхних полурешёток.
Выполнил:
студент V курса математического факультета
Малых Константин Леонидович
Научный руководитель:
кандидат физико-математических наук, доцент кафедры алгебры и геометрии В.В. Чермных
Рецензент:
доктор физико-математических наук, профессор, заведующий кафедрой алгебры и геометрии Е.М. Вечтомов
Допущена к защите в государственной аттестационной комиссии
«___» __________2005 г. Зав. Кафедрой Е.М. Вечтомов
«___»___________2005 г. Декан факультета В.И. Варанкина
Киров 2005
Оглавление.
Введение …………………………………………………………………стр. 3
Глава 1 ……………………………………………………………………стр. 4
1. Упорядоченные множества ………………………………………стр. 4
2. Решётки.……………………………………………………………стр. 5
3. Дистрибутивные решётки ………………………………………..стр. 8
4. Топологические пространства……………………………………стр.10
Глава 2…………………………………………………………………….стр.11
1. Верхние полурешётки…………………………………………….стр.11
2. Стоуново пространство …………………………………………..стр.15
Список литературы……………………………………………………….стр.21
Введение.
Дистрибутивная решётка является одним из основных алгебраических объектов. В данной работе рассматривается частично упорядоченное множество P(L) простых идеалов. Оно даёт нам много информации о дистрибутивной решётке L, но оно не может её полностью охарактеризовать. Поэтому, для того, чтобы множество P(L) характеризовало решётку L, необходимо наделить его более сложной структурой. Стоун [1937] задал на множестве P(L) топологию.
В этой работе рассматривается этот метод в несколько более общем виде.
Работа состоит из двух глав. В первой главе вводятся начальные понятия, необходимые для изучения данной темы. Во второй главе рассматриваются верхние полурешётки, а также множество простых идеалов с введенной на нём топологией.
Глава 1.
1. Упорядоченные множества.
Определение: Упорядоченным множеством называется непустое множество, на котором определено бинарное отношение , удовлетворяющее для всех следующим условиям:
1.Рефлексивность: .
2.Антисимметричность: если и , то .
3.Транзитивность: если и , то .
Если и , то говорят, что меньше или больше , и пишут или .
Примеры упорядоченных множеств:
1. Множество целых положительных чисел, а означает, что делит .
2. Множество всех действительных функций на отрезке и
означает, что для .
Определение: Цепью называется упорядоченное множество, на котором для имеет место или .
Используя отношение порядка, можно получить графическое представление любого конечного упорядоченного множества . Изобразим каждый элемент множества в виде небольшого кружка, располагая выше , если . Соединим и отрезком. Полученная фигура называется диаграммой упорядоченного множества .
Примеры диаграмм упорядоченных множеств:
2. Решётки
Определение: Верхней гранью подмножества в упорядоченном множестве называется элемент из , больший или равный всех из .
Определение: Точная верхняя грань подмножества упорядоченного множества – это такая его верхняя грань, которая меньше любой другой его верхней грани. Обозначается символом и читается «супремум X».
Согласно аксиоме антисимметричности упорядоченного множества, если точная верхняя грань существует, то она единственна.
Понятия нижней грани и точной нижней грани (которая обозначается и читается «инфинум») определяются двойственно. Также, согласно аксиоме антисимметричности упорядоченного множества, если точная нижняя грань существует, то она единственна.
Определение: Решёткой называется упорядоченное множество , в котором любые два элемента и имеют точную нижнюю грань, обозначаемую , и точную верхнюю грань, обозначаемую .
Примеры решёток:
1. Любая цепь является решёткой, т.к. совпадает с меньшим, а с большим из элементов .
2.
Наибольший элемент, то есть элемент, больший или равный каждого элемента упорядоченного множества, обозначают , а наименьший элемент, то есть меньший или равный каждого элемента упорядоченного множества, обозначают .
На решётке можно рассматривать две бинарные операции:
- сложение и
- произведение
Эти операции обладают следующими свойствами:
1. , идемпотентность
2. , коммутативность
3. ,
ассоциативность
4. ,
законы поглощения
Теорема. Пусть - множество с двумя бинарными операциями , обладающими свойствами (1) – (4). Тогда отношение (или ) является порядком на , а возникающее упорядоченное множество оказывается решёткой, причём:
Доказательство.
Рефлексивность отношения вытекает из свойства (1). Заметим, что оно является следствием свойства (4):
Если и , то есть и , то в силу свойства (2), получим . Это означает, что отношение антисимметрично.
Если и , то применяя свойство (3), получим: , что доказывает транзитивность отношения .
Применяя свойства (3), (1), (2), получим:
,
.
Следовательно, и
Если и , то используя свойства (1) – (3), имеем:
, т.е.
По определению точней верхней грани убедимся, что
Из свойств (2), (4) вытекает, что и
Если и , то по свойствам (3), (4) получим:
Отсюда по свойствам (2) и (4) следует, что
, т.е.
Таким образом, . ■
Пусть решётка, тогда её наибольший элемент характеризуется одним из свойств:
1.
2. .
Аналогично характеризуется наименьший элемент :
1.
2. .
3. Дистрибутивные решётки.
Определение: Решётка называется дистрибутивной, если для выполняется:
1.
2.
В любой решётке тождества (1) и (2) равносильны. Доказательство этого факта содержится в книге [1], стр. 24.
Теорема: Решётка с 0 и 1 является дистрибутивной тогда и только тогда, когда она не содержит подрешёток вида
Доказательство этого факта можно найти в книге [2].
Далее под словом “решётка” понимается произвольная дистрибутивная решётка с 0 и 1 (причём ).
Определение: Непустое множество называется идеалом в решётке , если выполняются условия:
1.
2.
Определение: Идеал в решётке называется простым, если
или .
Идеал, порождённый множеством Н (т.е. наименьший идеал, содержащий H), будет обозначаться (Н]. Если Н = {a}, то вместо ({a}] будем писать (a] и называть (a] главным идеалом.
Обозначим через I(L) множество всех идеалов решётки L. I(L) будем называть решёткой идеалов.
Определение: Решётки и называются изоморфными (обозначение: ), если существует взаимно однозначное отображение , называемое изоморфизмом, множества на множество , такое, что
,
.
4. Топологические пространства.
Определение: Топологическое пространство – это непустое множество с некоторой системой выделенных его подмножеств, которая удовлетворяет аксиомам:
1. Пустое множество и само пространство принадлежит системе : .
2. Пересечение любого конечного числа множеств из принадлежит , т.е. .
3. Объединение любого семейства множеств из принадлежит , т.е. .
Таким образом, топологическое пространство – это пара <, >, где - такое множество подмножеств в , что и замкнуто относительно конечных пересечений и произвольных объединений. Множества из называют открытыми, а их дополнения в замкнутыми.
Определение: Пространство называется компактным, если в любом его открытом покрытии можно выбрать конечное подпокрытие.
Определение: Подмножество пространства называется компактным, если в любом его открытом покрытии можно выбрать конечное подпокрытие.
Определение: Топологическое пространство называется - пространством, если для любых двух различных его точек существует открытое множество, содержащее ровно одну из этих точек.
Глава 2.
1. Верхние полурешётки.
Определение: Ч.у. множество называется верхней полурешёткой, если sup{a,b} существует для любых элементов a и b.
Определение: Непустое множество I верхней полурешётки L называется идеалом, если для любых включение имеет место тогда и только тогда, когда .
Определение: Верхняя полурешётка называется дистрибутивной, если неравенство ≤ (, , L) влечёт за собой существование элементов , таких, что , , и = .(рис.1). Заметим, что элементы и не обязательно единственны.
Некоторые простейшие свойства дистрибутивной верхней полурешётки даёт:
Лемма 1:
(*). Если <, > - произвольная полурешётка, то верхняя полурешётка дистрибутивна тогда и только тогда, когда решётка дистрибутивна.
(**). Если верхняя полурешётка дистрибутивна, то для любых существует элемент , такой, что и . Следовательно, множество является решёткой.
(***). Верхняя полурешётка дистрибутивна тогда и только тогда, когда множество является дистрибутивной решёткой.
Доказательство.
(*). <, > - дистрибутивна и , то для элементов , , справедливо равенство :
значит, полурешётка <,> - дистрибутивна.
<,> - дистрибутивна. Пусть решётка содержит диамант или пентагон (рис.2).
1) Пусть решётка содержит пентагон, . Нужно найти такие элементы и , чтобы выполнялось равенство . Но множество элементов меньших b или c состоит из элементов {0,b,c} и их нижняя граница не даст a. Получили противоречие с тем, что <,> - дистрибутивна. Значит, наше предположение неверно и решётка не содержит пентагона.
2) Пусть решётка содержит диамант, . Аналогично, множество элементов меньших b или c состоит из элементов {0,b,c}, их нижняя граница не даст a. Значит, решётка не содержит диаманта.
Можно сделать вывод, что решётка дистрибутивна.
(**). Имеем , поэтому , где (по определению дистрибутивной полурешётки). Кроме того, является нижней границей элементов и .
Рассмотрим идеалы, содержащие элемент и - и . Тогда Ø ,т.к. , нижняя граница элементов a и b, содержится там.
Покажем, что I(L) – решётка, т.е. существуют точные нижняя и верхняя грани для любых A и B.
Покажем, что совпадает с пересечением идеалов A и B. Во-первых, - идеал. Действительно, и и Во-вторых, пусть идеал и . Тогда , т.е. - точная нижняя грань идеалов A и B, т.е. .
Теперь покажем, что совпадает с пересечением всех идеалов , содержащих A и B. Обозначим . Поскольку для для , то C идеал. По определению C он будет наименьшим идеалом, содержащим A и B.
(***). Пусть – верхняя дистрибутивная полурешётка. Покажем, что
.
Пусть , т.е. (рис.3), для некоторых
Понятно, что . По дистрибутивности, существуют такие, что . Т.к. A – идеал, то , потому что . Аналогично, . Т.е. . Точно также, . Если , то легко показать, что .
Доказали, что - идеал. Очевидно, он является верхней гранью идеалов A и B. Если C содержит A и B, то C будет содержать элементы для любых , т.е. Поэтому , поскольку является верхней гранью идеалов A и B и содержится в любой верхней грани.
Теперь покажем, что выполняется равенство:
.
. Пусть , где ,. Т.к. , то , откуда и следовательно . Аналогично, , значит,
. Пусть ,где .
Отсюда следует дистрибутивность решётки .
– дистрибутивная решётка, . Теперь рассмотрим идеалы, образованные этими элементами:
(,будет нижней границей для ). Поэтому , что и доказывает дистрибутивность полурешётки . ■
2. Стоуново пространство.
Определение: Подмножество верхней полурешётки называется коидеалом, если из неравенства следует и существует нижняя граница множества , такая, что .
Определение: Идеал полурешётки называется простым, если и множество является коидеалом.
В дальнейшем нам потребуется лемма Цорна, являющаяся эквивалентным утверждением аксиоме выбора.
Лемма Цорна. Пусть A – множество и X – непустое подмножество множества P(A). Предположим, что X обладает следующим свойством: если C – цепь в <>, то . Тогда X обладает максимальным элементом.
Лемма 2: Пусть – произвольный идеал и – непустой коидеал дистрибутивной верхней полурешётки . Если , то в полурешётке существует простой идеал такой, что и .
Доказательство.
Пусть X – множество всех идеалов в L,содержащих I и не пересекающихся с D. Покажем, что X удовлетворяет лемме Цорна.
Пусть C – произвольная цепь в X и Если , то для некоторых Пусть для определённости . Тогда и , т.к. - идеал. Поэтому . Обратно, пусть , тогда , для некоторого Получаем , откуда .
Доказали, что M – идеал, очевидно, содержащий I и не пересекающийся с D, т.е. . По лемме Цорна X обладает максимальным элементом, т.е. максимальным идеалом P среди содержащих I и не пересекающихся с D.
Покажем, что P – простой. Для этого достаточно доказать, что L\P является коидеалом. Пусть L\P и . Поскольку , то , иначе в противном случае по определению идеала. Следовательно, . Если , то и пересекающихся с D в силу максимальности P. Получаем и для некоторых элементов . Существует элемент такой, что и , по определению коидеала, следовательно и для некоторых Заметим, что и не лежат в P, т.к. в противном случае .
Далее, , поэтому для некоторых и . Как и прежде . Кроме того , поэтому - нижняя грань элементов a и b, не лежащая в P. ■
В дальнейшем, через будем обозначать дистрибутивную верхнюю полурешётку с нулём, через множество всех простых идеалов полурешётки .
Множества вида представляют элементы полурешётки в ч.у. множестве (т.е. ). Сделаем все такие множества открытыми в некоторой топологии.
Обозначим через топологическое пространство, определённое на множестве . Пространство SpecL будем называть стоуновым пространством полурешётки L.
Лемма 3: Для любого идеала I полурешётки L положим:
Тогда множества вида исчерпывают все открытые множества в стоуновом пространстве SpecL.
Доказательство.
Нужно проверить выполнение аксиом топологического пространства.
1) Рассмотрим идеал, образованный 0. Тогда
,
но 0 лежит в любом идеале, а значит .
2) Возьмём произвольные идеалы и полурешётки и рассмотрим
Пусть . Тогда существуют элементы a и Отсюда следует, что , где L\P – коидеал. По определению коидеала существует элемент d такой, что и , значит,. Т.к. , следовательно, . Получаем, что .
Обратное включение очевидно.
2) Пусть - произвольное семейство идеалов. Через обозначим множество всех точных верхних граней конечного числа элементов, являющихся представителями семейства . Покажем, что - идеал. Пусть , тогда , где для некоторого идеала . Тогда лежит в идеале , следовательно, и , т.е. . Обратно очевидно.
Доказали, что - идеал. Теперь рассмотрим произвольное объединение.
■
Лемма 4: Подмножества вида пространства можно охарактеризовать как компактные открытые множества.
Доказательство.
Действительно, если семейство открытых множеств покрывает множество , т.е. , то Отсюда следует, что для некоторого конечного подмножества , поэтому . Таким образом, множество компактно.
Пусть открытое множество r(I) компактно, тогда и можно выделить конечное подпокрытие для некоторых .
Покажем, что I порождается элементом .
Предположим, что это не так, и в идеале I найдётся элемент b не лежащий в . Тогда [b) – коидеал, не пересекающийся с . По лемме 2 найдётся простой идеал P содержащий и не пересекающийся с [b). Получаем, , т.к. (т.е. ), но , т.к. , противоречие. Следовательно, компактным открытым множеством r(I) будет только в случае, если - главный идеал.■
Предложение 5: Пространство является - пространством.
Доказательство.
Рассмотрим два различных простых идеала и Q. Хотя бы один не содержится в другом. Допустим для определённости, что . Тогда r(P) содержит Q, но не содержит P, т.е. SpecL является - пространством. ■
Теорема 6: Стоуново пространство определяет полурешётку с точностью до изоморфизма.
Доказательство.
Нужно показать, что две полурешётки и изоморфны тогда и только тогда, когда пространства и гомеоморфны.
Очевидно, если решётки изоморфны, то пространства, образованные этими полурешётками будут совпадать.
Пусть и гомеоморфны () и . Тогда a определяет компактное открытое множество r(a). Множеству r(a) соответствует компактное открытое множество , с однозначно определённым элементом по лемме 4. Таким образом получаем отображение : , при котором . Покажем, что - изоморфизм решёток. Если a,b – различные элементы из , то , следовательно, , поэтому и - инъекция.
Для произвольного открытому множеству соответствует и очевидно , что показывает сюръективность .
Пусть a,b – произвольные элементы из . Заметим, что . Открытому множеству при гомеоморфизме соответствует открытое множество , а соответствует . Следовательно, =. Поскольку =, то , т.е. ■
Литература.
1. Биргкоф Г. Теория решёток. – М.:Наука, 1984.
2. Гретцер Г. Общая теория решёток. – М.: Мир, 1982.
3. Чермных В.В. Полукольца. – Киров.: ВГПУ, 1997.
Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования Вятский государственный гуманитарный университет Математический факультет Кафедра алгебры и геометрии Выпускная
Упругопластическая деформация трубы
Устойчивость по Ляпунову
Старший и верхний центральный показатели линейной системы
Статистичний аналіз тенденцій захворюваності в Україні
Элементарное изложение отдельных фрагментов теории подгрупповых функторов
Операторные уравнения
Операторы проектирования
Применение тригонометрической подстановки для решения алгебраических задач
Факторизації чотирьохмірних симплектичних груп
Многомерная геометрия
Copyright (c) 2024 Stud-Baza.ru Рефераты, контрольные, курсовые, дипломные работы.