67594

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

Лекция

Математика и математический анализ

Примеры. «=» на множестве целых (действительных) чисел – отношение эквивалентности. Отношение геометрического подобия на множестве треугольников – отношение эквивалентности. Сравнимость по модулю 2 (или n) отношение эквивалентности на множестве целых чисел. Отношение принадлежности к одной группе...

Русский

2014-09-12

115 KB

6 чел.

Лекция №3

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

В данном разделе рассматриваются отношения элементов одного и того же множества X.

Определение. Отношение на множестве X называется рефлексивным, если для любого  выполняется . (=,≤,≥,)

Определение. Отношение на множестве X называется антирефлексивным, если  не выполняется ни для какого . (≠,<,>,)

Определение. Отношение на множестве X называется симметричным, если  для любых . (=,≠)

Определение. Отношение на множестве X называется антисимметричным, если для любых x,yX из xy и yx  x=y. (≤,≥,)

Определение. Отношение на множестве X называется строго антисимметричным, если для любых x,yX из <x,y>  <y,x>. (<,>,)

Определение. Отношение на множестве X называется транзитивным, если для любых .  (=,≤,≥,,<,>,), не транз. ()

Определение. Рефлексивное, симметричное и транзитивное отношение на множестве X называется отношением эквивалентности на множестве X.

Примеры. ||

1. «=» на множестве целых (действительных) чисел – отношение эквивалентности.

2. Отношение геометрического подобия на множестве треугольников – отношение эквивалентности.

3. Сравнимость по модулю 2 (или n) отношение эквивалентности на множестве целых чисел.

4. Отношение принадлежности к одной группе студентов – отношение эквивалентности на множестве всех студентов.

5. Отношение «<» не рефлексивно, не симметрично, но транзитивно.

Определение. Классом эквивалентности, порожденным элементом xX, называется подмножество множества X, состоящее из таких элементов yX, для которых xy. Обозначение: [x]. Т.е. [x]={yX | xy}.

Примеры.

1. Отношение равенства: xZ  [x]={x}, т.е. каждый класс эквивалентности состоит из одного элемента – числа x.

2. Отношение сравнимости по модулю n: [x]={x+kn, kZ}.

3. Отношение принадлежности к одной группе студентов: класс эквивалентности – группа.

Определение. Разбиением множества X называется совокупность попарно не пересекающихся подмножеств X, таких, что каждый элемент множества X  одному и только одному из этих подмножеств.

Примеры. 

1. . Разбиение:.

2. Разбиением множества студентов института может быть совокупность групп.

Утверждение. Всякое разбиение множества X определяет на X следующее отношение эквивалентности :

xy тогда и только тогда, когда x и y принадлежат одному подмножеству разбиения.

Утверждение. Всякое отношение эквивалентности  определяет разбиение множества X на классы эквивалентности.

Справедливость утверждений очевидна.

Определение. Совокупность классов эквивалентности элементов любого множества X по отношению эквивалентности  называется фактор-множеством множества X по отношению  и обозначается  X/.

Пример. Множество студенческих групп данного вуза является фактор-множеством множества студентов вуза по отношению принадлежности к одной группе.

Определение. Рефлексивное, антисимметричное и транзитивное отношение называется отношением нестрогого частичного порядка на множестве X 

Обозначение  (предшествовать).

Примеры  

Отношения x  y, A  B, подчиненность должностей – отношения частичного порядка на соответствующих множествах.

Определение. Антирефлексивное, строго антисимметричное и транзитивное отношение называется отношением строгого частичного порядка на множестве X 

Обозначение  (строго предшествовать, т.е. одновременно  и ).

Примеры.  

Отношения x < y, A  B – отношения строгого частичного порядка на соответствующих множествах.

Определение. Отношение частичного порядка на множестве X, для которого два элемента сравнимы (т.е. x, y  X   xy либо yx) называется отношением линейного порядка (строгого или нестрогого).

Пример  

1. Отношение x  y – отношение линейного порядка на множестве действительных чисел.

