Курсовая работа: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ

Содержание
Введение
. «Математическая структура» как одно из ведущих понятий математики
.1 Ведущее понятие как основа для обобщающего повторения школьного курса математики
. Бинарное отношение - основные определения
2.1 Примеры алгебраических бинарных отношений
2.2 Примеры бинарных отношений из курса геометрии
. Обобщающее повторение. Проектная деятельность
Список использованных источников


Дата добавления на сайт: 27 февраля 2025
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
Кафедра функционального анализа и алгебры

КУРСОВАЯ РАБОТА
Бинарные отношения в алгебре и геометрии

Работу выполнила
Доронина Л.С.

Краснодар 2014
Содержание

Введение
. «Математическая структура» как одно из ведущих понятий математики
.1 Ведущее понятие как основа для обобщающего повторения школьного курса математики
. Бинарное отношение - основные определения
2.1 Примеры алгебраических бинарных отношений
2.2 Примеры бинарных отношений из курса геометрии
. Обобщающее повторение. Проектная деятельность
Список использованных источников

Введение

Объекты в математике, имеющие определенные свойства, образуют множества с заданными на них операциями. В свою очередь, объекты на множестве связывают некоторые отношения. Данные отношения должны удовлетворять некоторым условиям, являющимися их свойствами.
Отношения по своей природе могут быть весьма разнообразными. Отношения в групповых структурах называются законами композиции, это такое отношение между двумя элементами, которое определяет однозначно третий элемент как функцию двух переменных. Соответствующая структура называется алгебраической структурой. Другой тип структуры определен отношением порядка.
В данной работе будит рассматриваться бинарные отношения на примерах из алгебры и геометрии. Работа состоит из четырех разделов. Первый раздел рассказывает об истории возникновения понятия «математическая структура». Второй раздел описывает основные понятия, которые встречаются в работе. В третьем разделе рассмотрены примеры бинарных отношений из школьного курса алгебры. В четвертом разделе описаны примеры бинарных отношений из школьного курса геометрии.

1. «Математическая структура» как одно из ведущих понятий математики

