Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]


Соответствия и бинарные отношения на множествах

Соответствия и бинарные отношения на множествах


Отображение [math]f[/math] из множества [math]A[/math] в множество [math]B[/math] считается заданным, если каждому элементу [math]x\in A[/math] сопоставлен единственный элемент [math]y\in B[/math]. Отображение [math]f[/math] из множества [math]A[/math] в множество [math]B[/math] обозначают записью [math]f\colon A\to B[/math] или [math]A\overset{f}{\longrightarrow}B[/math]. Элемент [math]y\in B[/math], который отображением [math]f[/math] сопоставляется элементу [math]x\in A[/math], называют образом элемента [math]x[/math] при отображении [math]f[/math] и обозначают [math]f(x)[/math].


Каждое отображение однозначно определяет множество упорядоченных пар [math]\{(x,y)\colon\, x\in A,~ y=f(x)\}[/math], являющееся подмножеством декартова произведения [math]A\times B[/math] множества [math]A[/math] на множество [math]B[/math] и называемое графиком отображения [math]f[/math].


Наоборот, пусть в декартовом произведении [math]A\times B[/math] задано такое подмножество [math]f[/math], что:


1) для любого [math]x\in A[/math] существует [math]y\in B[/math], для которого [math](x,y)\in f[/math];
2) для любых двух пар [math](x,y)[/math] и [math](x',y')[/math] множества [math]f[/math] из равенства [math]x=x'[/math] следует равенство [math]y=y'[/math].

Тогда множество [math]f[/math] единственным образом определяет некоторое отображение из [math]A[/math] в [math]B[/math]. Это отображение, обозначаемое также [math]f[/math], элементу [math]x\in A[/math] сопоставляет элемент [math]y\in B[/math], удовлетворяющий условию [math](x,y)\in f[/math]. Таким образом, мы можем отождествить отображения с их графиками и считать, что отображение есть подмножество декартова произведения.


Отображение [math]f[/math] множества [math]A[/math] в себя называют тождественным, если [math]f(x)=x[/math] при всех [math]x[/math] из [math]A[/math].


В общем случае для отображения [math]f\colon A\to B[/math] может существовать несколько различных элементов множества [math]A[/math], образы которых совпадают. Множество всех элементов [math]x\in A[/math], для которых [math]f(x)=y_0[/math], называют прообразом элемента [math]y_0\in B[/math] при отображении [math]f[/math].


Так, прообраз числа [math]a~(|a|\leqslant 1)[/math] при отображении [math]y=\sin{x}[/math] есть множество всех решений уравнения [math]\sin{x}=a[/math], т.е. множество


[math]\bigl\{x\colon\, x=\arcsin{a}+2\pi n,~ n\in \mathbb{Z}\bigr\}\cup \bigl\{ x\colon\, x=\pi-\arcsin{a}+2\pi n,~ n\in \mathbb{Z}\bigr\}.[/math]

Прообраз элемента [math]y_0\in B[/math] может быть пустым множеством. Это имеет место, например, для числа [math]a=2[/math] при отображении [math]y=\sin{x}[/math].


Множество всех [math]y\in B[/math], таких, что найдется [math]x\in A[/math], для которого [math]y=f(x)[/math], называют областью значений отображения [math]f[/math]. Область значений отображения [math]f[/math] будем обозначать [math]R(f)[/math].


Отображение [math]f\colon A\to B[/math] называют инъективным (инъекцией), если каждый элемент из области его значений имеет единственный прообраз, т.е. из [math]f(x_1)=f(x_2)[/math] следует [math]x_1=x_2[/math].


Отображение [math]f\colon A\to B[/math] называют сюръективным (сюръекцией), если его область значений совпадает со всем множеством [math]B[/math]. Сюръективное отображение из [math]A[/math] в [math]B[/math] называют также отображением множества [math]A[/math] на множество [math]B[/math].


Отображение [math]f\colon A\to B[/math] называют биективным (биекцией), если оно одновременно инъективно и сюръективно.


Таким образом, если отображение [math]f\colon A\to B[/math] биективно, то каждому элементу множества [math]A[/math] отвечает единственный элемент множества [math]B[/math] и наоборот. Тогда говорят, что множества [math]A[/math] и [math]B[/math] находятся между собой во взаимно однозначном соответствии.


Биекцию множества [math]A[/math] на себя называют автоморфизмом множества [math]A[/math]. Используют также термин "подстановка множества".




