Для связи в whatsapp +905441085890

Отношение в математике с примерами решения и образцами выполнения

Подмножество прямого произведения Отношенияназывается Отношения — местным отношением R на множестве М, т. е. ОтношенияЭто означает, что рассматриваются некоторые Отношения-ки элементов из одного и того же множества М и эти элементы находятся между собой в отношении R. Отношение может быть задано на множестве элементов любой природы.

Если Отношения то отношение называется унарным. Установить на М унарное отношение означает приписать некоторым его элементам признак R. По существу, одноместное отношение есть подмножество М. Примеры унарных отношений: «быть целым числом» на множестве вещественных чисел, «быть открытым слогом» на множестве слогов и т.п.

Если Отношения то отношение называется бинарным. Эти отношения обычно записывают как Отношения (или Отношения и говорят, что элементы Отношения и Отношения из множества М находятся между собой в отношении R. Например, «продукт Отношения чаще покупают, чем Отношения».Существуют также тернарные Отношениятетрарные Отношения— арные отношения. Для задания бинарных отношений на конечных множествах удобно использовать списки пар или таблицы (матрицы). В этом случае, если элементы и у находятся между собой в отношении R, то в матрице на соответствующем месте пишут 1, в противном случае пишут ноль. Например, отношение «быть больше» на множестве чисел Отношения можно задать так:

Отношения

Таблица этого отношения имеет вид, представленный на рис. 1.13.

Отношения

Бинарные отношения удобно задавать с помощью ориентированных графов (см. главу 1.6). Отношение называется полным, если Отношения Это означает, что все элементы множества М находятся в отношении R. Например, отношение «учиться в одной учебной группе» на множестве студентов данной учебной группы является полным, но отношение «быть сыном» не является полным на множестве всех людей. Если Отношения Например, множество М — отрезок числовой оси, тогда полное отношение Отношения заданное на отрезке числовой оси, геометрически соответствует квадрату со стороной М (см. рис. 1.14).

Отношение называется тождественным, если оно равносильно отношению Отношения Тождественное отношение обычно обозначают буквой Е. Таблица такого отношения представляет собой единичную матрицу. Примером тождественного отношения

Отношения

является отношение равенства на множестве вещественных чисел.

Так как отношения — это множества, то для них справедливы все теоретико-множественные операции, но существуют операции специфические для отношений.

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

Пример. Пусть заданы отношения в виде таблиц.

Отношения

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

Таблица, соответствующая композиции Отношения

Отношения

Свойства отношений

Рефлексивность. Отношение R, заданное на множестве М называется рефлексивным, если для любого Отношения имеет место Отношения Формально рефлексивность можно задать так: Отношения Рефлексивное отношение всегда выполняется между объектом и им самим. Наиболее яркими примерами рефлексивных отношений являются самообслуживание и равенство.

Антирефлексивность. Отношение R, заданное на множестве М, антирефлексивно, если Отношения В антирефлексивных отношениях из условия Отношенияследует, что Отношения Примеры антирефлексивных отношений: быть старше, быть меньше и др.

Симметричность. Отношение R, заданное на множестве М, называется симметричным, если при выполнении соотношения Отношения одновременно выполняется и соотношение Отношения Формально соотношение симметрично, если Отношения Например, отношения «стоять рядом на полке» на множестве книг или « быть родственниками» на множестве людей симметричны.

Асимметричность. Отношение R, заданное на множестве М, называется асимметричным, если Отношения В асимметричных отношениях из двух соотношений Отношенияи Отношения может выполняться не более одного (одно или не одного). Пример асимметричного отношения: «быть отцом» (если Отношения — отец Отношения, то Отношения не может быть отцом Отношения).

Антисимметричность. Отношение R, заданное на множестве М, обладает свойством антисимметричности, если Отношения Это означает, что если для Отношения одновременно выполняются соотношения ОтношенияАнтисимметричны все отношения нестрогого порядка: «быть не больше», «быть не выше» и т.п.

Транзитивность. Отношение R, заданное на множестве М, транзитивно, если для любых Отношения из выполнимости со-

отношений Отношения следует Отношения Формально это можно записать так: Отношения Про отношение, не обладающее таким свойством говорят, что оно нетранзитивно. Например, отношение «стоять рядом на полке» нетранзитивно. Действительно, пусть тома некоторой энциклопедии стоят в порядке возрастания номеров томов. Тогда, если первый том стоит рядом со вторым, а второй — рядом с третьим, то, очевидно, что первый не стоит рядом с третьим.

Все общие свойства отношений можно разбить на три группы: рефлексивности (каждое отношение рефлексивно или ан-тирефлексивно), симметричности (отношение всегда или симметрично, или асимметрично, или антисимметрично), транзитивности (каждое отношение транзитивно или не транзитив-но). Отношениям, обладающим определенным набором свойств, присвоены специальные названия.

Отношение эквивалентности

Отношение R, обладающее свойствами рефлексивности, симметричности и транзитивности называется отношением эквивалентности. Для эквивалентных отношений вместо записи Отношения обычно пишут Отношения (читается: «Отношения эквивалентно Отношения»). Эквивалентными отношениями являются: «быть конгруэнтными» на множестве плоских треугольников, «быть одного размера» на множестве образцов обуви, «быть родственниками» на множестве людей и т.п.

Введение отношения эквивалентности R на множестве М определяет разбиение всех элементов этого множества на классы эквивалентности Отношения Множество всех классов эквивалентности Отношения образует фактор множество множества М и обозначается M/R. При этом каждый элемент данного класса является полномочным представителем этого класса. Совокупность по одному и только по одному представителю каждого класса называется системой представителей соответствующего отношения эквивалентности. Примером введения отношения эквивалентности и образования системы представителей может служить формирование представительного органа власти на основе выборов.

Отношение толерантности

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

Отношения

Отношение порядка

Отношение R, обладающее свойствами рефлексивности, антисимметричности и транзитивности, называется отношением порядка. Если на данном множестве введено отношение порядка, то это множество называется упорядоченным. В этом случае вместо Отношения пишут Отношения Множество совершенно упорядочено, если для любых двух элементов Отношения и Отношения из множества М

имеет место либо Отношения, либо Отношения В противном случае говорят, что множество частично упорядочено. Например, отношение «быть выше» на множестве деревьев — совершенно упорядочено, а отношение «быть делителем» на множестве целых чисел — частично упорядочено.

Пусть каждому элементу Отношения из множества М по некоторому правилу f поставлено в соответствие вещественное число Отношения вес элемента Отношения. Введение веса для каждого элемента позволяет упорядочить их по мере возрастания (убывания) весов, а затем сравнивать элементы в соответствии с присвоенным весом. Примерами упорядочения посредством введения весов являются: присвоению каждому товару его цены, каждому станку его надежности, каждому телу его веса, объема и т.п. Взвешивание вариантов решений посредством формирования комплексного показателя качества является одним из самых распространенных способов решения проблемы выбора на множестве разнокачественных признаков.

Если отношение обладает свойствами антирефлексивности, асимметричности и транзитивности, то оно называется отношением строгого порядка (обозначается Отношения). Примером отношения строгого порядка является порядок букв в фиксированном алфавите. Упорядочение букв в алфавите позволяет, в свою очередь, упорядочить слова в словарях (лексикографическое упорядочение слов).

Группы. Кольца. Пространства

Множество Отношения называется группой, если определена бинарная операция, которая каждой паре элементов а, b множества G ставит в соответствие объект Отношения так, что

1) объект Отношения является элементом множества G (замкнутость по отношению к операции);

