Министерство образования
и науки РФ
НГТУ
Кафедра ПВт
РГЗ по СГДМ
Вариант: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).
Ссылка на скачивание - внизу страницы.