Пример 1.2. а. Отображение, заданное равенством [math]\nu(n)=n+1[/math], есть, как нетрудно показать, биекция множества натуральных чисел [math]\mathbb{N}[/math] на его подмножество [math]\mathbb{N}\setminus\{1\}[/math].


б. Отображение [math]\nu\colon n\mapsto2n[/math] есть биекция множества всех натуральных чисел на множество всех четных натуральных чисел.


в. Любая показательная функция [math]y=a^x,~ a>0[/math], есть биекция множества [math]\mathbb{R}[/math] всех действительных чисел на множество [math]\mathbb{R}^{+}[/math] всех положительных действительных чисел.


г. Функция [math]y=\operatorname{arctg}x[/math] есть биекция множества [math]\mathbb{R}[/math] на интервал [math]\left(-\tfrac{\pi}{2};\,\tfrac{\pi}{2}\right)[/math].


д. Поворот окружности на заданный угол [math]\alpha[/math], т.е. отображение, сопоставляющее каждой точке окружности точку, в которую она перейдет при повороте всей окружности вокруг ее центра на угол [math]\alpha[/math], есть автоморфизм множества точек окружности.




Образ и прообраз множества


Пусть задано отображение [math]f\colon A\to B[/math] и [math]C \subseteq A[/math] — некоторое множество. Множество [math]f(C)[/math] элементов [math]y\in B[/math], таких, что [math]y=f(C),~ x\in C[/math], называют образом множества [math]C[/math] при отображении [math]f[/math]. Например, при отображении [math]y=\sin{x}[/math] отрезок [math][0;1][/math] является образом множества (отрезка) [math][0;\pi][/math], равно как и любого объединения отрезков вида [math][2\pi k; (2k+1)\pi][/math] (для произвольного целого [math]k[/math]). При [math]k=0[/math] это можно записать следующим образом: [math]\sin([0;\pi])=[0;1][/math].


Заметим, что для любого отображения [math]f\colon A\to B[/math] образ [math]f(A)[/math] всего множества [math]A[/math] есть область значений данного отображения.


Для произвольного множества [math]D \subseteq B[/math] множество всех элементов [math]x\in A[/math], таких, что [math]f(x)\in D[/math], называют прообразом множества [math]D[/math] при отображении [math]f[/math].


Например, для любого действительного числа [math]a\in[0;1)[/math] множество, которое является объединением всех отрезков вида


[math]\bigl[\arcsin{a}+2\pi k,\, \pi-\arcsin{a}+2\pi k\bigr],\quad k\in\mathbb{Z}\,,[/math]

есть прообраз отрезка [math][a,1][/math] при отображении [math]y=\sin{x}[/math].


Прообраз области значений произвольного отображения [math]f\colon A\to B[/math] совпадает со всем множеством [math]A[/math].


Множество всех отображений из [math]A[/math] в [math]B[/math] будем обозначать как [math]B^A[/math].




Частичное отображение и его область определения


Понятие отображения можно обобщить. Обобщение может проходить по двум позициям. Во-первых, можно отказаться от полной определенности отображения, полагая, что образ определен не для каждого элемента множества [math]A[/math], а для некоторых элементов этого множества. Тогда придем к понятию частичного отображения. При этом подмножество всех элементов [math]A[/math], для которых определен образ, называют областью определения данного частичного отображения.


Многие элементарные функции являются частичными отображениями множества [math]\mathbb{R}[/math] всех действительных чисел в себя. Например, функция [math]y=\operatorname{tg}x[/math] есть частичное отображение с областью определения


[math]\mathbb{R} \setminus\left\{x\colon\, x=\frac{\pi}{2}+\pi k,~ k\in\mathbb{Z} \right\}.[/math]

Во-вторых, можно отказаться от однозначности отображения, полагая, что данному [math]x\in A[/math] сопоставлен не один, а несколько образов (множество образов) в множестве [math]B[/math]. В этом случае говорят, что задано соответствие из множества [math]A[/math] в множество [math]B[/math].


Примером могут служить обратные тригонометрические функции: скажем, "большой" арксинус, сопоставляющий каждому [math]x\in mathbb{R}[/math] множество всех таких чисел [math]y[/math], что [math]\sin{y}=x[/math], т.е. множество, являющееся прообразом элемента [math]x[/math] при отображении, определяемом графиком функции [math]y=\sin{x}[/math].


