Полукольца непрерывных функций с топологией поточечной сходимости тема диссертации и автореферата по ВАК РФ 01.01.06, кандидат физико-математических наук Подлевских, Марина Николаевна

• Подлевских, Марина Николаевна
• кандидат физико-математических наук
• 1999

Оглавление диссертации кандидат физико-математических наук Подлевских, Марина Николаевна

Содержание

0.1 Введение

1 Идеалы и конгруэнции в полукольцах

1.1 Основные определения и понятия

1.2 Решеточно упорядоченные полукольца

1.3 Полукольца непрерывных функций

2 Замкнутые конгруэнции на полукольцах непрерывных неотрицательных функций

2.1 Строение замкнутых конгруэнции

2.2 Решетка замкнутых конгруэнции

2.3 Фактор-полукольца полуколец С^{Х)

3 Замкнутые идеалы и двойственность для полуколец непрерывных функций со значением в топологическом полукольце

3.1 Замкнутые идеалы

3.2 Теорема двойственности

Литература

Введение диссертации (часть автореферата) на тему «Полукольца непрерывных функций с топологией поточечной сходимости»

0.1 Введение

Диссертация посвящена разделу функциональной алгебры - полукольцам непрерывных функций. Большая часть результатов относится к полукольцам непрерывных функций, рассматриваемых с топологией поточечной сходимости, то есть к тополого-алгебраическим объектам.

Изучение полуколец непрерывных функций является логическим продолжением исследования традиционных алгебраических объектов - колец непрерывных функций - и в достаточной мере использует факты и методы данной теории.