2) Отношения (справедлив ассоциативный закон);

3) множество G содержит такой элемент Е, что

Отношения

4) для каждого элемента а существует обратный Отношения такой что

Отношения

Если для всех элементов группы Отношения то бинарная операция называется коммутативной, а группа — Абелевой группой.

Множество G называется кольцом, если на нем определены две бинарные операции, которые обычно называются умножением и сложением, и, кроме того:

1.G есть коммутативная группа по сложению, т. е. G замкнуто по отношению к операции сложения и справедливо, что

Отношения

Здесь «0» — нулевой элемент, а « -а» — обратный.

2.G замкнуто по отношению к умножению, т. е. аb принадлежит множеству G, причем

Отношения

3.Выполняются дистрибутивные законы

Отношения

Если кольцо содержит такой элемент Е, что а Е = Е а = а, то кольцо называют кольцом с единицей. Элементы кольца называют скалярами. Множество R с элементами Отношения называется линейным векторным пространством над кольцом G , а элементы Отношения векторами, если определены две бинарные операции векторное сложение и умножение вектора на скаляр, причем

1.R есть коммутативная группа по векторному сложению, т. е. R замкнуто по отношению к операции сложения и справедливо, что

Отношения

2.Если Отношения вектор из R и а есть скаляр из G, то R замкнуто по отношению к умножению вектора на скаляр.

