(2.54)
ешалась так называемым прямым методом, т.е. для произвольного определялось
.
В основе обратного метода нахождения результатов алгебраических операций лежит важное
следствие из следующей теоремы.
Теорема 2.8.
Пусть
X
и
Y
- произвольные базовые множества,
AF(X)
и задано отображение
f: X
→
Y
. Если для
∀
y Y
∃
x X
такой, что , то справедливо равенство
(2.55)
оказательство.
Пусть такое, что . Тогд
, т.е. и, следовательно, .
С другой стороны, пусть , т.е. . Тогда по условию теоремы
существует такой, что . Поскольку , то
. Теорема доказана.
Следствие.
Если
A, B F(R)
, то
оказательство.
Как было отмечено ранее, алгебраические операции определяются
отображением
f:R
∗
R
→
R
, т.е. для
F
-величин
A
и
B
имеем
f(A
∗
B)=A
°
B
. Учитывая, что в
данном случае справедливо равенство , с учетом (2.55) получаем
что и требовалось доказать.
Очевидно, что указанная теорема и следствие справедливы также для слабых
α
-уровневых
множеств.
F
-величина
A
называется
ограниченной
, если
σ
(A)
- ограниченное множество. Подкласс из
F
(R)
ограниченных и выпуклых
F
-величин обозначим через .
Из условия теоремы следует, что доказанное следствие выполняется, когда основное
соотношение
2.54
можно записать в виде