Пусть X - топологическое пространство и 5 - топологическое полукольцо. Через С(Х, 5) обозначается полукольцо всех непрерывных 5-значных функций, определенных на X, с поточечно заданными операциями сложения и умножения. Если в качестве 5 рассматриваются числовые множества Л (К+ и {0}, то соответственно имеем кольцо С(Х) (полукольцо С+(Х), полуполе 11{Х)) всех действительнозначных (положительных, неотрицательных) непрерывных функций. Вводя на указанных выше объектах топологию поточечной сходимости, получаем тополого-алгебраические системы функций: СР(Х, 5), СР(Х), С£(Х) и

ир(х).

Изучение колец С(Х) началось с работ Стоуна [40], И.М.Гельфанда и А.Н.Колмогорова [12] во второй половине 30-х годов XX века. Из обширной библиографии по теории колец непрерывных функций укажем монографию Гиллмана и Джерисона [33], важные статьи Капланского [36], Хьюитта [35], Нагаты [37], а также обзорные работы Е.М.Вечтомова [6], [7], [41], [42]. Тополого-алгебраическим объектам СР(Х), в частности, кольцам СР(Х) посвящены монография А.В.Архангельского [1] и обзорная статья В.В.Пашенкова [18].

Полукольца С+(Х) появляются в литературе с 1955 года [39], [13], [34]. Алгебраическое строение полуполей II(X) изучается участниками алгебраического семинара Вятского госпедуниверситета с 1995 года [9], [20], [21], [5]. Систематическое исследование полуколец С+(Х) и полуполей и(Х) отражено в диссертациях В.И.Варанкиной и И.А.Семеновой . Эти работы посвящены максимальным идеалам, делимости [4] и конгру-энциям [22] на полукольцах непрерывных функций. Отметим, что впервые конгруэнции на полукольцах С+(Х) для тихоновских пространств X рассматривались в статьях [30], [31]. Подалгебры в полукольцах непрерывных функций исследуются в работах [19] и [24]. Полукольца непрерывных функций, их фактор-полукольца находят применение - через пучковые представления - в общей теории полуколец [11], [26] - [28].

Полукольца непрерывных функций являются важными конкретными объектами в общей теории полуколец. Определение полукольца было дано Вандовером в 1934 году. Общая теория полуколец возникла в 50-е годы XX столетия. Особенно интенсивно данная теория развивается в последние 15 лет, что связано с её успешным применением в дискретной математике, компьютерной алгебре, идемпотентном анализе, теории управления и других разделах математики (см., например: [16] и [34]). Теория алгебраических систем непрерывных функций на топологических пространствах имеет дело с решением трех основных классов задач:

1. Изучение двойственностей между топологическими пространствами и порожденными ими алгебраическими системами функций. Частью этой задачи являются вопросы определяемости тех или иных классов топологических пространств производными алгебраическими объектами;

2. Исследование связей между топологическими свойствами тополо-

гических пространств и алгебраическими свойствами систем функций;

3. Описание алгебраических свойств, общих для всех алгебраических систем функций, единообразно порожденных топологическими пространствами. В частности, выделение характеристических свойств этих алгебраических объектов.

При рассмотрении тополого-алгебраических систем непрерывных функций, к которым, в частности, относятся исследуемые топологические полукольца СР(Х,Б), С£(Х) и 11р(Х), перечисленные выше задачи могут варьироваться. Так, например, возникает задача изучения тополого-алгебраических подобъектов систем функций, их свойств и взаимосвязей с топологией пространства X. Становится возможным рассматривать непрерывные отображения и непрерывные гомоморфные образы систем функций, их фактор-системы с фактор-топологией. Наличие топологии в системах функций влияет также и на решение задачи об определяемости данными системами топологических пространств.

В диссертации рассматриваются полукольца непрерывных функций относительно топологии поточечной сходимости, значение которой в тополого-алгебраических исследованиях показано в отмеченных выше работах [1] и [18]. Это значение определяется, в частности, следующими фактами: указанная топология является наименьшей среди практически всех естественных топологий, рассматриваемых на пространствах функций; тихоновское пространство X с точностью до гомеоморфизма определяется топологическим кольцом СР(Х) [37]. Топология поточечной сходимости, называемая ещё топологией произведения или тихоновской топологией, играет важную роль в общей топологии, в функциональном анализе, в топологической алгебре, при построении различных тополого - алгебраических двойственностей.

Кроме того, топологические свойства полуколец С+{Х) и UP(X) оказываются тесно связанными с естественным порядком, введенным на этих объектах. Этот факт - проявление свойств естественной топологии множества R. Поэтому наряду с тополого-алгебраическими объектами СР(Х), Ср(Х), UP(X) вызывают интерес упорядоченные алгебраические системы С(Х), С+(Х) и U(X) с естественным порядком и их обобщения - решеточно-упорядоченные кольца и полукольца. Теория упорядоченных алгебраических систем подробно изложена в книгах [2] и [25].

Введение порядка позволяет также изучать аддитивно идемпотент-ные полукольца CV(X), Ср(Х), UV(X), Up(X), где в качестве сложения берется операция взятия точной верхней грани двух функций.

В рамках сформулированных выше проблем, связанных с исследованием топологических полуколец непрерывных функций, в диссертации решены следующие основные задачи:

1. Описаны замкнутые конгруэнции на полукольцах Ср(Х) и Ср(Х) и полуполях UP(X) и Up(X) (теорема 2.1.1);

2. Дано описание замкнутых идеалов в полукольцах СР(Х, S) для ^-отделимого пространства X и замкнутых простых идеалов в случае ¿'-тихоновских пространств (теорема 3.1.1 и теорема 3.1.2);

3. Доказана определяемость тихоновского пространства каждой из решеток конгруэнций Con С+(Х), Con Ср(Х), Con UP(X) и Con Up(X) ( теорема 2.2.1);

4. Доказана теорема двойственности для полуколец CP(X,S) (теорема 3.2.2).

В диссертации применяются методы и результаты общей теории полуколец и теории колец и полуколец непрерывных функций. Большую роль в главах 1 и 2 играет метод соответствий. Рассматриваются со-

ответствия между конгруэнциями аддитивно сократимого полукольца и идеалами его кольца разностей, а также соответствия между их идеалами. Указанные соответствия, ставшие уже традиционными в применении, дают новые результаты для случая топологических полуколец и колец.

При описании замкнутых конгруэнции в главе 2 используется специфика топологии поточечной сходимости. В главе 3 существенно используются свойства и техника проектирования пространства произведения на координатные пространства.

Дадим краткий анализ содержания диссертации. Диссертация содержит введение, три главы, разбитых на 8 параграфов, и список литературы из 51 наименования.

В главе 1 вводятся основные понятия, используемые в диссертации; рассматриваются решеточно упорядоченные полукольца как обобщения полуколец непрерывных функций; исследуются некоторые свойства идеалов и конгруэнций на данных объектах.

В параграфе 1.1 приведены примеры идеалов и конгруэнций на полукольцах. Рассматривается аддитивно сократимое полукольцо 5 и его кольцо разностей Я. Вводятся соответствия а и (3, устанавливающие изоморфизм между решеткой разностных идеалов в Л и решеткой полустрогих идеалов 5.

В этом же параграфе для 5и К определяются:

1) отображение 7, ставящее в соответствие каждому идеалу I кольца Я, конгруэнцию 7 (/) полукольца причем

а 7(/) Ь а — Ь Е / для любых

2) отображение 5, которое ставит в соответствие каждой конгруэнции р на 5 идеал 8 (р) = {в — t Е Я : ^ Б ж вр^ кольца В..

Отметим, что свойства данных отображений рассмотрены в работах [4] и [22].

Указанные отображения дают общий метод соответствий для изучения идеалов и конгруэнции на аддитивно сократимых полукольцах, к которым, в частности, относятся полукольца С+(Х) и и(Х).

Введение поточечного порядка на полукольцах С+(Х) и и(Х):

/ < д <==> /(х) < д(х) для всех х € X —

превращает эти объекты в решеточно упорядоченные полукольца. Ре-шеточно упорядоченными полукольцами относительно рассмотренного выше порядка являются также аддитивно идемпотентные полукольца СУ(Х) и иу(Х). Так как операции сложения в С+(Х) и Су (X) различны, то для параллельного изучения указанные полукольца удобно рассматривать как подполуобъекты некоторой общей алгебраической структуры. Такой структурой, несомненно, будет кольцо С{Х), которое также является решеткой относительно порядка <. Данную ситуацию можно обобщить, используя понятия решеточно упорядоченного полукольца и кольца.

Решеточно упорядоченным полукольцам посвящен параграф 1.2, основными результатами которого являются предложение 1.2.1 и теорема 1.2.1.

Предложение 1.2.1. Произвольное решеточно упорядоченное полукольцо Б является положительным конусом некоторого решеточно упорядоченного кольца в том и только в том случае, когда для любых а,Ъ Е Б с условием а < Ь существует единственный элемент с Е Б, такой, что Ь — а + с.

Теорема 1.2.1. Для произвольного идеала I решеточно упорядо-

ценного кольца Я эквиваленты условия:

1) 7(/) — конгруэнция на ВУ;

