Основы теории множеств
Краткая выжимка
Материал вводит понятие множества как неопределяемого первичного понятия, описывает способы задания множеств, отношения между ними (равенство, подмножество, пустое множество) и осн
Подробный конспект
ВВЕДЕНИЕ
- Понятие множества является одним из самых фундаментальных в математике, но при попытке дать ему точное определение мы сталкиваемся с тем, что любое определение будет использовать само понятие множества (определение через множество).
- Вместо формального определения принимается интуитивное понимание: множество — это совокупность объектов, мыслимая как единое целое. Примеры: множество людей в аудитории, множество натуральных чисел N, множество целых чисел Z.
- Основное положение: вещи a, b, c, ... особым, не подлежащим определению образом, определяют вещь M, и обратно, вещь M определяет вещи a, b, c, ... Это отношение выражается словами: множество M состоит из объектов a, b, c, ...
- Множество считается заданным, если про всякую вещь определено, входит она в это множество или нет.
- Множества делятся на конечные (например, множество сторон многоугольника) и бесконечные (например, множество целых чисел).
КЛЮЧЕВЫЕ ТЕЗИСЫ
- Множество — первичное, неопределяемое понятие; его задание подразумевает четкое правило принадлежности для любого объекта.
- Множества обозначаются прописными буквами (E, A, B, X, Y), элементы — строчными (x, y, z). Запись x ∈ E означает, что x является элементом множества E; x ∉ E — что не является.
- Два множества равны (A = B) тогда и только тогда, когда каждый элемент A является элементом B и каждый элемент B является элементом A.
- Если из x ∈ A следует x ∈ B, то A называется подмножеством B (A ⊂ B). При этом A = B является частным случаем A ⊂ B.
- Свойства отношения ⊂: транзитивность (если E ⊂ B и B ⊂ A, то E ⊂ A); равенство множеств эквивалентно взаимному включению (X ⊂ Y и Y ⊂ X).
- Пустое множество ∅ не содержит элементов и является подмножеством любого множества.
- Множество, состоящее из одного элемента, логически отличается от самого элемента; например, множество {A} (где A — множество) состоит из одного элемента — множества A.
ОПЕРАЦИИ НАД МНОЖЕСТВАМИ: ОБЪЕДИНЕНИЕ И ПЕРЕСЕЧЕНИЕ
- Объединение X ∪ Y — множество, элементы которого принадлежат хотя бы одному из множеств X или Y (свойство: x ∈ X либо x ∈ Y).
- Пересечение X ∩ Y — множество, элементы которого принадлежат и X, и Y одновременно (свойство: x ∈ X и x ∈ Y).
- Пример: множество всех целых чисел есть объединение множества четных и множества нечетных чисел.
- Пример: множество чисел, делящихся на шесть, есть пересечение множества четных чисел и множества чисел, делящихся на три.
- Понятия объединения и пересечения распространяются на любое конечное и бесконечное число множеств: объединение семейства {Xk} — элементы, принадлежащие хотя бы одному Xk; пересечение — элементы, принадлежащие всем Xk.
- Пример: Ak — множество рациональных чисел, модуль которых меньше 1/k. Пересечение всех Ak состоит из одного числа 0.
- Пример: Ak — множество положительных рациональных чисел, меньших 1/k. Пересечение всех Ak пусто (∅).
СВОЙСТВА ОПЕРАЦИЙ
- Объединение и пересечение коммутативны: X ∪ Y = Y ∪ X, X ∩ Y = Y ∩ X.
- Объединение и пересечение ассоциативны: (X ∪ Y) ∪ Z = X ∪ (Y ∪ Z), (X ∩ Y) ∩ Z = X ∩ (Y ∩ Z).
- Дистрибутивность объединения относительно пересечения: (X ∪ Y) ∩ Z = (X ∩ Z) ∪ (Y ∩ Z).
- Дистрибутивность пересечения относительно объединения: (X ∩ Y) ∪ Z = (X ∪ Z) ∩ (Y ∪ Z).
- Доказательство первого закона дистрибутивности: элемент принадлежит левой части ((X ∪ Y) ∩ Z) тогда и только тогда, когда он принадлежит Z и хотя бы одному из X или Y, что равносильно принадлежности (X ∩ Z) ∪ (Y ∩ Z).
ДОПОЛНЕНИЕ И РАЗНОСТЬ МНОЖЕСТВ
- Дополнение CX множества X (относительно универсального множества E) — множество всех элементов E, не принадлежащих X.
- Разность множеств X \ Y — множество элементов, принадлежащих X, но не принадлежащих Y.
- Пример: разность множества всех целых чисел и множества четных чисел дает множество нечетных чисел.
- Операции дополнения и разности тесно связаны: X \ Y = X ∩ CY (если рассматривать дополнение Y относительно некоторого универсального множества).
ПРИНЦИП ДВОЙСТВЕННОСТИ
- Принцип двойственности устанавливает взаимосвязь между операциями объединения, пересечения и дополнения.
- Первое соотношение: дополнение пересечения равно объединению дополнений: C(∩ᵢ Xᵢ) = ∪ᵢ C Xᵢ.
- Второе соотношение: дополнение объединения равно пересечению дополнений: C(∪ᵢ Xᵢ) = ∩ᵢ C Xᵢ.
- Доказательство второго соотношения: элемент принадлежит C(∪ᵢ Xᵢ) тогда и только тогда, когда он не принадлежит ни одному Xᵢ, то есть принадлежит всем C Xᵢ, что равносильно принадлежности ∩ᵢ C Xᵢ.
- Принцип двойственности широко используется в теории множеств и её приложениях для упрощения доказательств и преобразования выражений.
ПРИМЕРЫ И ЦИТАТЫ
- Пример из источника: 'Множество всех целых чисел есть объединение множества всех четных и множества всех нечетных чисел.'
- Пример: 'Множество чисел, делящихся на шесть, есть пересечение множества четных чисел и множества всех чисел, делящихся на три.'
- Цитата: 'Множество возникает путем объединения отдельных предметов в одно целое. Оно есть множественность, мыслимое как единство.'
- Пример с пустым множеством: Ak — множество положительных рациональных чисел, меньших 1/k. Пересечение всех Ak пусто, так как нет числа, которое было бы меньше 1/k для всех k одновременно.
ПРАКТИЧЕСКИЙ ВЫВОД
- Теория множеств предоставляет строгий язык для описания коллекций объектов и отношений между ними.
- Основные операции (объединение, пересечение, дополнение, разность) и их свойства (коммутативность, ассоциативность, дистрибутивность) являются фундаментом для многих разделов математики.
- Принцип двойственности позволяет упрощать сложные выражения с множествами, заменяя операции на двойственные.
- Понимание теории множеств необходимо для изучения математического анализа, алгебры, логики, теории вероятностей и других дисциплин.
Ключевые термины
Множество
Первичное, неопределяемое понятие; совокупность объектов, мыслимая как единое целое. Считается заданным, если про любой объект известно, принадлежит он множеству или нет.
Элемент множества
Объект, входящий в состав множества. Обозначается строчными буквами (x, y, z). Запись x ∈ E означает, что x является элементом множества E.
Равенство множеств
Два множества A и B равны (A = B) тогда и только тогда, когда каждый элемент A является элементом B и каждый элемент B является элементом A.
Подмножество
Множество A называется подмножеством множества B (A ⊂ B), если каждый элемент A принадлежит B. Случай A = B является частным случаем A ⊂ B.
Пустое множество
Множество, не содержащее ни одного элемента. Обозначается ∅. Является подмножеством любого множества.
Объединение множеств
Множество, состоящее из элементов, принадлежащих хотя бы одному из исходных множеств. Обозначается X ∪ Y.
Пересечение множеств
Множество, состоящее из элементов, принадлежащих одновременно всем исходным множествам. Обозначается X ∩ Y.
Дополнение множества
Множество, состоящее из всех элементов универсального множества, не принадлежащих данному множеству. Обозначается CX.
Разность множеств
Множество, состоящее из элементов первого множества, не принадлежащих второму. Обозначается X \ Y.
Принцип двойственности
Принцип, устанавливающий взаимосвязь между операциями объединения, пересечения и дополнения: дополнение пересечения равно объединению дополнений, дополнение объединения равно пересечению дополнений.
Карточки
Что такое множество в математике и как оно задается?
Множество — первичное, неопределяемое понятие; совокупность объектов, мыслимая как единое целое. Считается заданным, если про любой объект известно, принадлежит он множеству или нет.
Какие бывают виды множеств по количеству элементов?
Множества бывают конечными (например, множество сторон многоугольника) и бесконечными (например, множество целых чисел).
Что такое пустое множество и каким свойством оно обладает?
Пустое множество — это множество, не содержащее ни одного элемента. Оно является подмножеством любого множества (∅ ⊂ A для любого A).
Что такое дополнение множества?
Дополнение CX множества X (относительно универсального множества E) — это множество всех элементов E, не принадлежащих X.
Что такое разность множеств?
Разность множеств X и Y (X \ Y) — это множество, элементы которого принадлежат X, но не принадлежат Y.
Почему понятие множества принимается как неопределяемое?
Потому что любая попытка дать точное определение приводит к определению множества через множество (замкнутый круг). Поэтому принимается интуитивное понимание и четкое правило принадлежности.
Почему множество, состоящее из одного элемента, логически отличается от самого элемента?
Потому что множество {A} (где A — множество) состоит из одного элемента — множества A, в то время как A может состоять из нескольких элементов. Это разные объекты.
Почему пересечение множеств Ak (положительные рациональные числа, меньшие 1/k) пусто?
Потому что не существует положительного рационального числа, которое было бы меньше 1/k для всех натуральных k одновременно. Для любого такого числа найдется k, при котором 1/k станет меньше этого числа.
Чем отличается объединение множеств от пересечения?
Объединение X ∪ Y включает элементы, принадлежащие хотя бы одному из множеств (X или Y). Пересечение X ∩ Y включает только элементы, принадлежащие обоим множествам одновременно.
В чем разница между равенством множеств и отношением подмножества?
Равенство A = B требует взаимного включения: каждый элемент A принадлежит B и каждый элемент B принадлежит A. Подмножество A ⊂ B требует только, чтобы каждый элемент A принадлежал B; при этом A может быть равно B (частный случай).
Приведите пример объединения и пересечения множеств из повседневной жизни.
Пример: пусть X — множество студентов, изучающих математику, Y — множество студентов, изучающих физику. Тогда X ∪ Y — студенты, изучающие хотя бы один из этих предметов; X ∩ Y — студенты, изучающие оба предмета.
Как с помощью принципа двойственности преобразовать выражение C(A ∪ B)?
C(A ∪ B) = C A ∩ C B. Дополнение объединения равно пересечению дополнений.