Произведение множеств
Определение
Декартово произведение множеств A и B — это множество всех упорядоченных пар (a, b), где a ∈ A и b ∈ B.
Обозначение: \( A \times B = \{ (a, b) \mid a \in A, b \in B \} \)
Важные особенности:
- Пары упорядочены: (a, b) ≠ (b, a) если a ≠ b
- Элементы могут повторяться: (a, a) допустимо
- Мощность произведения: |A × B| = |A| × |B|
Основные свойства:
- \( A \times \emptyset = \emptyset \times A = \emptyset \)
- \( A \times (B \cup C) = (A \times B) \cup (A \times C) \)
- \( A \times (B \cap C) = (A \times B) \cap (A \times C) \)
- \( A \times (B \setminus C) = (A \times B) \setminus (A \times C) \)
- Если A ⊂ C и B ⊂ D, то A × B ⊂ C × D
Некоммутативность:
В общем случае \( A \times B \neq B \times A \)
Пример: {1} × {2} = {(1,2)} ≠ {(2,1)} = {2} × {1}
Геометрическое представление декартова произведения
Примеры декартова произведения
1. Числовые множества
\( \mathbb{R} \times \mathbb{R} = \mathbb{R}^2 \) — координатная плоскость
\( \mathbb{Z} \times \mathbb{Z} \) — множество точек с целыми координатами
2. Конечные множества
Пусть A = {1, 2}, B = {x, y}, тогда:
\( A \times B = \{(1,x), (1,y), (2,x), (2,y)\} \)
\( B \times A = \{(x,1), (x,2), (y,1), (y,2)\} \)
3. Декартова степень
\( A^n = A \times A \times \cdots \times A \) (n раз)
\( \mathbb{R}^3 \) — трёхмерное пространство
\( \{0,1\}^n \) — множество всех битовых строк длины n
n-арное декартово произведение
Для n множеств \( A_1, A_2, \ldots, A_n \):
\( A_1 \times A_2 \times \cdots \times A_n = \{ (a_1, a_2, \ldots, a_n) \mid a_i \in A_i \} \)
Свойства:
- Ассоциативность: (A × B) × C ≅ A × (B × C)
- Мощность: \( |A_1 \times \cdots \times A_n| = |A_1| \times \cdots \times |A_n| \)
- Проекции: \( \pi_i: A_1 \times \cdots \times A_n \to A_i \)
Применение:
- Базы данных (кортежи)
- Теория вероятностей (пространство элементарных событий)
- Программирование (структуры данных)
Геометрическая интерпретация
Координатная система
Декартово произведение ℝ × ℝ образует координатную плоскость, где:
- Каждая точка соответствует паре (x, y)
- Оси представляют множества координат
- Прямоугольники — произведения промежутков
Применение в математике
Теория множеств
Определение отношений и функций
Построение новых множеств
Алгебра
Прямые суммы групп
Векторные пространства
Дискретная математика
Комбинаторные вычисления
Теория графов (декартово произведение графов)
Декартово произведение семейства множеств
Для бесконечного семейства множеств \( \{A_i\}_{i \in I} \):
\( \prod_{i \in I} A_i = \{ f: I \to \bigcup_{i \in I} A_i \mid f(i) \in A_i \} \)
Связь с другими понятиями
Бинарные отношения
Любое бинарное отношение R ⊆ A × B
Пример: отношение порядка, эквивалентности
Функции
Функция f: A → B — подмножество A × B с дополнительными условиями
Историческая справка
Понятие декартова произведения введено Рене Декартом в XVII веке для создания аналитической геометрии. Название "декартово" происходит от латинизированного имени Декарта — Cartesius.
Современное абстрактное определение сформировалось в теории множеств Кантора в конце XIX века.
Примеры решения задач
Задача 1
Найти A × B, если A = {1, 2}, B = {a, b, c}
Решение: A × B = {(1,a), (1,b), (1,c), (2,a), (2,b), (2,c)}
Задача 2
Доказать: A × (B ∩ C) = (A × B) ∩ (A × C)
Доказательство:
(x,y) ∈ A × (B ∩ C) ⇔ x ∈ A и y ∈ B ∩ C ⇔ x ∈ A и y ∈ B и y ∈ C ⇔ (x,y) ∈ A × B и (x,y) ∈ A × C ⇔ (x,y) ∈ (A × B) ∩ (A × C)