2) I — абсолютно выпуклый;

3)1 — выпуклый, и а £ I влечет |а| Е /;

4) I — выпуклый идеал кольца, являющийся /\-полурешеткой;

5) I — выпуклый идеал кольца, являющийся У-полурешеткой;

6) I — разностный выпуклый;

7) I — разностный, и IП — строгий идеал в Я+;

8) I — разностный, и I П — строгий идеал в

Теорема 1.2.1 позволяет построить примеры, показывающие, что множества конгруэнции на полукольцах С+(Х) и СУ(Х) не содержатся друг в друге. Такие примеры приведены в следующем параграфе, посвященном полукольцам непрерывных функций.

В параграфе 1.3 вводятся в рассмотрение топологические полукольца

СР(Х) ,С+{Х,) О, ир(Х),

Обобщением данных понятий является полукольцо СР(Х, 5) всех непрерывных функций, определенных на X, со значением в топологическом полукольце 5.

В этом параграфе рассматриваются некоторые предварительные результаты о замкнутых идеалах в полукольцах Ср(Х).

Предложение 1.3.1. Если X - И-отделимое пространство, то произвольный замкнутый идеал полукольца С£(Х) является выпуклым.

Отображения а и /3, введенные в параграфе 1.1, для аддитивно сократимого полукольца Ср{Х) и его кольца разностей СР(Х) определяются следующим образом:

- а (I) = 1Г\С+(Х) для произвольного идеала I кольца СР(Х);

- ¡3(J) = J — J = {х — у : х,у Е J} для любого идеала J полукольца

СЦХ).