3.При умножении вектора на скаляр справедливы ассоциативный и дистрибутивный законы:

Отношения

Решение заданий и задач по предметам:

Дополнительные лекции по высшей математике:

  1. Тождественные преобразования алгебраических выражений
  2. Функции и графики
  3. Преобразования графиков функций
  4. Квадратная функция и её графики
  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. Логарифмическая функция
  57. Уравнения и неравенства
  58. Положительные и отрицательные числа
  59. Алгебраические выражения
  60. Иррациональные алгебраические выражения
  61. Преобразование алгебраических выражений
  62. Преобразование дробных алгебраических выражений
  63. Разложение многочленов на множители
  64. Многочлены от одного переменного
  65. Алгебраические дроби
  66. Пропорции
  67. Уравнения
  68. Системы уравнений
  69. Системы уравнений высших степеней
  70. Системы алгебраических уравнений
  71. Системы линейных уравнений
  72. Системы дифференциальных уравнений
  73. Арифметический квадратный корень
  74. Квадратные и кубические корни
  75. Извлечение квадратного корня
  76. Рациональные числа
  77. Иррациональные числа
  78. Арифметический корень
  79. Квадратные уравнения
  80. Иррациональные уравнения
  81. Последовательность
  82. Ряды сходящиеся и расходящиеся
  83. Тригонометрические функции произвольного угла
  84. Тригонометрические формулы
  85. Обратные тригонометрические функции
  86. Теорема Безу
  87. Математическая индукция
  88. Показатель степени
  89. Показательные функции и логарифмы
  90. Множество
  91. Множество действительных чисел
  92. Числовые множества
  93. Преобразование рациональных выражений
  94. Преобразование иррациональных выражений
  95. Геометрия
  96. Действительные числа
  97. Степени и корни
  98. Степень с рациональным показателем
  99. Тригонометрические функции угла
  100. Тригонометрические функции числового аргумента
  101. Тригонометрические выражения и их преобразования
  102. Преобразование тригонометрических выражений
  103. Комбинаторика
  104. Вычислительная математика
  105. Прямая линия на плоскости и ее уравнения
  106. Прямая и плоскость
  107. Линии и уравнения
  108. Прямая линия
  109. Уравнения прямой и плоскости в пространстве
  110. Кривые второго порядка
  111. Кривые и поверхности второго порядка
  112. Числовые ряды
  113. Степенные ряды
  114. Ряды Фурье
  115. Преобразование Фурье
  116. Функциональные ряды
  117. Функции многих переменных
  118. Метод координат
  119. Гармонический анализ
  120. Вещественные числа
  121. Предел последовательности
  122. Аналитическая геометрия
  123. Аналитическая геометрия на плоскости
  124. Аналитическая геометрия в пространстве
  125. Функции одной переменной
  126. Высшая алгебра
  127. Векторная алгебра
  128. Векторный анализ
  129. Векторы
  130. Скалярное произведение векторов
  131. Векторное произведение векторов
  132. Смешанное произведение векторов
  133. Операции над векторами
  134. Непрерывность функций
  135. Предел и непрерывность функций нескольких переменных
  136. Предел и непрерывность функции одной переменной
  137. Производные и дифференциалы функции одной переменной
  138. Частные производные и дифференцируемость функций нескольких переменных
  139. Дифференциальное исчисление функции одной переменной
  140. Матрицы
  141. Линейные и евклидовы пространства
  142. Линейные отображения
  143. Дифференциальные теоремы о среднем
  144. Теория устойчивости дифференциальных уравнений
  145. Функции комплексного переменного
  146. Преобразование Лапласа
  147. Теории поля
  148. Операционное исчисление
  149. Системы координат
  150. Рациональная функция
  151. Интегральное исчисление
  152. Интегральное исчисление функций одной переменной
  153. Дифференциальное исчисление функций нескольких переменных
  154. Математическая логика
  155. Графы в математике
  156. Линейные пространства
  157. Первообразная и неопределенный интеграл
  158. Линейная функция
  159. Выпуклые множества точек
  160. Система координат