Множества.
Соответствия.Отношения.
Определение 7.1:
Декартовым произведением множеств А и В называется множество всех упорядоченных пар < x,y > таких, что x| a). A=X r Y, если число элементов в X равно n, а в Y - m. |
| b). A=X1r
X2r ...r Xn, где n |
| a). A r B = B r A |
| b). A r (B r C) = (A r B)r C, если <<a,b>, c>=<a,b,c>=<a,<b,c>> |
| c). (A |
| d). (A\B)r C = (A r C)\(B r C), если B |
| e). для каких
множеств A,B и С
верно: (A |
| a). N2 ~ N (N2=N r N) | b). Nn ~ N |
| c). (N r [0,1]) ~ [0,1] | d). (A r B) ~ (B r A). |
| a). А и В - конечны | b). А - конечно, В - счетно |
| c). А - счетно, В - конечно | d). А и В - счетны. |
Определение 7.2:
Бинарным отношением на множестве А называется множество R такое, что R| a). x < y | b). x = -y |
| c). x2 < y | d). на Z
x |
| e). записать для них множество R, если А={0,1,2,3,4,5} |
Определение 7.3:
Соответствием между множествами А и В называется множество RЕсли
<x,y>Область определения соответствия
R (обозначается D(R)) - множество таких xОбласть значений соответствия
R (обозначается E(R)) - множество таких yВзаимно-однозначное соответствие - соответствие, в котором для каждого элемента
xОтображение
(функция) - соответствие, в котором у каждого элемента x из А не более одного образа. При записи f:X
| a). соответствий |
| b). отображений (D(f)=X) |
| c). взаимно-однозначных соответствий (m=n) |
X
Y, если в X - n, а в Y - m элементов.
Определение 7.4: Бинарное отношение
‘~ ‘ (R) на А называется отношением эквивалентности, если для любых x,y,z| 1. x~ x | или | <x,x> |
| 2. (x~ y) |
или | (<x,y>I R) |
| 3. ((x~ y)&(y~ z)) |
или | ((<x,y>I
R)&(<y,z> |
| a). A=B (для множеств) |
| b). a |
| c). x < y (x,y |
| d). a || b (прямые на плоскости) |
| e). R= |
| f). R – конечно (на N) (то же) |
| a). N |
| b). N r N |
| c). [0,1] |
| d). на множестве всевозможных цепочек с алфавитом {a,b,c,..,z} |
| e). докажите счетность множества из пункта d) |
Определение 7.5: Бинарное отношение
‘<‘ (R) на А называется отношением порядка, если для любых x,y,z| 1. |
или | <x,x> |
| 2. |
или | |
| 3. ((x<y)&(y<z)) |
или | ((<x,y> |
| a). N | b). N r N |
| c). [0,1] | d). на координатной плоскости |
| e). на поверхности сферы | f). в языке логики высказываний |