Если задано соответствие [math]\rho[/math] из [math]A[/math] в [math]B[/math], будем использовать обозначение [math]\rho(x)[/math] по аналогии с обозначением [math]f(x)[/math] для отображений, понимая при этом, что [math]\rho(x)[/math] есть уже не элемент множества [math]B[/math], а его подмножество.


Аналогично графику отображения можно определить график соответствия [math]\rho[/math] из множества [math]A[/math] в множество [math]B[/math] как множество [math]C_{\rho}[/math] упорядоченных пар [math](x,y)[/math], таких, что [math]x\in A,\,y\in B[/math] и элементы [math]x,y[/math] связаны соответствием [math]\rho[/math], то есть [math]y\in\rho(x)[/math]. Указанное множество [math]C_{\rho}[/math] упорядоченных пар есть подмножество декартова произведения [math]A\times B[/math].


Обратно, фиксируя на декартовом произведении [math]A\times B[/math] какое-либо подмножество [math]C[/math], мы тем самым однозначно определяем некоторое соответствие [math]\rho_C[/math] из [math]A[/math] в [math]B[/math], а именно


[math]\rho_C(x)= \bigl\{y\colon\, y\in B\land (x,y)\in C\bigr\}.[/math]

Нетрудно заметить, что графиком соответствия [math]\rho_C[/math] будет как раз множество [math]C[/math], а соответствием, отвечающим графику [math]C\rho[/math], будет [math]\rho[/math]. Поэтому можно отождествить соответствие с его графиком и считать, что соответствие из множества [math]A[/math] в множество [math]B[/math] есть некоторое подмножество [math]\rho[/math] декартова произведения [math]A\times B[/math], то есть [math]\rho\subseteq A\times B[/math]. В частности, при [math]\rho=\varnothing[/math] получаем пустое соответствие, а при [math]\rho[/math], совпадающем со всем указанным декартовым произведением, — универсальное соответствие.


При этом будем писать [math](x,y)\in\rho[/math] для упорядоченных пар, связанных соответствием [math]\rho[/math].


Используют также термины "частичное мультиотображение" и "частичная многозначная функция".




Пример 1.3. Рассмотрим множество программистов [math]A=\{I,P,S\}[/math] и множество программ [math]B=\{n_1,n_2,n_3,n_4,n_5\}[/math]. Зададим соответствие [math]\tau[/math] из [math]A[/math] в [math]B[/math], связывающее программистов и разрабатываемые ими программы:


[math]\tau= \bigl\{(I,n_1),\, (I,n_3),\, (I,n_5),\, (P,n_2),\, (P,n_4),\, (S,n_2),\, (S,n_5)\bigr\} \subseteq A\times B\,.[/math]

Область определения соответствия [math]rho \subseteq B\times B[/math] из множества [math]A[/math] в множество [math]B[/math] — это множество всех первых компонент упорядоченных пар из [math]\rho:[/math]


[math]D(\rho)= \bigl\{x\colon\, (\exists y\in B)(x,y)\in\rho\bigr\}.[/math]

Область значения соответствия [math]\rho[/math] — это множество всех вторых компонент упорядоченных пар из [math]\rho:[/math]


[math]R(\rho)= \bigl\{y\colon\, (\exists x\in A)(x,y)\in\rho\bigr\}.[/math]

Из определения вытекает, что [math]D(\rho)\subseteq A,~ R(\rho)\subseteq B[/math]. Соответствие из [math]A[/math] в [math]B[/math] называют всюду определенным, если его область определения совпадает с множеством [math]A\colon\,D(\rho)=A[/math].


Сечением соответствия [math]\rho \subseteq A\times B[/math] для фиксированного элемента [math]x\in A[/math] будем называть множество [math]\rho(x)= \{y\colon\, (x,y)\in\rho\}[/math]. Можно сказать, что сечение соответствия [math]\rho(x)[/math] есть множество всех "образов" элемента [math]x[/math] при данном соответствии.


Сечением соответствия [math]\rho[/math] по множеству [math]C\subseteq A[/math] будем называть множество


[math]\rho(C)= \bigl\{y\colon\, (x,y)\in\rho,~ x\in C\bigr\}.[/math]

Пример 1.4. Область определения соответствия т из примера 1.3 есть все множество [math]A[/math], а область значения — все множество [math]B[/math]. Сечением соответствия [math]\tau[/math] по элементу [math]\Pi[/math] будет множество [math]\tau(\Pi)=\{n_2,n_4\}[/math].




Бинарные отношения на множествах


