Анализ бинарных отношений, заданных матрицей

@maguk01 · Регистрация: 03.02.2022

Студворк — интернет-сервис помощи студентам

Пусть R – бинарное отношение заданное на множестве целых чисел такое, что aRb, если a и b при делении на 7 дают одинаковые остатки. Доказать, что R – отношение эквивалентности.

@Catstail · 03.02.2022, 10:29

Ты уверен, что не ошибся разделом? При чем тут Питон? Это математическая задача. Нужно доказать, что сравнимость по модулю (любому, не только 7) - рефлексивное, симметричное и транзитивное отношение.

Рефлексивность и симметричность здесь очевидны. А транзитивность нужно доказать.

$https://www.cyberforum.ru/cgi-bin/latex.cgi?a \equiv b (m) \rightarrow (a=m*k+r) & (b=m*p+r)$

$https://www.cyberforum.ru/cgi-bin/latex.cgi?b \equiv c (m) \rightarrow (b=m*p+r) & (c=m*q+r)$

Отсюда сразу же следует, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?a \equiv c (m)$

Новые блоги и статьи Все статьи Все блоги /
Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	Контроль уникальности заводского номера - вариант №2 Maks 24.03.2026 В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла: Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .	SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip	Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .
Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера - вариант №1 Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью в КА2. Данные берутся из регистра сведений, по которому настроено. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git	Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа в КА2. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию. . .

@maguk01 0 / 0 / 0 Регистрация: 03.02.2022 Сообщений: 10

	Анализ бинарных отношений, заданных матрицей 03.02.2022, 07:02. Показов 906. Ответов 1 Метки нет (Все метки) Пусть R – бинарное отношение заданное на множестве целых чисел такое, что aRb, если a и b при делении на 7 дают одинаковые остатки. Доказать, что R – отношение эквивалентности. 0

@Catstail Супер-модератор 38194 / 21127 / 4309 Регистрация: 12.02.2012 Сообщений: 34,732 Записей в блоге: 14
	03.02.2022, 10:29
	Ты уверен, что не ошибся разделом? При чем тут Питон? Это математическая задача. Нужно доказать, что сравнимость по модулю (любому, не только 7) - рефлексивное, симметричное и транзитивное отношение. Рефлексивность и симметричность здесь очевидны. А транзитивность нужно доказать. $https://www.cyberforum.ru/cgi-bin/latex.cgi?a \equiv b (m) \rightarrow (a=mk+r) & (b=mp+r)$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?b \equiv c (m) \rightarrow (b=mp+r) & (c=mq+r)$ Отсюда сразу же следует, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?a \equiv c (m)$ 0