Publication Date



Technical Report: UTEP-CS-11-55


One of the main problems of interval computations is to find an enclosure Y that contains the range f(X1, ..., Xn) of a given function f(x1, ..., xn) over given intervals X1, ..., Xn. Most of the techniques for estimating this range are based on propagating the range through computations. Specifically, we follow the computations of f(x1, ..., xn) step-by-step: we start with ranges X1, ..., Xn of the inputs, and then we sequentially compute the enclosures for the ranges of all intermediate results, until, on the last computation step, we get the desired enclosure Y.

A similar propagation of "decorations" -- information about continuity -- enables us to make conclusions about the continuity of the resulting function f(x1, ..., xn). In this paper, we show that the interval propagation results can be naturally extended to the general case of arbitrary sets. For this general case, we provide necessary and sufficient conditions for such a propagation.