Непрерывное отображение
Непреры́вное отображе́ние, отображение топологического пространства в топологическое пространство такое, что для всякой точки и для всякой окрестности её образа существует такая окрестность точки , что . Это определение является перефразировкой окрестностного определения непрерывности функций действительного переменного. Существует много эквивалентных определений непрерывности. Так, для непрерывности отображения необходимо и достаточно, чтобы выполнялось любое из следующих условий:
а) прообраз всякого открытого в множества открыт в ;
б) прообраз всякого замкнутого в множества замкнут в ;
в) для всякого множества (образ замыкания содержится в замыкании образа).
Понятие непрерывной функции, корректно сформулированное ещё Б. Больцано и О. Л. Коши, сыграло большую роль в математике 19 в. Функция Вейерштрасса, не дифференцируемая ни в одной точке, «канторовская лестница», кривая Пеано указали на необходимость рассмотрения более частных случаев непрерывности. Необходимость выделения специальных классов непрерывных отображений ещё более возросла, когда стали рассматривать непрерывные отображения более общих объектов – топологических пространств. Можно отметить следующие важнейшие типы непрерывных отображений: топологические отображения или гомеоморфизмы, совершенные отображения, замкнутые отображения, открытые отображения, факторные отображения.
Если даны два непрерывных отображения и , то их композиция , т. е. сквозное отображение , непрерывна. Очевидно непрерывно и всякое тождественное отображение . Поэтому топологические пространства и непрерывные отображения образуют категорию.
Одним из методов топологии является метод взаимной классификации пространств и отображений. Его сущность состоит в следующем: выделяются три основные, тесно связанные между собой задачи. 1) В каком случае каждое пространство некоторого фиксированного класса может быть отображено на некоторое пространство класса посредством непрерывного отображения, принадлежащего классу ? 2) Какими внутренними свойствами характеризуются пространства, принадлежащие классам , являющимся образами пространств из класса при непрерывном отображении из класса ? 3) Пусть – обозначение множества непрерывных отображений, областью определения которых служат пространства из класса , а областью значений – пространства из класса , и – некоторый другой класс отображений. Каковы свойства отображений из класса ?
Эти общие формулировки охватывают, в частности, следующий вопрос: какие топологические свойства сохраняются теми или иными отображениями при переходе от пространства к его образу или прообразу. 1) Всякое -мерное в смысле пространство может быть существенно отображено на -мерный куб. 2) Точечно-счётная база сохраняется при совершенных (даже при бифакторных) отображениях. 3) Всякое замкнутое отображение из класса , где – класс -мерных пространств со счётной базой, – класс нульмерных пространств со счётной базой, по крайней мере -кратно.
Первые конкретные задачи этого рода были решены ещё в 1920-х гг. Таковы, например, представление произвольного метрического компакта в виде непрерывного образа канторова совершенного множества (теорема Александрова); характеристика метрических пространств со счётной базой как открытых непрерывных образов подпространств пространства иррациональных чисел (теорема Хаусдорфа); описание локально связных континуумов как непрерывных образов отрезка. Решение этих задач не только позволило ответить на вопросы о взаимоотношениях между различными известными ранее классами пространств, но и вызвало появление новых интересных классов пространств. Таковы, например, диадические компакты, паракомпактные -пространства, совершенно -мерные пространства, псевдокомпактные пространства.
Понятие действительной непрерывной функции, т. е. непрерывного отображения топологического пространства в , лежащее в основании теории функций, играет большую роль и в общей топологии. Здесь прежде всего стоит отметить лемму Урысона, теорему Титце – Урысона о продолжении непрерывных функций с замкнутых подмножеств нормальных пространств, определение А. Н. Тихоновым вполне регулярных пространств, теорему Стоуна – Вейерштрасса. Эти и другие исследования привели к созданию теории колец непрерывных функций, методы которой оказались достаточно плодотворными в общей топологии.
Существенную часть теории размерности составляет изучение поведения размерностных характеристик пространств при переходе к образу или прообразу относительно отображений тех или иных классов. Большую роль здесь играют -сдвиги, -отображения и -отображения, существенные отображения, конечнократные отображения, счётнократные отображения, нульмерные отображения, -мерные отображения и др. При этом метод непрерывных отображений приводит к взаимному обогащению и проникновению друг в друга таких совершенно различных по своему происхождению областей общей топологии, как имеющая наглядно-геометрический смысл теория размерности и абстрактная по характеру теория кардинальнозначных инвариантов.
Одной из характеристик размерности является возможность продолжения непрерывного отображения с замкнутого подмножества в -мерную сферу. Эта теорема является одним из вариантов теоремы о продолжении отображений, которая, как и тесно связанная с ней теорема о неподвижной точке, имеет кардинальное значение для таких разделов современной математики, как топология, алгебра, теория функций и функциональный анализ, дифференциальные уравнения.
Одним из наиболее изученных классов непрерывных отображений является класс совершенных неприводимых отображений. Теорема об абсолюте регулярного пространства породила целый ряд исследований в этой области. В частности, понятие абсолюта было распространено на класс всех хаусдорфовых пространств. С понятием непрерывного отображения оказалось тесно связанным понятие -близости, которое дало возможность внутреннего описания всех совершенных неприводимых прообразов произвольного компакта. Распространение теории неприводимых непрерывных отображений на класс всех хаусдорфовых пространств показало, что непрерывных отображений не хватает для изучения нерегулярных пространств и что более естественно здесь рассматривать -непрерывные отображения.
Выделение равномерно непрерывных функций из класса всех числовых функций одной или нескольких действительных переменных стало одной из отправных точек исследований, приведших к созданию теории равномерных пространств.
Непрерывные отображения того или иного типа лежат в основе теории ретрактов, сплайнов, гомологий. Большую роль в современной математике играют различные аспекты теории многозначных отображений. Интересны богатством идейного содержания вопросы непрерывных отображений евклидовых пространств.