Допустим, есть отношение R={<<4,4>, <7,7>>, <<4,4>, <9,9>>, <<7,7>,<4,4>> , <<7,7>, <9,9>>, <<9,9>, <4,4>>, <<9,9>, <7,7>>, <<9,7>, <9,7>> <<9,4>,<9,4>>, <<7,9>,<7,9>>, <<7,4>,<7,4>>, <<4,9>,<4,9>>, <<4,7>,<4,7>> , <<4,4>,<4,4>>, <<7,7>,<7,7>>, <<9,9><9,9>> }, являющееся отношением эквивалентности на множестве {<4,4>, <4,7>, <4,9>, <7,4>, <7,7>, <7,9>, <9,4>, <9,7>, <9,9>}. Необходимо перечислить классы эквивалентности. Моё решение. Классы эквивалентности: [<4,4>] = {<4,4>,<7,7>, <9,9>} [<7,7>] = {<4,4>, <7,7>, <9,9>} [<9,9>] = {<4,4>,<7,7>, <9,9>} [<9,7>] = {<9,7>} [<9,4>] = {<9,4>} [<7,9>] = {<7,9>} [<7,4>] = {<7,4>} [<4,9>] = {<4,9>} задан 10 Сен '14 8:13 Толя |
Пропущен класс пары <4,7>. Он также одноэлементный.
Поскольку требуется найти все классы эквивалентности, то после нахождения первого из классов, можно не рассматривать классы пар <7,7> и <9,9>, поскольку их класс гарантированно совпадёт с уже рассмотренным, которому они принадлежат.
В общем случае процедура такова: берём элемент, выписываем его класс. Далее берём элемент, который пока не рассматривался, выписываем его класс, и так далее -- до исчерпания всех элементов множества.