Отображение множеств
Определение
Отображение (функция) множества X в множество Y — это правило f, которое каждому элементу x ∈ X ставит в соответствие единственный элемент y ∈ Y.
Обозначение: \( f: X \to Y \)
Элемент y = f(x) называется образом элемента x, а x — прообразом элемента y.
Формальное определение:
Отображение f: X → Y — это подмножество декартова произведения X × Y такое, что для каждого x ∈ X существует ровно один y ∈ Y, для которого (x, y) ∈ f.
Основные понятия:
- X — область определения (домен)
- Y — область значений (кодомен)
- f(X) — образ множества X
- f⁻¹(y) — полный прообраз элемента y
- График — множество пар {(x, f(x)) | x ∈ X}
Важные замечания:
Отображение должно быть всюду определённым — каждому элементу X соответствует какой-то элемент Y.
Отображение должно быть однозначным — каждому x соответствует ровно один y.
Схематическое представление отображения f: X → Y
Типы отображений
1. Инъективное (взаимно-однозначное)
Разные элементы X переходят в разные элементы Y:
\( x_1 \neq x_2 \Rightarrow f(x_1) \neq f(x_2) \)
Свойства:
- Сохраняет различия элементов
- Обратное отображение может быть определено на f(X)
- Мощность X не превышает мощность Y
- f(x) = 2x на множестве действительных чисел
- f(x) = e^x на множестве действительных чисел
- Любое строго монотонное отображение
2. Сюръективное (на)
Образ f(X) совпадает со всем Y:
\( \forall y \in Y \exists x \in X: f(x) = y \)
Свойства:
- Каждый элемент Y имеет прообраз
- Мощность Y не превышает мощность X
- Позволяет "покрыть" всё множество Y
- f(x) = x³ на множестве действительных чисел
- f(x) = sin(x) на [-π/2, π/2] → [-1, 1]
- Проекции в геометрии
3. Биективное (взаимно-однозначное соответствие)
Отображение одновременно инъективно и сюръективно:
\( \forall y \in Y \exists! x \in X: f(x) = y \)
Свойства:
- Устанавливает полное соответствие между X и Y
- Существует обратное отображение f⁻¹: Y → X
- Мощности X и Y равны
- Сохраняет все структуры множеств
- f(x) = x (тождественное отображение)
- f(x) = x + 1 на множестве целых чисел
- Любая перестановка конечного множества
4. Неинъективное и несюръективное
Отображение, не являющееся ни инъективным, ни сюръективным
\( \)
Особенности:
- Некоторые элементы Y могут не иметь прообразов
- Некоторые элементы Y могут иметь несколько прообразов
- Наиболее общий случай отображения
- Требует дополнительного анализа свойств
- f(x) = x² на множестве действительных чисел
- f(x) = sin(x) на ℝ → ℝ
- Большинство реальных функций в анализе
Критерии проверки типов отображений
Проверка инъективности
Для проверки решают уравнение f(x₁) = f(x₂). Если из этого следует x₁ = x₂, то отображение инъективно.
Пример: f(x) = 2x + 1 ⇒ 2x₁ + 1 = 2x₂ + 1 ⇒ x₁ = x₂
Проверка сюръективности
Для каждого y ∈ Y решают уравнение f(x) = y. Если для каждого y решение существует, то отображение сюръективно.
Пример: f(x) = x³ ⇒ x = ∛y существует для всех y ∈ ℝ
Операции над отображениями
Композиция отображений
Если \( f: X \to Y \) и \( g: Y \to Z \), то композиция:
\( (g \circ f)(x) = g(f(x)) \)
Свойства композиции:
- Ассоциативность: h ∘ (g ∘ f) = (h ∘ g) ∘ f
- Не коммутативна в общем случае
- f ∘ id = id ∘ f = f
- Сохраняет инъективность и сюръективность
Обратное отображение
Если f биективно, то существует \( f^{-1}: Y \to X \) такое, что:
\( f^{-1}(f(x)) = x \) и \( f(f^{-1}(y)) = y \)
Свойства обратного отображения:
- (f⁻¹)⁻¹ = f
- (g ∘ f)⁻¹ = f⁻¹ ∘ g⁻¹
- f⁻¹ также является биекцией
- График f⁻¹ симметричен графику f относительно y = x
Важные примеры отображений
Тождественное отображение
\( id_X: X \to X \), где \( id_X(x) = x \)
Свойства:
- Является биекцией
- id_X ∘ f = f ∘ id_X = f
- id_X⁻¹ = id_X
Фундаментальное отображение, играющее роль единицы в композиции
Постоянное отображение
\( f: X \to Y \), где \( f(x) = c \) для всех x ∈ X
Свойства:
- Ни инъективно, ни сюръективно (если |X| > 1 и |Y| > 1)
- f ∘ g постоянно для любого g
- Образ состоит из одной точки
Простейшее нетривиальное отображение
Вложение множества
\( f: A \to B \), где A ⊂ B и f(x) = x
Свойства:
- Всегда инъективно
- Сюръективно только если A = B
- Сохраняет все структуры подмножества
Важно в теории категорий и алгебре
Характеристическая функция
\( \chi_A: X \to \{0,1\} \), где \( \chi_A(x) = \begin{cases} 1, & x \in A \\ 0, & x \notin A \end{cases} \)
Свойства:
- Инъективна только если A = ∅ или A = X
- Сюръективна только если A ≠ ∅ и A ≠ X
- Используется в теории меры и вероятности
Связывает теорию множеств с булевой алгеброй
Применение отображений в математике
Анализ
Функции действительной переменной, непрерывные отображения, дифференцируемые функции
Алгебра
Гомоморфизмы, изоморфизмы, автоморфизмы алгебраических структур
Топология
Непрерывные отображения, гомеоморфизмы, фундаментальные группы
Историческая справка
Понятие отображения сформировалось в XIX веке в работах Дирихле, который дал современное определение функции как произвольного соответствия. Дальнейшее развитие теория отображений получила в теории множеств Кантора и функциональном анализе.
Современная трактовка отображения как подмножества декартова произведения принадлежит Бурбаки.