
- •Оглавление
- •Предисловие
- •1. Мнения о пользе математики
- •2. Понятия математики и их возникновение
- •3. Некоторые виды абстракции
- •4. Многоступенчатые абстракции
- •6. Количественные отношения реального мира
- •7. Множество и его элементы
- •8. Взаимно однозначное соответствие
- •10. Понятие мощности множества
- •Беседа 3. Операции над множествами
- •11. Пересечение множеств
- •12. Объединение множеств
- •13. Дополнение множеств
- •14. Произведение множеств
- •Беседа 4. Отображения
- •15. Общее понятие отображения и школьная математика
- •16. Некоторые виды отображений
- •17. Обратное отображение
- •18. Композиция отображений
- •19. Классификация
- •Беседа 5. Упорядоченные множества
- •20. Понятие упорядоченного множества
- •21. Минимальные элементы и математическая индукция
- •22. Трансфинитные числа и аксиома выбора
- •Глава 2. Комбинаторика
- •Беседа 6. Размещения, сочетания и родственные задачи
- •23. Размещения с повторениями
- •24. Системы счисления
- •25. Размещения без повторений
- •26. Сочетания без повторений
- •27. Сочетания с повторениями
- •28. Бином Ньютона
- •29. Производящие функции
- •30. Принцип Дирихле
- •Беседа 7. События и вероятности
- •31. События
- •32. Классическое понятие вероятности
- •33. Свойства вероятности
- •34. Условная вероятность
- •35. Независимые события и серии испытаний
- •Беседа 8. Случайные величины
- •37. Нормальное распределение
- •38. Закон больших чисел
- •Беседа 9. Информация
- •40. Количество двоичных цифр
- •41. Задачи на взвешивание
- •42. Понятие об энтропии
- •Беседа 10. Комбинаторные задачи о графах
- •43. Графы и их элементы
- •45. Плоские графы
- •46. Формула Декарта—Эйлера
- •47. Правильные многогранники и паркеты
- •49. Ориентированные графы
- •50. Конечные позиционные игры
- •51. Понятие о сетевом планировании
- •52. Существование и общность
- •53. Структура теоремы
- •54. Отрицание
- •55. Необходимое и достаточное условие
- •56. Конъюнкция и дизъюнкция
- •Беседа 12. Понятие об аксиоматическом методе
- •57. Возникновение аксиоматического метода в математике
- •58. Метрические пространства
- •59. Коммутативные группы
- •Беседа 13. Непротиворечивость, независимость, полнота
- •60. Непротиворечивость и понятие модели
- •61. Математические примеры моделей
- •62. Построение аксиоматики геометрии
- •63. Геометрия Лобачевского
- •64. Модель геометрии Лобачевского
- •65. Изоморфизм моделей
- •66. Полнота аксиоматики
- •67. Цикл озарения
- •68. Сфера достижимости
- •69. Анализ и синтез
- •70. Обратимый анализ
- •72. Поиск решения нестандартных задач
- •Беседа 15. Наглядность. Аналогия. Интуиция
- •74. Формула наглядности — изоморфизм плюс простота
- •75. Наглядность и математическая эстетика
- •76. Аналогия — общность аксиоматики
- •78. Несколько слов о математической интуиции
- •Решения задач и упражнений
- •Предметный указатель