Предложение 1.3.2. Если X - тихоновское пространство, то отображения а и (3 устанавливают взаимно однозначное соответствие между множествами замкнутых идеалов кольца СР(Х) и полукольца Ср(Х).

В главе 2 дается описание замкнутых конгруэнции на полукольцах Ср(Х), Up(X), Ср(Х) и Up(X); показывается определяемость тихоновского пространства каждой из решеток конгруэнций Con С£(Х), Con Ср(. Con UP(X) и Con Up(X); рассматриваются непрерывные гомоморфные образы полукольца С^(Х).

Параграф 2.1 посвящен изучению строения замкнутых конгруэнций на топологических полукольцах непрерывных функций.

Пусть SP{X) - одно из полуколец С+(Х), UP(X), Сур(Х) или U%(X) и р - конгруэнция на SP(X).

Конгруэнция р называется замкнутой, если множество {(/,g) : fpg} замкнуто в тихоновском произведении 5Р(Х) х SP(X).

Конгруэнция р называется конгруэнцией, ассоциированной с множеством А С X, и обозначается Ра, если fpg <==>- /\а = g¡A для любых f,geSp(X).

Теорема 2.1.1. Для любого тихоновского пространства X и произвольной конгруэнции р на SP(X) равносильны условия:

1) р - замкнутая конгруэнция;

2) р = ра для некоторого однозначно определенного замкнутого

множества А С X.

Замкнутые конгруэнции на полукольце БР{Х) образуют решетку, различные свойства которой рассмотрены в параграфе 2.2. В доказательствах приведенных ниже предложений так или иначе используется строение замкнутых конгруэнций.

Далее пространство X считаем тихоновским.

Предложение 2.2.1. Максимальными среди замкнутых конгруэнций на Зр(Х) являются конгруэнции р{х} ,хЕХ.

Предложение 2.2.2. Решетка Соп 5Р(Х) изоморфна решетке О(X) всех открытых множеств пространства X.

В полукольцах СР(Х, Б) рассмотрим идеалы вида МА = У еСр(Х,Б): ¡(А) = {0}}

для множеств АС. X.

Связь между замкнутыми идеалами и замкнутыми конгруэнциями в полукольце Ср{Х) демонстрирует следующее предложение.

Предложение 2.2.3. Замкнутые идеалы в Ср(Х), как и в СР(Х), совпадают с множествами вида Мд для всевозможных замкнутых множеств А С X.

Отметим, что описание замкнутых идеалов в более общем случае дается в параграфе 3.1.

Основным результатом параграфа 2.2. является следующая теорема:

Теорема 2.2.1. Произвольное тихоновское пространство X опре-

деляетсл с точностью до гомеоморфизма каждой из решеток : Con Con Up(X), Con Ср(Х), Con Up (X) и решеткой Id СР{Х) всех замкнутых идеалов кольца Ср(Х).

Строение замкнутых конгруэнции позволяет дать следующую алгебраическую характеризацию нормальных пространств:

Предложение 2.2.4. Для произвольного тихоновского пространства X эквивалентны следующие условия:

1) решетка Con С^(Х) является подрешеткой решетки Con С+(Х);

2) решетка Con UP(X) является подрешеткой решетки Con U(X);

3) решетка Con СУ(Х) является подрешеткой решетки Con Су (X);

4) решетка Con Uy(X) является подрешеткой решетки Con Uy(X);

5) решетка Id, СР(Х) является подрешеткой решетки Id С(Х);

6) X - нормальное пространство.

Замкнутые конгруэнции играют основную роль при факторизации топологических полуколец. В параграфе 2.3 показано, что фактор-полукол Ср(Х)/ра в фактор-топологии с точностью до изоморфизма исчерпываются все открытые гомоморфные образы полукольца С+{Х) в случае тихоновского пространства X.

Предложение 2.3.2. Пусть X - тихоновское пространство. Если топологическое полукольцо S - непрерывный открытый образ топологического полукольца С^{Х), являющийся Т\ - пространством, то S топологически изоморфно фак тор-полукольцу Ср{Х)/рА для некоторого замкнутого множества А С X.

Непустое подмножество А топологического пространства X называ-