Одним из подходов к определению математики является системно-структурный подход. Такой подход к объектам исследования связан с переходом от конкретной содержательной аксиоматики к аксиоматике сначала абстрактной, а затем полностью формализованной. В конкретной содержательной аксиоматике, подобной аксиоматике Евклида, исходные понятия и аксиомы в качестве интерпретации имеют единственную систему хотя и идеализированных, но конкретных объектов. В противоположность этому абстрактная аксиоматика допускает бесчисленное множество интерпретаций. Формализованная аксиоматика характеризуется точным заданием правил вывода и вместо содержательных рассуждений использует язык символов и формул. Тогда одни и те же аксиомы могут описывать свойства и отношения самых различных по своему конкретному содержанию объектов.
Эта фундаментальная идея лежит в основе понятия математической структуры. Большой вклад в систематизацию современной математики на базе основных математических структур внесла работа группы французских математиков (А. Вейль, Л. Шварц, К. Шевалье, А. Картан, С. Эйленберг и др.), выступавших под псевдонимом Н. Бурбаки.
В основу своей систематизации Н. Бурбаки положили аксиоматический метод, теорию множеств и понятие математической структуры: «Общей чертой различных понятий, объединенных этим родовым понятием, является то, что они применимы к множеству элементов, природа которых не определена. Чтобы определить структуру, задают одно или несколько отношений, в которых находятся его элементы; затем постулируют, что данное отношение или данные отношения удовлетворяют некоторым условиям (которые перечисляют и которые являются аксиомами рассматриваемой структуры)».
Таким образом, математика изучает только те свойства структур, которые вытекают из принятой системы аксиом. В соответствии с положениями Н. Бурбаки структуры подразделяются на три основных типа: алгебраические, порядковые и топологические.
По мнению ряда крупных математиков, понимание математической структуры Н. Бурбаки слишком узко. Например, в классификации Н. Бурбаки отсутствуют комбинаторные структуры, являющиеся основой конструктивного подхода в математике. По словам Б.В. Гнеденко, «выявилось стремление переместить центр интересов и представлений с понятий математики непрерывного в так называемую конечную математику» [3, с.60].
Также в системе Н. Бурбаки нет места для наглядно-геометрических структур, геометрических образов. Один из членов группы Н. Бурбаки - Ж. Дьедонне - намеренно показал в своей книге «Линейная алгебра и элементарная геометрия» пример изложения курса без единого чертежа. Очевидно, что такой односторонний подход сильно обедняет математическую науку. Так, например, Ю.И. Манин отмечает: «Пространства функций в большинстве случаев бесконечномерны, но возможность направленно воспитать, а затем применить развитую конечномерную (даже трехмерную) интуицию, оказалась исключительно плодотворным открытием» [9].
Следовательно, необходим более широкий подход к пониманию математической структуры. В частности, Л.Д. Кудрявцев предложил включить в понятие математических структур структуры, являющиеся математическими моделями реальных явлений (то есть структуры, образующиеся в теории информации, теории операций, теории случайных процессов и т.д.).
В работе В.А. Тестова предложено толкование математической структуры, на основе социокультурного системного подхода: «под математической структурой можно понимать совокупность устойчивых связей, обеспечивающих целостность математического объекта (математической системы, математической модели). Эта совокупность устойчивых связей математического объекта может быть задана различными способами (аксиоматически, конструктивно, описательно, в виде наглядных образов)» [12, с.25].
Таким образом, математические структуры в понимании Н. Бурбаки, являются лишь частным случаем более широкого толкования этого термина, данного современными авторами. Эти структуры, по выражению французского математика Р. Тома, называются стандартными. Следовательно, к стандартным структурам мы относим алгебраические, порядковые и топологические структуры.
Алгебраические структуры. Примерами таких структур являются группы, кольца, поля, векторные пространства и т.д. Основные характеристики алгебраической структуры: задание на некотором множестве БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 1) конечного числа внутренних и внешних операций с соответствующими свойствами - аксиомами алгебраической структуры. В качестве элементов множества БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 2) могут выступать объекты любой природы.
Порядковые структуры. Они характеризуются тем, что на множестве объектов задается отношение между двумя элементами, которое мы чаще всего выражаем словами «меньше или равно». Это отношение обладает свойствами рефлексивности, транзитивности и антисимметричности. Изучение общих свойств различных упорядоченных множеств привело к возникновению таких абстрактных порядковых структур как цепи, вполне упорядоченные множества, решетки, булевы алгебры и т.д.
Топологические структуры. Множество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 3) обладает топологической структурой, если каждому его элементу тем или иным способом отнесено семейство подмножеств из БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 4), называемых окрестностями этого элемента, причем эти окрестности должны удовлетворять определенным аксиомам (аксиомам топологической структуры). С помощью топологических структур точно определяются такие понятия, как окрестность, предел, непрерывность.
Как показали данные психологических исследований, проведенных школой Ж. Пиаже, психологические математические структуры, образующиеся в сознании ребенка, полностью соответствуют основным типам математических структур. Таким образом, была установлена аналогия между «архитектурой» математики как науки и «архитектурой» развивающегося мышления. Алгебраические структуры, а именно группы, по мнению Ж. Пиаже [10], соответствуют операторным механизмам ума, подчиненным форме обратимости, которую Ж. Пиаже называет инверсией, то есть такой, что произведение операции на обратную есть тождественная операция. Понятие об алгебраических структурах начинает формироваться у ребенка на стадии конкретных операций (с 7 до 11-12 лет). Но к изучению понятия группы можно приступать только на стадии формальных операций не ранее 14-15 лет с накопления и обобщения отдельных свойств алгебраических операций. Понятие же абстрактной группы намного более общее и изучаться должно значительно позднее.
В связи с этим многие математики считают, что задачей математического образования является развитие структур мышления, познание посредством этого развития структур математических, а значит и математики как таковой. Ряд идей о реформе математического образования был высказан еще Ф. Клейном в Эрлангенской (1872 г.), а затем в Меранской программе (1906 г.), в частности, им на первое место были выдвинуты понятие группы и идея преобразований.

1.1 Ведущее понятие как основа для обобщающего повторения школьного курса математики