16. Некоторые виды отображений |
65 |
и других областях математики, он в последние годы жизни придерживался весьма реакционных взглядов в области организации науки и школьного об- разования.
Понтрягин написал статью, в которой попытался философскими, социо- логическими фразами и малоубедительными соображениями о школьном пре- подавании ниспровергнуть колмогоровскую концепцию математического об- разования, остановить наметившиеся прогрессивные тенденции в школьном преподавании (и, в частности, введение понятий множества и отображения). Эта статья была поддержана идеологическим отделом большевистской пар- тии. К началу понтрягинской статьи, ниспровергавшей идеи Колмогорова, были присоединены философские фразы, и она была опубликована в журнале «Коммунист».
Bскоре после этого в школах был введен учебник геометрии, написанный академиком А. В. Погореловым. Это был лишь несколько обновленный ва- риант учебника геометрии, написанного еще в первой половине века талан- тливым преподавателем А. П. Киселевым. Bеликолепный в плане обучения, учебник А. П. Киселева стал уже несовременным по содержанию. И тогда А. B. Погорелов несколько «подштопал» обветшавший, но хорошо написан- ный киселевский учебник, добавив свою систему аксиом (как оказалось, ма- тематически противоречивую). Никаких новых задач, никакой замены арха- ичных евклидовых методов геометрических доказательств в этом учебнике не было. Но под нажимом партийных органов учебник Погорелова был введен в школьное преподавание. Начатая А. Н. Колмогоровым тенденция обновле- ния учебников в духе Клейна и Бурбаки была прервана. Однако его прогрес- сивная деятельность все же привела к некоторому улучшению последующих учебников; в частности, были введены векторы и геометрические преобразо- вания. К этому мы еще вернемся в беседе 15.
Задачи и упражнения
41. Являются ли отображениями следующие соответствия для множества живущих людей?
а) Каждому человеку ставится в соответствие его дочь. б) Каждому человеку ставится в соответствие его мать.
в) Каждому человеку ставится в соответствие его год рождения.
42. Пусть f и g — характеристические функции множеств A и B, расположенных во множестве U. Докажите, что характеристической функ- цией множества А I B является функция h = f g. Запишите характеристичес- кую функцию множества А U B через функции f и g.
43. Через Θ(x) обозначают характеристическую функцию луча [0; ∞), она
называется функцией Хэвисайда. Докажите тождество: |x| = x(2Θ(x) − 1).
44. Участникам математической олимпиады было предложено пять за- дач. Является ли функцией соответствие, сопоставляющее каждому участни- ку:
а) номера решенных им задач; б) сумму номеров решенных им задач?
45. Найдите область определения функции f(x) = √3 − √ x2 − 16 .
16. Некоторые виды отображений
Пусть f: A → B — некоторое отображение. Bозьмем произвольный элемент b B и рассмотрим в A подмножество, состоящее из всех тех

66 |
Беседа 4. Отображения |
|
|
Рис. 97 |
Рис. 98 |
Рис. 99 |
элементов, образ которых совпадает с b. Это подмножество называ-
ется прообразом элемента b и обозначается через f −1(b).
Так, для отображения, показанного на рис. 90, прообраз элемента p B состоит из двух элементов: f −1(p) = {b, c}; прообраз каждого из
элементов r, s состоит лишь из одного элемента: f −1(r) = a, f −1(s) = d; что же касается q B, то его прообраз пуст — совсем не содержит элементов: f −1(q) = .
B качестве второго примера рассмотрим в плоскости круг A и
прямую B, а через g: A → B обозначим ортогональное проектирование
круга на эту прямую (рис. 97). В этом случае прообраз каждой из точек P, Q содержит лишь один элемент: g−1(P) = M, g−1(Q) = N; далее для любой другой точки R отрезка PQ ее прообраз g−1(R) есть отре-
зок; если же S B \ PQ, то прообраз g−1(S) есть пустое множество (через PQ мы здесь обозначаем отрезок с концами P, Q).
Отображения различаются по своим свойствам, прежде всего, тем, каковы прообразы различных точек. Если прообраз каждого элемен- та содержит не более одного элемента (т. е. либо содержит один
элемент, либо пуст), то f: A → B называется вложением (или, в соот- ветствии с французской терминологией, инъективным отображением, рис. 98). Таким образом, если f: A → B — вложение, то, отождествляя
каждый элемент a A с его образом f(a) B, мы как бы «вкладыва- ем» множество A в B в качестве его подмножества (рис. 99), откуда и происходит термин «вложение». Bообще говоря, если f: A → B — вложение, то во множестве B могут быть «лишние» элементы, не являющиеся образами каких-либо элементов из A. Иными словами, вложение f: A → B устанавливает взаимно однозначное соответствие
между множеством A и некоторым подмножеством f(A) множе- ства B.
Далее, если для любого b B прообраз f −1(b) непуст, то
f: A → B называется наложением (или сюръективным отображением,
в соответствии с французской терминологией), или еще отображени- ем на множество B (рис. 100). Иначе говоря, отображение f: A → B представляет собой наложение, если в B нет «лишних» элементов, т. е.

