he following statement is direct consequence of definitions.
(Infimal convex function)Let
be a convex set. The
(Infimal convolution) The function
is called infimal convolution.
are convex functions then
is a convex function.
(Duality of infimal convolution and addition). Let
be convex functions.