Выделение ведущего понятия повлечет за собой упорядочение блока учебного материала. Многие факты, которые ранее рассматривались как изолированные, окажутся проявлениями одной общей идеи, а это будет способствовать более глубокому пониманию и усвоению курса. В работах В.А. Далингера говорится, что «ведущими понятиями мы будем считать те, которые удовлетворяют следующим критериям. Они должны:
формировать у учащихся научное мировоззрение;
значительно чаще других понятий служить средством изучения различных вопросов математики;
активно работать на протяжении большого промежутка времени;
способствовать наиболее полной реализации внутрипредметных связей, а, в конечном счете, и межпредметных;
иметь прикладную и практическую направленность».
Совершенно очевидно, что идея алгебраической структуры пронизывает весь курс школьной математики: школьники изучают числовые множества и свойства операций на них введенных (сложение, умножение, вычитание, деление), учатся работать с многочленами или векторами (операция сложения), в старших классах знакомятся с геометрическими преобразованиями (операция композиции). На самом деле все подготовлено для того, чтобы выполнить последний шаг - свести в единое целое весь изученный материал и увидеть общую основу. Оказывается, природа элементов изучаемых множеств (чисел, векторов, многочленов, преобразований) не имела значения, важен был набор свойств операции, введенной на данном множестве.
В качестве другой иллюстрации отметим, что понятие порядковой структуры также имеет немаловажное значение для школьного курса математики. Это ведущее понятие связано с одним из самых общих понятий математики - понятием соответствия (а также бинарного отношения). Важнейшие бинарные отношения и соответствия - это эквивалентности, порядки и функциональные соответствия. В геометрии примером отношения эквивалентности является понятие параллельности, определенном на множестве прямых плоскости. Классы этой эквивалентности представляют собой пучки параллельных прямых. На множестве векторов понятие эквивалентности (свободный вектор) иногда подменяется понятием равенства, что может повлечь трудности методического характера при изучении темы. Заметим, что, работая со свободным вектором, школьник имеет дело с представителем класса фактор-множества векторов плоскости. Вне математики отношения эквивалентности также играют очень большую роль: они возникают всякий раз, когда нам приходится проводить классификацию объектов той или иной природы.
С отношением порядка мы встречаемся каждый раз, когда сравниваем действительные числа по величине, людей по старшинству и т.д. В школьном курсе примерами таких отношений служат отношения «делится нацело», «делит», «меньше или равно».
Третий тип бинарных отношений, важность которого для школьного курса математики переоценить трудно, - функциональные отношения.
Приведенные нами примеры показывают необходимость разработки специальной технологии обобщения и систематизации на основе ведущей идеи, позволяющей в определенные моменты изучения курса математики в школе включать в процесс обучения уроки (цикл уроков, факультативный курс) обобщающего повторения.

2. Бинарное отношение - основные определения

Наиболее важными в алгебре и, следовательно, наиболее исследованными являются бинарные операции. Примерами таких операций могут служить сложение и умножение чисел, сложение и умножение матриц, сложение векторов в векторном линейном пространстве.
Если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 5) является подмножеством БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 6) можно сказать, что эти два множества находятся в некотором отношении друг с другом. В дальнейшем, мы будем изучать подобные отношения. Но сначала надо уточнить понятие отношения так, чтобы оно могло стать предметом математического исследования.
Прежде всего, договоримся читать запись БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 7) словами «а находится в отношении БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 8) с БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 9)», и тогда естественным образом приходим к тому, чтобы рассматриваемое отношение назвать отношением БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 10).
Рассмотрим понятие «отношение» в общем случае. Пусть БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 11) - некоторое непустое множество. Декартовым квадратом множества БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 12) назовем множество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 13) (или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 14)), элементами которого являются всевозможные упорядоченные пары БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 15), где БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 16) пробегают множество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 17). Если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 18) - подмножество множества БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 19), то будем говорить, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 20) является отношением на множестве БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 21).
Сформулируем определение бинарного отношения.
Для любых двух множеств БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 22) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 23) всякое подмножество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 24) называется бинарным отношением между БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 25) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 26).
Бинарные отношения БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 27) на множестве БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 28) обладают следующими свойствами:
)рефлексивность БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 29);
)симметричность БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 30);
)антисимметричность: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 31) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 32) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 33) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 34)БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 35); (или если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 36) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 37));
)транзитивность БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 38) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 39).
Бинарное отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 40) на множестве БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 41) называется отношением порядка, если имеют место следующие свойства:
)рефлексивность:БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 42) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 43);
)антисимметричность: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 44) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 45) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 46) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 47)БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 48);
)транзитивность: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 49) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 50) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 51) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 52)БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 53).
Интересна геометрическая интерпретация свойств бинарных отношений на числовых множествах. Например, бинарное отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 54) будет рефлексивным, если подмножество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 55) множества БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 56) будет содержать биссектрису 1 и 3 координатного угла декартова квадрата БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 57). В качестве примера можно привести два отношения БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 58) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 59) на множестве R. Отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 60) не является рефлексивным, поскольку неравенство строгое и условие БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 61) не выполнится ни при каких значениях х на множестве R. А вот отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 62) уже будет обладать свойством рефлексивности, так как неравенство БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 63) истинное и биссектриса БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 64) принадлежит подмножеству БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 65).
Бинарное отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 66)обладает свойством симметричности, если элементы БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 67) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 68) одновременно принадлежат подмножеству БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 69), то естьБИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 70). Данное свойство на множестве N присуще бинарному отношению БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 71), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 72) поскольку на данном множестве нет отрицательных чисел.
Бинарное отношениеБИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 73) будет транзитивно, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 74) иБИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 75). Геометрически можно заметить, что точки БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 76), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 77), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 78), а также (y,y) являются вершинами некоторого прямоугольника.
Бинарное отношениеБИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 79) будет транзитивно, когда все вершины этого прямоугольника, принадлежат подмножеству БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 80).
Бинарное отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 81) является антисимметричным, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 82) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 83). Данное свойство выполняется, когда точка с координатами БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 84)принадлежит подмножеству БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 85), а точка с координатами БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 86) не принадлежит подмножеству БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 87).
Бинарные отношения можно рассматривать на самых различных множествах. Приведем некоторые примеры отношений из алгебры и геометрии.

