Описание множеств. Операции над множествами. Отношения, соответствия, функции, операции. Вариант № 2, страница 2


a) C1—« x делит y без


остатка»

б) С2  x=y

в)  С3 x¹y

12. Свойства отношений

C1

1

2

3

4

5

1

1

1

1

1

1

2

0

1

0

1

0

3

0

0

1

0

0

4

0

0

0

1

0

5

0

0

0

0

1

С2

1

2

3

4

5

1

1

0

0

0

0

2

0

1

0

0

0

3

0

0

1

0

0

4

0

0

0

1

0

5

0

0

0

0

1

С3

1

2

3

4

5

1

0

1

1

1

1

2

1

0

1

1

1

3

1

1

0

1

1

4

1

1

1

0

1

5

1

1

1

1

0



C1— рефлексивно (x/y=z, zÎZ)

несимметрично (если x/y=z то не всегда y/x=z, zÎZ)

нетранзитивно  (x/y=z , y/g=z, x/g¹z, zÎZ)

С2— рефлексивно (x=x)

симметрично  (x=y, y=x)

транзитивно (если x=y, а y=z, то x=z)

С3— антирефлфексивно (т.к.x=y)

cимметрично (x¹y, y¹x)   нетранзитивно (т.к. если x¹y, а y¹z , то не всегда  x¹z)


13. M={0,1,2}


если x<y , то x<=z<y      x,y,zÎM

Область определения -?

Область значения -?

Порядок отношения-?


Свойства соответствия:  нерефлексивно (т.к. x<y);

несимметрично(т.к. x<y, y>x)

транзитивно (т.к. если x<y и y<u, то x<u)

Отношение нестрогого порядка.

Область определения – любые x и y ÎM , причём x<y;

Область значения - zÎ[x,y) , если  x<=z.

14. M={0,1,2,3}

a)  R1={(1,0), (2,0), (3,0), (2,1), (3,1), (3,2)};

антирефлексивно (т.к. нет пары (а, а))

антисимметрично (т.к. не удовлетворяет следующему условию: (a, b), (b, a))

антитранзитивно  (т.к. не удовлетворяет следующему условию:(a, b), (b, c), (a, c)); a, b, cÎM

Отношение строгого порядка

b) R2={(0, 0), (1, 1), (2,2), (3,3)}

рефлексивно (т.к.  (а, а))

антисимметрично (т.к. не удовлетворяет следующему условию: (a, b), (b, a))

транзитивно  (т.к. (a, b), (b, c), (a, c)); a, b, cÎM

Отношение нестрогого порядка

15.  y=F(x)        FÌX´X  X={1,2,3,4,5}

а) F={(1,1),(2,2),(3,3),(4,4),(5,5)}

рефлексивно (т.к.  (а, а))

антисимметрично (т.к. не удовлетворяет следующему условию: (a, b), (b, a))

транзитивно  (т.к. (a, b), (b, c), (a, c)); a, b, cÎM

Отношение нестрогого порядка б) F={(3,1),(4,5),(1,4),(4,4),(5,3)}

нерефлексивно (рефлексивность выполняется только для одной пары (4,4))

антисимметрично (т.к. не удовлетворяет следующему условию: (a, b), (b, a))

антитранзитивно  (т.к. не удовлетворяет следующему условию:(a, b), (b, c), (a, c)); a, b, cÎX

Отношение строгого порядка в)F={(2,2),(3,3),(3,4),(5,5),(5,3)}

не рефлексивно (т.к. не для всех выполняется (а, а))

несимметрично (т.к. не удовлетворяет следующему условию: (a, b), (b, a))

нетранзитивно (т.к. не удовлетворяет следующему условию:(a, b), (b, c), (a, c)); a, b, cÎX

Отношение строгого порядка

Министерство Образования Российской Федерации

Амурский Государственный Университет

Расчётно-графическая работа

Вариант№2

По дисциплине: Дискретная математика

Выполнил:                                                                                         студент 254 гр.

Якимец Д.В.

Проверил:                                                        ст. преподаватель кафедры ИУС

Семичевская Н.П.

Благовещенск 2003