Математическая энциклопедия - непрерывное отображение

отображение топологич. пространства Xв топологич. пространство У такое, что для всякой точки и для всякой окрестности ее образа f(x0) существует такая окрестность точки х 0 , что Это определение является перефразировкой окрестност-ного определения непрерывности функций действительного переменного (см. Непрерывная функция). Существует много эквивалентных определений непрерывности. Так, для непрерывности отображения необходимо и достаточно, чтобы выполнялось любое из следующих условий:

а) прообраз всякого открытого в Y множества Gоткрыт в X;

б) прообраз всякого замкнутого в Y множества Fзамкнут в X;

в) для всякого множества (образ замыкания содержится в замыкании образа).

Понятие непрерывной функции, корректно сформулированное еще Б. Больцано (В. Bolzano) и О. Коши (A. Cauchy), сыграло большую роль в математике 19 в. Функция Вейерштрасса, не дифференцируемая ни в одной точке, "канторовская лестница", кривая Пеано указали на необходимость рассмотрения более частных случаев непрерывности. Необходимость выделения специальных классов Н. о. еще более возросла, когда стали рассматривать Н. о. более общих объектов топологич. пространств. Можно отметить следующие важнейшие типы Н. о.: топологич. отображения или гомеоморфизмы, совершенные отображения, замкнутые отображения, открытые отображения, факторные отображения.

Если даны два Н. о.то их композиция т. е. сквозное отображение непрерывна. Очевидно непрерывно и всякое тождественное отображение . Поэтому топологич. пространства и Н. о. образуют категорию. Одним из методов топологии является метод взаимной классификации пространств и отображений. Его сущность состоит в следующем: выделяются три основные, тесно связанные между собой задачи. 1) В каком случае каждое пространство нек-рого фиксированного класса может быть отображено на нек-рое пространство класса посредством Н. о., принадлежащего классу ? 2) Какими внутренними свойствами характеризуются пространства, принадлежащие классам МС, являющимся образами пространств из класса Спри Н. о. из класса M?3) Пусть обозначение множества Н. о., областью определения к-рых служат пространства из класса , а областью значений пространства из класса нек-рый другой класс отображений. Каковы свойства отображений из класса ?

Эти общие формулировки охватывают, в частности, следующий вопрос: какие топологич. свойства сохраняются теми или иными отображениями при переходе от пространства к его образу или прообразу. 1) Всякое n-мерное в смысле dim пространство может быть существенно отображено (см. Существенное отображение )на re-мерный куб. 2) Точечно-счетная база сохраняется при совершенных (даже при бифакторных) отображениях.

3) Всякое замкнутое отображение f из класса Hom , где класс n-мерных пространств со счетной базой, класс нульмерных пространств со счетной базой, по крайней мере (n+1)-кратно.

Первые конкретные задачи этого рода были решены более полувека назад. Таковы, напр., представление произвольного компакта в виде непрерывного образа канторова совершенного множества (теорема Александрова); характеристика метрич. пространств со счетной базой как открытых непрерывных образов подпространств пространства иррациональных чисел (теорема Хаусдорфа); описание локально связных континуумов как непрерывных образов отрезка. Решение этих задач не только позволило ответить на вопросы о взаимоотношениях между различными известными ранее классами пространств, но и вызвало появление новых интересных классов пространств. Таковы, напр., диадические бикомпакты, паракомпактные р-пространства, совершенно n-мерные пространства, псевдокомпактные пространства.