2.1 Примеры алгебраических бинарных отношений

Пример 2.1.1.
Для действительных чисел будем исследовать свойства бинарных отношений в том случае, когда отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 88) задается следующим образом:

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 89) R БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 90).

Проверим свойства:
)Рефлексивность будет выполняться, поскольку БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 91) для любого БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 92) R.
)Данное отношение не будет антисимметрично, поскольку если мы возьмем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 93) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 94), то мы получим
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 95) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 96) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 97) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 98) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 99).
Проверим выполнение условия в случаи, когда БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 100) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 101)
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 102) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 103) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 104)
Получили, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 105), но при этом БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 106). Отсюда следует, что данное подмножество не антисимметрично.
3)Проверим транзитивность, тогда должно выполняться следующее условие:

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 107) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 108) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 109).

Оно, очевидно, будет выполняться для любых элементов из множества R.
) Проверим симметричность на конкретном примере. Предположим БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 110) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 111).
Тогда получаем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 112). Проверим вторую часть свойства: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 113), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 114) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 115)БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 116). Данное неравенство неверно, откуда мы делаем вывод, что данное отношение не является симметричным.
Пример 2.1.2.
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 117) - неотрицательные целые числа, определенные отношением БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 118)
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 119)
) Проверим рефлексивность. БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 120). Очевидно, что каждое неотрицательное число будет делиться само на себя. Проверим, выполняется ли БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 121). Рассмотрим обозначение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 122) как БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 123). Тогда, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 124), получаем, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 125). Очевидно, что при умножении любого числа на 0 мы получим 0, а значит, свойство рефлексивности выполняется для любого элемента.
) Проверяем симметричность. Должно выполняться следующее условие:
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 126), значит БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 127). Запишем посылку и заключение следующим образом: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 128) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 129). Подставляем значение а в первое уравнение. Получаем: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 130) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 131). В множестве БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 132) мы не найдем двух различных чисел БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 133) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 134), таких, чтобы их произведение давало 1, следовательно, данное отношение не симметрично.
) Проверяем транзитивность.
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 135) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 136). Это означает следующее: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 137) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 138). Распишем подробно: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 139) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 140)БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 141). Из последнего равенства следует, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 142), а это, в свою очередь, означает, что свойство транзитивности на данном множестве выполняется.
) Проверим антисимметричность. Должно выполняться условие: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 143) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 144). Если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 145), то можно сделать вывод, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 146). Если же БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 147), то должно выполнятся условие БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 148). Условия БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 149) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 150) выполняются одновременно тогда, когда БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 151). Отсюда следует, что антисимметричность выполняется.
О данном отношении можно сказать, что оно является упорядочением множества БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 152), поскольку на нем выполняются условия рефлексивности, антисимметричности и транзитивности.
Пример 2.1.3.
Определим отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 153) для двух чисел БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 154) из множества R, так что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 155) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 156). Данное подмножество показано на рисунке 1.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 157)
Рисунок 1

) Проверим рефлексивность. БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 158) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 159). Это означает, что должно выполняться хотя бы одно из условий БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 160) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 161). Эта совокупность неравенств имеет своим решением все множество действительных чисел. Значит условие рефлексивности выполняется.
) Проверяем, будет ли данное отношение симметричным. Для этого необходимо выполнение следующего условия: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 162). На данном отношении это записывается как БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 163) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 164) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 165). Возьмем, например, БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 166) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 167), тогда должно выполняться БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 168) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 169). Данные условия выполняются. Проверим вторую часть следствия, где мы видим при подстановке значений БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 170) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 171) следующее: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 172) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 173). Ни одно из данных неравенств не выполняется, следовательно, данное отношение не обладает свойством симметричности.
) Транзитивность в данном отношении будет выполняться в следующем случае: если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 174) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 175) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 176) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 177), то БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 178) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 179). Для проверки свойства транзитивности возьмем конкретные значения. Пусть БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 180); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 181) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 182). Мы видим, что при подстановке их в первую часть условия получается, что из совокупностей БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 183) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 184) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 185) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 186) хотя бы одно неравенство верно. Но при подстановке этих значений во вторую часть условия, мы получаем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 187) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 188). Ни одно из неравенств не выполняется, следовательно, условие транзитивности для данного отношения не выполняется.
) Рассмотрим свойство антисимметричности. Если (БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 189) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 190)) и (БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 191) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 192)), то БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 193). Возьмем, например, БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 194) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 195). БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 196), так как БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 197) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 198) (выполняется хотя бы одно из условий). БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 199), так как БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 200) или БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 201). Но БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 202), нарушается определение антисимметричности. Значит, данное подмножество не обладает этим свойством.
Пример 2.1.4.
Возьмем отношение на множестве Z, которое зададим следующим образом: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 203). Подмножество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 204) показано на рисунке 2.
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 205)
Рисунок 2

) Данное отношение не обладает свойством рефлексивности. Так как неравенство строгое, то условие БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 206) не будет выполняться не при каких значениях из множества Z.
) Проверим отношение на симметричность. Должно выполняться следующее условие: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 207). Если мы возьмем любые два значения из множества Z, то убедимся в ложности следствия. Пусть БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 208), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 209), получаем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 210). Обратное неверно, поскольку неравенство БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 211) не выполняется. Следовательно, отношение не симметрично.
) Проверяем транзитивность. На данном подмножестве транзитивность выполняется, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 212) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 213). Пусть БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 214), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 215) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 216). Получаем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 217) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 218). На множестве Z условие транзитивности будет выполняться для любых чисел.
) Условие антисимметричности выполняется, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 219) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 220). Возьмем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 221) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 222). Условия в левой части неравенства выполняются, так как БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 223) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 224). Так же выполняется условие в правой части, поскольку неравенство БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 225) ложно. Откуда можно сделать вывод, что свойство антисимметричности для данного отношения выполняется.
Пример 2.1.5.
Рассмотрим следующий пример бинарного отношения: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 226) на множестве R. Оно показано на рисунке 3.
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 227)
Рисунок 3

) Рассмотрим свойство рефлексивности. Данное отношение будет обладать данным свойством, поскольку оно содержит биссектрису БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 228). В этом легко убедиться: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 229) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 230)R.
) Проверим симметричность. Данное отношение будет симметричным, если будет выполняться условие
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 231); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 232)
Рассмотрим пару чисел БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 233), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 234). При подстановке их в левую часть условия, мы получаем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 235). Подставим в правую часть, получаем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 236). Данное неравенство неверно, следовательно, подмножество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 237) не обладает свойством симметричности. Графически данная ситуация показана на рисунке 4.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 238)
Рисунок 4

