|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
15.10.2011, 01:38 | #1 |
C++ hater
СтарожилДжуниор
Регистрация: 19.07.2009
Сообщений: 3,333
|
Бинарное отношение, дискретка
Небольшой вопрос.
задано бинарное отношение R = a - b > 3 на множестве натуральных чисел. Необходимо выяснить, является ли оно антисимметричным. из определения антисимметричности имеем: aRb ^ bRa ==> a = b. но a - a = 0, 0 !> 3, получается, что отношение не антисимметрично. но теорема об антисимметричности гласит, что если пересечение R и R^(-1) является подмножеством диагонали множества натуральных чисел, то отношение антисимметрично в моем случае как раз пустое множество является подмножеством любого множества, в том числе и диагонали. как в данном случае нужно правильно доказать антисимметричность? спасибо.
I invented the term Object-Oriented, and I can tell you I did not have C++ in mind. (c)Alan Kay
My other car is cdr. Q: Whats the object-oriented way to become wealthy? A: Inheritance Последний раз редактировалось pproger; 15.10.2011 в 01:41. |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
Ваше отношение к Луркоморью | rpy3uH | Свободное общение | 64 | 19.09.2011 14:58 |
дискретка и сишарп | иваневрейтор | C# (си шарп) | 3 | 25.03.2011 21:28 |
Дискретка | Снс | Помощь студентам | 0 | 29.09.2010 11:48 |
дискретка | elka | Помощь студентам | 0 | 25.01.2010 22:08 |
Ваше отношение к флешмобам? | Роман Радер | Свободное общение | 7 | 19.03.2009 11:39 |