Отношения эквивалентности и толерантности и их свойства (стр. 10 из 20)

Замечание. Для любого

, если множество , определяющее отношение эквивалентности, содержит полосу , то оно совпадает со всей плоскостью. В самом деле, вместе с любой точкой множество содержит все внутренние точки квадрата с вершинами , , , , т.е. полосу . Ясно, что таким образом свойство "принадлежать " распространяется на все точки плоскости.

2 Пример. (периодичность). Возьмем которое число. Пусть множество

состоит из прямых , где – произвольное целое число. Выполнение свойств и очевидно, и если , , то .

3 Пример. "Все константы равны единице, кроме нуля". (Такое утверждение высказал И.М. Гельфанд на одной из своих лекций.) В этом примере множество

есть вся плоскость с выброшенными осями координат и добавленным началом координат. Иначе говоря, всегда, кроме случая , и ему симметричного. Если точки , принадлежат , то либо , и тогда , , либо , и тогда и . В обоих случаях .

4 Пример. (Все целые числа равны друг другу.) Множество

состоит из главной диагонали и всех точек с целыми координатами.

Очевидно, можно рассматривать и конечные варианты такой эквивалентности типа

5 Пример. (Все числа, не большие единицы по модулю, равны друг другу.) Множество

состоит из диагонали и замкнутого единичного квадрата. Очевидно, множество, состоящее из открытого (или полузамкнутого: ) квадрата, также дает эквивалентность.

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

2.1 Определения, примеры, свойства

2.1.1 Определение

Отношение

на множестве называется толерантностью или отношением толерантности, если оно рефлексивно и симметрично.

Пример. Множество

состоит из четырехбуквенных русских слов – нарицательных существительных в именительном падеже. Будем называть такие слова сходными, если они отличаются не более чем на одну букву. Известная задача "Превращение мухи в слона" в точных терминах формулируется так:

Найти такую последовательность слов, начинающуюся словом "муха" и кончающуюся словом "слон", любые два соседних слова в которой сходны (в смысле только что данного определения).

Приведем решение этой задачи: Муха – мура – тура – тара – кара – каре – кафе – кафр – каюр – каюк – крюк – крок – срок – сток – стон – слон.

2.1.2 Пример

Пусть

– натуральное число. Обозначим через – совокупность всех непустых подмножеств множества . Два таких подмножества объявим толерантными, если у них есть хотя бы один общий элемент. Законность такого определения очевидна: рефлексивность и симметричность отношения легко проверяются.

Множество

называется -мерным симплексом. Это понятие обобщает понятия отрезка, треугольника и тетраэдра на многомерный случай. Числа интерпретируются как вершины симплекса. Двухэлементные подмножества – как ребра, трехэлементные как плоские грани, -элементные подмножества – как -мерные грани. Толерантность граней симплекса означает их геометрическую инцидентность – наличие общих вершин. Число всех элементов из равно .

Множество

с заданным на нем отношением толерантности называется пространством толерантности. Таким образом, пространство толерантности есть пара .

2.1.3 Пример

Пусть

– произвольное множество. Обозначим через совокупность всех непустых подмножеств множества . Толерантность на задается условием: , если .

Пространство

играет роль "универсального" пространства толерантности.

2.1.4 Пример

Возьмем произвольное множество

(для наглядности можно представить отрезок на прямой). Пространство толерантности состоит из всех числовых функций, определенных на этом множестве, т.е. функций, которые каждому элементу из сопоставляют некоторое число. Две функции будут толерантными, если хотя бы на одном элементе из эти функции принимают одно и тоже значение (если, другими словами, графики этих функций пересекаются).

Существует еще один способ задания отношений толерантности. Рассмотрим соответствие

. Множество всех образов элемента при соответствии мы обозначим . Отношение на множестве задается условием: , если у элементов и существует образ, т.е. если .