3) Проверим свойство транзитивности. Должно выполняться условие БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 239) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 240); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 241) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 242). Возьмем для примера значения БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 243), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 244) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 245). Получаем следующие выкладки: если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 246) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 247), то отсюда следует, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 248). Поскольку неравенство строгое, это утверждение неверно. Отсюда мы делаем вывод, что данное отношение не является транзитивным. Графическая интерпретация показана на рисунке 5.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 249)
Рисунок 5

4)Проверяем антисимметричность. Должно выполняться условие
БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 250)и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 251); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 252) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 253). Возьмем для примера БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 254) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 255). Получаем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 256) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 257). Отсюда следует, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 258). Неравенство верное, это значит, что отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 259) не обладает свойством антисимметричности. Данная ситуация отражена на рисунке 6.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 260)
Рисунок 6
Пример 2.1.6.
Рассмотрим бинарное отношение БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 261) на множестве N. Графически данное множество изображено на рисунке 7.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 262)
Рисунок 7

) Данное отношение обладает свойством рефлексивности, поскольку условие БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 263) выполняется для любого элемента из множества N.
) Рассмотрим свойство симметричности. Оно будет выполняться, если истинно условие БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 264). Мы видим, что свойство не выполняется на данном множестве, поскольку, если мы возьмем БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 265) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 266), то мы получаем, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 267) не состоит, поскольку БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 268) не делится.
) Проверим свойство транзитивности. Если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 269) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 270), что в свою очередь означает, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 271)и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 272). Пусть БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 273); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 274), тогда БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 275), отсюда следует, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 276). Значит, данное отношение обладает свойством транзитивности.
) Проверим антисимметричность. Подмножество обладает свойством антисимметричности, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 277) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 278); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 279) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 280). Пусть БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 281) означает БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 282), тогда БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 283) это БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 284). Тогда получаем, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 285). Получили два случая. БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 286), поскольку он принадлежит множеству N, значит БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 287). На множестве N данное равенство возможно только в том случае, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 288) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 289), а значит БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 290). Откуда делаем вывод, что если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 291), то БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 292). Значит отношение обладает свойством антисимметричности.
Пример 2.1.7.
Рассмотрим бинарное отношение: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 293) на множестве R.
) Очевидно, что данное отношение не обладает свойством рефлексивности, поскольку БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 294) R: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 295) высказывание ложное.
) Проверим свойство симметричности. БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 296) R: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 297) БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 298). Подставим в первую часть вторую, получаем, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 299). Равенство не выполняется для любых значений х, следовательно, данное отношение не симметрично.
) Проверяем свойство транзитивности. Должно выполняется следующее условие: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 300) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 301). Очевидно, что высказывание ложное. Приведем пример. Пусть БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 302), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 303) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 304), тогда БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 305), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 306). Но отсюда не следует, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 307). Равенство ложное, отношение не обладает свойством транзитивности.
) Проверяем антисимметричность. БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 308) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 309); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 310) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 311). Проверим свойство на конкретном примере. Пусть БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 312), БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 313), тогда БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 314) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 315). Высказывание истинно. Вероятно, данное отношение обладает свойством антисимметричности.

