Министерство образования
и науки РФ
НГТУ
Кафедра ПВт
РГЗ по СГДМ
Вариант:31
Факультет: ПМИ
Группа: ПМ-72
Студент: Щеголев В. С.
Преподаватель: Куликов И.М.
Новосибирск
2008
Пусть (1)
Пусть , тогда , но из (1)
Следовательно , а значит, если x есть в А, то он есть и в В.
Следовательно
Пусть , тогда , но из (1)
Следовательно , а значит, если у есть в В, то он есть и в А.
Следовательно
А значит
1. Пусть ,
Тогда ,
Следовательно и
А значит
Следовательно (AÇB)´(CÇD)(A´C)Ç(B´D)
2. Пусть и
Тогда и
Следовательно
А значит , а
Тогда
Следовательно (A´C)Ç(B´D)(AÇB)´(CÇD)
1,2 Þ (AÇB)´(CÇD)=(A´C)Ç(B´D);
, Тогда , а
Следовательно по определению объединения.
Тогда и
То есть все элементы множества А есть во множестве В и наоборот.
А значит А=В.
Так как А=В, то
Следовательно
Тогда , но пусть , тогда
Таким образом и
Следовательно А=В=С=D
a) Сколько существует бинарных отношений между элементами множеств A и B?
бинарных отношений.
b) Сколько имеется функций из A в B?
получается из Урновых схем
c) Сколько имеется 1-1 функций из A в B?
при , в противном случае 1-1 функции не существуют.
d) При каких m и n существует взаимно-однозначное соответствие между A и B?
При существует взаимно – однозначное соответствие.
Для доказательства докажем оба пункта определения функции. Для доказательства
первого пункта необходимо доказать, что и
. Рассмотрим пару , тогда
и , такой всегда найдётся по определению функций и .
Рассмотрим пару , тогда и , такой
всегда найдётся по определению функций и . Для доказательства второго
пункта определения предположим, что и ,
тогда , , и , по
определению функций и следует, что , из чего следует .
a) f(AÈB)=f(A)Èf(B) :
f(AÈB) Íf(A)Èf(B)
пусть f(AÈB) => AÈB , y = f(x) =>A ÈB , y = f(x) =>
, A y=f(x) È , B y = f(x) => f(A) È f(B) => f(A) Èf(B)
f(AÈB) Êf(A)Èf(B)
пусть f(A)Èf(B) => f(A) È f(B) => , A y=f(x) È , B
y = f(x) => A È B, y = f(x) => AÈB , y = F(x) => f(AÈB)
b) f(AÇB)Íf(A)Çf(B) :
пусть f(AÇB) => AÇB , y = f(x) =>A & B , y = f(x) =>
, A y=f(x) & , B y = f(x) => f(A) & f(B) => f(A)Çf(B)
c) f(A)\f(B)Íf(A\B):
пусть f(A)\f(B) => f(A) & f(b) => , A y=f(x) & x , B y ≠ f(x) => A & , y = f(x) => A\B , y = f(x) => f(A\B)
a) параллельность прямых;
1. рефлективность : любая прямая || самой себе
2. симметричность : очевидно , что если прямая а || прямой б , то и прямая б || прямой а
3. транзитивность : очевидно , что если прямая а || прямой б , прямая б || прямой с =>
а||с
b) перпендикулярность прямых.
Это утверждение не является эквивалентным, потому что не выполняется рефлективность : прямая не может быть перпендикулярна самой себе.
R1ÈR2 - симметрично :
Пусть
1) . По условию R1-симметричное отношение®
2) . По условию R2-симметричное отношение®
Т.о. взяв произвольную пару множества R1ÈR2 , мы показали , что в одном из множеств R1 либо R2 , а значит в множестве R1ÈR2 , будет присутствовать пара <y,x> . ч.т.д.
R1-1- симметрично :
R1×R2-1- несимметрично :
-не симметрично
R1Ç R2- симметрично :
Пусть
1) . По условию R1-симметричное отношение®
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.