區間(英語:interval)在數學上是指某個範圍的數的集合,或者更一般地是指某個範圍的預序集元素的集合,一般以集合形式表示。
![](//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png)
此條目介紹的是數學上的區間概念。關於鐵路運輸的區間概念,請見「
閉塞 (鐵路)」。
在圖中的數軸上,所有大於x和小於x+a的數組成了一個開區間。
在賦予通常序的實數集
里,以
為端點的開區間和閉區間分別是:
![{\displaystyle (a,b)=\{x\in \mathbb {R} \colon a<x<b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/4ede13556abc7380ae7ff793caf596757bb1dea9)
![{\displaystyle [a,b]=\{x\in \mathbb {R} \colon a\leq x\leq b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f8c383da36732b5465a962646777e1df581e5d52)
類似地,以
為端點的兩個半開區間定義為:
![{\displaystyle (a,b]=\{x\in \mathbb {R} \colon a<x\leq b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/2ac6a7d10410e78402279912c4472921cad0be64)
![{\displaystyle [a,b)=\{x\in \mathbb {R} \colon a\leq x<b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/0d8a7f6fb708bc50cb947d159c0726ae52d76927)
在一些上下文中,兩個端點要求滿足
。這排除了
從而區間或是單元素集合或是空集的情形,也排除了
從而區間為空集的情形。
只有左端點
的開區間和半開區間分別如下。
![{\displaystyle (a,\infty )=\{x\in \mathbb {R} \colon x>a\},}](//wikimedia.org/api/rest_v1/media/math/render/svg/1550169e2f39f579621544f6926ca13419de0ee0)
![{\displaystyle [a,\infty )=\{x\in \mathbb {R} \colon x\geq a\},}](//wikimedia.org/api/rest_v1/media/math/render/svg/027c8e66bc7846b296c5fdd7d9037c1a8a54d243)
只有右端點
的開區間和半開區間分別如下。
![{\displaystyle (-\infty ,b)=\{x\in \mathbb {R} \colon x<b\},}](//wikimedia.org/api/rest_v1/media/math/render/svg/f578716bc168e4f22ac03355d2590dd649691d7b)
![{\displaystyle (-\infty ,b]=\{x\in \mathbb {R} \colon x\leq b\},}](//wikimedia.org/api/rest_v1/media/math/render/svg/6f4e7ab6336f5e7616cdd7218d3aeace33a41cc4)
整個實數線等於沒有端點的區間:
![{\displaystyle (-\infty ,\infty )=\mathbb {R} }](//wikimedia.org/api/rest_v1/media/math/render/svg/3e3d9463863b5eb37d7b74ae2f81e815fc2bd6d6)
區間的概念在任何偏序集或者更一般地,在任何預序集中有定義。對於預序集
和兩個元素
,我們可以類似定義[2]:11, Definition 11
![{\displaystyle (a,b)=\{x\in X\colon a<x<b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/43fc8c916d0fc77beb73fd926ee4bb4fff88878a)
![{\displaystyle [a,b]=\{x\in X\colon a\lesssim x\lesssim b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/cf1b91d4e0efd987fb45e4de370662d066493f63)
![{\displaystyle (a,b]=\{x\in X\colon a<x\lesssim b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c65294a9d7cd6a779496abf27cf02d0d1c1b5668)
![{\displaystyle [a,b)=\{x\in X\colon a\lesssim x<b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/70fe2dadf1e99e126dcd1e55265dbb26e371ecfa)
![{\displaystyle (a,\infty )=\{x\in X\colon a<x\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/e363dd91c26650c62f7244bc2a3fe545757e14e6)
![{\displaystyle [a,\infty )=\{x\in X\colon a\lesssim x\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/21aa08dcd54d7debf708894c16f3a7d1983f7998)
![{\displaystyle (-\infty ,b)=\{x\in X\colon x<b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/992a1dc19b4fd63752ec0db4de10e13e2d636009)
![{\displaystyle (-\infty ,b]=\{x\in X\colon x\lesssim b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/aac1feb3c6cb6fba7d13cdd4faadf6cc95f62b64)
![{\displaystyle (-\infty ,\infty )=X}](//wikimedia.org/api/rest_v1/media/math/render/svg/d506ef89d04b1a1b10df4a5570be99b682a7f70c)
其中
意思是
。其實,只有一個端點或者沒有端點的區間等同於更大的預序集
![{\displaystyle {\bar {X}}=X\sqcup \{-\infty ,\infty \}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b59614cc64fae001fa1ed13c404627563c5d2879)
![{\displaystyle -\infty <x<\infty \qquad (\forall x\in X)}](//wikimedia.org/api/rest_v1/media/math/render/svg/8ed45a50c51386e2e1e75d357af4f17cd4901ebe)
上具有兩個端點的區間,使得它是
的子集。當
時,可以取
為擴展實數線。
區間算術又稱區間數學、區間分析、區間計算,在1950、60年代引進以作數值分析上計算捨去誤差的工具。
屬於
的某些
,及屬於
的某些
,使得![{\displaystyle x=y\times z\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/11162d5ed20a5e35c46f2e59b2050bd289ab2c2c)
區間算術的基本運算是,對於實數線上的子集
及
:
![{\displaystyle [a,b]+[c,d]=[a+c,b+d]}](//wikimedia.org/api/rest_v1/media/math/render/svg/fee8c5524fea89636103ea04d2271d03fdb2c888)
![{\displaystyle [a,b]-[c,d]=[a-d,b-c]}](//wikimedia.org/api/rest_v1/media/math/render/svg/6d65fdee1ba80f2fa2179a29b5938439a15f9f96)
![{\displaystyle [a,b]\times [c,d]=[\min\{ac,ad,bc,bd\},\max\{ac,ad,bc,bd\}]}](//wikimedia.org/api/rest_v1/media/math/render/svg/b334cf018eb4ccf7dcc69bb1fefa02bf878ad27f)
![{\displaystyle {\frac {[a,b]}{[c,d]}}=\left[\min \left\{{\frac {a}{c}},{\frac {a}{d}},{\frac {b}{c}},{\frac {b}{d}}\right\},\max \left\{{\frac {a}{c}},{\frac {a}{d}},{\frac {b}{c}},{\frac {b}{d}}\right\}\right]}](//wikimedia.org/api/rest_v1/media/math/render/svg/bd76a518c678329260f7626ced401e84cce0feed)
被一個包含零的區間除,在基礎區間算術上無定義。
加法和乘法符合交換律、結合律和子分配律:集
是
的子集。
在法國及其他一些歐洲國家,用
代替
來表示開區間,例如:
![{\displaystyle \left]a,b\right[=\{x\mid a<x<b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f1f5b58075e37eab0c81a7e8974553b5d32ae189)
![{\displaystyle \left[a,b\right]=\{x\mid a\leq x\leq b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/2e3541db101303e3fe316f0cfb6aed0024010374)
![{\displaystyle \left[a,b\right[=\{x\mid a\leq x<b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c41672bcc810d0c6045512c30583238d94ae6c2e)
![{\displaystyle \left]a,b\right]=\{x\mid a<x\leq b\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f86c9f682967e3dd77e6d2e094308771219280a0)
國際標準化組織編制的ISO 31-11也允許這種寫法[4]。
另外,在小數點以逗號來表示的情況下,為免產生混淆,分隔兩數的逗號要用分號來代替,例如將
寫成
。若只把小數點寫成逗號,就會變成
,此時不易判斷究竟是
與
之間,還是
與
之間的閉區間。