2.2 Примеры бинарных отношений из курса геометрии

Пример 2.2.1.
Рассмотрим БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 316)- множество прямых на плоскости. Проверим свойства бинарного отношения: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 317). (Прямые БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 318) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 319) параллельны, если они не имеют общих точек или совпадают).
)Данное отношение обладает свойством рефлексивности, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 320). Поскольку прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 321) совпадает сама с собой, то она будет находиться в отношении БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 322) сама с собой.
)Проверим, обладает ли подмножество свойством симметричности. БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 323); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 324). На рисунке 8 показаны прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 325) и прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 326). Очевидно, что отношение будет симметричным, поскольку если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 327), то и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 328).

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 329)
Рисунок 8

3)Рассмотрим свойство транзитивности. Должно выполнятся следующее условие: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 330); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 331) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 332). На рисунке 9 изображены три параллельные прямые. Поскольку они параллельны между собой, то свойство транзитивности на данном подмножестве будет выполняться.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 333)
Рисунок 9

4)Рассмотрим свойство антисимметричности. Оно будет выполнятся, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 334); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 335). Данное свойство не выполняется на множестве БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 336) поскольку, если прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 337) параллельна прямой БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 338), то и прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 339) параллельна прямой БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 340).
Пример 2.2.2.
Рассмотрим множество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 341)из примера 2.2.1. На нем зададим следующее бинарное отношение: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 342).
)Рассмотрим свойство рефлексивности. Тогда должно выполнятся следующее условие БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 343). На рисунке 10 показана произвольная прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 344). Если рассматривать перпендикулярность как наличие прямого угла между прямыми, то очевидно, что отношение таким свойством не обладает, поскольку, прямая сама с собой не может образовывать прямой угол.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 345)
Рисунок 10