16. Некоторые виды отображений |
67 |
|
|
Рис. 100 Рис. 101 Рис. 102
каждый элемент множества B является образом хотя бы одного эле- мента из A.
Bообще, пусть f: A → B — произвольное отображение; через f(A) обозначим образ множества A, т. е. множество всех элементов из B, являющихся образами элементов из A. Если f(A) совпадает с множе- ством B, то f является наложением; если же в B есть «лишние» элементы, т. е. f(A) — собственное подмножество множества B, то f
наложением не является (рис. 101).
Наконец, отображение, одновременно являющееся вложением и наложением, называется взаимно однозначным (или биективным).
Такое отображение f: A → B устанавливает взаимно однозначное со- ответствие между множествами A и B (рис. 102). Ясно, что взаимно однозначное отображение множества A на множество B существует только в том случае, если эти множества имеют одинаковую мощ-
ность. Можно сказать и иначе: отображение f: A → B в том и только в том случае взаимно однозначно, если уравнение f(x) = b имеет для
любого b B единственное решение x A.
Рассмотрим теперь понятие графика отображения. Пусть f: A → B — некоторое отображение множества A в множество B. Для каждого элемента x A рассмотрим пару (x; f(x)). Так как f(x) B,
то эта пара является элементом произведения A×B (рис. 103). Множе- ство всех таких пар и есть график рассматриваемого отображения f. Таким образом, если A представлять себе строкой в нижней части чертежа, а B — столбцом слева (как на рис. 103, 104), то в прямо-
Рис. 103 |
Рис. 104 |
Рис. 105 |

68 |
Беседа 4. Отображения |
|
|
Рис. 106 |
Рис. 107 |
Рис. 108 |
угольной таблице, изображающей произведение A×B, в столбце над
элементом x A должен быть отмечен лишь один элемент (x; y), а именно тот, в котором y есть образ элемента x. Bсе отмеченные таким образом элементы произведения A×B и составляют, вместе взятые, график отображения f. Рис. 104 изображает график отображения, указанного на рис. 90.
На рис. 104 имеются два элемента b, c, образы которых совпада- ют: f(b) = f(c) = p, т. е. в произведении A×B имеется строка, содержа- щая более чем один элемент графика. Это означает, что отображение f не является вложением. На рис. 104 имеется в произведении A×B строка, совсем не содержащая элементов графика. Это означает, что отображение f: A → B не является наложением. Лишь в том случае, когда каждая строка произведения A×B содержит ровно один элемент графика, отображение f: A → B взаимно однозначно (рис. 105).
B случае числовой функции f: A → R (где A R) ее график, соглас-
но сказанному выше, есть множество всех таких пар (x; y), что x принадлежит области определения функции f (т. е. множеству A), a y = f(x) есть образ точки x, т. е. значение функции f в точке x. Это — обычное определение графика функции.
На рис. 106 имеются две точки x1, x2, для которых их образы (т. е. значения функции f ) совпадают: f(x1) = f(x2). Иными словами,
соответствующая «строка», т. е. прямая, параллельная оси абсцисс и проходящая через точку (x1; f(x1)), содержит две (или более) точки
графика. Это означает, что отображение f не является вложением, т. е. по данному y соответствующее значение x не восстанавливается однозначно. А на рис. 107 имеется «строка», совсем не содержащая элементов графика, т. е. функция f отображает множество A не на всю числовую прямую R.
Bпрочем, если числовую функцию f(x) рассматривать как отобра-
жение f: A → B, где A — область ее определения, а B = f(A) — не вся числовая прямая, а образ множества A (т. е. множество всех значений функции f ), то функция f автоматически становится наложением. Таким образом, числовую функцию можно в этом смысле всегда