Научно-исследовательский семинар по общей топологии имеми П.С. Александрова / Вестн. Моск. ун-та. Сер. 1, Математика. Механика. C. 71-76.
НАУЧНО-ИССЛЕДОВАТЕЛЬСКИЙ СЕМИНАР ПО ОБЩЕЙ
ТОПОЛОГИИ ИМЕНИ П.С. АЛЕКСАНДРОВА
(основан П.С. Александровым в 1924 г.)
Руководители: П.С. Александров (1924-1982), Ю.М. Смирнов (1982-1983), В.В. Федорчук (с 1983 г.)
Заседания осеннего семестра 1995/96 учебного года
14 сентября
1. А.В. Архангельский. О спрэде и уплотнениях.
Теорема. Если каждое дискретное подпространство пространства счетно, то можно уплотнить на тихоновское пространство, любая конечная степень которого наследственно сепарабельна.
Следствие. Если спрэд счетен, то все компакты в наследственно сепарабельны в любой конечной степени.
Вопрос. Пусть -- подпространство тихоновского пространства . Верно ли тогда, что спрэд равен спрэду подпространства , образованного сужениями на непрерывных функций на ?
2. В.М. Караулов. О размерности непрерывных отображений произвольных пространств. Известные характеризации размерности топологических пространств, такие, как теоремы об -отображениях, существенных отображениях, об отображениях в сферы, о перегородках, перенесены на размерность непрерывного отображения (необязательно тихоновских) пространств и . Установлены аналоги свойств монотонности размерности по -вложенным, функционально открытым и -вложенным подмножествам; теорема конечной суммы и теорема произведения для бикомпактов. Определена большая индуктивная размерность для нормальных отображений; установлены соотношения между размерностями и послойными размерностями и .
21 сентября
1. В.В. Федорчук, С. Тодорчевич (Канада). Ковариантные функторы бесконечной степени и число Суслина. Для любого бикомпакта доказано, что , если функтор является нормальным функтором бесконечной степени либо .
2. Ю.Н. Миронова. О псевдокомпактных отображениях. Дается ряд определений псевдокомпактного (счетно компактного) непрерывного отображения, одно из которых имеет вид: отображение счетно компактно (псевдокомпактно), если для любого открытого в множества и любой точки для любой локально конечной (открытой) в системы существует окрестность точки , такая, что ее прообраз пересекается лишь с конечным числом элементов системы . Рассматриваются взаимосвязи между этими определениями. На отображения распространяется утверждение о совпадении псевдокомпактности и счетной компактности в классе нормальных пространств. Доказывается, что послойное произведение счетно компактного (псевдокомпактного) и (открытого) бикомпактного ( совершенного) отображений счетно компактно (псевдокомпактно).
28 сентября
1. А.А. Грызлов (Ижевск). О бикомпактных расширениях дискретных пространств. Рассматриваются некоторые типы точек в стоун-чеховских компактификациях дискретных пространств, в частности -точки, 0-точки, матричные точки. Доказывается существование некоторых новых разновидностей слабых -точек, например слабой -точки, которая является предельной точкой некоторого множества с условием Суслина, состоящего из не 0-точек, но не является предельной точкой никакого множества с условием Суслина, состоящего из 0-точек.
2. Л.Б. Шапиро. Об одновременном продолжении частичных функций. Для топологических пространств и через обозначается множество всех непрерывных отображений компактных подмножеств в . Каждое отображение отождествляется со своим графиком, лежащим в . Множество наделяется топологией, индуцированной виеторисовой топологией пространства . Пространство изучалось в работах К. Куратовского, В.В. Филиппова и др. Основным результатом доклада является
Теорема. Пусть -- метрическое пространство, а -- действительное локально выпуклое секвенциально полное линейное топологическое пространство. Тогда существует непрерывное отображение , удовлетворяющее условиям:
а) -- продолжение ;
б) значения лежат в замкнутой выпуклой оболочке множества значений ;
в) линейно на множестве частичных функций с одинаковой областью определения.
В формулировке теоремы вместо метризуемого пространства можно рассматривать субметризуемое.
5 октября
1. С.А. Богатый. Топологический взгляд на одну проблему теории формальных рядов. Предложено необходимое условие существования итеративного корня формального голоморфного отображения в многомерном случае. Для каждого представлен пример полиномиального отображения в себя, имеющего итеративный квадратный -гладкий корень, но не имеющего -гладкого корня с заданным спектром.
2. С.И. Богатая, С.А. Богатый, Х. Штайнлайн (Германия). Расщепление орбит. На -мерной сфере с линейным свободным действием группы строится такое отображение , что для всякой точки и всякого элемента , , справедливо неравенство .
12 октября
1. Р.Н. Виноградов. О трансфинитных размерностях частичных топологических произведений. Получены следующие оценки трансфинитных размерностей частичных произведений.
Теорема 1. Пусть есть частичное топологическое произведение , , для всех и система множеств является локально конечной в пространстве . Тогда .
Теорема 2. Пусть непрерывное отображение пространства в частичное топологическое произведение является -правильным относительно этого произведения, , для всех и система множеств является равномерно локально конечной в пространстве . Тогда .
2. И.И. Швецова. О -компактности отображений. Пусть -- класс топологических пространств. Непрерывное отображение называется -компактным, если оно замкнуто вкладывается в проекцию частичного топологического произведения, все слои которого принадлежат классу . -компактное расширение отображения называется его максимальной -компактификацией, если для любых открытого в множества , , и непрерывного отображения существует непрерывное продолжение . Предложен способ построения максимальной -компактификации отображения при помощи ультрафильтров некоторых замкнутых подмножеств прообразов открытых в пространстве множеств. Этот способ обобщает методы Волмэна и Гиллмана--Джерисона построения бикомпактификаций и .
19 октября
1. А.Б. Скопенков. О вложимости компактов в плоскость. Найдены достаточные условия вложимости пеановских континуумов в плоскость (с использованием теоремы Клэйтора). Пример 3-адического соленоида показывает, что это условие не является достаточным для произвольных континуумов. Даны необходимые условия аппроксимируемости вложениями отображения графа в плоскость, которые нужны для применения спектрального критерия Штанько--Щепина вложимости компактов в .
2. Л.Б. Шапиро. О метризуемости пространств мер.
26 октября
1. Р.Н. Виноградов. Индуктивные трансфинитные размерности топологических произведений (предзащита диссертации).
2. А.И. Демин. Инварианты типа периода для одномерных динамических систем (предзащита диссертации).
2 ноября
1. Е.А. Резниченко, О.В. Сипачева, П. Гартсайд (Великобритания). Пространство с базой ранга 1 является ретрактом группы. База топологии называется базой ранга 1, если любые два элемента этой базы не пересекаются либо один из них содержится в другом. Введен новый класс 2-мальцевских пространств, который содержится в классе пространств с непрерывной операцией Мальцева: называется 2-мальцевским, если существует непрерывное отображение , такое, что для любых .
Теорема 1. Всякое тихоновское пространство , обладающее более слабой топологией с базой ранга 1, является 2-мальцевским.
Теорема 2. Если тихоновское пространство обладает более слабой топологией с базой ранга 1 и имеет базу, состоящую из множеств, замкнутых относительно , то является ретрактом булевой топологической группы (и, следовательно, своей свободной абелевой топологической группы).
2. В.В. Успенский. Многообразия топологических групп и секвенциально непрерывные гомоморфизмы. А.В. Архангельский поставил следующий вопрос: совпадает ли многообразие топологических групп, порожденное всеми свободными топологическими группами над метрическими пространствами, с классом всех топологических групп? Если существуют вещественно измеримые кардиналы, то ответ оказывается отрицательным.
9 ноября
1. М.В. Матвеев. Об одном свойстве, близком к нормальности. Рассматривается следующее свойство топологического пространства : (а) для любого открытого покрытия и любого всюду плотного подпространства найдется замкнутое в дискретное подпространство , такое, что Несмотря на несхожесть определений, свойство (а) ведет себя как нормальность.
2. Е.А. Резниченко. О мальцевских пространствах.
16 ноября
1. А.В. Архангельский. Некоторые варианты теоремы Гротендика.
2. Б.А. Пасынков. О метризуемых отображениях. Обсуждаются варианты определения метризуемости непрерывного отображения . В частности, отображение называется: 1) тривиально метризуемым (ТМ), если оно вложимо в проекцию произведения метризуемого пространства на ; 2) локально ТМ, если существует такое открытое покрытие пространства , что отображение является ТМ для всех ; 3) элементарно частично метризуемым (ЧМ), если оно вложимо в проекцию элементарного частичного топологического произведения (ЧТП) с метризуемым слоем; 4) счетно ЧМ (А.Ю. Зубов), если оно вложимо в проекцию ЧТП со счетным числом метризуемых слоев; 5) (-) локально (звездно или точечно) конечно (точечно счетно) ЧМ, если оно вложимо в проекцию ЧТП , все слои которого метризуемы, а система является (-) локально (звездно или точечно) конечной (точечно счетной) в .
23 ноября
1. О.И. Павлов. Об уплотнениях степеней тихоновских пространств. Любое тихоновское непсевдокомпактное пространство, мощность которого меньше первого измеримого по Уламу кардинала , в сколь угодно большой степени уплотняется на тихоновское -компактное пространство. Существует тихоновское непсевдокомпактное пространство, мощность которого равна и которое ни в какой степени не уплотняется на нормальное пространство. Существует тихоновское пространство мощности , которое в любой степени псевдокомпактно и ни в какой степени не уплотняется на счетно компактное пространство.
2. А.В. Ушаков. О совпадении веса и сетевого веса для -отображений. Отделимо бикомпактифицирумое отображение назовем -отображением, если обладает оперением в для какой-нибудь бикомпактификации отображения .
Теорема 1. Пусть есть -отображение, и
для любого в любое покрытие открытыми в множествами можно вписать -дизъюнктное покрытие открытыми в множествами.
Тогда ( для тихоновского ; ), если параллельно тихоновскому пространству.
Теорема 2. Пусть -отображение есть объединение своих подотображений сетевого веса и выполнено условие . Тогда для тихоновского ; , если параллельно тихоновскому пространству.
30 ноября
1. С.В. Людковский. Неархимедовы полиэдральные разложения ультраравномерных пространств. Пусть -- неархимедово локально компактное поле нулевой характеристики, -- ультраравномерное пространство, -- банахово пространство с векторами , где -- ординал, и нормой , причем для любого множество конечно. Полиэдром в назовем дизъюнктное объединение симплексов , -- открыто-замкнутые шары в радиусов , . Полиэдр называется равномерным сверху, если . В отличие от классического случая в определениях спектральных разложений накладываются условия -линейности.
Теорема. Каждое ультраравномерное пространство имеет неприводимое абсолютное (нормальное и равномерное сверху) полиэдральное представление над , т.е. для любого подпространства в пополнении существует направленное подмножество в , такое, что гомеоморфно (равномерно изоморфно соответственно) . Более того, в качестве абсолютного полиэдрального представления (необязательно равномерного) могут быть выбраны локально конечномерные комплексы над .
2. Е.В. Моисеев (Петрозаводск). К вопросу о равномерной связности пространств. Дается необходимое и достаточное условие, при котором равномерно связные пространства являются абсолютными ретрактами.
7 декабря
1. В.В. Федорчук, С. Тодорчевич (Канада). О мультипликативности клеточности ковариантных функторов конечной степени. Строятся следующие примеры:
1) ковариантный функтор
удовлетворяющий всем условиям нормальности кроме
сохранения точки и веса, для которого при некотором имеет
место неравенство
2) ковариантный функтор
степени 2, удовлетворяющий всем условиям
нормальности кроме сохранения веса, для которого
2. Д. Реповш (Словения), А.Б. Скопенков, Е.В. Щепин. Вокруг гипотезы Гильберта-Смита. Общая версия пятой проблемы Гильберта, называемой также гипотезой Гильберта-Смита, утверждает, что среди локально компактных групп только группы Ли могут действовать эффективно на многообразии. В докладе приводятся недавние результаты Малешича и авторов: 1) простое доказательство гипотезы Гильберта-Смита для действий диффеоморфизмами (впервые доказано в 1946 г. Бохнером и Монтгомери при помощи более сложной техники); 2) построение липшицево объемлемо однородных фракталов в , не являющихся липшицевыми подмногообразиями; 3) доказательство гипотезы Гильберта-Смита для действий липшицевыми гомеоморфизмами.
14 декабря
1. А.А. Грызлов (Ижевск). О некоторых типах слабых -точек.
2. В.А. Чатырко. О трансфинитной размерности и существенных отображениях. Пусть -- пространство со счетной базой, -- канторово совершенное множество, , , -- компакты Хендерсона, а -- трансфинитное продолжение Борста размерности Лебега .
Теорема 1. Если , то .
Теорема 2. Если -- счетный ординал , то в том и только в том случае, когда допускает существенное отображение на .
Заседания весеннего семестра 1995/96 учебного года
15 февраля
1. М.М. Заричный (Львов). О мягких гомоморфизмах топологических групп. Доказано, что для любой топологической группы , являющейся -многообразием, существуют топологическая группа , являющаяся -многообразием, и гомоморфизм , мягкий в классе сильно счетномерных пространств.
2. Б.А. Пасынков. О -клеточности -линделефовых групп. Пространство -линделефово, если любое его открытое покрытие обладает подпокрытием мощности .
Для -линделефовой группы всегда имеет место неравенство . В частности, для линделефовой группы всегда .
22 февраля
1. Йоже Малешич (Словения). О канторовых множествах, липшицево однородно вложенных в метрическое пространство. Приводятся достаточные условия того, что данное канторово множество липшицево однородно вложимо в метрическое пространство. Например, стандартное тернарное канторово множество, лежащее на оси , является билипшицево однородным в .
2. П.В. Семенов. Метрическая версия теории селекций. Доказаны теоремы о локальном продолжении селекций с бесконечномерной базой при локальном метрическом контроле за невыпуклостью значений полунепрерывного снизу отображения.
29 февраля
1. С.А. Богатый. Непрерывные итеративные корни ростков голоморфных отображений. Показано, что сравнения Забрейко-Красносельского-Штайнлайна индексов итераций неподвижной точки препятствуют существованию непрерывных итеративных корней. Полученные препятствия совпадают с препятствиями для существования голоморфных итеративных корней, которые получаются из рассмотрения нормальной формы Пуанкаре-Дюлака голоморфного ростка. Теорема Камачо о топологической классификации голоморфных ростков позволяет установить, что в отличие от голоморфного случая в непрерывном случае полученные препятствия образуют полную систему препятствий.
2. П.В. Семенов. Неподвижные точки невыпуклозначных сжатий.
14 марта
1. С.А. Антонян (Армения). Экстензорные свойства пространства орбит. Пусть -- компактная хаусдорфова группа, -- замкнутый нормальный делитель, а -- произвольное -пространство с метризуемыми орбитами. Тогда если является -A(N)E для метризуемых -пространств, то также является -A(N)E для метризуемых -пространств. В частности, является A(N)E для метризуемых пространств. Отсюда выводится, что функтор -симметрической степени сохраняет свойство топологического пространства быть A(N)E для метризуемых пространств. Аналогичные результаты имеют место и в конечной размерности , т.е. для -A(N)E()- и A(N)E()-пространств.
2. В.И. Малыхин. Еще одна слабая форма аксиомы Мартина. В совместной работе А.Белла (Италия) и автора введена еще одна слабая форма аксиомы Мартина MA, а именно MA[Top. groups]: не разлагается в сумму менее любая хаусдорфова топологическая группа, которая удовлетворяет условию Суслина, имеет характер менее и полна относительно своей равномерной структуры. MA сильнее аксомы MA[Top. groups], которая сильнее самой слабой известной формы MA -- так называемой аксиомы Мартина для счетных множеств MAC. Неизвестно, влечет ли MA[Top. groups] ограничения на кардинальную арифметику.
21 марта
1. А.В. Карасев. Об индуктивной размерности подмножеств некоторых неметризуемых многообразий. Исследуются замкнутые подмножества многообразий вида , где -- компактное -многообразие, -- ``длинная'' прямая. Доказываются следующие утверждения.
Предложение 1. Для каждого замкнутого подмножества многообразия из следует .
Предложение 2 (MA (аксиома Мартина) + CH). Из следует .
2. Д.В. Малыхин. О -нормальных пространствах. Пространство называется -нормальным, если его квадрат без диагонали нормален. Доказано, что любое счетно компактное -нормальное пространство имеет счетный характер. Тем самым получен ответ на вопрос А.В. Архангельского и А.П. Комбарова (1990).
28 марта
Л. Гурневич (Польша). Приложения многозначных отображений к обыкновенным дифференциальным уравнениям. При отсутствии единственности решения задачи Коши ряд возникающих из-за этого трудностей в теории обыкновенных дифференциальных уравнений может быть преодолен за счет рассмотрения многозначных отображений. В докладе показано, что это дает для теории краевых задач.
4 апреля
1. В.В. Федорчук, Ю.В. Садовничий. О некоторых категорных свойствах равномерных пространств вероятностных мер. Изучается функтор равномерных пространств вероятностных мер. Показано, что существует единственное естественное проебразование , где -- функтор пополнения Сэмюэля по прекомпактной равномерности. Первый основной результат настоящей работы: для равномерного пространства компонента этого естественного преобразования есть гомеоморфизм тогда и только тогда, когда -- прекомпактная равномерность. Второй основной результат: не существует вложения , такого, что .
2. Е.В. Щепин. Конечномерная теорема селекции.
11 апреля
В.И. Малыхин. Борелевская разложимость бикомпактов и их подпространств. Пространство называется борелевски разложимым, если оно имеет два дизъюнктных плотных подмножества, каждое из которых принадлежит -алгебре борелевских подмножеств этого пространства. Рассматривается борелевская разложимость бикомпактов, пространств, полных по Бэру, и некоторых подпространств тихоновских кубов. Формулируется несколько нерешенных проблем.
18 апреля
1. С.А. Богатый. Гипотеза Кнастера, теорема Борсука-Улама и циклические системы. Предложено обобщение известной теоремы Борсука-Улама о склейке при отображении орбиты заданного действия группы . В полученных теоремах образ некоторой орбиты удовлетворяет заранее заданной циклически инвариантной (близкой к циклически инвариантной) системе линейных однородных уравнений с нулевой суммой коэффициентов.
2. Д.В. Малыхин. О пространствах графов.
25 апреля
1. С.А. Богатый. О реализации локальных индексов в . С помощью теоремы Бернштейна-Кушниренко-Хованского, оценивающей кратность нуля в терминах многогранников Ньютона, построены серии отображений, реализующих некоторые заданные последовательности целых чисел индексами итераций неподвижной точки.
2. В.В. Филиппов. О краевых задачах для обыкновенных дифференциальных уравнений. Развивается подход к теории краевых задач для обыкновенных дифференциальных уравнений, пригодный к исследованию уравнений с разрывной правой частью.
16 мая
1. С.А. Богатый, О.Ю. Валов. Элементарное доказательство теоремы о ранге циклически инвариантной матрицы. Дано элементарное доказательство теоремы о том, что ранг циклически инвариантной матрицы порядка с нулевой суммой элементов четен.
2. С.А. Дроздовский. Обобщение пространства функций . Построена топологическая структура на множестве непрерывных функций, определенных на различных связных подмножествах действительной прямой, которая обобщает пространство и ряд других топологических пространств, применявшихся в теории обыкновенных дифференциальных уравнений. Для полученного пространства доказаны утверждения об обобщенной метризуемости и метризуемости.