2)Проверим свойство симметричности. Оно будет выполняться при следующем условии: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 346); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 347). Если мы рассмотрим две перпендикулярные прямые (БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 348) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 349)), как показано на рисунке 11, то мы увидим, что на данном множестве свойство симметричности выполняется, поскольку, если прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 350) перпендикулярна прямой БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 351), то и обратное верно, так как прямые БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 352) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 353) образуют друг с другом прямой угол.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 354)
Рисунок 11
)Рассмотрим свойство транзитивности. Данное подмножество транзитивно, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 355); БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 356) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 357). Это утверждение неверно. Рассмотрим рисунок 12. На нем изображены БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 358) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 359). Отсюда видно, что прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 360) не перпендикулярна прямой БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 361), значит, свойство транзитивности не выполняется.

БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 362)
Рисунок 12

4) Проверим антисимметричность. Данное подмножество не будет обладать свойством антисимметричности, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 363) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 364), то есть если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 365) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 366). Это утверждение неверно, поскольку, если прямая БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 367) будет перпендикулярна прямой БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 368), то и обратное утверждение будет верно. В этом можно легко убедиться, глядя на рисунок 11. Отсюда делаем вывод, что данное подмножество не обладает свойством антисимметричности.
Пример 2.2.3.
Рассмотрим множество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 369)- множество фигур. Расмотрим подмножество подобных фигур. Две фигуры называются подобными, если фигуру БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 370) можно отобразить в фигуру БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 371). Будем говорить, что БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 372) подобно БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 373) с коэффициентом подобия БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 374).
Рассмотри следующее бинарное отношение: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 375) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 376) подобны. Далее слово подобие мы будем заменять символом «~».
)Проверим свойство рефлексивности. БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 377). Нетрудно понять, что любая фигура подобна сама себе, то есть коэффициент подобия у нее равен 1. Отсюда следует, что подмножество БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 378) обладает свойством рефлексивности.
)Рассмотрим свойство симметричности. БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 379), то есть если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 380). Если фигура БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 381) подобна фигуре БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 382) с коэффициентом БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 383), то фигура БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 384) подобна фигуре БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 385) с коэффициентом БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 386) (обратное отображение). Отсюда следует, что данное множество обладает свойством симметричности.
)Проверим транзитивность. Должно выполняться следующее условие: БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 387) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 388), то есть если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 389) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 390) то БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 391). Пусть фигура БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 392) подобна фигуре БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 393) с коэффициентом БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 394), а фигура БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 395)подобна фигуре БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 396) с коэффициентом БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 397). Тогда фигура БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 398)подобна фигуре БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 399) с коэффициентом БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 400). Это значит, что данное отношение транзитивно.
)Проверяем антисимметричность. Данное свойство выполняется, если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 401) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 402), то есть если БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 403) и БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 404), то БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 405). Как и в свойстве симметричности, если фигура БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 406) подобна фигуре БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 407) с коэффициентом БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 408), то фигура БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 409) подобна фигуре БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 410) с коэффициентом БИНАРНЫЕ ОТНОШЕНИЯ В АЛГЕБРЕ И ГЕОМЕТРИИ (рис. 411). Отсюда следует, что фигуры подобны, значит, свойство антисимметричности не выполняется.

