CC BY
39
и её приложения. Тбилиси, 2006. Т. 38. C. 82-94.
3. Прядиее В. Л. Численная схема решения начально-краевой задачи для волнового уравнения на одномерной пространственной сети при обобщённо-гладких условиях трансмиссии // Вестн. Самар. гос. ун-та. Естествен-нонауч. сер. 2008. № 8/2 (67). C. 195-202.
4. Покорный Ю.В., Пенкин О.М., Прядиев В.Л. и др.
УДК 512.571 +515.122.55
АЛГЕБРЫ
НЕПРЕРЫВНЫХ
МУЛЬТИФУНКЦИЙ
В.А. Молчанов
Саратовский государственный университет, кафедра геометрии E-mail: [email protected]
С помощью методов нестандартного анализа изучаются непрерывные сходимости в пространстве мультифункций и описываются псевдотопологические алгебры непрерывных мульти-функций.
Ключевые слова: сходимости в пространстве мультифункций, алгебры отношений, нестандартный анализ.
Дифференциальные уравнения на геометрических графах. М.: ФИЗМАТЛИТ, 2004. 272 с. 5. Тихонов А.Н., Самарский А.А. Уравнения математической физики. М.: Изд-во МГУ, 1999. 799 с.
6. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: В 3 т. М.: Гос. изд-во физ.-мат. лит., 1959. Т. II. 808 с.
Algebras of Continuous Multifunctions
V.A. Molchanov
Saratov State University, Chair of Geometry E-mail: [email protected]
With the help of methods of nonstandard analysis we investigate continuous convergences in the space of multifunctions and describe pseudotopological algebras of continuous multifunctions.
Key words: convergences in the space of multifunctions, algebras of relations, nonstandard analysis.
ВВЕДЕНИЕ
Как показывают результаты исследований [1, 2], разработанная В.В. Вагнером теория отношений [3] является эффективным инструментом в изучении сходимостей в функциональных пространствах на основе нестандартного подхода к топологии [4]. Настоящая статья продолжает эти исследования и посвящена изучению непрерывных сходимостей в пространстве мультифункций с помощью методов алгебры отношений [3] и нестандартного анализа [5]. В начале работы канонически определяются непрерывные сходимости мультифункций и обосновывается их согласованность с отображением вычисления. Здесь также приводятся условия, при которых непрерывные сходимости являются топологиями, хаусдорфовыми или регулярными сходимостями, описываются компактные множества мультифункций. Основные результаты работы описывают псевдотопологические алгебры непрерывных мультифункций.
Основные результаты работы докладывались на Международной конференции, посвященной 100-летию профессора В.В. Вагнера.
В работе используются методы нестандартного анализа [5], общепринятая топологическая терминология [6,7] и отдельные результаты из нестандартной топологии [2,4].
Как обычно [4], для простоты рассуждений основные множества X рассматриваемых пространств сходимости считаются подмножествами множества индивидов 8, над которым строится теоретико-множественная суперструктура V(8) [5]. Для таких множеств X определено нестандартное расширение *Х и любой фильтр Т над X полностью определяется своей монадой дТ = П{*А : А е Т}. Монады ультрафильтров над множеством X разбивают расширение *Х на классы эквивалентности ех. Подмножество М С *X называется насыщенным, если ех(М) С М, и монадой, если М = ^Т для некоторого фильтра Т над множеством X.
При нестандартном подходе к топологии [4] произвольная сходимость [6] на множестве X определяется соответствием р С X х *X, для которого все значения р(а) = {х е *X : (а, х) е р} (а е X) являются насыщенными подмножествами *X и удовлетворяют условию а е р(а). Такие соответствия называются (нестандартными) сходимостями и на них распространяется топологическая терминоло-
© В.А. Молчанов, 2009
В.А Молчанов. Алгебры непрерывных мультифункций
гия. Если сходимость на X — предтопология [6], то все р(а) (а € X) являются монадами, и если сходимость на X задается топологией открытых множеств Ох, то р(а) = П{*А : а € А € Ох} (а € X).
Как известно [4], подмножество А пространства сходимости (X, р) открыто, замкнуто или ком-
-1
пактно, если соответственно р(А) С * А, р ( * А) с А или * А с р(А).
1. НЕПРЕРЫВНЫЕ СХОДИМОСТИ МУЛЬТИФУНКЦИЙ
Пусть X, У с 8 и / с X х У — бинарное отношение между элементами множеств X, У с областью определения ёош/ = X. В этом случае каждому элементу х € X ставится в соответствие непустое множество /(х) = {у € У : (х, у) € /}, которое называется образом элемента х относительно /. Такое отношение / обозначается / : X ^ У и называется многозначным отображением X в У, или мультифункцией на X с значениями в У. В частности, если все образы /(х) являются одноэлементными множествами, то / — обычная функция на X с значениями в У. Множество всех функций (соответственно мультифункций) на X с значениями в У обозначается символом Т(X, У) или просто Т (соответственно МТ(X, У) или просто МТ).
Пусть на множествах X и У заданы нестандартные сходимости р и а. Как известно [1], непрерывность функции / € Т равносильна тому, что выполняется любое из эквивалентных условий:
-1 -1
(а) */о р с а о / или (б) /о р с а о*/.
В случае многозначности функции / условия (а), (б) не эквивалентны и приводят к следующим трем видам непрерывности: мультифункция / € МТ называется непрерывной сверху, если для нее выполняется (а), непрерывной снизу, если выполняется (б), и непрерывной, если эта мультифункция непрерывна сверху и снизу, т.е. одновременно выполняются условия (а) и (б). Корректность такой классификации обосновывается в работе [2, теорема 1] ее согласованностью с общепринятой классификацией мультифункций [7], а именно если (X, р), (У, а) — топологические пространства, то для
мультифункции / : X ^ У условие */ о р с а о / равносильно тому, что все образы /(х) (х € X)
-1
компактны в У и для любого замкнутого в У множества В прообраз / (В) замкнут в X, а условие -1 -1 -1 /о р с а о / равносильно тому, что для любого открытого в У множества В прообраз / (В) открыт
в X.
Множества всех непрерывных, непрерывных сверху и непрерывных снизу мультифункцией на X с значениями в У обозначим соответственно МТн, МТнв и МТнн. Разновидности понятия непрерывности мультифункций естественно приводят к следующим трем видам непрерывной сходимости мультифункций.
Непрерывная сверху (соответственно снизу) сходимость 7нв (тнн) определяется на множестве мультифункций МТнв (МТнн) по формуле
-1 -1
(/, к) € 7нв ^ к о р с а о / ((/, к) € 7нн ^ /о р с а ой),
где / € МТнв, к € * МТнв (/ € МТнн, к € * МТнн). Непрерывная сходимость 7н на множестве МТн определяется по формуле 7н = 7нв П 7нн. Корректность этих определений обосновывается в работе [2, лемма 1].
Непрерывные сходимости на множестве МТ могут быть охарактеризованы также с помощью многозначного отображения вычисления А : МТ х X ^ У, которое для / € МТ и х € X определяется по формуле А(/,х) = /(х). По аналогии с работой [2, теорема 2] нетрудно показать, что непрерывные сходимости являются самыми слабыми сходимостями на соответствующих множествах мультифункций МТнв, МТнн и МТн, при которых отображение вычисления А непрерывно в соответствующем смысле.
С целью описания условий, при которых непрерывные сходимости мультифункций являются топологиями, введем следующие обозначения для пространства сходимости (X, р) : Кх — множество всех компактных подмножеств и Ох — множество всех открытых подмножеств этого пространства. Кроме того, для подмножеств А с X, В с У положим
-1
(А, В) = {/ € МТ : /(А) с В}, )А, В(= {/ € МТ : А с / (В)}.
По аналогии с работой [2, теорема 3] нетрудно показать, что для локально компактного пространства сходимости [6] (X, р) и топологического пространства (У, а) сходимость 7нв на множестве МТнв есть топология с базой Внв = {(К, и) : К е Кх Л и е Оу}, сходимость 7нн на множестве МТнн — топология с базой Внн = {)К, и(: К е Кх Л и е Оу} и сходимость 7Н на множестве МТн — топология с базой Вн = Внв и Внн.
Кроме того, по аналогии с работой [2, лемма 2, теорема 4] нетрудно показать, что для хаусдор-фова (соответственно, регулярного) пространства сходимости (У, а) непрерывная сходимость 7н на множестве МТн также хаусдорфова (соответственно регулярна).
По аналогии с известной теоремой Арцела - Асколи [8] и результатами [2, теоремы 5, 6] можно описать компактные подмножества рассматриваемых пространств мультифункций с непрерывными сходимостями. В частности, если (X, р) — произвольное пространство сходимости и пространство сходимости (У, а) хаусдорфово и регулярно, то относительная компактность [6] любого подмножества Р в пространстве сходимости (МТн ,7н) равносильна тому, что
-1 -1
все Н е * Р удовлетворяют условию Н о ро р с а о а оН. (1)
В заключение остановимся на стандартной интерпретации полученных результатов. Пусть (X, Ох)
и (У, Оу) — произвольные топологические пространства. С помощью принципа переноса [5] нетрудно
убедиться, что подмножество Р С МТн удовлетворяет условию (1), если для любых х е X, В е Оу
найдется такая окрестность А е Ох точки х, что из /(х) С В следует /(А) С В, и, с другой стороны,
для любой окрестности В е Оу произвольной точки у е У найдутся такие А е Ох и С е Оу, что -1 -1 у е С и из Ап / (С) = 0 следует А С / (В). Это позволяет дать стандартную интерпретацию
последнему результату и получить аналог основной теоремы работы [9].
2. АЛГЕБРЫ МУЛЬТИФУНКЦИЙ
Пусть О — алгебраическая сигнатура, состоящая из символов операций конечной арности. Напомним [10], что псевдотопологической О-алгеброй называется алгебра А = (А, О, а) сигнатуры О с заданной на основном множестве А сходимостью а, относительно которой непрерывны все операции О-алгебры А.
Легко видеть, что алгебраическая структура сигнатуры О естественно продолжается на множество всех подмножеств базисного множества А по формуле
FA(X1,..., Xn) = {^А(х1,..., хп) : хг е XI для всех 1 < % < п},
где F — символ п-арной операции сигнатуры О и X!,... ^п С А. С другой стороны, по принципу переноса [5] операция FA продолжается на нестандартное расширение * А до операции *FA. Тогда непрерывность операции FA : Ап ^ А означает, что при любых значениях а1,..., ап е А выполняется условие
*^4(а(а1),..., а(ап)) С а^А(а1,..., а,п)). (2)
Это равносильно тому, что при любых х1,... ,хп е *А выполняется условие
—1 —1 —1
FA (а (х1),..., а (хп)) С а (* FA(xl ,...,хп)). (3)
Обозначим символом МТ(А) множество всех мультифункций на А с значениями в А. На этом множестве мультифункций поточечно определяется алгебраическая структура сигнатуры О по формуле
FмF(А) (/1,..., /п)(а) = FA(/1 (а),..., /(ап)),
где F — символ п-арной операции сигнатуры О, /1,..., /п е МТ (А) и а е А.
Подмножества множества МТ (А), состоящие из всех непрерывных, непрерывных сверху и непрерывных снизу мультифункций, обозначим соответственно МТн (А), МТн в (А) и МТнн (А).
Теорема 1. Все вышеперечисленные множества мультифункций являются подалгебрами О-алгебры МТ (А) и замкнуты относительно композиции мультифункций.
48
Научный отдел
В.А. Молчанов. Алгебры непрерывных мультифункций
Доказательство. Для любых мультифункций f,..., fn е MFhb (A) композиция /2 о f1 и значение f = Fmf(a)(/i,..., fn) являются непрерывными сверху мультифункциями. Действительно, из условий */ о а с а о f (1 < i < n) следует, что
*(/2 о f1) о а = *f2 о *f1 о а = *f2 о ( *f1 о а) с *f2 о (а о f1) = = ( *f2 о а) о f1 с (а о /2) о f1 = а о (/2 о f1),
и при любом а е A в силу (2) выполняется
*/(а(а)) = *Fa( */1 (а(а)),..., */п(а(а))) с *FA(a(/1 (а)),..., а(/п(а))) с С а (Fa (/1 (а),..., fn (а)) = a(F^F(A)(/1,..., /п)(а)) = а(/(а)).
Аналогично для любых мультифункций /1,..., fп е MFhh (A) композиция /2 о /1 и значение
f = Fmf(a) (/1,..., fn) являются непрерывными снизу мультифункциями. Действительно, из условий —1 — 1
а о/ с а о * fi (1 < i < n) следует, что
—1 —1 —1 —1 —1 —1 (/2 о /1 )о а = /2 о (/1 о а ) с /2 о ( а о */1) = (/2о а ) о */ с ( а о*/2) о */ = а о * (/2 о /1),
и при любом x е *A в силу (3) выполняется
—1 —1 —1 —1 —1 / ( а (x)) = Fa(/1 ( а (x)),...,fn( а (x))) с Fa ( а ( * /1 (х)),...,а ( * fn (x))) с
—1 —1 с а (* Fa (* /1 (x),..., *fn (x))= а (* Fmf(a)(/ ,..., fn)(x)) = а(* f (x)).
Из доказанного следует, что для любых непрерывных мультифункций /1,..., fп е MFя (A) композиция /2 о /1 и значение f = Fmf(a) (f1,... , fn) являются непрерывными мультифункциями. Теорема доказана.
Теорема 2. Для любой псевдотопологической О-алгебры A = (A, О, а) справедливы следующие утверждения:
1) множество MFяв (A) всех непрерывных сверху мультифункций с непрерывной сходимостью yhb и поточечно определенными операциями сигнатуры О (а также с композицией о) является псевдотопологической О-алгеброй (псевдотопологическим кольцоидом [10] над О-алгеброй MF яв (A));
2) множество MFяя (A) всех непрерывных снизу мультифункций с непрерывной сходимостью 7яя и поточечно определенными операциями сигнатуры О (а также с композицией о) является псевдотопологической О-алгеброй (псевдотопологическим кольцоидом над О-алгеброй MF яя (A));
3) множество MFя (A) всех непрерывных мультифункций с непрерывной сходимостью yh и поточечно определенными операциями сигнатуры О (а также с композицией о) является псевдотопологической О-алгеброй (псевдотопологическим кольцоидом над О-алгеброй MFя (A)).
Доказательство. Для любых мультифункций f 1,..., fп е MFяв(A) и h1,..., hn е *MFяв(A), удовлетворяющих условиям (fi, hi) е 7яв (1 < i < n), и значений f = Fmf(a)(/1 , - -., fn), h = *Fmf(A)(h1,..., hn) справедливы утверждения: (/2 о /1, h2 о h1 ) е Тяв, (f, h) е Тяв. Действительно, из условий hi о а с а о fi (1 < i < n) следует, что
(h2 о h1 ) о а = h2 о (h1 о а) с h2 о (а о /1 ) = (h2 о а) о /1 с (а о /2) о /1 = а о (/2о, /1 ),
и при любом а е A в силу (2) выполняется
^а(а)) = *FA(h1 (а(а)),..., hn(а(a))) с *FaK/1 (а)),..., а(/п(а))) с с а (Fa (/1 (а),..., fn (а)) = а(^м^(А)(/ъ ..., /п)(а)) = а(/(а)).
Аналогично для любых мультифункций /1,..., fn е MFяя(A) и h1,..., hn е * MFяя(A), удовлетворяющих условиям (fi,hi) е 7яя (1 < i < n), и значений f = Fmf(a)(/1 ,..., fn),
1 = * , ) справедливы утверждения: (/ о о Л4) € 7нн, (/, 1) е 7нн. Дей-
—1 — 1
ствительно, из условий /¿о а с а о1 (1 < г < п) следует, что
—1 —1 —1 —1 —1 —1 (/2 о /1 )о а = /2 о (/10 а ) с /2 о ( а 0Л4) = (/20 а ) о 1ц с (а о^) о 1ц = а о(^2 о 1ц),
и при любом х е *А в силу (3) выполняется
,-1
,-1
,-1
-1
-1
f ( а (x)) = Fa(/1( а (x)), ...,/„(а (x))) С а (Mx)),..., а (hn(x))) С
-1
-1
-1
с а (* (х),...,1п(х)) = а (* ,..., 1п)(х)) = а (1(х)).
Из доказанного следует, что для любых мультифункций /1,...,/п е н (А) и 11,...,1п е е *н(А), удовлетворяющих условиям (/¿, 1) е 7Н (1 < г < п), и значений / = (А)(/1,..., /п), 1 = (А)(11,..., 1п) справедливы утверждения: (/2 о /1?12 о 11) е 7Н, (/,1) е 7Н. Теорема
доказана.
Библиографический список
1. Молчанов В.А. Нестандартные сходимости в пространствах отображений // Сиб. мат. журн. 1992. Т. 33, № 6. С. 141-153.
2. Молчанов В.А. Непрерывные сходимости отображений // Изв. вуз. Мат. 1993. № 3. С. 59-67.
3. Вагнер В.В. Теория отношений и алгебра частичных отображений // Теория полугрупп и ее приложения: Сб. статей. Саратов: Изд-во Сарат. ун-та, 1965. Вып. 1. С. 3-178.
4. Молчанов В.А. О применении повторных нестандартных расширений в топологии // Сиб. мат. журнал. 1989. Т. 30, № 3. С. 64-71.
5. Альбеверио С., Фенстад Й., Хег-Крон Р.,
УДК 519.4
ТЕОРЕТИКО-МНОЖЕСТВЕННЫЙ ПОДХОД К СТРУКТУРЕ ГЕНЕРАТОРОВ КОНЦЕПТА
В.Е. Новиков
Саратовский государственный университет, кафедра геометрии E-mail: [email protected]
Разработаны теоретико-множественные методы, с помощью которых описывается структура генераторов концепта в формальном концептуальном анализе.
Ключевые слова: формальный концептуальный анализ, генерация концептов, семейства множеств.
Линдстрем Т. Нестандартные методы в стохастическом анализе и математической физике. М.: Мир, 1990. 616 с.
6. Fischer H.R. Limesraume // Math. Ann. 1959. V. 137. P. 269-303.
7. Энгелькинг Р. Общая топология. М.: Мир, 1986. 752 с.
8. Ascoli G. Le curve limite di una varieta data di curve // Mem. Accad. Lincei. 1883. V. 18, № 3. P. 551-586.
9. Weston J.D. A generalization of Ascoli's theorem // Mathematika. 1959. V. 6. P. 19-24.
10. Молчанов В.А. О представлениях топологических алгебр преобразованиями // Успехи мат. наук. 1993. Т. 48, № 3 (291). С. 195-196.
Set-Theoretical Approach to the Structure of Concept Generators
V.E. Novikov
Saratov State University, Chair of Geometry E-mail: [email protected]
Set-theoretical methods for the description of the structure of concept generators are developed.
Key words: formal concept analysis, concept generalization, family of sets.
ВВЕДЕНИЕ
В работах немецких математиков Р. Вилле [1], Б. Гантера [2] и др. был основан формальный концептуальный анализа и показаны его приложения к теории баз данных [3]. Генератор концепта — это такое множество атрибутов, которое определяет этот концепт. Например, если в качестве
© В.Е.Новиков, 2009
