Соответствием, или отношением между множествами X и Y, называется и через Г=(Х,Y,F) обозначается тройка множеств, в которой X, Y произвольные множества из ℜ(Е), а F является подмножеством прямого произведения множеств X и Y, т.е. F⊆X×Y. В соответствии Г множество Х называют областью отправления, множество Y - областью прибытия, а F - графиком соответствия. Кроме того, множество pr1F называется областью определения, а pr2F- областью значений соответствия. Из определения проекций следует, что pr1⊆X, а pr2⊆Y. Если хотя бы одно из множеств Х или Y равно пустому множеству, то такое соответствие будем называть пустым и обозначать Λ. Два соответствия Г=(X,Y,F) и ∆= (Z,W,P) называются равными, если X=Z, Y=W и F=P. Существует несколько эквивалентных способов задания соответствий: теоретико-множественный, матричный и графический. Теоретико-множественное задание соответствия полностью вытекает из определения. Для его задания необходимо определить множества Х={xi}, i∈I={1,2,...,n}, Y = {yj}, j∈J={1,2,...,m} и график F={}, xi ∈X, yj∈Y. В матричном виде соответствие Г задается с помощью матрицы инциденций Rг, представляющую собой прямоугольную таблицу размером n×m. В ней строки помечены элементами хi ∈X, столбцы - элементами yj ∈Y, а на пресечении хi строки и уj столбца ставится элемент rij=1, если ∈F и rij=0, если ∉F. Графически соответствие как отношение между множествами можно задавать с помощью рисунка, на котором все элементы xi∈X изображаются расположенными в линию кружками, элементы yj∈Y - кружками, расположенными в другую линию, а каждая пара ∈F стрелкой, идущей от кружка, обозначающего элемент хi, к кружку, обозначающему элемент уj. Такое представление называется графом, кружки - вершинами графа, а стрелки - дугами, соединяющими вершины.
đang được dịch, vui lòng đợi..
