CC BY
30
УДК 515.123.4 : 517.983.2
О ПРОДОЛЖЕНИИ РАВНОМЕРНО НЕПРЕРЫВНЫХ ОТОБРАЖЕНИЙ
Е.В. Мельников
In this paper we prove that each uniformly continuous mapping from one uniform space to other closable and its closure is uniformly continuous. Based on this fact we prove the theorems about extension of uniformly continuous mappings and continuous linear operators having (sequentially) dense domain and (sequentially) complete range. Also it is proved that each uniform space and each (locally convex) topological vector space has a sequential completion.
Широко известные понятия из общей топологии и функционального анализа в работе используются, как правило, без пояснений (см., например, [1, 2, 3, 4]).
Определение 1. Пусть X и Y - топологические пространства, а / : X —у Y - отображение из У в Y (т.е. / С X X Y является однозначным соответствием). Говорят, что отображение / допускает замыкание, если его замыкание с1/ в X X Y также является отображением.
Теорема 1. Пусть X и Y - равномерные пространства, причем Y отделимо. Тогда каждое равномерно непрерывное отображение
/ : dom / —у Y (dom/ С X)
допускает замыкание, причем отображение cl / : dom(cl/) —у Y равномерно непрерывно.
Доказательство. Пусть il - равномерность на X, а 03 - равномерность на Y. Тогда для произвольного окружения V £ найдется такое окружение Vi £ QJ, что V\oV\oV\ С V. В силу равномерной непрерывности / существует окружение U\ £ il такое, что
@(ж',ж") £ (dom/)2 П Ui (f(x')J(x")) £ V).
Пусть окружение U £ il таково, что UolJolJ C U\. Возьмем (ж', у'), (ж",у") £ с1/ такие, что (ж', ж") £ U. Тогда найдутся Жд, Жд £ dom / такие, что
(Жд,ж') £ U, (ж", Жд) £ U, (у', /(Жд)) £ V\ , (/(Жд, ), ?/') £ V\.
0 2000 Е.В. Мельников
E-mail: melnikov@univer.omsk.su Омский государственный университет
Поэтому (жд,Жд) £ UoUoU С U\ и, следовательно, (/(жд), /(жд)) £ Vi. Тогда (у', у") £ VioVioVi с V. Таким образом,
Отсюда следует, что, во-первых, в силу отделимости У отображение / допус-
Замечание 1. Теорема 1 установлена автором довольно давно (как базовая для доказательства теорем 2 и 5), и более пятнадцати лет она включается им в лекционные курсы для студентов (см., например, [5, с. 27], [6, с. 32]). Эта теорема идейно близка к теореме 26 [1, с. 260] (см. также [2, с. 231]), но ее утверждение является более универсальным и позволяет получать теоремы о продолжении отображений не только в случае полноты, но и в случае секвенциальной полноты их области прибытия. Такие теоремы и приводятся ниже,
Определение 2. Подмножество топологического пространства называется секвенциально замкнутым, если оно содержит предел любой своей сходящейся последовательности. Нетрудно заметить, что образ секвенциально замкнутого множества при гомеоморфизме секвенциально замкнут.
Определение 3. Наименьшее секвенциально замкнутое множество, содержащее множество А, называется его секвенциальным замыканием и обозначается scl А. Нетрудно заметить, что scl А совпадает с пересечением всех секвенциально замкнутых множеств, содержащих А, откуда следует, что
scl(scl А) = scl А, scl(A U В) = scl A U scl В, scl(A П В) С scl А П scl В.
Определение 4. Пусть А и В - подмножества топологического пространства. Говорят, что А (секвенциально) плотно в В, если (s)clA D В.
Теорема 2. Пусть Х0 - (секвенциально) плотное подпространство равномерного пространства X, a Y - (секвенциально) полное отделимое равномерное пространство. Тогда каждое равномерно непрерывное отображение /о : Х0 —у Y имеет, и притом единственное, равномерно непрерывное продолжение на все X.
Доказательство. В силу теоремы 1 достаточно показать, что dom(cl/0) = = X. Тогда с1/0 и будет искомым продолжением. Пусть {жД - направленность (последовательность) в dom(cl/0), сходящаяся к некоторому ж £ X. Так как с1/0 равномерно непрерывно, то {(cl/0)(ж.,')} является направленностью (последовательностью) Копти в У и, следовательно, сходится к некоторому у £ У. В силу замкнутости отображения с1/0, получаем, что (ж, у) £ с1/0 и, в частности, ж £ dom(cl/0). Таким образом, dom(cl/0) (секвенциально) замкнуто в X, откуда в силу включений Х0 С dom(cl /0) С X и следует требуемое. ■
кает замыкание, и, во-вторых, с1/ равномерно непрерывно.
как для отдельных отображений, так и для множеств отображений.
Замечание 2. Несеквенциальная часть этой теоремы является утверждением теоремы 26[1, с. 260] (см. также [2, с. 231]).
Следствие 1. Если X uY - (секвенциально) полные отделимые равномерные пространства, 460 и Y0 - их (секвенциально) плотные подпространства, наделенные индуцированными равномерностями, а /0 - равномерный изоморфизм 460 на Y0, то с1/0 является равномерным изоморфизмом X на Y. Доказательство. В силу теоремы 2 с1/0 является равномерно непрерывным отображением X в У, a (cl /о)-1 = У/Д1 - равномерно непрерывным отображением Y в X, откуда и следует требуемое. ■
Замечание 3. Справедливость утверждения следствия в несеквенциальном случае отмечена в [2, с. 231] (см. также [3, с. 654]).
Теорема 3. Пусть (46,11) и (У, 03) - равномерные пространства, причем Y отделимо. Если 460 С X и множество Т отображений 460 в Y равностепенно равномерно непрерывно, т.е.
V У g оз ЗУ ell V/ £ д7 у(ж',ж") ei02n и (/(ж'),/(ж")) e у,
то множество Т := {cl/ | / G З7} равностепенно равномерно непрерывно на
Х\ := П dom(cl/).
fer
Доказательство. Для произвольного окружения У £ 03 найдется такое окружение У £ 03, что У о У о У С У . Согласно условию существует окружение U £ II такое, что
V/ £ Т У(ж',ж") £ 4602 П U (/(ж'),/(*")) £ у.
Пусть окружение У £ IX таково, что [ДоСДоСД £ У, и (ж', ж") £ Х\C\U\. Возьмем произвольно / £ Т. Поскольку dom/ = 460, а Х\ С dom(cl/) С cl(dom/), то найдется пара (жц, ж(() £ X), (зависящая от /) такая, что
(жо,ж') £ У, (ж", ж") £ У(/( ж",), с1/(ж")) £ У.
Тогда (жд,Жо) £ UioUioUi С У и согласно выбору У получаем, что (/(жо), /(жо)) С У- Тогда (с1/(ж'), с1/(ж")) £ УоУоУ С У. Итак, для любого отображения / £ JF, если (ж', ж") £ 462 П У1, то (cl/ (ж'), cl/ (ж")) £ У. Следовательно, Т равностепенно равномерно непрерывно на 46i. ■
Из теорем 2 и 3 вытекает
Теорема 4. Пусть 460 - (секвенциально) плотное подпространство равномерного пространства X, Y - (секвенциально) полное отделимое равномерное пространство. Если множество Т отображений 460 в Y равностепенно равномерно непрерывно, то множество Т всех их продолжений на X также равностепенно равномерно непрерывно. Я
Далее предполагаем, что 46 и У векторные пространства над общим полем К = R или С. Если 46 и У - топологические векторные пространства (ТВП), то через У(46, У) обозначаем множество всех непрерывных линейных операторов, отображающих 46 в У.
Определение 5. Пусть X и Y - ТВП. Множество операторов 21 С L(X,Y) называется эквинепрерывным (или равностепенно непрерывным), если для любой окрестности V нуля в Y существует такая окрестность U нуля в X, что A(U) С V для всех А £ 21.
Поскольку для линейного оператора его непрерывность (хотя бы в нуле) равносильна его равномерной непрерывности, то следующие две теоремы непосредственно вытекают из теорем 2 и 4.
Теорема 5. Пусть Х0 - (секвенциально) плотное подпространство ТВПХ, a Y - (секвенциально) полное отделимое ТВП. Тогда для любого оператора А0 £ L(X0,Y) существует, и притом единственный, оператор А £ L(X,Y) такой, что А\Хо = А0. Я
Следствие 2. Если X и Y - (секвенциально) полные отделимые ТВП, Х0 и Y0 - их (секвенциально) плотные подпространства, наделенные индуцированными топологиями, а /0 - изоморфизм Х0 на Y0, то с1/0 является изоморфизмом X на Y. Я
Теорема 6. Пусть Х0 - (секвенциально) плотное подпространство ТВП X, a Y - (секвенциально) полное отделимое ТВП. Тогда для любого эквинепрерывного множества операторов 21 С L(X0,Y) множество 21 С L(X,Y) всех их продолжений на X также эквинепрерывно. Я
В заключение приведем две теоремы о существовании секвенциального пополнения ( т.е. секвенциально полного пространства, содержащего исходное в качестве секвенциально плотного подпространства).
Теорема 7. Каждое равномерное пространство изоморфно секвенциально плотному подпространству некоторого секвенциально полного равномерного пространства. Каждое отделимое равномерное пространство имеет единственное, с точностью до равномерного изоморфизма, отделимое секвенциальное пополнение.
Доказательство. Пусть X - равномерное пространство, X - его пополнение (см. [1, с. 262] или [2, с. 232]). Обозначим через X секвенциальное замыкание X в X. Тогда X секвенциально полно и является искомым секвенциальным пополнением X. Второе утверждение вытекает из классической теоремы о пополнении равномерного пространства (см. ссылки выше) и следствия теоремы 2. ■
Предложение 1. Пусть X - топологическое векторное пространство. Тогда:
1) У\еК\{0} VAcX scl(AA) = A(sclA);
2) \/А, В СХ scl А + scl В С scl(A + В);
3) если А С X выпукло, уравновешено, абсолютно выпукло или линейно, то scl А обладает таким же свойством.
Доказательство. Первое утверждение вытекает из гомеоморфности гомотетий. Так как сдвиги также гомеоморфны, то для любого х £ А множество scl(T + В) — х секвенциально замкнуто. Поскольку В С {А + В) — х С С scl(T + В) — ж, то scl В С scl(T + В) — ж, х + sclB С scl(T + П) и, следовательно, А + scl В С scl(T + П). Аналогично, для любого у £ scl А? получаем, что scl А + у С scl(A + Н), т.е. scl А + scl В С scl(A + Н). Третье утверждение предложения вытекает из первых двух. ■
Теорема 8. Каждое (локально выпуклое) топологическое векторное пространство изоморфно секвенциально плотному подпространству некоторого секвенциально полного (локально выпуклого) топологического векторного пространства. Каждое отделимое (локально выпуклое) топологическое векторное пространство имеет единственное, с точностью до изоморфизма, отделимое секвенциальное пополнение.
Доказательство. Пусть X - (локально) выпуклое ТВП, X - его пополнение [4, с. 29]. Тогда в силу предыдущего предложения секвенциальное замыкание X пространства X в X является секвенциально полным (локально выпуклым) ТВП, содержащим X в качестве секвенциально плотного подпространства. Второе утверждение следует из теоремы о пополнении ТВП [4, с. 29] и следствия теоремы 5. ■
Литература
1. Келли Дж.Л. Общая топология. М.: Наука, 1968.
2. Бурбаки Н. Общая топология. Основные структуры. М.: Наука, 1968.
3. Энгелькинг Р. Общая топология. М.: Мир, 1986.
4. Шефер X. Топологические векторные пространства. М.: Мир, 1971.
5. Мельников Е.В. Элементы общей топологии: Методические указания.
Омск: ОмГУ, 1985. 35 с.
6. Мельников Е.В. Топологические векторные пространства: Методические указания. Омск: ОмЕУ, 1990. 43 с.