2. A  B таковым не является.

3. Как можно задать отношение частичного порядка на множестве XX? Определим отношение Парето

,

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

В качестве примера рассмотрим подмножество целых чисел и в качестве - отношение . К множеству Парето принадлежат те пары <x1,x2>, для которых справедливы не существует таких пар <x3,x4>, что x1x3 и x2x4.

Определение. Говорят, что элемент y покрывает элемент x, если xy и не существует такого элемента u, что xuy.

Любое частично упорядоченное множество можно представить в виде диаграммы Хассе. Если y покрывает x, то две точки, соответствующие этим элементам, соединяют отрезком, причем x располагают ниже y.

xy                

Пример.  Отношение «быть подмножеством». Пусть  A{1,2,3}

B(A) = {, {1}, {2}, {3}, {1,2}, {1,3}, {2,3},{1,2,3}}

2. X = {1,2,3,5,6,10,15,30}

Отношение:  y делится на x

       

3. X = {1,2,3,4,5,6,7,8}

Отношение линейного порядка: x<y.

Определение. Два частично упорядоченных множества X и Y называются изоморфными, если существует биективная функция сохраняющая отношение частичного порядка. ||

Т.е

Задания.

1. Привести примеры отношений:

– не рефлексивного, но симметричного и транзитивного (позвонить по телефону, быть родственником);

– не симметричного, но рефлексивного и транзитивного (делимость нацело одного числа на другое, );

– не транзитивного, но рефлексивного и симметричного (принадлежать одному множеству или обществу, AB);

– не симметричного, не транзитивного, но рефлексивного (знать (узнавать) кого-то);

– не рефлексивного, не симметричного, но транзитивного (<,>);

– не рефлексивного, не транзитивного, но симметричного ();

2. Рассмотрим отношения (на множестве прямых на плоскости):

– параллельности прямых;

– перпендикулярности прямых.

Определить свойства этих отношений. Изменятся ли эти свойства, если рассмотреть прямые в пространстве? Плоскости в пространстве?

ЗАДАЧИ

  1.  В отношении большой-маленький не находятся понятия

  1.  высокий-низкий

глубокий-мелкий

широкий-узкий

долгий-короткий

высокий-мелкий

  1.  В отношении целое-часть не находятся понятия

  1.  год-месяц

квартира-комната

отец-ребенок

страна-губерния

школа-класс

  1.  В отношении общее-частное не находятся понятия

  1.  мебель-стол

время-час

устройство-часы

магазин-товар

человечество-личность

  1.  В отношении процесс-результат не находятся понятия

  1.  строительство-дом

созревание-плод

движение-цель

обучение-квалификация

строительство-стройка

  1.  В отношении объект-модель не находятся понятия

  1.  одежда-выкройка

движение-законы Ньютона

лампа-свет

класс-список учеников

жизнь человека-биография

  1.  В отношении большой-маленький не находятся понятия

  1.  Далекий-близкий
  2.  Взрослый-ребенок
  3.  Полный-худой
  4.  богатый-бедный
  5.  век-миг

  1.  В отношении целое-часть не находятся понятия

  1.  учебник-раздел

ружье-приклад

комната-мебель

кошка-хвост

стадион-трибуна

  1.  В отношении общее-частное не находятся понятия

  1.  самолет-Боинг

лекарство-аспирин

механизм-весы

книжный шкаф-книга

болезнь-ангина

  1.  В отношении процесс-результат не находятся понятия

  1.  разбег-прыжок

питание-энергия

познание-истина

обучение-аттестат

взлет-посадка

  1.  В отношении объект-модель не находятся понятия

  1.  дом-план

микромир-квантовая механика

книга-текст

знания-оценка

предмет-тень


 

А также другие работы, которые могут Вас заинтересовать

