区間 (数学)

数学における（**実**）**区間**（じつくかん、）は、実数全体  の部分集合  であって任意の実数   について  ならば  という条件を満たすものである。

例えば、区間 [*a*, *b*] は  を満たす実数  全体からなる集合であり、この場合は  と  の両方を含む区間である。他の例として、実数全体の成す集合 , 負の実数全体の成す集合, 一点集合, 空集合なども区間といえる。

実数に限らず、勝手な全順序集合（例えば整数の集合や有理数の集合）上でも区間の概念は定義できる。

実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。

不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の法としての区間演算を考えるにあたって、区間はその中核概念を成す。

## 用語と表記
;端点 (endpoints)
:区間の最小値と最大値を示す2つの値で、  などのようにコンマ区切りで表記する。小数点にコンマを用いる国や桁の区切りにコンマを用いるような場合などでは、紛れの無いよう端点の区切りにセミコロンを用いることもある。
;開／閉
*端点を*含まないことを開*、*含むことを閉*とする様々な表現がある。両端とも閉じて（開いて）いる区間を閉区間（開区間）といい、片側だけ開いていれば半開区間、より具体的に*左開右閉*などと言い表すこともある。これらは実数直線における通常の位相に関する開集合系、閉集合系とちょうど一致する。
*区間の開閉を表記する際、閉じている側は角括弧を用いる。開いている側は丸括弧に変える記法と角括弧を逆向きにする記法が国際規格ISO 31-11に記載されている（以下、に基づく）。
:; 閉区間
::[a, b] := \{x\in\R\mid a\le x\le b\}.
:; 開区間
::(a, b) := \{x\in\R\mid a 　別表記→　]a, b[
:; 半開区間（左開右閉）
::(a, b] := \{x\in\R\mid a 　別表記→　]a, b]
:; 半開区間（左閉右開）
::[a, b) := \{x\in\R\mid a\le x 　別表記→　[a, b[
:なお、 のとき、, ,  は何れも空集合を表し、 は一点集合  を表す。また  のときは、四種類とも空集合になる。

## 注意
* 数学において丸括弧や角括弧で括る記法は遍在しているから、区間の記法がそれらと衝突することは注意すべき点である。例えば、 は、集合論において順序対を表したり、解析幾何学や線型代数学において点やベクトルの座標を記述するのに用いたり、ときに代数学で複素数を表すのに用いることもある。それゆえ、ブルバキは開区間を表すのに  なる記法を導入した。計算機科学などにおいては  も順序対を表すのに用いられたりもする。
* 文献によっては  が区間  の補集合（つまり  以下の実数と  以上の実数すべてからなる集合）の意味で用いられる。
* 区間のいずれかの方向に限界がないことを示すために、無限大の端点を用いることができる。具体的には、  や  と書いて、例えば  は全体の成す集合（ とも書く）の意味であり、また  は実数直線  に等しい。
* 文脈によっては補完数直線の部分集合としての区間を定義することもできる。補完数直線ではすべての実数に加えて二つの無限遠点  および  が元として含まれるから、その文脈では , , ,  などの記法も使用できる。例えば  は  を除く拡大実数全てからなる集合を表す。その解釈のもとでは、, , ,  はすべて意味を為し、かつ何れも相異なる。特に  は通常の実数全体の成す集合で、 は拡大実数全体の成す集合になる。拡大実数で考える場合、通常の実数の中で考える場合と比べて定義や語法などが影響を受けるかもしれないことに注意すべきである。例えば、区間  は通常の実数の範囲では閉集合だが、拡大実数の範囲で考えるならばそうではない。

## その他の用語
* ***': 区間が[[退化 (数学)|退化]]しているとは[[単集合|ただ一つの元からなる集合]]となっているときに言う。文献によっては、さらに空集合を退化区間の一種として含めることもある。
* ***': 空でなく退化もしていない（＝二つ以上の元を含む）実区間は真の (*proper*; 通常の) 区間と言い、無限個の元を含む。
* 区間  の**内部**とは  に含まれる最大の開区間を言い、それはまた  の両端点を除く  の元全てからなる集合でもある。
* 区間  の**閉包**とは  を含む最小の閉区間を言い、それはまた集合としての  に有限な端点を付け加えて得られる集合でもある。
* 実数からなる任意の集合  に対して、 の**区間包絡** (*interval enclosure*) または **区間包** (*interval span*) とは、 を含む区間であって、なおかつその区間には  を含むほかのどの区間も真に含まれることがないという条件を満たす唯一の区間を言う。
* ***'／***': その区間を包含する上位集合に、区間内のすべての元がそれ以上となるような数が存在するとき、その数を下界といい、その区間は**左有界**であるという。逆にすべての元がそれ以下となるような数は上界といい**右有界**となる（→順序集合#上界）。
* 有界区間はその径（この場合両端点の絶対差 ）が有限であるという意味において有界集合である。この径のことを、区間の**長さ**、**幅**、**測度**、**大きさ**などのように呼ぶ。非有界区間の長さはふつう  と定義される。空な区間の長さは  と定義したり、あるいは定義しない。
* 有界区間の**中心**または中点とは、両端点が  と  のとき  のことを言い、区間の半径とは長さの半分  を言う。中心や半径は非有界区間や空区間では定義しない。

## 性質
* 実数直線  内の区間の概念は、 の連結部分集合の概念にちょうど一致する。したがって、任意の区間を任意の実数値連続函数で写した像もまた区間となることがわかる。これは中間値の定理の一つの定式化である。
* 区間の概念はまた  内の凸部分集合の概念とも一致する。ゆえに部分集合  の区間包は  の凸包である。
* 区間からなる任意の族の交わりは必ず一つの区間である。二つの区間の合併がふたたび区間となるための必要十分条件は、両区間の交わりが空でないか、一方の区間の開端点が他方の閉端点に一致することである。後者は例えば、 のようなことを言っている。
*  を距離空間と見るとき、その開球体とは有界開区間  のことであり、その閉球体とは有界閉区間  のことを言う。ここで中心が , 半径は  であることに注意せよ。
* 区間  の任意の元  は  の交わりの無い三つの区間  への分割を定義する。これら三つは順に、 の より小さい元全体、一点集合 、 より大きい元全体である。分割片  がともに空でない（特に内部が空でない）ための必要十分条件は が  の内部に属することである。これを区間に対すると言う。

## 一般化

### 高次元区間
多くの文脈において、**-次元区間**は、各座標軸上に各々ひとつ取った  個の区間の直積集合  として書ける  の部分集合として定義される。

 のとき、これは各辺が座標軸に平行な矩形領域（各区間の長さが等しければ正方形領域）として見ることができ、同様に  のとき、軸に平行な直方体領域（同様に立方体領域）となる。高次元の場合にも、 個の区間の直積は有界な -次元超立方体または超矩形である。

いま定義した意味の区間  の**ファセット** (*facet*) は、 を定義する直積因子のうち任意の非退化区間  を  の有限端点のみからなる退化区間に取り換えて得られる区間を言う。 の**面集合**とは、 自身および  の任意のファセットの面となるもの全てからなる集合である。 の**頂点集合**とは、 の一点のみからなる面全体の成す集合を言う。

いくつかの場合には、一次元の場合の記法を流用した記法も用いられる。 を成分表示したものが  および  であるとき、
; 閉区間
:[a, b] := \{(x_1, \dots, x_n) \in \R^n \mid a_1 \le x_1 \le b_1, \dots, a_n \le x_n \le b_n\}.
; 開区間
:(a, b) = {]{a, b}[} := \{(x_1, \dots, x_n) \in \R^n \mid a_1 
; 半開区間（左閉右開）
:[a, b) = {[{a, b}[} := \{(x_1, \dots, x_n) \in \R^n \mid a_1 \le x_1 
; 半開区間（左開右閉）
:(a, b] = {]{a, b}]} := \{(x_1, \dots, x_n) \in \R^n \mid a_1 

### 複素区間
複素数の区間は複素数平面内の矩形領域もしくは円形領域の何れかとして定義することができる。

## 区間の位相環
区間は両端点を座標とする平面上の点と対応付けることができ、したがって区間からなる集合を平面上の領域と対応付けることができる。一般に、区間を実数直線の直積集合  に属する順序対  と対応付けるとき、 はしばしば暗黙の仮定としてあるが、数学的構造を見る目的でこの制約は課さず、 なる「逆向き区間」("reversed intervals") も許すことにする。そうすると、区間  全体の成す集合は、 同士の直和に成分ごとの和と積を入れた位相環と同一視できる。 

この直和環  は二つのイデアル  および  を持つ。この環の乗法単位元は退化区間  である。二つのイデアルに入らない区間  乗法逆元  を持つ。通常の位相のもと、この区間からなる代数系は位相環を成す。この環の単元群は各座標軸（これはいまこの環のイデアルとして与えられているのであった）で分けられる四つの四分象限からなる。単元群のは第一象限である。

任意の区間は、その中点を中心とする対称区間と考えることができる。M Warmus が1956年に出版した再構成では、「均衡区間」("balanced interval")  の軸を点に退化した区間  の軸に沿って用いている。
区間の環を、直和環  ではなくて、分解型複素数平面に同一視したのは M. Warmus と D. H. Lehmer である。同一視は
: 
を通して得られる。この平面上の線型かつ環同型な写像は、平面上に乗法構造を与え、そこでは通常の複素数の算術にあるような極分解などの類似物を考えることができるようになる。

## 脚注

## 参考文献

* T. Sunaga, "Theory of interval algebra and its application to numerical analysis", In: Research Association of Applied Geometry (RAAG) Memoirs, Ggujutsu Bunken Fukuy-kai. Tokyo, Japan, 1958, Vol. 2, pp.&nbsp;29–46 (547-564); reprinted in Japan Journal on Industrial and Applied Mathematics, 2009, Vol. 26, No. 2-3, pp.&nbsp;126–143.

## 外部リンク
* *A Lucid Interval* by Brian Hayes: An American Scientist article provides an introduction.
* Interval computations website
* Interval computations research centers
* Interval Notation by George Beck, Wolfram Demonstrations Project.
* 
* 
* 
*