WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     || 2 | 3 | 4 |
Сибирский математический журнал Июль август, 2002. Том 43, № 4 УДК 515.126.83 МЕТОД АППРОКСИМАТИВНОГО ПРОДОЛЖЕНИЯ ОТОБРАЖЕНИЙ В ТЕОРИИ ЭКСТЕНЗОРОВ С. М. Агеев, Д. Реповш Аннотация: Развит метод аппроксимативного продолжения отображений, который позволяет не только упрощать доказательства многих ранее известных теорем теории экстензоров, но также получить ряд новых результатов. В соединении с теорией Анцеля послойно тривиальных отношений данный метод приводит к существенному продвижению в характеризации абсолютных экстензоров посредством локальной стягиваемости. Доказаны следующие утверждения. 1. Пусть пространство X представлено в виде объединения счетного числа замкнутых ANEподпространств Xi и счетномерного подпространства D. Если каждое Xi является строгим деформационным окрестностным ретрактом X, а X LC, то X ANE.

2. Пусть пространство X представлено в виде объединения счетного числа замкнутых ANE-подпространств Xi и счетномерного подпространства D. Тогда если X LEC, то X ANE.

Ключевые слова: аппроксимативное продолжение, экстензор § 1. Введение Статья посвящена проблеме продолжения непрерывных отображений f : A X с замкнутых подпространств A Z метрических пространств Z на некоторую их окрестность. Пространства X, обладающие таким свойством f продолжения для всех частичных отображений Z A - X, называются аб солютными окрестностными экстензорами (X ANE). Проблема распознавания ANE-пространств весьма актуальна в современной топологии и решается выделением в классе всех ANE-пространств разнообразных подклассов P, допускающих удобное в том или ином смысле описание: класс выпуклых подмножеств в локально выпуклом линейном пространстве (теорема Дугунджи [1]), класс метрических счетномерных локально стягиваемых пространств (теорема Хавера [2]), класс метрических пространств со стягиваемой базой, все конечные пересечения которой также стягиваемы (теорема Торунчика [3]) и т. д. Во всех принципиально важных случаях класс P выдерживает умножение на полуотрезок J = [0, 1): P P J. В такой ситуации проблема точного продолжения отображения f : A X решается сведением ее к менее обременительной проблеме аппроксимативного продолжения частичного отображения.

Определение 1.1. Пространство X называется аппроксимативным абсолютным окрестностным экстензором (X A-ANE), если для любого покрыf тия cov X и для любого частичного отображения Z A - X существует Первый автор частично поддержан грантом Министерства образования республики Беларусь. Второй автор поддержан грантом Министерства науки и технологии республики Словения (J1–0885–0101–98).

© 2002 Агеев С. М., Реповш Д.

740 С. М. Агеев, Д. Реповш отображение f : U X, определенное на окрестности U множества A такое, что dist(f, f A).

Следующая теорема играет в нашем изложении принципиальную роль.

Теорема 1.2. Пусть класс метрических пространств P замкнут относительно умножения на J. Тогда P ANE в том и только в том случае, когда P A-ANE.

Если условие теоремы нарушено (т. е. класс P не замкнут относительно умножения на J), то имеет место лишь строгое включение ANE P A-ANE P.

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

Этот критерий в неявной форме встречается в работах [3–5], однако лишь сейчас становится ясной его фундаментальная роль в теории абсолютных экстензоров. Основной тезис данной статьи состоит в том, что для упрощения доказательства большинства ранее известных теорем и получения новых результатов следует использовать понятие аппроксимативного ANE. Ведь построить приближенное продолжение отображения значительно легче, чем точное. Если же класс P замкнут относительно умножения на полуотрезок, то задача детектирования ANE в пределах класс P тождественна задаче детектирования аппроксимативных ANE. И, наконец, понятие аппроксимативного ANE слаженно взаимодействует с различными понятиями и конструкциями теории экстензоров. В частности, данная статья демонстрирует такое согласованное взаимодействие с техникой Анцеля [6], разработанной для послойно тривиальных отношений (отображений).

В качестве иллюстрации к вышеприведенному тезису мы приводим единообразные доказательства теорем Хавера и Торунчика, а также нового неожиданного результата.

Теорема 1.3. Если счетномерное пространств X имеет открытую базу {W} из слабо гомотопически тривиальных множеств (т. е. гомотопические группы i(W) нулевые для всех и i 0), то X ANE.

Последнюю теорему целесообразно сопоставить с теоремой Торунчика [3]:

если в теореме 1.3 дополнительно потребовать, чтобы база {W} была мультипликативна, то любое (а не только счетномерное) пространство является абсолютным окрестностным экстензором.

Заключительная часть работы посвящена изучению взаимосвязи трех наиболее важных в теории экстензоров классов: ANE, локально эквисвязных (LEC) и локально стягиваемых пространств (LC). Очевидно, что ANE LEC LC.

