2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Что такое эквивалентность?
Сообщение17.04.2018, 17:24 
Аватара пользователя


03/08/14
1040
Важнее не это
Эквивалентность, это как равенство, тождество, или что?

Если это что-то сложнее, то нужны простые наглядные примеры демонстрирующие отличия от равенства и т.п. На уровне обывателя. Желательно с конкретными числами.
Примеры вот для такого выражения:
$A \Leftrightarrow B \rightleftharpoons (A \Rightarrow B) \wedge (B \Rightarrow A)$

Хотелось бы увидеть примеры наподобие такого примера для импликации (или логического следования, если есть разница):
$16 \Rightarrow$ делится без остатка на $4$.

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 17:31 
Заслуженный участник
Аватара пользователя


06/04/13
1916
Москва
Вот Вам на уровне обывателя. Вы можете считать эквивалентными все пятницы в году, хотя вроде бы всё это разные дни.

А если получше чуть-чуть эквивалентность - это рефлексивность плюс симметричность плюс транзитивность:
$$a\sim a, a\sim b \Rightarrow b\sim a; a\sim b, b\sim c \Rightarrow a\sim c$$

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 17:45 
Аватара пользователя


03/08/14
1040
Важнее не это
Metford в сообщении #1305114 писал(а):
А если получше чуть-чуть эквивалентность - это рефлексивность плюс симметричность плюс транзитивность:
$$a\sim a, a\sim b \Rightarrow b\sim a; a\sim b, b\sim c \Rightarrow a\sim c$$
Т.е. это таки синоним слова тождество?

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 17:56 
Заслуженный участник
Аватара пользователя


06/04/13
1916
Москва
Нет. Тождество - частный случай эквивалентности.

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 18:13 


05/09/16
11467
AAA1111 в сообщении #1305113 писал(а):
На уровне обывателя.
Один доллар эквивалентен по "покупательной способности" 60 рублям. Но не равен и не тождественно равен.
Один биг мак эквивалентен по "пищевой энергетической ценности" 510 ккал, но не равен им.
Числа 4 и 2 эквивалентны по четности, но 4 не равно 2.

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 19:31 
Заслуженный участник
Аватара пользователя


18/09/14
4265
Metford в сообщении #1305114 писал(а):
эквивалентность - это рефлексивность плюс симметричность плюс транзитивность

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

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 19:40 
Заслуженный участник
Аватара пользователя


18/01/13
12044
Казань
Мне кажется, в исходном посте есть путаница между понятиями "эквивалентные высказывания" и "эквивалентность" как частный случай отношения заданного на множестве.
AAA1111 в сообщении #1305113 писал(а):
Хотелось бы увидеть примеры наподобие такого примера для импликации (или логического следования, если есть разница):
$16 \Rightarrow$ делится без остатка на $4$.

Ну вот, упоминается импликация... Хотя приведенный пример не имеет никакого смысла, даже если учитывать, что он "на уровне обывателя"

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 20:18 
Аватара пользователя


03/08/14
1040
Важнее не это
provincialka в сообщении #1305140 писал(а):
Хотя приведенный пример не имеет никакого смысла, даже если учитывать, что он "на уровне обывателя"
Не понимаю почему не имеет смысла?
А если так:
$(A = 16) \Rightarrow$ $A$ делится без остатка на $4$.
То лучше?
Подскажите, пожалуйста, как надо записать похожий пример так, чтобы появился смысл.

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 20:28 
Заслуженный участник
Аватара пользователя


06/04/13
1916
Москва
AAA1111 в сообщении #1305150 писал(а):
Подскажите, пожалуйста, как надо записать похожий пример так, чтобы появился смысл.


А вот, как Mihr сказал: есть четыре класса натуральных чисел по отношению к делению на 4 - в зависимости от остатка при делении на 4. Принадлежащие к одному такому классу числа можно в данном контексте считать эквивалентными. Правда, я не уверен, что этот пример много даст...

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 21:28 


05/08/17
43
вообще про разбиение на классы тут говорили

например, говорят, что число есть класс эквивалентности равномощных множеств
т.е. если, например, взять все множества в которых 5 элементов, то это и будет число 5
по другому: число 5 - это то общее, что есть во всех пятиэлементных множествах

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение17.04.2018, 23:16 
Заслуженный участник
Аватара пользователя


18/01/13
12044
Казань
AAA1111 в сообщении #1305150 писал(а):
$(A = 16) \Rightarrow$ $A$ делится без остатка на $4$.
Так лучше, потому что знак $\Rightarrow$ связывает два высказывания. А вот $16$ -- не высказывание.