ется С -расширяемым в X, если любая функция из С (А) (равносильно: из Ср(А)) непрерывно продолжается на X. Для С-расширяемого замкнутого множества тихоновского пространства X имеет место следующий результат:

Предложение 2.3.3. Если X - тихоновское пространство, то для любого С -расширяемого замкнутого А С X

с;{х)/рА - ср+(л).

Глава 3 имеет более общий характер. В ней рассматриваются топологические полукольца

СР(Х, Б) всех непрерывных функций, определенных на пространстве X, со значениями в топологическом полукольце Б. Для СР(Х, Б) дано описание замкнутых идеалов и доказывается теорема двойственности.

Параграф 3.1 посвящен изучению строения замкнутых идеалов полукольца СР(Х, Б). Для 5-отделимого пространства X доказывается следующее предложение, в котором через 1[х] обозначается замыкание в Б идеала {/(ж).: / € /}.

Предложение 3.1.1. Пусть X - Б-отделимое пространство и I -правый идеал полукольца СР(Х,Б). Для замкнутости I необходимо и достаточно выполнение равенства

I = п ^Ч'М).

хех

Для случая простого топологического полукольца 5 на основе предложения 3.1.1 доказывается теорема о строении замкнутых идеалов.

Далее считаем, что в топологическом полукольце 5 точка 0 замкнута.

Теорема 3.1.1. Пусть 5 - простое топологическое полукольцо и X - 5-отделимое пространство. Тогда замкнутые идеалы в СР(Х, 5) -это в точности идеалы вида Мд для всевозможных замкнутых А С X.

Данная теорема имеет важные следствия в случае 5-тихоновского пространства X.

Следствие 3.1.1. Для любого замкнутого идеала I полукольца СР(Х, * существует однозначно определенное замкнутое подмножество А С X, такое, что I = Мд.

Следствие 3.1.2. Решетка всех замкнутых идеалов полукольца СР(Х, 5) изоморфна решетке всех открытых множеств пространства X.

Следствие 3.1.3. Пространство X определяется как самим топологическим полукольцом СР(Х, 5), так и решеткой всех его замкнутых идеалов.

Теорема 3.1.1 и следствие 3.1.1 дают, в частности, описание замкнутых идеалов в полукольце С+(Х). Отметим, что этот результат был сформулирован в параграфе 2.2 (предложение 2.2.3), где для его получения использовались соответствия между идеалами кольца СР(Х) и полукольца Ср(Х), а также соответствия между конгруэнциями на С+(Х) и идеалами в СР(Х).

Укажем еще один важный результат параграфа 3.1, на который су-

щественно опирается доказательство теоремы двойственности для полуколец СР(Х,Б).

Теорема 3.1.2. Пусть X - 5-тихоновское пространство и I -правый идеал топологического полукольца СР(Х,3). Тогда I замкнут и прост в том и только том случае, когда

1 = ^1(р) = {/еСр(Х,3):/(х)ер}

для однозначно определенных точки х Е X и замкнутого простого правого идеала р С 5.

В параграфе 3.2 рассматриваются топологические полукольца СР(Х, 5) где топологическое полукольцо 5 соответствует одному из трех типов, перечисленных ниже.

(1) В 5 выполняются следующие условия:

a) пересечение любых двух замкнутых простых идеалов содержит некоторый замкнутый простой идеал;

b) для любых двух различных элементов из 5 существует замкнутый простой идеал в содержащий ровно один из данных элементов.

(2) 5 является хаусдорфовым кольцом без делителей 0.

(3) 5 есть положительный конус хаусдорфова топологического реше-точно упорядоченного кольца Я без делителей 0 с непрерывной операцией х V 0 (х £ Я), рассматриваемый с индуцированной топологией.

Примерами полуколец класса (1) служат ограниченные цепи с интервальной топологией, класса (2) - хаусдорфовы топологические тела, класса (3) - числовые полукольца 11+, Z+ с естественными порядком и топологией.

Пусть X и У - произвольные топологические пространства, а Б и Т -