Проблема тождественности первых двух классов долго оставалась открытой [7, с. 246]. Линейное метрическое пространство, построенное Р. Коти [8], доставляет пример LEC-пространства, но не ANE. Поэтому задача нахождения как можно более широкого класса пространств, для которых более легко проверяемые свойства LEC и LC влекут ANE, представляется актуальной.

Отметим некоторые известные результаты в этом направлении. Пересечения трех этих классов со счетномерными пространствами тождественно равны (теорема Хавера [2]). Пересечения первых двух классов с пространствами, допускающими счетную возрастающую фильтрацию из замкнутых ANEподпространств, также тождественно равны (теорема Ню Сакаи [9]), а пересечения же второго и третьего классов различны (пример Борсука [10]). Однако Метод аппроксимативного продолжения как теорема Хавера, так и теорема Ню Сакаи могут быть значительно обобщены, причем с существенным упрощением первоначальных доказательств.

Теорема 1.4. Пусть пространство X представлено в виде объединения счетного числа замкнутых ANE-подпространств Xi и счетномерного подпространства D. Если каждое Xi является строгим деформационным окрестностным ретрактом X, а X LC, то X ANE.

Заметим, что все утверждения, в которых участвует счетномерность, могут быть усилены, если воспользоваться понятием C-пространств, причем делается это дословно аналогично имеющимся в статье рассуждениям (см. [11]).

Теорема 1.5. Пусть пространство X представлено в виде объединения счетного числа замкнутых ANE-подпространств Xi и счетномерного подпространства D. Тогда если X LEC, то X ANE.

В свою очередь, эти теоремы являются проявлениями общего факта о LECвложенных подпространствах.

Теорема 1.6. Пусть LC-пространство X представлено в виде объединения счетного числа замкнутых подпространств Xi = Fij и счетномерного подj= пространства D: X = Xi D. Если каждое вложение Xi X является i= локально эквисвязным (LEC), а любое частичное отображение Z A - Fij имеет окрестностное продолжение : U Xi, то X ANE.

Так как строгий деформационный окрестностный локально эквисвязный ретракт LEC-вложен в пространство, а любое подпространство в LEC-пространстве LEC-вложено, то теоремы 1.4 и 1.5 являются частными случаями 1.6.

Если X = Cj счетное объединение компактов, а LEC-пространство X явj=ляется абсолютным окрестностным экстензором для класса компактов, то все условия теоремы 1.6, как легко видеть, выполнены и X ANE. Это основной результат работы [9, основная теорема]. Отметим также, что теоремы 1.4–1.легко трансформировать в теоремы о сохранении класса ANE-пространств компактификациями со счетномерным наростом.

Поскольку все условия теорем 1.4–1.6 выдерживают умножение на полуотрезок J, в силу теоремы 1.2 достаточно в них установить соотношение X A-ANE. Благодаря этому обстоятельству становится возможным использовать для доказательства теорем послойно тривиальные отображения в смысле Анцеля [6] вследствие их связи с A-ANE.

Предложение 1.7. Если для любого частичного отображения Z A X проекция : G A графика G Z X отображения на A послойно тривиальна внутри проекции p prZ : Z X Z, то X A-ANE.

Сразу же отметим, что из всей обширной и богатой идеями теории Анцеля нам понадобится лишь небольшая ее часть. Кроме того, нам хотелось дать прозрачное и автономное от [6] изложение основных ее положений. Поэтому специальный § 5 мы посвящаем теории Анцеля с преломлением в теорию экстензоров.

742 С. М. Агеев, Д. Реповш § 2. Предварительные сведения и факты Все пространства (однозначные отображения), если они не возникают в результате некоторых построений, предполагаются метрическими (непрерывными).

Множество всех открытых покрытий пространства X будем обозначать через cov X, а запись cov X будет обозначать некоторое его открытое покрытие. Звездой (или, по-другому, окрестностью) множества A X относительно cov X будем называть множество {U | U, U A = } и обозначать его через St(A; ) или N(A; ). Звездой покрытия относительно другого покрытия назовем покрытие St(; ) = {St(U; ) | U }. Многократные звезды St(1; St(2;... ; n)... ) будем для краткости обозначать через n · · · 2 1, а если i равны между собой, то через (1)k. Телом системы открытых мно жеств будем называть множество {U | U }, которое обозначается че рез.

Запись 1, как всегда, будет обозначать вписанность покрытия в 1.

Как известно, в любое покрытие cov X метрического пространства X можно звездно вписать некоторое покрытие cov X, а именно такое, что (теорема Стоуна [12]). Приведем без доказательства следующий удобный для нас фольклорный критерий звездной вписанности покрытий.

Предложение 2.1. Покрытие = {S | } звездно вписано в покрытие = {W | B} тогда и только тогда, когда для любого существует = () такое, что если S = для подмножества, то справедливо вложение (1) S W.

Если f, g : X Y отображения, а cov Y, то -близость f и g запишем в виде dist(f, g). Для ограничения отображения f на подмножество A X принято обозначение f A.

