If we measure a number, we get an interval. What if we measure a function or an operator? (Q1921299): Difference between revisions

A measurement information about a function \(f\) yields a sequence \((X_i,Y_i)\) of pairs of intervals with the interpretation that \(x\in X_i\) implies \(f(x)\in Y_i\). A function interval is the set of all functions \(f\) which are consistent with this interpretation. There are several fast algorithms described which treat questions like: Is a constant function in the interval? Or a monotonic function? Or where are the local extrema?