Подмножества
Подмножество — это множество, все элементы которого принадлежат другому множеству. Говорят, что множество \( A \) является подмножеством множества \( B \) (обозначается \( A \subseteq B \)), если каждый элемент \( A \) является элементом \( B \).
Обозначения и определения:
- \( A \subseteq B \) — "А содержится в В" или "А включено в В"
- \( A \subset B \) — "А является строгим подмножеством В" (А содержится в В, но не равно В)
- \( \varnothing \subseteq A \) — пустое множество содержится в любом множестве
- \( A \subseteq A \) — любое множество содержит само себя
Примеры:
- \( \{1, 2\} \subseteq \{1, 2, 3\} \) — {1,2} содержится в {1,2,3}
- \( \mathbb{N} \subseteq \mathbb{Z} \) — натуральные числа содержатся в целых
- \( \{a, b\} \subset \{a, b, c\} \) — строгое подмножество (не равны)
Свойства подмножеств
1. Рефлексивность
Любое множество содержит само себя: \( A \subseteq A \)
Это как сказать "я являюсь частью самого себя"
2. Антисимметричность
Если \( A \subseteq B \) и \( B \subseteq A \), то \( A = B \)
Если А содержится в В и В содержится в А, то это одинаковые множества
3. Транзитивность
Если \( A \subseteq B \) и \( B \subseteq C \), то \( A \subseteq C \)
Если А в В, а В в С, то А автоматически и в С
Примеры и приложения
Пример 1. Проверить, является ли \( \{2, 4\} \) подмножеством \( \{x \in \mathbb{N} \mid x \text{ чётное}\} \):
Да, так как оба элемента (2 и 4) являются чётными натуральными числами.
Пример 2. Множество студентов в группе — подмножество всех студентов университета.
Применение в программировании:
- Проверка прав доступа (роль пользователя — подмножество доступных действий)
- Фильтрация данных (выборка — подмножество всей базы данных)
- Наследование в ООП (класс-потомок — подмножество свойств родительского класса)
Понимание подмножеств помогает структурировать данные и анализировать отношения между объектами.