русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Специальные бинарные отношения


Дата добавления: 2015-07-23; просмотров: 1172; Нарушение авторских прав


1. Доказать, что если отношения r1 и r2 рефлексивны, то рефлексивны и отношения:

r1 È r2, r1 Ç r2, r1-1, r1 · r2.

2. Доказать, что если r1 и r2 иррефлексивны, то иррефлексивны и отношения

r1 È r2, r1 Ç r2, r1-1. Показать, что композиция r1 · r2 иррефлексивных отношений может не быть иррефлексивной.

3. Доказать, что если r1 и r2 симметричны, то симметричны и отношения

r1 È r2, r1 Ç r2, r1-1, r1 · r1-1.

4. Доказать, что композиция r1 · r2 симметричных отношений симметрична тогда и только тогда, когда r1 · r2 = r2 · r1.

5. Доказать, что

5.1. если отношения r1 и r2 антисимметричны, то антисимметричны также r1 Ç r2 и r1-1;

5.2. объединение r1 È r2 антисимметричных отношений антисимметрично тогда и только тогда, когда r1 Ç r2-1 Í iA.

6. Построить бинарное отношение

6.1. рефлексивное, симметричное, не транзитивное;

6.2. рефлексивное, антисимметричное, не транзитивное;

6.3. рефлексивное, транзитивное, не симметричное;

6.4. антисимметричное, транзитивное, не рефлексивное;

6.5. симметричное, транзитивное, не рефлексивное.

7. Доказать, что если r есть транзитивное и симметричное отношение на А

и dom r È rng r=А, то r есть эквивалентность на А.

8. Доказать, что любое отношение на А, симметричное и антисимметричное одновременно, является транзитивным.

9. Доказать, что отношение r на множестве А является одновременно

эквивалентностью и частичным порядком в том и только в том случае, когда r=iA.

10. Пусть rÍА2. Доказать, что r есть эквивалентность Û (r · r-1) È iA = r

ª r - эквивалентность Þ r-1 = r, r · r= r, iA Í r. Следовательно, (r · r-1) È iA Í r. Обратно,

r · r-1 симметрично для любого r. Поэтому r также симметрично и r · r= r · r-1 Í r. Следовательно, r симметрично, транзитивно и рефлексивно, т.е. r - эквивалентность. §



11. Доказать, что объединение r1 È r2 эквивалентностей r1 и r2 является эквивалентностью тогда и только тогда, когда r1 È r2 = r1 · r2.

ª Пусть r1 È r2 - эквивалентность. Тогда r1 · r2 Í( r1 È r2) ·(r1 È r2) Í r1 È r2, r1 È r2=

(r1 ·iA) È (iA · r2) Í r1 · r2. Обратно, пусть r1 È r2 = r1 · r2 . Тогда r2 · r1= r2-1 · r1-1. Тогда

r2 · r1 = r2-1 · r1-1 = (r1 · r2)-1 = =(r1 È r2)-1= r1 È r2. (r1 Èr2) · (r1 È r2)=

(r1 · r1) È(r2 ·r1) È(r1 · r2) È (r2 · r2) Í r1 È r2, т.е. r1 Èr2 транзитивно. Симметричность и рефлексивность r1 È r2 очевидны. §

12. Доказать, что композиция двух эквивалентностей r1 · r2 является эквивалентностью тогда и только тогда, когда r1 · r2=r2 ·r1.

 



<== предыдущая лекция | следующая лекция ==>
Отношения и функции | Мощность множества


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.603 сек.