區間分析

記I(R)為所有有限長區間總集合，即，如果)就是一個實數稱為點區間，設為兩區間，，可定義區間四則運算為

區間分析

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

符號I嶅J表示J包含I,表示區間之交，表示區間之並，它與集合運算規律相同。若I,J,K,L嶅I(R)且I嶅K,J嶅L則有

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

在n維空間中，若向量的分量都是區間，則x稱為n維區間向量，幾何上表示n維長方體。若階矩陣A的元素Aij都是區間，則A＝ 稱為區間矩陣。對區間向量和矩陣也可定義它們的運算及范數。此外還可定義區間映射、區間導數、區間積分等等，它們構成區間分析的基本內容。將區間運算與其他數學領域相結合就形成了區間代數、區間幾何等等。

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

參考書目

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