Having in mind the ideas of J. Moreau, T. Strömberg and Á. Száz, for any function f and g of one power set ????(X) to another ????(Y), we define an other function (f⚹g) of ????(X) to ????(Y ) such that
(f⚹g)(A) = ∩{f(U)∪g(V): A⊂U∪V⊂X}
for all A⊂X. Thus (f⚹g) is a generalized infimal convolution of f and g.
We show that if f and g preserve arbitrary unions, then (f⚹g) also preserves arbitrary unions. Moreover, if F and G are relations on X to Y such that
F(x) = f({x}) and G(x) = g({x})
for all x∈X, then
(f⚹g)(A) = F⋂G[A]
for all A⊂X.
Download files
Citation rules
You may also start an advanced similarity search for this article.
Vol. 27 (2013)
Published: 2013-09-30