Элементы теории множеств — страница 7

  • Просмотров 18849
  • Скачиваний 1000
  • Размер файла 299
    Кб

множество всех элементов из A, не являющихся элементами множества B в объединении с множеством всех элементов из B, не являющихся элементами множества A. A∆B=(A\B)È(B\A). Пример. A={1, 3, 5, 18}, B={1, 3, 7, 12}. A∆B={5, 7, 12, 18}. Определение абсолютного дополнения. Пусть A – подмножество U. Абсолютным дополнением множества A до множества U называется множество, содержащее все элементы множества U, которые не принадлежат множеству A. A'=U\A, где U -

универсальное множество. U\A={x | xÎU L xÏA}. Обычно все рассматриваемые в ходе какого-либо рассуждения множества являются подмножествами некоторого множества U, которое называют универсальным. Например, для числовых множеств универсальным является R, для точечных множеств на плоскости - множество точек всей плоскости и т.д. Приоритеты операций. Под приоритетом операции понимается порядок ее выполнения. Первой выполняется та

операция, приоритет которой выше. Приоритет операции пересечения множеств выше приоритета операции объединения. Приоритет операции пересечения множеств выше приоритета операции вычитания. Объединение и вычитание множеств считают равноправными операциями. Пример. В выражении CÈА\В надо сначала выполнить вычитание (из А вычесть В), а затем полученное множество объединить с множеством С. Свойства операций над множествами. 1.

"A, AÈA=A. AÇA=A (идемпотентность). 2. Пересечение и объединение множеств коммутативно (перестановочно): "A ,B AÈB = BÈA; "A ,B AÈB = BÈA. Доказательство. Эти свойства вытекают из определения. Действительно, пусть xÎAÇB, тогда xÎA и xÎB, следовательно, xÎBÇA. Отсюда (AÇB)Í(BÇA). Аналогично доказывается обратное утверждение (BÇA)Í(AÇB). Отсюда AÇB = BÇA. Пусть xÎAÈB,

тогда либо xÎA, либо xÎB, но тогда xÎBÈA и (AÈB) Í (BÈA). Аналогично (BÈA) Í (AÈB). Следовательно, AÈB = BÈA. 3. Пересечение и объединение множеств ассоциативно: для любых множеств A, B и C имеем (AÈB)ÈC=AÈ(BÈC); (AÇB)ÇC=AÇ(BÇC). Доказательство. Пусть xÎ(AÇB)ÇC, отсюда xÎ(AÇB) и xÎC, или xÎA, xÎB, xÎC. Отсюда xÎ(BÇC) и xÎA, следовательно, xÎAÇ(BÇC) и

верно (AÇB)ÇCÍAÇ(BÇC). Наоборот, если xÎAÇ(BÇC), следует, что xÎA, xÎC, xÎB, откуда xÎ(AÇB)ÇC и верно AÇ(BÇC)Í(AÇB)ÇC. Отсюда AÇ(BÇC) = (AÇB)ÇC. Аналогично доказывается равенство множеств AÈ(BÈC) = (AÈB)ÈC. 4. Для любых множеств A, B справедливо: если AÌB, то AÇB = A; AÈB = B. Доказательство. Пусть xÎAÇB, то есть xÎA и xÎB, отсюда xÎA. Пусть