Реферат: Математические методы описания моделей конструкций РЭА
Дополнением множествах по отношению к множеству Y называют множество X, состоящее из элементов множества Y , не принадлежащих множеству X. На рис. 2, б множество X показано в виде заштрихованной области. С помощью операции дополнения множества можно выявить все дополнительные, недостающие признакипроектируемого изделия и подвергнуть их анализу.
Рисунок 2
Рисунок 3
Декартовым произведением множеств X и Y называют множество Z упорядоченных пар (х, у), образованных элементами множеств X и Y : Z = X Y . На рис. 3 декартово произведение множеств Х1 и Y 2 показано в виде заштрихованной области множества паросочетаний.
Декартово произведение двух множеств используют для исследования всевозможных паросочетаний. Декартово произведение нескольких множеств
представляет собой множество r-строчек, каждая из которых образуется упорядоченной композицией элементов исходных множеств, т. е. zS = ( x 1 f , x 2 j , ..., xrk ). Операция декартова произведения множеств не обладает переместительным свойством, т. е. XY Y X.
Разбиением множествах называют такое множество множеств {Xj}, где jJ , а J — некоторое множество индексов j, при котором:
1) Xj X при всех jJ ;
2) Xj 0 при всех jJ ;
3) Xi Xj = 0 при jJ ;
4) Xj = X .
Ряд прикладных задач разбиения множества конструктивных элементов высокого уровня на элементы более низкого уровня (например, задача разбиения множества микросхем блока РЭА на отдельные субблоки) сводится к операциям разбиения множеств. Конкретные решения подобных задач рассмотрены в гл. 4.
Понятие пустого множества 0 аналогично нулю в алгебре чисел. Действительно, если для любого числа а справедливо а 0 = 0 и а+0 = а, то для любого. множества X справедливо X 0 = 0 и X 0 =Х.
Введем понятие множества I, соответствующее единице в алгебре чисел. Такое множество должно обладать тем свойством, что пересечение с ним любого множества X дает в результате это же множество X , т. е. X I = X по аналогии с а 1 = а.
Множество I , обладающее этим свойством называют универсальным или единичным множеством. В общем случае, если при некотором рассмотрении участвуют только подмножества некоторого фиксированного множества I , то это самое большое множество и является универсальным.
В конкретных приложениях в качестве универсального множества могут использоваться различные общие подмножества. Например, среди множества комплектов конструкторских документов на изготовление изделий РЭА полный комплект конструкторских документов является универсальным множеством этих документов или когда при рассмотрении множеств микросхем отдельных субблоков РЭА выделяют универсальное множество таких микросхем на всю данную радиоэлектронную аппаратуру в целом.
Универсальное множество обладает свойством, не имеющим аналога в алгебре чисел, а именно для любого множества X справедливо соотношение X I = I .
В объединение этих множеств должны входить как элементы множества X, так и дополняющие элементы множества I . Но, в свою очередь, все элементы множества X входят в универсальное множество I , поэтому и объединение XI равно универсальному множеству I .
На основании этих рассуждений легко определить дополнение множества X как . Двойное дополнение = X .
С помощью операции дополнения можно в удобном виде представить разность множеств
т. е.
Многие определения теории множеств удобно записывать в виде математических выражений, содержащих некоторые логические символы. К числу таких символов относится символ следствия (импликации). Например, запись ХУ и Y Z X Z (транзитивность) читают так: если XY и У Z, то XZ. Другие символы связаны с применением кванторов общности и существования. Квантор общности — это операция, которая сопоставляет Р(х) высказыванию: «Все х обладают свойством Р(х)». Для этой операции употребляют знак (перевернутое латинское А). Например, запись х(Р(х)Q ( x )) свидетельствует о том, что все объекты, обладающие свойством Р(х), обладают и свойством Q ( x ).
Наряду с квантором общности в теории множеств существует понятие квантора существования, обозначаемого (перевернутая латинская буква Е). Например, запись