произвольные топологические полукольца. Рассматривается категория пар (Х,Б) с парами (<р,а) в качестве морфизмов, где <р : У —> X - непрерывное отображение и а : 5 —Т - непрерывный гомоморфизм. Каждая пара (<£>,«) определяет отображение Ср((р,а) : СР(Х, 5) —>

СР(¥,Т):

Ср((р,а){/) = а о / о (р для всех ¡еСр(Х,Б).

Важное значение для доказательства теоремы двойственности имеет следующий результат:

Теорема 3.2.1. Пусть дано отображение Г : СР(Х, 5) —СР(У,Т) - причем, пространство X - Б-тихоновское - и имеет место один из случаев:

1) Т обладает свойствами а) и Ь);

2) Б - кольцо, Т не имеет делителей нуля, и точка 0 замкнута в Т. ТогдаТ = Ср((р,а) для некоторой (единственной) пары (сх,(р) в том

и только том случае, когда Г - непрерывный гомоморфизм и Г(5) С Т.

Для каждого из введенных выше классов (г), г = 1,2,3, полуколец 5 рассматривается:

- категория всевозможных пар (Х,Б) с морфизмами (<р,а), где полукольцо 5 принадлежит классу (г) и пространство X является Б-тихоновским;

- категория соответствующих полуколец СР(Х, 5) и их непрерывных гомоморфизмов, сохраняющих константы.

Рассматривается функтор ^ : —у (г = 1,2,3), определяемый следующими условиями:

Е(Х, Б) = СР(Х, 5) для любой пары (X, 5) из класса объектов категории

Е((р,а) = Ср((р,а) для любой пары (</?,«) из класса морфизмов категории

Теорема 3.2.2. Функтор Е осуществляет эквивалентность между категорией пар (X, 5) и их морфизмов (ср, а) и категорией топологических полуколец СР(Х, 5) с непрерывными гомоморфизмами, сохраняющими константы, при г = 1,2,3.

Теорема 3.2.1 существенно обобщает соответствующие результаты Капланского [36], Нагаты [37], Широты [38], В.В.Пашенкова [17], Дэя [32] и Е.М.Вечтомова [8] по определяемости топологических пространств. Данная теорема отличается от известных теорем двойственностей тем, что полукольцо значений 5 не фиксируется, а меняется (в классах (г)).

В каждой главе диссертации применяется сквозная тройная отдельная нумерация для теорем, предложений, примеров и следствий. Например, предложение 2.3.1 - это предложение 1 из параграфа 2.3.

Результаты диссертации опубликованы в работах [43] - [51] и докладывались на VI Международной конференции женщин-метематиков (г. Чебоксары, 1998 г.), на топологической конференции "Александровские чтения" (МГУ, 1999 г.), на научных конференциях Вятского госпеду-ниверситета (1997, 1998, 1999 гг.), а также неоднократно на научном алгебраическом семинаре Вятского госпедуниверситета.

Список литературы диссертационного исследования кандидат физико-математических наук Подлевских, Марина Николаевна, 1999 год

Литература

[1] Архангельский А. В. Топологические пространства функций. -М.:Изд-во МГУ, 1989.

[2] Биркгоф Г. Теория решеток. - М.: Наука, 1984.

[3] Варанкина В. И. Максимальные идеалы в полукольцах непрерывных функций // Фундам. и прикл. матем. - 1995. - Т. I, N 4. - С. 923-937.

[4] Варанкина В. И. Максимальные идеалы и делимость в полукольцах непрерывных функций. Дис... канд. физ.-мат. наук. - Киров: Вятский гос. пед. ун-т, 1996.

[5] Варанкина В. И., Вечтомов Е. М., Семенова И. А. Полукольца непрерывных неотрицательных функций: делимость, идеалы, конгруэнции // Фундам. и прикл. матем. - 1998. -Т. 4, N 2. - С. 493-510.

[6] Вечтомов Е. М. Вопросы определяемости топологических пространств алгебраическими системами непрерывных функций // Итоги науки и техн. ВИНИТИ. Алгебра. Топология. Геометрия. -1990. - Т. 28. - С. 3-46.

[7] Вечтомов Е. М. Кольца непрерывных функций. Алгебраические аспекты // Итоги науки и техн. ВИНИТИ. Алгебра. Топология. Геометрия. - 1991. - Т. 29. - С. 119-191.

[8] Вечтомов Е. М. То-пространства и топологические решетки непрерывных {0,1}-значных функций // Заметки Тартуского ун-та.

- 1992. - Вып. 940. - С. 101-106.

[9] Вечтомов Е. М. О конгруэнциях на полутелах // Проблемы алгебры и кибернетики. Материалы междунар. конф., поев, памяти акад. С. А. Чунихина. - Гомель: гос. ун-т, 1995. - С. 38-39.

[10] Вечтомов Е. М. Один класс максимальных подалгебр полуколец непрерывных функций // Вестник Вятского педуниверситета. Серия естеств. наук. Вып. 3. Матем., инф., физ. - 1997. - С. 7-10.

[11] Вечтомов Е. М., Михалев А. В., Чермных В. В. Абелево - регулярные положительные полукольца // Труды семинара им. И. Г. Петровского. - 1997. - Т. 20. - С. 282-309.

[12] Гельфанд И. М., Колмогоров А. Н. О кольцах непрерывных функций на топологических пространствах // Докл. АН СССР. - 1939.

- Т. 22, N 1. - С. 11-15.

[13] Калмуцкий Л. И. Полукольца функций и характеристика Т1-пространств // Докл. АН БССР. - 1986. - Т. 30, N 11. - С. 972-974.

[14] Кон П. Универсальная алгебра. - М.: Мир, 1968.

[15] Кэлли ДЖ. Л. Общая топология. - М.: Наука, 1968.

[16] Маслов В.П., Колокольцов В.Н. Идемпотентный анализ и его применение в оптимальном управлении. - М.: Наука, 1994.

[17] Пашенков В. В. О двойственностях // Докл. АН СССР. - 1975. -222, N6.-0. 1295-1298.

[18] Пашенков В. В. Однородные и неоднородные двойственности // Успехи матем. наук. - 1987. - Т. 42, N 5. - С.79-99.

[19] Семенов А. Н. О подалгебрах полуколец непрерывных функций // Матем. вестник педвузов Волго-Вятского региона. Вып. 1. - Киров: Вятский гос. пед. ун-т, 1998. - С. 83-90.

[20] Семенова И. А. Главные конгруэнции на полуполе непрерывных положительных функций // Вестник Вятского педуниверситета. Серия естест. наук. Вып. 1. Матем., инф., физ. - 1996. - С. 14-16.

[21] Семенова И. А. Конгруэнции на полуполе непрерывных положительных функций и его строго выпуклые мультипликативные подгруппы // Вестник Вятского педуниверситета. Серия естест. наук. Вып. 3. Матем., инф., физ. - 1997. - С. 30-32.

[22] Семенова И. А. Конгруэнции на полукольцах непрерывных функций. Дис... канд. физ.-мат. наук. - Киров:Вятский гос. пед. ун-т, 1998.

[23] Семенова И. А. Определяемость хьюиттовских пространств X решеткой конгруэнций полуколец непрерывных неотрицательных функций // Вестник Вятского педуниверситета. - 1999. - N 1.- С. 20-23.

[24] Смирнова М. Н. (Подлевских) О замкнутых подалгебрах в полукольцах непрерывных функций // Тезисы докл. V Международной конф. женщин-математиков. - Ростов-на-Дону, 1997. - С. 64.

[25] Фукс Л. Частично упорядоченные алгебраические системы. - М.: Мир, 1965.

[26] Чермных В. В. Пучковые представления полуколец. Дис... канд. физ.-мат. наук. - М.: Моск. пед. гос. ун-т, 1993.

[27] Чермных В. В. О полноте пучковых представлений полуколец. // Фундам. и прикл. матем. - 1996. -Т. 2, N 1. - С. 167-177.

[28] Чермных В. В. Полукольца. - Киров: Вятский гос. пед. ун-т., 1997.

[29] Энгелькинг Р. Общая топология. - М.: Мир, 1986.

[30] Acharrya S. К., Chattopadhyay К. S., Ray G. G. Hemirings, congruences and the Stone-Cech compactification // Simon Stevin. - 1993. -V. 67, Suppl. - P. 21-35.

[31] Acharrya S. K., Chattopadhyay K. S., Ray G. G. Hemirings, congruences and the Hewitt realcomactificatin // Bull. Belg. Math. Soc. - 1995. - V. 2, N 1. - P. 47-58.

[32] Day B. J. Gelfand dualities over topological fields //J. Austral. Math. Soc. Ser. A. -1982. - V.32, N 2. - P. 171-177.

[33] Gillman L., Jerison M. Rings of continuous funstions. - N.J.: SpringerVerlag, 1976.

[34] Golan J. S. The theory of semirings with applications in mathematics and theoretical computer science. - Pitman monographs and surveys in pure and applied mathematics. V. 54. - 1992.

[35] Hewitt E. Rings of real-valued continuous functions. I // Trans. Amer. Math. Soc. - 1948. - 64, N 1. - P. 45-99.

[36] Kaplansky I. Topological rings // Amer. J. Math. - 1947. - 69, N 1. -P. 153-183.

[37] Nagata Jun-iti. On lattices of functions on topological spaces and of functions on uniform spaces // Osaka Math. J. - 1949. - 1, N 2. - P. 166-181.

[38] Shirota Taira. Class of topological spaces // Osaka Math. J. - 1952. -4,N 1. - P. 23-40.

[39] Slowikowski W., Zawadowski A. A generalization of maximal ideals method of Stone and Gelfand // Fund. Math. - 1955. -V. 42, N 2. - P. 215-231.

[40] Stone M. Applications of the theory of boolean rings to general topology // Trans. Amer. Math. Soc. - 1937. - V. 41, N 3. - P. 375-481.

[41] Vechtomov E. M. Rings and sheaves // J. Math. Sciences (USA). -1995.

- V. 74, N 1. - P. 749-798.

[42] Vechtomov E. M. Rings of continuous functions with values in a topological division ring //J. Math. Sciences (USA). - 1996. - V. 78, N 6.

- P. 702-753.

[43] Смирнова (Подлевских) M. H. Одна двойственность для топологических полуколец непрерывных функций // Успехи матем. наук. -1996. - Т. 51, N 3. - С. 187-188 (в соавторстве с Е.М. Вечтомовым).

[44] Смирнова (Подлевских) М. Н. Дистрибутивные решетки непрерывных функций с топологией поточечной сходимости // Тезисы докл. межвузовской научно-практической конф. "Проблемы физ.-мат. образования в педвузах России на современном этапе". - Магнитогорск, 1996. - С. 107-108.

[45] Смирнова (Подлевских) М. Н. Теоремы двойственности для полуколец непрерывных функций с топологией поточечной сходимости // Тезисы докл. IV Международной конф. женщин-математиков. -Волгоград: гос. ун-т, 1996. - С. 115-116.

[46] Смирнова (Подлевских) М. Н. Замкнутые идеалы в полукольцах непрерывных функций с топологией поточечной сходимости // Вестник Вятского педуниверситета. Серия естест. наук. Вып. 1. Матем., инф., физ. - 1996. - С. 16-18.

[47] Смирнова (Подлевских) М. Н. О замкнутых конгруэнциях на полукольцах непрерывных функций // Тезисы докл. школы-конф., по-свящ. 100-летию Б. М. Гагаева. - Казань: Казанск. матем. общ-во, 1997. - С. 200-201.

[48] Смирнова (Подлевских) М. Н. Пространства первичных идеалов полуколец непрерывных функций // Вестник Вятского педунивер-ситета. Серия естест. наук. Вып. 3. Матем., инф., физ. - 1997. - С. 4-7 ( в соавторстве с В.И.Варанкиной и Е.М. Вечтомовым).

[49] Подлевских М. Н. О решетке замкнутых конгруэнций на полукольцах непрерывных функций // Тезисы докл. VI Межд. конф. женщин - математиков. - Чебоксары: гос. ун-т, 1998. - С. 56-57.

[50] Подлевских М. Н. Решетка замкнутых конгруэнций на полукольцах непрерывных функций // Вестник Вятского гос.-пед.ун-та. - 1999. - N 1.- С. 101-102.

[51] Подлевских М. Н. Замкнутые конгруэнции на полукольцах непрерывных функций // Фундам. и прикл. матем. - 1999. - Т. 5, N 3.

ст -т