Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Симметричность



Симметричность в математике и логике, свойство бинарных (двуместных, двучленных) отношений, выражающее независимость выполнимости данного отношения для какой-либо пары объектов от порядка, в котором эти объекты входят в пару: отношение R называетсясимметричным, если для любых объектов x и y из области определения xRy влечёт yRx. Примерами симметричных отношений служат отношения типа равенства (тождества, эквивалентности,подобия), их "ослабленные формы" — отношения толерантности (сходства, соседства и т. п.), а также (как следует из данного выше определения) обратные к ним отношения неравенства и др. Отношение R называется антисимметричным, если из xRy при х (у следует ù yRx (отрицание yRx), т. е. если из xRy и yRx непременно следует х = у, таковы, например, отношения порядка (по величине или какому-либо другому упорядочивающему критерию) между числами или другими объектами, отношение включения между множествами и т. п. В применении к логическим и логико-математическим операциям свойство С. называется коммутативностью (перестановочностью); например, результаты сложения и умножения чисел, объединения и пересечения множеств, дизъюнкция иконъюнкция высказываний (см. Алгебра логики) не зависят от порядка слагаемых, сомножителей и т. д. Понятия С. и коммутативности естественно обобщаются на случай произвольного числа объектов.





Дата публикования: 2014-12-08; Прочитано: 536 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.01 с)...