§ 2.4. Декомпозиция нечетких отношений

Одно из важнейших свойств НО заключается в том, что они могут быть представлены в вцде совокупности обычных отношений, причем эти отношения могут быть упорддочены по включению, представляя собой иерархическую совокупность отноше-

ний. Разложение НО па совокупность обыкновенных отношений основано на понятии а-уровня нечеткого отношения. Здесь для простоты будет предполагаться, что L линейно упорядочено.

а-уровнем нечеткого отношения R называется обычное отношение -ffa, определяемое для всех а > О следующим образом;

Если обычное отношение Ra. подобно НО отождествлять с его

характеристической функцией і?«: XX Z-»-(О, 1), то соотношение (2.25) можно переписать в виде

Нетрудно увидеть, что а-уровни НО удовлетворяют соотношению:

представляя собой совокупность вложенных друг в друга отношений.

Теорема 2.1. Нечеткое отношение R обладает каким-либо из свойств (2.13), (2.14), (2.16), (2.17), (2.19)-(2.22), (2.24) тогда и только тогда, когда этим свойством обладают все его а-уровни, т. е. R рефлексивно тогда и только тогда, когда при всех О < а ^ I Ra. также рефлексивно; R транзитивно тогда и только тогда, когда транзитивны все Ra, и т. д.

Эта теорема, основные положения которой впервые сформулированы в [52], играет важную роль в теории НО. Во-первых, эта теорема показывает, что основные типы обычных отношений и их свойства могут быть обобщены и на случай НО, и становится ясным способ такого обобщения. Во-вторых, оказывается, что основные типы НО могут быть представлены как совокупность, иерархия обычных отношений того же типа. И ес.пи решением практической задачи является получение на множестве X некоторого отношения заданного типа, например, эквивалентности или порядка, то построение на X соответствующего НО позволяет получать сразу ансамбль необходимых обычных отношений, что дает возможность учитывать неоднозначность решений, присущих практическим ситуациям, и предоставляет лицу,, принимающему решение, некоторую свободу выбора. В-третьих, теория НМ, позволяя учитывать эту неоднозначность возможных решений, ограничений, целей, дает возможность оперировать сразу всей совокупностью таких объектов как единым целым.

В соответствии с теоремой декомпозиции (1.10) нечеткое отношение может быть представлено в следующем виде:

где отношения aRa. определяются следующим образом:

Кроме свойств (2.13) — (2.24), выполняющихся для всех а- уровней, могут быть определены аналогичные свойства, выполняющиеся только для одного или нескольких а-уровней. Приведем примеры таких а-свойств, предполагая, что элемент а фиксирован:

«-симметричность

«-транзитивность

а-транзитивность можно определить также следующим образом

Аналогично могут быть определены и другие а-свойства. Подобные «-свойства могут рассматриваться в задачах, в которых вводится порог а на силу отношения R, либо ишется такое а, при Котором Ra обладает требуемым свойством. Например, в работе [49] а-свойства печетких отношений рассматриваются при моделировании структуры сложных систем.