Так все-таки что вы понимаете под "эквивалентностью"?

Есть логическая операция "эквиваленция", которая из двух высказываний создает третье, вида $A\Leftrightarrow B$

Есть равносильность высказываний, например "Число нечетное тогда и только тогда, когда квадрат его нечетный".

И есть эквивалетность произвольных объектов (не высказываний). Ее ещё можно назвать "взаимозаменяемостью"... или совпадением в существенных аспектах. Математической формализацией этого свойства является отношение эквивалентности, применяемое к элементам множества. Оно записывается обычно в виде $a\sim b$.

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение18.04.2018, 08:50 
Аватара пользователя


03/08/14
1040
Важнее не это
provincialka в сообщении #1305174 писал(а):
Так все-таки что вы понимаете под "эквивалентностью"?
Первоначально я написал эквиваленция. Но текстовый редактор этого форума почему-то не знает такого слова. Он предложил добавить его в словарь.
Но я не посмел. :-) Решил, что не достаточно умён, чтобы пополнять словарь на этом научном форуме.
И что если этого слова здесь нет, значит так оно и надо, значит оно не достаточно научно и что вместо него нужно применять иное слово.
Поэтому заменил его похожим, а именно эквивалентностью.
Но чуя, что из-за этого могут возникнуть какие-то недоразумения, привёл ещё и формульное выражение того, что имел ввиду.
Т.е. речь похоже таки про эквиваленцию.

Я тут соорудил пример который мне нужен. Но не уверен что он правильный.
(Сегодня пятница $\Rightarrow$ Через семь суток будет пятница) $\wedge$ (Через семь суток будет пятница $\Rightarrow$ Сегодня пятница)
Обозначив "Сегодня пятница" через А, "Через семь суток будет пятница" через В, получим:
$((A \Rightarrow B) \wedge (B \Rightarrow A)) = (A \Leftrightarrow B)$
Т.е. получается эквиваленция? Такое подходит в качестве примера (обывательского уровня) для эквиваленции?

provincialka в сообщении #1305174 писал(а):
Есть равносильность высказываний, например "Число нечетное тогда и только тогда, когда квадрат его нечетный".
И чем отличается равносильность высказываний от эквиваленции я тоже не понял. Ведь для моего примера тоже можно сказать, что "Сегодня пятница тогда и только тогда, когда через семь суток будет пятница".
Т.е. выражения "тогда, и только тогда" и "необходимо и достаточно" выражают одно и то же?

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение18.04.2018, 09:05 
Заслуженный участник
Аватара пользователя


18/01/13
12044
Казань
AAA1111 в сообщении #1305214 писал(а):
выражения "тогда, и только тогда" и "необходимо и достаточно" выражают одно и то же?
Да.

Что касается разницы между эквиваленцией и равносильностью, то она не обывательском уровне, пожалуй. Эквиваленция - это операция алгебры логики, она из высказываний $A$ и $B$ строит новое высказывание $A\Leftrightarrow B$, которое может быть как истинным, так и ложным. А равносильное преобразование -- это содержательная операция, грубо говоря, в этом случае можно объяснить почему высказывания/соотношения равносильны. И, конечно, равносильность не может быть ложной.

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение18.04.2018, 09:12 
Заслуженный участник
Аватара пользователя


18/09/14
4265
AAA1111 в сообщении #1305214 писал(а):
Т.е. получается эквиваленция?

Такая конъюнкция двух импликаций действительно равносильна эквиваленции.
AAA1111 в сообщении #1305214 писал(а):
И чем отличается равносильность высказываний от эквиваленции я тоже не понял.

При общепринятом употреблении понятий термин "эквиваленция" относится к предметному языку, то есть, языку, изучаемому матлогикой. А понятие "равносильность высказываний" относится к метаязыку - неформальному языку, на котором ведётся рассуждение о предметном языке. Таким образом, результат эквиваленции (как и любой другой логической операции) может быть истинным или ложным. А вот если мы говорим, что две формулы алгебры логики равносильны, то собственное утверждение подразумеваем безусловно истинным. (Хотя, конечно, мы можем и ошибиться, но это уже другой вопрос :-) ).

 Профиль  
                  
 
 Re: Что такое эквивалентность?
Сообщение18.04.2018, 09:18 
Аватара пользователя


03/08/14
1040
Важнее не это
Ура!
Спасибо всем огромное за помощь.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 15 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: tolstopuz


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group