又稱區間數學,是一門用區間變數代替點變數進行運算的數學分支。它最初是從計算數學的誤差理論研究發展起來的。1966年R.E.莫爾在《區間分析》一書中第一次系統提出區間運算理論。記I(R)為所有有限長區間總集合,即I(R)={[αb)]│αb)),αb)∈R},如果α=b)就是一個實數α=〔αα〕稱為點區間,設IJI(R)為兩區間,I=[αb)],J=[с,d],可定義區間四則運算為

\ n

  區間四則運算符合加法與乘法的交換律與結合律,但不符合乘法對加法分配律,而滿足次分配律,即對IJKI(R)有

符號 IJ表示 J包含 IIJ表示區間之交, IJ表示區間之並,它與集合運算規律相同。若 IJKLI( R)且 IKJL則有

稱為區間運算的包含單調性。利用這一性質對任一有理函數 f( x),可把點變量 x換成區間變量 x進行運算,這樣得到的區間值函數 F稱為 f的區間擴展函數。

  在n維空間中,若向量x=(x1x2,…,xn)的分量xj(i=1,2,…,n)都是區間,則x稱為n維區間向量,幾何上表示n維長方體。若n×m階矩陣A的元素Aij都是區間,則A

稱為區間矩陣。對區間向量和矩陣也可定義它們的運算及范數。此外還可定義區間映射、區間導數、區間積分等等,它們構成區間分析的基本內容。將區間運算與其他數學領域相結合就形成瞭區間代數、區間幾何等等。

  20世紀70年代以來區間數學有很大發展,在計算數學方面有很多應用,如利用區間迭代法可判斷對非線性方程組及算子方程解的存在惟一性及區間迭代序列收斂性,這是點迭代法得不到的結果。此外,它在區間插值與逼近、線性方程、非線性規劃、微分方程等方面也有應用。直接用區間量計算的計算機語言──區間語言也已出現。

  

參考書目

 R.E.Moore,Interval Analysis,Prentice-Hall,Englewood Cliffs,New Jersey,1966.