Соответствие [math]\rho \subseteq A\times A[/math] из множества [math]A[/math] в себя, т.е. подмножество множества [math]A^2[/math], называют бинарным отношением на множестве [math]A[/math].


Пример 1.5. Простейшим примером бинарного отношения является отношение нестрогого неравенства на множестве действительных чисел [math]\mathbb{R}[/math]. Здесь каждому [math]x\in\mathbb{R}[/math] поставлены в соответствие такие [math]y\in \mathbb{R}[/math], для которых справедливо [math]x \leqslant y[/math].


Для произвольного бинарного отношения на некотором множестве часто используют запись [math]x\rho y[/math] вместо [math](x,y)\in\rho[/math], говоря при этом об элементах, связанных бинарным отношением [math]\rho[/math]. Это согласуется с традиционной формой записи некоторых часто используемых бинарных отношений. Так, пишут [math]x\leqslant y[/math], а не [math](x,y)\in \leqslant[/math]. Для таких бинарных отношений употребляют устоявшиеся словосочетания. Например, запись [math]x\leqslant y[/math] читается так: "[math]x[/math] не больше [math]y[/math]".


Бинарное отношение на множестве [math]A[/math], состоящее из всех пар [math](x,y)[/math], т.е. пар с совпадающими компонентами, называют диагональю множества [math]A[/math] и обозначают [math]\operatorname{id}A[/math]. Нетрудно понять, что диагональ [math]A[/math] есть тождественное отображение [math]A[/math] на себя.


Иногда говорят о диагонали в множестве [math]A[/math], хотя правильнее было бы называть это отношение диагональю декартова квадрата множества [math]A[/math].


Для наглядного изображения соответствий из [math]A[/math] в [math]B[/math] (бинарных отношений, в частности) будем использовать два способа. Первый из этих способов состоит в интерпретации соответствия как подмножества декартова произведения, которое можно изображать примерно так же, как на плоскости можно изображать подмножества декартова квадрата числовых множеств. Второй способ, применяемый для конечных множеств [math]A[/math] в [math]B[/math], — построение так называемого графа соответствия. В этом случае элементы множеств [math]A[/math] в [math]B[/math] изображаются на плоскости кружочками. Если и только если пара [math](u,v)[/math] принадлежит соответствию [math]\rho[/math], то в графе соответствия из кружочка, обозначающего элемент [math]u\in A[/math], проводим стрелку к кружочку, обозначающему элемент [math]v\in B[/math]. Для бинарного отношения на конечном множестве [math]A[/math] часто удобнее использовать граф другого вида. Элементы множества [math]A[/math] изображаются кружочками только один раз, а стрелки проводятся по тем же правилам, что и в графе соответствия. Заметим, что при таком построении возможно соединение кружочка стрелкой с самим собой (петля).




Пример 1.6. а. На рис. 1.1, а изображены график и граф бинарного соответствия из примера 1.3.


б. Пусть [math]A=\{1;2;3;4\}[/math]. Бинарное отношение [math]\rho[/math] на [math]A[/math] определим как множество всех упорядоченных пар [math](x,y)[/math], таких, что [math]x \geqslant y[/math]. Тогда


[math]\rho=\bigl\{(1;1),\, (2;1),\, (2;2),\, (3;1),\, (3;2),\, (3;3),\, (4;1),\, (4;2),\, (4;3),\, (4;4)\bigr\}[/math]

Область определения отношения [math]D(\rho)=\{1;2;3;4\}[/math], область значений [math]R(\rho)= \{1;2;3;4\}[/math]. График и два варианта графа отношения [math]\rho[/math] изображены на рис. 1.1, б.


в. Множество точек окружности [math]x^2+y^2=1[/math] есть график бинарного отношения на множестве действительных чисел, состоящего из всех таких упорядоченных пар [math](x,y)[/math], что [math]y=\pm\sqrt{1-x^2}[/math], или, что равносильно, компоненты пары удовлетворяют уравнению [math]x^2+y^2=1[/math]. Область определения бинарного отношения есть отрезок [math][-1;1][/math], область значения — также отрезок [math][-1;1][/math].


Графики и графы бинарных соответствий



Функциональное соответствие


