На множестве A = {.., .., ..} задано отношение R ...

[was9]

Помогите разобраться. С чего нужно начать?

[tig81]

начните с а) Выпишите все пары (х, у), удовлетворяющие условию

[tig81]

погуглите, подобные примеры есть

[was9]

начните с а) Выпишите все пары (х, у), удовлетворяющие условию

Возник вопрос если мы берем из множества A берем элемент (число) "-2" (это у нас будет "x") мы можем потом взять еще раз число "-2" (это у нас будет y) или нет?

[wital1984]

Можем, конечно. Про то, что x<>y нигде не написано. А что не запрещено, то разрешено.

[was9]

Если я правильно понял значит можно использовать сразу 2 один. числа
т.е. x берем "-2" и сразу же y берем "-2" если так то вот смотрите сначала для просто R

{(-2;-2), (-2;2), (-2;3), (-2;4), (-1;-2), (-1;-1), (-1;1), (-1;2), (-1;3), (-1;4), (0;-2), (0;-1), (0;0), (0;1), (0;2), (0;3), (0;4), (1;-2), (1;-1), (1;1), (1;2), (1;3), (1;4), (2;-2), (2;2), (2;3), (2;4), (3;3), (3;4), (4;4)}

Это правильно?

Если правильно, то продолжаю для R^-1 и R(-)

Еще есть вопросы

1) Если R^-1 т.е. берем число 1 будет 1/2
2) Если R(-) т.е. берем число "-1" то это будет "1" если берем "1" будет "-1"

Я правильно понимаю??

[was9]

А как потом второй пункт делать (проверьте еще предыдущий пост) 

[wital1984]

Если я правильно понял значит можно использовать сразу 2 один. числа
т.е. x берем "-2" и сразу же y берем "-2" если так то вот смотрите сначала для просто R

{(-2;-2), (-2;2), (-2;3), (-2;4), (-1;-2), (-1;-1), (-1;1), (-1;2), (-1;3), (-1;4), (0;-2), (0;-1), (0;0), (0;1), (0;2), (0;3), (0;4), (1;-2), (1;-1), (1;1), (1;2), (1;3), (1;4), (2;-2), (2;2), (2;3), (2;4), (3;3), (3;4), (4;4)}

Это правильно?

Если правильно, то продолжаю для R^-1 и R(-)

Еще есть вопросы

1) Если R^-1 т.е. берем число 1 будет 1/2
2) Если R(-) т.е. берем число "-1" то это будет "1" если берем "1" будет "-1"

Я правильно понимаю??

Написали вы правильно.
1) Нет, R^-1 это множество пар (x, y) | (y, x) принадлежит R. Т.е., если пара (1,2) принадлежит R, то пара (2,1) будет принадлежать R^-1
2) Это отрицание R, т.е. множество пар, которые не входят в R

[was9]

Если я правильно понял значит можно использовать сразу 2 один. числа
т.е. x берем "-2" и сразу же y берем "-2" если так то вот смотрите сначала для просто R

{(-2;-2), (-2;2), (-2;3), (-2;4), (-1;-2), (-1;-1), (-1;1), (-1;2), (-1;3), (-1;4), (0;-2), (0;-1), (0;0), (0;1), (0;2), (0;3), (0;4), (1;-2), (1;-1), (1;1), (1;2), (1;3), (1;4), (2;-2), (2;2), (2;3), (2;4), (3;3), (3;4), (4;4)}

Это правильно?

Если правильно, то продолжаю для R^-1 и R(-)

Еще есть вопросы

1) Если R^-1 т.е. берем число 1 будет 1/2
2) Если R(-) т.е. берем число "-1" то это будет "1" если берем "1" будет "-1"

Я правильно понимаю??

Написали вы правильно.
1) Нет, R^-1 это множество пар (x, y) | (y, x) принадлежит R. Т.е., если пара (1,2) принадлежит R, то пара (2,1) будет принадлежать R^-1
2) Это отрицание R, т.е. множество пар, которые не входят в R

Это R^-1

{(3;-2), (4;-2), (-2;-1), (2;-1), (3;-1), (4;-1), (-2;0), (-1;0), (1;0), (2;0), (3;0), (4;0), (-2;-1), (2;1), (3;1), (4;1), (3;2), (4;2), (4;3)}

Проверьте правильно сделал?

Я не понял цифру 2 ну я про R (отрицание) приведите на моем примере один пример пары

[was9]

Это R (отрицание)

Проверьте на правильность

{(-2;-1), (-2;0), (-2;-1), (-1;0), (1;0), (2;-1), (2;0), (2;1), (3;-2), (3;-1), (3;0), (3;1), (3;2), (4;-2), (4;-1), (4;0), (4;1), (4;2), (4;3)}

А как второй пункт делать?

[tig81]

А как второй пункт делать?

Какие свойства отношений вы знаете?

[was9]

Вот это что ли?

Рефлексивность
Антирефлексивность
Симметричность
Антисимметричность
Транзитивность
Связность
Асимметричность

http://ru.wikipedia.org/wiki/Бинарное_отношение#.D0.A1.D0.B2.D0.BE.D0.B9.D1.81.D1.82.D0.B2.D0.B0_.D0.BE.D1.82.D0.BD.D0.BE.D1.88.D0.B5.D0.BD.D0.B8.D0.B9

[tig81]

Скорее всего, что да

[was9]

я начал с рефлексивности

я не могу понять что такое  

[Hellko]

"Для всех \( x \)"
пример:  ∀x,P(x) - для всех x верно P(x)

∃ - существует.
пример: (∃x),P(x) - существуют x длякоторых P(x)

чтобы быть классным надо их называть по именам. Первое - квантор всеобщности, второе - квантор существования



зы. нагуглил интересную табличку ссылка