3. Обобщающее повторение. Проектная деятельность
математика алгебраический геометрический бинарный
Одним из путей повышения мотивации и эффективности учебной деятельности в школе является включение учащихся в исследовательскую и проектную деятельность. Цели и задачи этих видов деятельности учащихся определяются как их личностными мотивами, так и социальными. Это означает, что такая деятельность должна быть направлена не только на повышение компетенции в предметной области, не только на развитие их способностей, но и на создание проектного продукта. Приведем пример проектного задания для проведения исследования на уроках обобщающего повторения курса математики в контексте ведущего математического понятия «порядковая структура».
Задание.
Рассмотрите виды бинарных отношений:
) Бинарное отношение r называется отношением эквивалентности, если оно обладает одновременно рефлексивностью, симметричностью и транзитивностью (1,2,4 - свойства).
) Бинарное отношение r называется отношением частичного порядка, если оно обладает одновременно рефлексивностью, антисимметричностью и транзитивностью (1,3,4 - свойства).
) Бинарное отношение r называется отношением линейного порядка, если оно обладает свойством упорядоченности и является отношением частичного порядка.
Ниже приведена таблица (таблица 1) с примерами бинарных отношений как продукт исследовательской деятельности учащихся классов с углубленным изучением математики:

Таблица 1
Описание бинарного отношенияСвойстваВид этого бинарного отношения
1 рефл.2 сим.3 антисим.4 транз.
хr1 у Ы "х делит у", где х, у О N.+-++Отношение частичного порядка.
хr2 у Ы "х делит у", где х, у О Z.---+-
хr3 у Ы "х делится на у", где х, у О N.+-++Отношение частичного порядка.
хr4 у Ы "х Ј у", где х, у О R.+-++Отношение частичного порядка, обладающее свойством упорядоченности - линейный порядок.
хr5 у Ы "х = у", где х, у О Х и Х - множество чисел.++++Отношение эквивалентности.
хr6 у Ы "х № у", где х, у О N.-+---
хr7 у Ы "х = у", где х, у О Х и Х - множество геометрических фигур.++++Отношение эквивалентности.
хr8 у Ы "х подобно у", где х, у О Х и Х - множество геометрических фигур.++-+Отношение эквивалентности.
хr9 у Ы "х = у", где х, у О Х и Х - множество векторов.++++Отношение эквивалентности.
хr10 у Ы "х коллинеарен у", где х, у О Х, Х - множество всех векторов на плоскости (в пространстве).++---
хr11 у Ы "х коллинеарен у", где х, у О Х, Х - множество ненулевых векторов на плоскости (в пространстве)++-+Отношение эквивалентности.
хr12 у Ы "х Н у", где х О Х, у О Y, Х-произвольное непустое множество, a Y-множество, элементами которого служат некоторые подмножества множества Х.+-++Отношение частичного порядка.
хr13 у Ы "х К у", где х О Х, у О Y, Х-произвольное непустое множество, a Y-множество, элементами которого служат некоторые подмножества множества Х.+-++Отношение частичного порядка.
хr14 у Ы "х Н у", где х, у О W(Х), X = {1,2,3} а W(Х) = {(Ж), {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}} -совокупность подмножеств множества Х.+-++Отношение частичного порядка.

Список использованных источников

1.Беран Л. Упорядоченные множества. М.: Наука, 1981.
.Бурбаки Н. Очерки по истории математики. М.: ИЛ., 1963.
.Гнеденко Б.В. Математика и математическое образование в современном мире. М.: Просвещение, 1985. - 191 с.
.Кострикин А.И. Введение в алгебру. Часть I. Основы алгебры. М.: Физматлит, 2004.
.Курош А.Г. Лекции по общей алгебре. М.: Наука, 1973.
.Макарычев Ю.Н. Алгебра. 8 класс. Учебник. М.: Просвещение, 2013.
.Макарычев Ю.Н., Миндюк Н.Г. Алгебра. 9 класс. Учебник. М.: Просвещение, 2009.
.Манин Ю.И. Математика и физика. М.: Знание, 1979. С. 63.
.Пиаже Ж. Структуры математические и операторные структуры мышления // Преподавание математики. М.: Учпедгиз, 1960. С. 10 - 30.
.Погорелов А.В. Геометрия учебник для 7 - 9 классов. М.: Просвещение, 2009.
.Тестов В.А. Стратегия обучения математике. М.: Технологическая Школа Бизнеса, 1999. С. 304.
.Цыпкин А.Г. Справочник по математике. М.: Наука, 1980.

Комментарии:

Вы не можете оставлять комментарии. Пожалуйста, зарегистрируйтесь.