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.  дом-план

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

книга-текст

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

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


 

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

20333. Художественные течения в Западной Европе и в России конца XIX- начала XX века 199.5 KB
  В это время еще жили и работали крупнейшие мастера и преобразователи европейского искусства XIX в. Бельгийский живописец и скульптор Константин Менье 1831 1905 обращаясь к теме рабочего класса и выдвигая ее на передний план искусства осознает значимость труда рабочих и трагическую участь трудового человека. Они сделали попытку романтического бегства от действительности в царство красоты в изображение высших потусторонних сущностей и идеализированное невозвратное прошлое Мир искусства и др. Многие в своих экспериментах по...
20334. Античный театр 435.5 KB
  Поэтому драматическая поэзия все без исключения трагедии и комедии в Греции писались стихами смогла отодвинуть на второй план другие литературные жанры и на целый век стать жанром господствующим. Давали обязательно три трагедии и одну сатировскую драму т. Если эпоха архаики наиболее плотно выразила себя в лирике то классическая Греция проявила себя в аттической трагедии жанре в наибольшей степени отвечающем духу античной культуры. В греческой трагедии нашла выражение такая эстетическая категория как катарсис то есть очищение...
20335. АКТУАЛЬНОСТЬ И ПРОБЛЕМАТИЧНОСТЬ ИССЛЕДОВАНИЯ ТЕХНИКИ. ОБЩИЕ ЗАДАЧИ, МЕТОДОЛОГИЧЕСКИЕ И ИДЕЙНЫЕ ОСНОВЫ ФИЛОСОФИИ ТЕХНИКИ. ФИЛОСОФИЯ ТЕХНИКИ В ВЫСШЕМ УЧЕБНОМ ЗАВЕДЕНИИ 54 KB
  ОБЩИЕ ЗАДАЧИ МЕТОДОЛОГИЧЕСКИЕ И ИДЕЙНЫЕ ОСНОВЫ ФИЛОСОФИИ ТЕХНИКИ. ФИЛОСОФИЯ ТЕХНИКИ В ВЫСШЕМ УЧЕБНОМ ЗАВЕДЕНИИ. Причины современного повышенного акцентированного внимания к феномену техники.
20336. ПОНЯТИЙНЫЕ ОСНОВЫ ФИЛОСОФИИ ТЕХНИКИ. ПРОБЛЕМА ОБЪЕДИНЯЮЩЕГО ПОНИМАНИЯ ТЕХНИКИ. УЗКОЕ И ШИРОКОЕ ПОНИМАНИЕ ТЕХНИКИ И ФИЛОСОФИИ ТЕХНИКИ. ПРОБЛЕМА ФУНКЦИЙ ТЕХНИКИ И ОБЪЕКТА ТЕХНИЧЕСКИХ ИЗМЕНЕНИЙ. ОБЪЕДИНЯЮЩЕЕ ПОНИМАНИЕ ТЕХНИКИ 72 KB
  ПРОБЛЕМА ОБЪЕДИНЯЮЩЕГО ПОНИМАНИЯ ТЕХНИКИ. УЗКОЕ И ШИРОКОЕ ПОНИМАНИЕ ТЕХНИКИ И ФИЛОСОФИИ ТЕХНИКИ. ПРОБЛЕМА ФУНКЦИЙ ТЕХНИКИ И ОБЪЕКТА ТЕХНИЧЕСКИХ ИЗМЕНЕНИЙ.
20337. ПОНЯТИЙНЫЕ ОСНОВЫ ФИЛОСОФИИ ТЕХНИКИ. ОПРЕДЕЛЕНИЕ ТЕХНОЛОГИИ. ТЕХНИЧЕСКИЙ ИЛИ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ? ОПРЕДЕЛЕНИЕ ТЕХНОСФЕРЫ. ОБЪЕКТ И ПРЕДМЕТ ФИЛОСОФИИ ТЕХНИКИ 65.5 KB
  ОБЪЕКТ И ПРЕДМЕТ ФИЛОСОФИИ ТЕХНИКИ. Философия техники или философия технологии Технический или технологический университет Философия техники как философия техносферы. Объект и предмет философии техники.
20338. Объективная и субъективная диалектика. Теоретическое и обыденное сознание и диалектика. Софистика, эклектика, релятивизм и диалектика 62.5 KB
  Но поскольку человек только часть бесконечного объективного мира то это богатство именно относительно. Беднее поскольку отражение объективного в субъективной форме не есть тождественное отражение. Ее всеобщность уже была Вам представлена поскольку изложение начальных вопросов философии ее предмета основных философских направлений не обошлось без диалектики например практически вечная борьба в философии материализма и объективного идеализма. релятивизме относительности даже полном релятивизме когда на каждое да возможно нет...
20339. ФИЛОСОФИЯ И МИРОВОЗЗРЕНИЕ. РАЗДЕЛЫ ФИЛОСОФСКОГО ЗНАНИЯ. ФУНКЦИИ ФИЛОСОФИИ В ДУХОВНОЙ КУЛЬТУРЕ ЧЕЛОВЕКА И ЧЕЛОВЕЧЕСТВА 43 KB
  ФУНКЦИИ ФИЛОСОФИИ В ДУХОВНОЙ КУЛЬТУРЕ ЧЕЛОВЕКА И ЧЕЛОВЕЧЕСТВА. Какой из возможных видов сравнения взять за начало Сравнение философии с другими видами мировоззрений. Это позволит с одной стороны показать специфику философии на фоне других мировоззрений с другой стороны выйти на разделы философского знания. Темы раздела: диалектика противоположности законы диалектики качество количество Вопросы: отличие диалектики от метафизики специфика диалектического снятия История философии собрание всей мудрости.
20340. СОЦИАЛЬНО-ИСТОРИЧЕСКИЕ УСЛОВИЯ И ПРЕДПОСЫЛКИ ВОЗНИКНОВЕНИЯ ФИЛОСОФИИ. ОСНОВНЫЕ ЭТАПЫ РАЗВИТИЯ ФИЛОСОФСКОЙ КУЛЬТУРЫ 50 KB
  Социальноисторические условия и предпосылки возникновения философии. Необходимым условием возникновения философии выступает рост производительных сил общва техники трудовых умений и знаний. Из истории вы должны знать какие причины видят в основании греческого чуда которое в частности привело к возникновению философии.
20341. ОБЩАЯ ХАРАКТЕРИСТИКА ИСТОРИЧЕСКИХ ЭТАПОВ ВЗАИМООТНОШЕНИЯ ФИЛОСОФИИ И НАУКИ. СОВРЕМЕННОЕ ПОНИМАНИЕ ФИЛОСОФИИ КАК НАУКИ, ЕЕ МЕСТА В СИСТЕМЕ НАУЧНОГО ЗНАНИЯ. НАУКА, ФИЛОСОФИЯ, ЦЕННОСТЬ 44 KB
  СОВРЕМЕННОЕ ПОНИМАНИЕ ФИЛОСОФИИ КАК НАУКИ ЕЕ МЕСТА В СИСТЕМЕ НАУЧНОГО ЗНАНИЯ. Наука в это время в целом входит в лоно философии. Одни социальноэкономические условия способствовали появлению философии и науки атмосфера демократии возможность существования теоретического абстрактного знания.