39081. Управление процессами. Команды nice, nohup, kill, killall. Оболочка Moodle; архитектура, возможности 28.47 KB
  По мнению большинства исследователей занимающихся проблемами дистанционного обучения под последним следует понимать новую форму обучения базирующуюся на применении широкого спектра традиционных и новых информационных технологий а также технических средств которые используются для доставки учебного материала его самостоятельного изучения диалогового обмена между обучающимися и преподавателями и которая в общем случае некритична к их расположению в пространстве и контакту во времени. Вместе с тем эта новая специфическая форма обучения...
39082. Медиаобразовательная среда в контексте педагогического проектирования. Классификация и краткое описание средств организации электронного обучения 27.65 KB
  Ршгд Во всем многообразии средств организации электронного обучения можно выделить следующие группы: авторские программные продукты uthoring Pckges системы управления контентом Content Mngement Systems CMS системы управления обучением Lerning Mngement Systems LMS системы управления учебным контентом Lerning Content Mngement Systems LCMS Авторские программные продукты uthoring Pckges. Системы управления контентом CMS. Системы управления контентом позволяют создавать каталоги графических звуковых аудио...
39083. Навигация по файловой системе. Работа с файлами и каталогами Linux. Создание папки для хранения данных СДО Moodle 89.91 KB
  С этим можно согласиться но при одном условии дистанционное обучение должно быть построено с необходимым и достаточным уровнем качества обучения. В сфере образования под качеством обучения подразумевается соответствие знаний и умений выпускников учебного заведения требованиям предъявляемым со стороны рынка труда. Вторая модель управления качеством образования основана на контроле не только знаний обучаемых но и процессов обучения их организации и применяемых средств.
39084. Настройка сети Debian Linux. Серверная структура СДО Moodle 44.99 KB
  Интерфейс СДО Moodle. Серверная структура СДО Moodle. Формы контроля знаний в системе дистанционного обучения Moodle. Система дистанционного обучения Moodle обладает интуитивно понятным интерфейсом.
39085. Понятие инструментальной системы для создания курсов ДОТ, преимущества и классификация. Описание структуры файловой системы Linux 21.75 KB
  Понятие инструментальной системы для создания курсов ДОТ преимущества и классификация. Инструментальные системы для создания курсов ДО ориентированы на пользователей тьюторов разработчиков курсов ДО. Преимущества инструментальных систем: существенно снижается время на разработку курсов; снижаются общие затраты организации на разработку и использование курсов ДО; обеспечивается современный уровень функциональных и коммуникационных возможностей и пользовательского графического интерфейса курсов; исключаются многие ошибки начинающих...
39086. Распределение прав доступа в Linux. Системные требования для развертывания СДО Moodle 27.66 KB
  Системные требования для развертывания СДО Moodle. Количество пользователей которые смогут пользоваться Moodle может быть ограничено производительностью сервера. Большинство предпочитают вебсервер pche но Moodle будет хорошо работать и с любым другим вебсервером который поддерживает PHP например IIS под Windows. Язык сценариев PHP обратите внимание что есть особенности установки Moodle с PHPccelertor.
39087. Дистанционные образовательные технологии: история и развитие в России. Учётные записи в Linux 45.52 KB
  А также необходимостью современной педагогики дать ответ на запрос общества по выработке новых педагогических средств обучения и воспитания в новой культурноинформационной среде. Глобальные изменения в информационнокультурной среде мы относим к макрофакторам способствующим появлению электронного обучения. Мезофакторами определяющими развитие электронного обучения являются современные философские культурологические психологические и педагогические теории отражающие современные реалии культуры.
39088. Алгоритм и программа генерации ключевой информации 1.65 MB
  Настоящая работа посвящена в первую очередь ГПСП, ориентированным на использование в системах защиты информации от случайных и умышленных деструктивных воздействий. Вначале рассматриваются общие принципы проектирования непредсказуемых ГПСП, требования к таким устройствам, описываются основные строительные блоки, используемые при их создании.
39089. Отраслевой резервноинвестиционный фонд развития энергетики ГКД 34. 273.78 KB
  Пересчет характеристик газообразного топлива Приложение В. Пересчет характеристик топлива Приложение Г. Состав и характеристики разных видов органического топлива Приложение Д.