区间分析,又称区间数学,是一门用区间变量代替点变量进行运算的数学分支。它最初是从计算数学的误差理论研究发展起来的。1966年R.E.穆尔在《区间分析》一书中第一次系统提出区间运算理论。
计算
误差一直是数值分析中一个比较麻烦的问题,它来源于数据误差、
截断误差和
舍入误差。人们努力使计算结果保证在所要求的
精度内;然而,在许多问题中往往是推测计算结果的某种精度或者尽量使用高精度的运算以保证计算结果的精度,由于计算误差的累积可能使计算结果失去意义,区间数学提供了一种简便的方法,它考虑到各种误差,同时,作为计算结果,得到一个包含精确结果的区间,这就可能实现数值分析所希望解决的问题。
就称为有界
闭区间。其中,成为区间的下端点,成为区间的下断点,把上所有有界区间所构成的集合即为。
20世纪70年代以来区间数学有很大发展,在计算数学方面有很多应用,如利用区间迭代法可判断对
非线性方程组及算子方程解的存在惟一性及区间迭代序列收敛性,这是点迭代法得不到的结果。此外,它在区间插值与逼近、线性方程、非线性规划、微分方程等方面也有应用。直接用区间量计算的计算机语言──区间语言也已出现。