Нервом покрытия = {U | B} будем называть такой полиэдр N в слабой топологии Уайтхеда, вершины которого U находятся во взаимнооднозначном соответствии с индексным множеством B, а = U,..., U 0 s s-мерный симплекс N с вершинами U в том и только в том случае, когда i U = ; k-мерным остовом N (k) назовем подполиэдр N, состоящий из i не более чем k-мерных симплексов, N (-1) =. Открытой звездой St U вершины U назовем множество { · U N | = 0}.

0 Отображение : X N будем называть каноническим, если прооб раз -1(St U ) открытой звезды вершины U лежит в U. Известно [1], что для любого открытого покрытия паракомпакта X существует каноническое отображение.

Введем ряд понятий, связанных с продолжением отображений. Пространство X называют абсолютным окрестностным экстензором и пишут X ANE, если каждое отображение : A X, определенное на замкнутом подмножестве A Z метрического пространства Z и называемое частичным отображением, может быть продолжено на некоторую окрестность U Z множества A, : U X, A =. Если всегда возможно продолжить на U = Z, то X называют абсолютным экстензором, в записи X AE. Мы будем говорить в случае X A[N]E, что пространство X обладает свойством A[N]E-абсолютной (окрестностной) продолжимости. Отметим также, что в случае, когда X Метод аппроксимативного продолжения метрическое пространство, понятия абсолютного (окрестностного) экстензора и абсолютного (окрестностного) ретракта совпадают [1].

Свойство X ANE равносильно свойству продолжимости частичных реализаций до глобальных реализаций [1, с. 156]. Нам в дальнейшем понадобится лишь определение понятия реализации нерва.

Определение 2.2. Пусть система открытых множеств пространства X, N0 подполиэдр полиэдра N, содержащий все вершины. Частичной реализацией полиэдра N назовем такое отображение N0 - Z, что для любого симплекса N множество (N0) содержится в некотором элементе V.

Если N0 = N, то -глобальная реализация N.

Каждое ANE-пространство является локально стягиваемым (X LC) и локально эквисвязным (X LEC). Дадим соответствующие определения.

Определение 2.3. Пространство X обладает свойством локальной стягиваемости (X LC), если для любой его точки x и любой ее окрестности U(x) существует такая окрестность V (x), что вложение V (x) U(x) и постоянное отображение c : V (x) {x} U(x) гомотопны в пределах U(x).

Определение 2.4. Вложение X X локально эквисвязно (LEC), если существуют окрестность U диагонали X в X X и отображение : U I X такие, что (x, x, 0) = x, (x, x, 1) = x и (x, x, t) = x для всех (x, x) U и t I.

Понятие локальной эквисвязности пространства X равносильно тому, что тождественное вложение X X локально эквисвязно [6]. Известно, что ANEпространство локально эквисвязно и тем самым локально стягиваемо. В качестве важного примера LEC-вложения X X приведем случай, когда X строгий деформационный окрестностный ретракт X.

Определение 2.5. Подпространство X X называется строгим деформационным окрестностным ретрактом X, если существуют окрестность U, X U X, и гомотопия F : U I X такие, что F0 = IdU, Ft X = IdX, t I, а F1 является ретракцией U на X.

Так как X ретракт U, то X замкнуто в U и, следовательно, замкнуто в X.

Предложение 2.6. Если ANE-пространство X лежит в X и является строгим деформационным окрестностным ретрактом X, то X X есть LECвложение.

Доказательство. Так как X ANE, то X LEC и, следовательно, существуют окрестность V X X диагонали X и отображение :

V I X такие, что (x1, x2, 0) = x1, (x1, x2, 1) = x2 и (x1, x1, t) = x1 для всех (x1, x2) V и t I. Поскольку X является строгим деформационным окрестностным ретрактом X, то несложно вывести существование окрестности U X X диагонали X и отображения : U I X таких, что (x, x, 1) = x, (x, (x, x, 0)) V и (x, x, t) = x для всех (x, x) U и t I. Тогда искомое отображение : U I X, гарантирующее LECвложенность X в X, задается формулой (x, x, t) = (x, x, 2t - 1), если 1/2 t 1, и (x, x, t) = (x, (x, x, 0), 2t), если 0 t 1/2.

744 С. М. Агеев, Д. Реповш Наконец, напомним, что пространство D счетномерно, если D = Di, а i=Di нульмерны для любого i. Приведем важное утверждение о счетномерных подмножествах.

Предложение 2.7. Если частичное отображение Z A - X таково, что либо A, либо (A) счетномерно, то для любой последовательности покрытий i cov X, i 1, существуют счетное число дизъюнктных семейств i открытых в Z множеств таких, что (2) i покрывает A и (i) i для всех i 1.

i=Доказательство дословно аналогично имеющемуся, например, в [6, с. 10].

Pages:     || 2 | 3 | 4 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.