Соответствие [math]\rho \subseteq A\times B[/math] называют функциональным по второй (первой) компоненте, если для любых двух упорядоченных пар [math](x,y)\in\rho[/math] и [math](x'y')\in\rho[/math] из равенства [math]x=x'[/math] следует [math]y=y'[/math] (и из [math]y=y'[/math] следует [math]x=x'[/math]). Функциональность соответствия по второй компоненте означает, что, фиксируя в любой упорядоченной паре, принадлежащей данному соответствию, первую компоненту, мы однозначно определяем и вторую компоненту. Таким образом, мы можем сказать, что соответствие, функциональное по второй компоненте, есть отображение (возможно, частичное).


Поэтому соответствие [math]f \subseteq A\times B[/math] является отображением из [math]A[/math] в [math]B[/math], если и только если оно всюду определено (т.е. [math]D(f)=A[/math]) и функционально по второй компоненте. Отметим также, что отображение из [math]A[/math] в [math]B[/math] является инъекцией тогда и только тогда, когда оно функционально по первой компоненте.




Отношения произвольной арности


Связь между понятиями отношения, соответствия и отображения

В заключение обобщим понятие соответствия, определив отношения произвольной арности.


Определение 1.4. Произвольное подмножество [math]\rho[/math] декартова произведения [math]A_1\times A_n[/math] называют (п-арным или п-местным) отношением на множествах [math]A_1,\ldots,A_n[/math].


В случае если все множества [math]A_1,\ldots,A_n[/math] совпадают, т.е. [math]A_1=\ldots= A_n=A[/math], говорят об n-арном отношении на множестве [math]A[/math].


Если [math]\rho[/math] — n-арное отношение на множествах [math]A_1,\ldots,A_n[/math] и [math](a_1,\ldots,a_n)\in\rho[/math], то говорят об элементах [math]a_1,\ldots,a_n[/math], связанных отношением [math]\rho[/math].


Замечание 1.3. При [math]n=2[/math] получаем бинарное отношение на множествах [math]A_1,A_2[/math]. Это не что иное, как соответствие из [math]A_1[/math] в [math]A_2[/math], где множества [math]A_1[/math] и [math]A_2[/math], вообще говоря, различны.


При [math]A_1=A_2=A[/math] получаем введенное ранее бинарное отношение на множестве, т.е. подмножество декартова квадрата [math]A[/math].


Таким образом, в общем случае (при произвольном [math]n\geqslant 2[/math]) следует, строго говоря, различать термины "n-арное отношение" и "n-арное отношение на множестве".


Связь между введенными понятиями отношения, соответствия и отображения проиллюстрирована на рис. 1.2.


Пусть n-арное отношение [math]\rho \subseteq A_1\times\ldots\times A_n[/math] удовлетворяет условию: для любых двух кортежей


[math](x_1, \ldots, x_i,\ldots, x_n)\in\rho[/math] и [math](y_1,\ldots, y_i,\ldots, y_n)\in\rho[/math]

из выполнения равенств [math]x_k=y_k[/math] для любого [math]k\ne i~(0 \leqslant k \leqslant n)[/math] следует, что и [math]x_i=y_i[/math]. Тогда отношение [math]\rho[/math] называют функциональным по i-й компоненте [math](1 \leqslant i \leqslant n)[/math].


Другими словами, функциональность n-местного отношения по i-й [math](i\leqslant n)[/math] компоненте равносильна условию, что, фиксируя все компоненты, кроме i-й, мы однозначно определяем и i-ю компоненту.




Пример 1.7. а. Представим строку учебного расписания как кортеж вида


(преподаватель, группа, дисциплина, аудитория, день, час).

Тогда расписание можно рассматривать как секстарное (шестиместное) отношение на соответствующих множествах. Оно будет функционально по первой компоненте, если, конечно, предположить, что два преподавателя или более не проводят одно и то же занятие одновременно в одном и том же месте (хотя, например, на лабораторных работах это возможно). Оно также функционально по третьей компоненте (один преподаватель не может вести одновременно занятия по разным дисциплинам), по четвертой (преподаватель со своей группой не могут находиться в разных аудиториях) и не будет, вообще говоря, функционально по второй, пятой и шестой компонентам.


б. Рассмотрим на множестве [math]V_3[/math] геометрических векторов в пространстве тернарное (трехместное) отношение [math]\rho[/math], состоящее из всех упорядоченных троек [math](\boldsymbol{x},\boldsymbol{y},\boldsymbol{z})[/math] компланарных векторов. Это отношение не является функциональным ни по одной компоненте, так как любым двум векторам соответствует бесконечно много векторов, образующих с ними компланарную тройку.


Часовой пояс: UTC + 4 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved