Отображения как объекты формульного описания

The general conclusion of this situation: if A is possible and certain, by substituting in the formula of A is possible and A is certain we will get: pA(u) = nx(u) for all u in U. Indeed, when A is possible, it may be modelled as Vu є U, pA(u)< nx(u), and when A is an ordinary subset, then nx(u) =1, while the possibility distribution of a non-fuzzy variable according to the definition ofZadeh: n(A) = sup u є Anx(u), then n(A)=1, only when the statement x is in A is consistent with the variable information described by nx.

To specify a fuzzy rule relate a variable x in U to a variable y in V. For the rules of the first kind, possibility rules, this kind of rules take the form: the more x is A, the more possible y in B; if we translate this rule into the form: Vu, ifx =u, B is range for x in at least pA(u)-possible, then we will get the following: u є U, V v є V, mm(pA(u), №(v)) < %y(v, u).

For the second kind of rules, certainty rules, which take the form: the more x is A, the more certainty y in B, translate this statement into the form Vu, if x =u, B is a range for x in at least pA(u)-certain, then we will get the form: V u є U, V v є V, %y(v, u) < max(1-pA(u), pb(v)). In particular, when A is an ordinary subset, we know that, if x in A, then B is a certain and possible range for y, this yields: u є A, %y(v, u) = pb(v)); V u g A, ny (v, u) unspecified. In the general case, when the person is uncertain as to the value he provides to the system [1-2], thus he provides the following information: Vis A with certainty a, the question is, how we can make an inference from this rule to get a meaning for the variable B in the rule: Vis A (with certainty a) ^ V is B?As a conclusion, if we have a rule of the form: Vis A with certainty a, it can be translated into the equivalent

rule: V is B, where for any x єХ: B(x)=(arA(x))+(1-a). Take into consideration that for Vis A with certainty 1, we get V is A, and for Vis A with certainty 0, we get Vis X.

7. Conclusion

The aim of the fuzzy logic is to provide an easy way to deal with the systems which are full of uncertainty. In such systems or environments the fuzzy logic is considered to be very effective when the conclusions need not to be precise, but acceptable for a degree of certainty.

References: 1. Ronald R Yager, Lotfi Zadeh //An introduction to fuzzy logic applications in intelligent systems. Fuzzy sets, fuzzy systems, intelligent control. ISBN 0-79239191. 1993. 299 p. 2. Zimmerman //Fuzzy set theory and its applications. Second edition, fuzzy sets, operation research. ISBN 0-7923-9075-X. 1993. 399 p. 3. WolfgangH. Janko, Marc Roubens and Zimmerman //Progress in fuzzy sets and systems. ISBN 0-7923-0730-5. 1992. 188 p. 4. Bart Kosko // Neural networks and fuzzy systems, a dynamical systems approach to machine intelligence. ISBN 0-13-612334-1. 1993. 449 p.

5. Dubis D. and Prade H. // Fuzzy sets in approximate reasoning. Part 2: logical approaches. Fuzzy sets and systems. 1990. 298 p.

Paper submission 12.01.98

G. F. Krivulia, Head of Automation design computing technique department. Adress: 14, Lenin Avenue, Kharkov, 310726, Ukraine. Tel. 409326. Hobby: travel and fishing.

Rami J. Matarneh, postgraduate student of automation design computing technique department. Adress: 14, Lenin Avenue, Kharkov, 310726, Ukraine. Tel. 409326. Hobby: sports and reading. Scientific interests: AI and Expert systems.

УДК 519.7

ОТОБРАЖЕНИЯ КАК ОБЪЕКТЫ ФОРМУЛЬНОГО ОПИСАНИЯ

ДУДАРЬ З.В, САМУЙЛИКИ.Г., ШАБАНОВ-КУШНАРЕНКО Ю.П.

Рассмотрены связи и переходы между бинарными отношениями, предикатами и отображениями, соответствующими друг другу. Предложен способ формульного представления отображений, основанный на использовании языка алгебры предикатов. Найден общий вид однозначных отображений. Результаты обобщены на случай произвольной арности.

В [1] был рассмотрен вопрос о формульном описании отношений. В предлагаемой статье продолжена разработка той же темы, но понятие отношения анализируется теперь с несколько иной точки зрения. На практике с отношениями во многих случаях обращаются как с функциями. Об этом свидетельствует частое употребление терминов «частичная функция» и «многозначная функция». Строго говоря, такая терминология неверна, поскольку противоречит определению функции. Как известно, функцией называется отношение, обладающее свойствами всюду определенности и однозначности. То, что фактически подразумевается под словами «частичная функция» или «многозначная функция» — это, на самом деле, не функция, а отношение. Понятие отношения не совпадает с понятием функции, так как не любое отношение является функцией. И все же следует признать, что в стремлении многих

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

Сказанное поясним примером. Любой текст можно понять только в том случае, если каждое слово в нем обладает вполне определенным, единственным значением. При выполнении указанного требования значения слов в тексте будут функцией этих слов, взятых вместе с окружающими их контекстами. Но если слово выделено из контекста и предъявлено без него, то его значение может стать неоднозначным. Например, значения слова «коса» в словосочетаниях «песчаная коса», «острая коса» и «русая коса» различны, но они однозначно определены в каждом из этих контекстов. Если же слово «коса» взять отдельно от контекста, оно будет иметь несколько различных значений. Факты такого рода приводят к выводу, что связь между отдельно взятыми словами и их значениями — это не функция, а отношение. Однако если использовать для характеристики связи между словом х и его значением у некоторое отношение xFy, то придется рассматривать сигналы х и у как равноправные. Если F — отношение, а не функция, бессмысленно спрашивать, какой из сигналов (х или у ) входной, а какой — выходной. И тем не менее, каждый человек, как носитель языка, ясно чувствует, что слово первично, а его значение — вторично. Это явствует даже из анализа словоупотребления: мы говорим «значение слова» , но нельзя сказать «слово значения». Именно это чувство заставляет исследователя языка рассматривать отношение xFy как нечто «функциеподобное» и писать y=F(x), считая слово х аргументом, а его смысл у — значением некоторого преобразования F, соответствующего отношению F.

56

РИ, 1998, № 1

Любое отношение xFy на А х В, рассматриваемое как преобразование y=F(x) сигналов хеА в сигналы у є В, будем называть отображением и говорить, что отображение y=F(x) ставит в соответствие сигналу х сигнал у. Заменяя термин «отношение» логически равносильным ему термином «отображение», мы тем самым вводим новую точку зрения, с которой понятие отношения видится уже иначе. Ранее мы смотрели на отношение xFy как на связь двух равноправных сигналов х и у. Теперь то же самое отношение F понимается как преобразование сигнала х в сигнал у. Термины «частичное отображение» и «многозначное отображение» выражают направленность преобразования информации, столь часто обнаруживаемую на практике. Вместе с тем, они не содержат в себе, в отличие от терминов «частичная функция» и «многозначная функция», логического противоречия и удовлетворяют всем требованиям математической строгости. В результате исследователь реальных преобразователей информации (например, механизмов интеллекта человека) получает естественную терминологию, безупречную в логическом отношении.

б

У х У

х

Информационные приборы предикатов

му входу экспериментатор имеет доступ, ко второму-нет. На первый вход сигналы х подаются экспериментатором по его желанию, на второй поступают сами по себе и не зависят от его воли. Выходные сигналы у є В формируются прибором однозначно для каждой пары входных сигналов xєA, zє C. Хотя прибор, на самом деле, имеет два входа и действует детерминировано, однако внешним наблюдателем он воспринимается как преобразователь с одним входным сигналом х и со случайным выходным сигналом у (рисунок, поз. д). Если прибор действует так, что сигналы х и у, появляющиеся на его входе и выходе, в любой момент времени образуют пару (х, у), принадлежащую отношению F, и, кроме того, компоненты х, у любой пары (х, у) из отношения F действительно появляются на входе и выходе прибора в какие-то моменты времени его работы, мы будем говорить, что такой прибор реализует отображение F, соответствующее отношению F. В роли такого прибора выступает, например, любой читатель, извлекающий из слов х текста их смысловые значения у. Скрытым сигналом z в данном случае служит контекст, окружающий понимаемое слово, который меняется при переходе от одного слова к г другому. Как входной сигнал контекст

читателем, очевидно, не осознается, хотя и обрабатывается им в процессе понимания смысла слова на подсознательном уровне.

Приступим теперь к систематическому изучению отображений. Прежде всего, выясним, в каком смысле следует понимать выражение y=F(x). Пусть F(x, y) — предикат на Ах В, соответствующий отображению y=F(x), которое действует из множества А в множество В; D(x, y) — предикат равенства на U2, определяемый условием: для любых

У

а

в

д

У

у

Между отношениями xFy и отображениями y=F(x) существует взаимно однозначное соответствие, выражаемое условием: для любых хє А, ує В если xFy, то y=F(x); если же x ~р У,то y^F(x) (1). Отношение F и отображение F, связанные условием (1), будем называть соответствующими друг другу. С абстрактной точки зрения отношения и соответствующие им отображения неразличимы, но по способу своего выражения и по характеру содержательной информации они резко отличаются. То же самое можно сказать относительно отношений и соответствующих им предикатов [1]. Различие между соответствующими друг другу предикатом, отношением и отображением можно наглядно продемонстрировать, если представить их в виде информационных приборов. Предикат F(x, y)=x представляем как преобразователь сигналов с двумя предметными входами х, у и одним логическим выходом x (рисунок, поз. а). Будем отбирать с помощью этого прибора только такие пары (х, у) входных сигналов, на которые он реагирует сигналом x=1 (рисунок, поз. б). Собрав все такие пары в единое множество, получим отношение F. Оно представлено в виде двухполюсника (рисунок, поз. в), связывающего сигналы х и у. Такой прибор приемлет любую пару (х, у)єF и отвергает каждую пару сигналов (х, у)^F.

Рассмотрим, далее, преобразователь сигналов Ф с двумя предметными входами х, z и одним предметным выходом у (рисунок, поз. г). Вход х — явный (основной), вход Z— скрытый (побочный). К перво-

х, уєи

D

Предикат равенства можно определить и иначе — с помощью так называемого закона Лейбница: для любых х, ує U

D

Знак ~ означает равнозначность логических элементов 0 0=1 1=1, 0~1=1~0=0. Можно доказать, что для любого множества U и любых х, ує U

VMcU

Отсюда непосредственно следует, что условия (2) и (3) определяют один и тот же предикат D.

Нетрудно видеть, что для любых х, уєUи любого FcU2

F

Условие (5) дает ключ к пониманию записи y=F(x). Из нее следует, что равенству y=F(x) удовлетворяют все те и только те пары (х, у) є U2, для каждой из которых найдется такое aє U, что

F(x, a)=^ D(a, у)=1, (т.е. (x, a)єF и y=a). (6) Соотношение (6) связывает отображения F с соответствующими им предикатами F. Связь отображений F с отношениями Fдается зависимостью (1) из настоящей статьи, а связь отношений F с предикатами F— зависимостью (1) из работы [1]. Итак, мы рассмотрели триаду различных, но равносильных друг другу понятий: отношение, предикат, отображение и описали правила перехода от каждого из этих понятий к двум другим.

РИ, 1998, № 1

57

Рассмотрим способ формульного представления отображений. С этой целью сначала введем некоторые необходимые понятия. Если предикату F(x, y), определенному на Ах В, соответствует отображение y=F(x) из А в В, то будем говорить, что предикату G(y,

x)=F(x, у) при любых хєА и у є В, который определен на ВхА, соответствует отображение G=F-1 из В в А, обратное отображению F, и будем писать x= =F-1(y). Если y=F(x), то предмет уєВ называется образом предмета хє А, а предмет х — прообразом предмета у относительно отображения F. Совокупность всех образов ує В предмета хєА относительно отображения y=F(x) называется полным образом предмета х относительно отображения F. Совокупность всех прообразов хє А предмета у є В относительно отображения y=F(x) называется полным прообразом предмета у относительно отображения F. Образом множества МсА относительно отображения F называется множество N, образованное из всех образов предметов, принадлежащих множеству М. Прообразом множества N^B относительно отображения F называется множество МсА, образованное из всех прообразов предметов, принадлежащих множеству N. Выраженные соответствующими предикатами образ и прообраз множества определяются следующими зависимостями: при любом уєВ

N

при любом хєА

И’^^ЗуєВ F

Заметим, что прообраз М’ множества N, определяемый по формуле (8), вообще говоря, не совпадает с исходным множеством М, для которого по формуле (7) отыскивается образ N.

Способ формульного представления отображений основывается на теореме об импликативном разложении предиката, гласящей, что любой предикат F(x, y) на АхВ можно представить в виде: для любых хєА и уєВ:

F

Знак з обозначает импликацию логических элементов 0з>0=0з>1=1з>1=1, 1з0=0. Для доказательства теоремы достаточно убедиться, что после подстановки любого аєА вместо х равенство (9) обращается в тождество вида F(a, y)=F(a, y). Если множество А конечно и равно А={ a1, a2,..., ak}, то, согласно (9), для любых хєА и ує В:

F(x,y)=( xai 3F(ai, y))( xa2 ^F(a2, y))...

...

Отношение F, определяемое уравнением F(x, y)=1, выразится по (10) системой

xai 3F(a1, y)=1, xa2 3F(a2, y)=1,...,

xak 3F

или, что то же самое, системой условий

xai 3F(a1, y), xa2 3F(a2, y),..., xak 3F(ak, y). (12) В случае, когда А бесконечно, получаем систему вида

xa3F

состоящую из бесконечного числа уравнений, или, что то же, систему

xa3F

состоящую из бесконечного числа условий. Система условий (14) (в том числе и ее частный случай (12)) представляет собой формульное описание для любого отображения y=F(x). Каждому элементу а множе-

ства А она ставит в соответствие его полный образ Pa(y)=F(a, y) относительно отображения F. Тем самым система (14) формирует все те возможные сигналы у преобразователя F (рисунок, поз. д), которые могут появиться на его выходе при подаче на его вход сигнала х=а. Таким образом, мы пришли к простому и естественному способу исчерпывающего формульного описания отображения F, которое характеризует движение сигнала от входа к выходу соответствующего преобразователя. Действительно, после подстановки х=аг- в систему (11) все ее уравнения, кроме /-го, обращаются в тавтологию вида 1=1, i-е же уравнение превращается в равенство F(a, y)=1, которое определяет полный образ Pa(y)=F(ai, y) элемента аі относительно отображения F.

Рассмотрим пример. Пусть А=В={а, b, с}, F(x,

y)=xaybvxaycvxbyc. Тогда, согласно (10), F(x, y)=(xb3F(a, y))(xbзF(b,y))(xcзF(c, y))=(xa3ybv vyc)(xbзyc)(хcз0). Система условий (12) в данном случае запишется в виде

xa3ybvyc, xb3yc, хсз0.

Она указывает, что полным образом предмета а относительно отображения y=F(x) является множество {b, с}, предмета b — множество {с}, предмета с— множество 0. Это означает, что на выходе преобразователя F (рисунок, поз. д), в ответ на входной сигнал х=а, может появиться либо сигнал у= b, либо сигнал у= с; в ответ на сигнал х= b появляется сигнал у=с; в ответ на сигнал х=с не появляется на выходе у вообще никакого сигнала. Как видим, представление отображения y=F(x) системой условий (14) полностью характеризует это отображение, оно, в отличие от предикатного задания уравнением F(x, y)=1, обладает направленностью действия и позволяет легко отыскать все возможные выходные сигналы отображения для любых его входных сигналов.

Рассмотрим предикат G(y, x)=F(x, y). Любая формула, выражающая предикат F, одновременно выражает и предикат G, так что эти предикаты, по существу, совпадают. Несущественное их различие состоит в том, что в предикате F переменная х считается первой, а у — второй; в предикате G нумерация переменных обратная. Раскладывая предикат G по формуле (9), получаем G(y, x) = =VbєB(ybзF(x, a)) или иначе

F

Соотношение (15) дает другой вариант представления предиката F(x, y), формульно выражающий отображение x=G(y) или x=F-1 (y), обратное отображению y=F(x). Для конечного множества B={b1, b2,..., b/} отображение F-1 запишется системой условий

xbi 3Дх, b1), xb2 3Дх, b2), xbk 3Дх, bk), (16) для произвольного В — системой условий

Fb3F

Как видим, отображения формульно описываются принципиально иначе, чем соответствующие им предикаты. В то время, как для предикатов F(x, y) и G(y, x) (в случае, когда G(y, x)=F(x, y)) их формульные описания совпадают, соответствующие этим предикатам отображения F и G (G=F-1) имеют совершенно различные представления (14) и (17). Выражения (14) и (17) будем называть явным представлением отображений F и F-1. Формульную запись соответствующего предиката F будем называть неявным представлением отображений F и F-1, оно одинаково для

58

РИ, 1998, № 1

отображений F и F-1, не различает их, в равной степени приемлемо для каждого из них . Тем не менее, из него, с помощью теоремы об импликатив-ном разложении предиката, можно извлечь, при желании, различные явные представления отображений F и F-1.

Рассмотрим пример. Как и в предыдущем примере, принимаем A=B=[a, b, c}, F(x, y)=xaybvxaycvxbyc. Предикат G(y, x)=Дx, y) выражается этой же формулой . Формульное выражение предикатов F и G рассматриваем как неявное представление отображений F и F-1. По формуле (15) получаем второй вариант разложения предиката F: F(x, y)=(ya^F(x, a))(yb зДх, b))(ybF(x, c))=(ya30)(yb3xa)(yc3xavxb). Отсюда извлекаем неявное представление отображения F-1 в виде системы условий (16), которая в данном случае приобретает вид

ya^>0, yb^>xa, yc^xavxb.

Этот пример наглядно демонстрирует важное обстоятельство: одно и то же отношение (в данном примере оно задано формулой xaybvxaycvxbyc) порождает два соответствующих ему отображения, одно — прямое (а), другое — обратное (б).

Формульное описание однозначных отображений имеет свою специфику, поэтому оно будет рассмотрено особо. Множество A называется областью отправления, а множество B — областью прибытия отображения F, действующего из A в B. Множество М всех предметов xeA, для каждого из которых существует предмет у є B, удовлетворяющих условию y=F(x), называется областью определения отображения F. Согласно этому

М^^А^АЗуєА F

Множество Лвсех предметов у є B, для каждого из которых существует предмет хє A, удовлетворяющий условию y=F(x), называется областью значений отображения F:

N

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

VxєA ЗуєА F

Отображение F называется сюръективным, если его область значений совпадает с областью прибытия, формально оно определяется условием

УуєВ ЗxєAF'

Будем говорить, что предикату F(x,y), определенному на AxB, соответствует однозначное отображе -ние F, действующее из A в B, если предикат F удовлетворяет условию однозначности

xєAy, zєB

Отображение, не являющееся однозначным, называется многозначным. Условие (22) называется также прямой однозначностью. Будем говорить, что отображение y=F(x) удовлетворяет условию обратной однозначности, если отображение x=F-1(y) подчиняется условию прямой однозначности. Отображение F, удовлетворяющее условию обратной однозначности Vx, yєAVzєB(F(x, z)AF(y, z)^D(x, y)), (23) называется инъективным.

Теорема о возможности канонического представления однозначного отображения. Любое однозначное отображение y=F(x), действующее из A в конечное

множество B={b1, b2,..., b}, можно представить системой равенств

ybl =Дх yb2 =F

которая определяет отношениеxFy, соответствующее отображению F.

В системе (24) знак равенства можно заменить равноценным ему знаком равнозначности, тогда она превращается в систему условий

ybi ~F

Представление отображения F в форме (24) или (25) называется каноническим.

Доказательство. Чтобы доказать теорему, достаточно убедиться, что при xєA и у є B условие F(x, y)= 1 равносильно системе условий (25). Предположим, что пара предметов хє A, у є B удовлетворяет условию F(x, y)=1. Отсюда следует существование такого i (1<i<l), что y=biи F(x, bi)=1. В силу однозначности отображения F, для любого /Д (1<j<l) имеем F(x, bj)=0. Поэтому все уравнения системы (24), кроме i-го, обращаются в тавтологии вида 0=0, j-е же уравнение обращается в тавтологию вида 1=1. Таким образом, пара (х, у) является также и решением системы уравнений (24). Следовательно, система условий (25) удовлетворяется. Предположим, что пара предметов хє A, уєB не удовлетворяет условию F(x, y)= 1. Тогда найдется такое i (1<i<l), что F(x, b,)=0, но ybi=1. В этом случае i-е уравнение системы (24) обращается в противоречие вида 1=0. Следовательно, система условий (25) не удовлетворяется. Итак, при любых xєA и уєB условие F(x, y)=1 равносильно системе условий (25). Теорема доказана.

Теорема о невозможности канонического представления многозначного отображения. Ни одно многозначное отображение y=F(x), действующее из A в конечное множество B={bi, b2,..., bi }, нельзя представить в виде (24) и (25).

Доказательство. Пусть отображение F многозначно. Тогда найдутся такие xєAи bh b/єВ(Д/),что F(x, b)=F(x, b/)=1. Ни одна из пар (x, b,) и (x, bj) не удовлетворяет системе уравнений (24). Действительно, если y=bh то y^bj, а значит ybj =0. Поэтому пара (x, bi) обращает в противоречие вида 0=1 j-е уравнение системы (24). Если же y=bj, то ytbh а значит

ybi =0. В этом случае пара (x, bj) обращает в противоречие вида 0=1 i-е уравнение системы (24). Отсюда следует неравносильность условия F(x, y)=1 и системы (25). Теорема доказана.

Эти две теоремы можно соединить в одну. В результате получаем теорему об общем виде однозначного отображения. Любые однозначные отображения y=F(x), действующие из A в B={b1, b2, ..., bi}, и только они, могут быть представлены в виде системы условий

ybl "ДСД yb2 ~P2

где P1, P2, ..., Pi — некоторые подходящие предикаты на A. Если предикат F(x,y), соответствующий отображению y=F(x), известен, то предикаты Дмогут быть найдены по формуле

Pi

Предикат P(x) определяет полный прообраз предмета y= bi относительно отображения y=F(x).

РИ, 1998, № 1

59

Все полученные выше результаты легко обобщаются на случай произвольной области В (как конечной, так и бесконечной). К примеру, сформулируем для произвольной области В теорему об общем виде однозначного отображения. Для того чтобы отображение y=F(x), действующее из А в В, было представимо системой условий yb~Pb(x) (beB) при подходящем выборе предикатов Pb, необходимо и достаточно, чтобы оно было однозначным. Предикаты Pb выражаются через предикат Fв виде Pb(x)=F(x, b) (beB). Доказательство необходимости сводится к установлению того факта, что любое отображение, задаваемое системой (26), однозначно; достаточности — к установлению того, что любое однозначное отображение может быть выражено системой (26) при подходящем выборе предикатов Pb(x).

С помощью зависимостей (24) (или (25)) для любого отображения y=F(x) можно найти для каждого хеА соответствующее ему значение уе В, если оно существует. В этом случае один из предикатов ybi (i= 1, l) обращается в единицу, остальные —

в нуль. Если же значение у отображения F для какого-то хеА не существует, то в этом случае все предикаты УЬі обращаются в нуль. Таким образом, зависимости (24) и (25) можно использовать в качестве удобного способа для явного формульного выражения любых однозначных отображений. Рассмотрим пример явного представления однозначного отображения. Пусть А={а, b, c, d}, B={a, b, c}, F(x, y)=xaybvxbybvxdyc. Проверяем выполнение условия однозначности для предиката F: xeAy, ze B (F(x, у)л F(x, z)^D(y, z))=xe{a, b, c, d}y, ze{a, b, c} vxbybvxdyc)(xaz?v vxbzjbvxdzf) ^yazavybzlbvyczc)= 1. Отображение F однозначно, следовательно, его можно представить в виде (24). Записываем для отображения F равенства (24): ya=F(x, а)=xaabvxbabvxdac=0; yb=F(x, b)=xabbv...vxbbbvxdb=xavxb; yc=F(x,c)= xacbvxbcbvxdcc= =xd. Итак, отображение y=F(x) выражается в явном виде системой равенств

ya=0, yb=xavxb, yc=xd.

С помощью зависимостей (в) находим значения отображения F: для х=а,y=b, так как yb=1, ya=yc=0; аналогично, если x=b, то y=b; если x=d, то у=с; для х=с значение y=F(x) не существует, поскольку ya=yb=yc=0.

Важным частным случаем однозначных отображений являются функции. Будем говорить, что функция y=F(x) отображает множество А в множество В и писать FH^-B. Функцией из А в В называется любое однозначное и всюду определенное отображение, действующее из А в В. Любое однозначное отображение можно превратить в функцию, если сузить его область отправления до области определения. Функцию y=F(x), отображающую А в В, можно задать, указывая соответствующий ей предикат F(x,

y), определенный на Ах В. Чтобы такое задание функции F было корректным (т.е. на самом деле определяло функцию, а не какое-то иное отображение), нужно проверить, что предикат F(x, y) подчиняется, во-первых, условию всюду определенности (20) и, во-вторых, условию однозначности (22). Предикат, удовлетворяющий этим двум условиям, называется функциональным.

Функция называется сюръекцией, если ее область значений совпадает с областью прибытия. Говорят, что сюрьекция /.А^-В отображает множество А на множество В. О функции же F:А^А говорят, что она отображает множество М в себя. Такая функция называется операцией, заданной на А. Функция F называется инъекцией, если она удовлетворяет условию обратной однозначности. Отображение, удовлетворяющее условиям прямой и обратной однозначности, называется взаимно однозначным. Функция называется биекцией, если она сюръективна и инъек-тивна. Говорят, что биекция F:А^B взаимно однозначно отображает множество А на множество В. Если существует биекция F^^^ то говорят, что множества А и В равномощны. Конечные равномощные множества состоят из одинакового числа элементов. Функции можно описывать формулами в явном виде точно так же, как и любые однозначные отображения. Особенность состоит лишь в том, что теперь в выражениях, стоящих справа от знаков равенства в системе (24), встречаются предикаты узнавания по переменной х для всех предметов области отправления отображения. Если отображение инъективно, то в каждом равенстве системы (24) будет встречаться не более одного предиката узнавания по переменной х; если же отображение сюръективно, то в системе (24) будут отсутствовать нули. Например, однозначное отображение (в) не функционально, не инъективно и не сюръективно.

В заключение отметим, что здесь был рассмотрен лишь частный случай отображения — одноместные отображения y=F(x). Понятие отображения можно распространить на многоместные отображенияy=F(x1, x2,..., xm) и на векторные отображения (y1, y2,...,y«)=F(xi, x2,..., xm).

Литература: Дударь З.В., Мельникова Р.В., Шабанов-Куш-наренко Ю.П. Отношения как объекты формульного описания // Радиоэлектроника и информатика. 1997. Вып. 1. С. 115-119.

Поступила в редколлегию 12.03.98

Дударь Зоя Владимировна, канд. техн. наук, доцент кафедры ПО ЭВМ ХТУРЭ. Адрес: 310202, Украина, Харьков, пр. Л. Свободы, 39б, кв. 31, тел. 40-94-46.

Самуйлик Ирина Георгиевна, аспирант кафедры ПО ЭВМ ХТУРЭ. Адрес: 310145, Украина, Харьков, ул Космическая, 10, кв. 52, тел. 40-94-46.

Шабанов-Кушнаренко Юрий Петрович, д-р техн. наук, профессор кафедры ПО ЭВМ ХТУРЭ. Адрес: 310058, Украина, Харьков, ул Культуры, 11, кв. 31, тел. 40-94-46.

60

РИ, 1998, № 1