「区間 (数学)」の版間の差分
ja>LimiT (→記法) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 17:45時点における最新版
数学における(実)区間(じつくかん、英: (real) interval)は、実数からなる集合で、その集合内の任意の二点に対しその二点の間にあるすべての数がその集合に属するという性質を持つものである。例えば、0 ≤ x ≤ 1 を満たす数 x 全体の成す集合は、0 と 1, およびその間の数すべてを含区間である。他の著しい例として、実数全体の成す集合 テンプレート:Mathbf, 負の実数全体の成す集合および空集合などが挙げられる。
実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。
不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の数値計算法としての区間演算を考えるにあたって、区間はその中核概念を成す。
勝手な全順序集合、例えば整数の集合や有理数の集合上でも、区間の概念は定義することができる。
記法
a と b を含めた a と b の間にある実数全体の成す区間はしばしば テンプレート:Closed-closed と書かれる。この二数は、この区間の端点 (endpoints) と言う。小数点にコンマを用いる国や桁の区切りにコンマを用いるような場合などでは、紛れの無いように区間の端点の区切りにセミコロンを用いることもある。
区間の端点のそれぞれがその集合に含まれないことを指し示すために、対応する方の角括弧を丸括弧に変えたり逆向けにしたりする記法が用いられる。両記法とも国際規格ISO 31-11にも記載がある。集合の内包的記法で書けば
- [math] \begin{align} (a,b) = \mathopen{]}a,b\mathclose{[} &:= \{x\in\R\mid a\lt x\lt b\}, \\{} [a,b) = \mathopen{[}a,b\mathclose{[} &:= \{x\in\R\mid a\le x\lt b\}, \\{} (a,b] = \mathopen{]}a,b\mathclose{]} &:= \{x\in\R\mid a\lt x\le b\}, \\{} [a,b] = \mathopen{[}a,b\mathclose{]} &:= \{x\in\R\mid a\le x\le b\}. \end{align} [/math]
ただし、a = b のとき、テンプレート:Open-open, テンプレート:Closed-open, テンプレート:Open-closed は何れも空集合を表し、テンプレート:Closed-closed は一点集合 {a} を表す。また a > b のときは、四種類とも空集合になる。
注意
- 数学において丸括弧や角括弧で括る記法は遍在しているから、区間の記法がそれらと衝突することは注意すべき点である。例えば、(a, b) は、集合論において順序対を表したり、解析幾何学や線型代数学において点やベクトルの座標を記述するのに用いたり、ときに代数学で複素数を表すのに用いることもある。それゆえ、ブルバキは開区間を表すのに ]a, b[ なる記法を導入した[1]。計算機科学などにおいては [a, b] も順序対を表すのに用いられたりもする。
- 文献によっては ]a, b[ が区間 テンプレート:Open-open の補集合(つまり a 以下の実数と b 以上の実数すべてからなる集合)の意味で用いられる。
- 区間のいずれかの方向に限界がないことを示すために、無限大の端点を用いることができる。具体的には、 a = −∞ や b = +∞ と書いて、例えば テンプレート:Open-open は正の実数全体の成す集合(ℝ+ とも書く)の意味であり、また テンプレート:Open-open は実数直線 ℝ に等しい。
- 文脈によっては補完数直線の部分集合としての区間を定義することもできる。補完数直線ではすべての実数に加えて二つの無限遠点 −∞ および +∞ が元として含まれるから、その文脈では テンプレート:Closed-closed, テンプレート:Closed-open, テンプレート:Closed-closed, テンプレート:Open-closed などの記法も使用できる。例えば テンプレート:Open-closed は −∞ を除く拡大実数全てからなる集合を表す。その解釈のもとでは、テンプレート:Closed-closed, テンプレート:Open-closed, テンプレート:Closed-closed, テンプレート:Closed-open はすべて意味を為し、かつ何れも相異なる。特に テンプレート:Open-open は通常の実数全体の成す集合で、テンプレート:Closed-closed は拡大実数全体の成す集合になる。拡大実数で考える場合、通常の実数の中で考える場合と比べて定義や語法などが影響を受けるかもしれないことに注意すべきである。例えば、区間 テンプレート:Open-open = R は通常の実数の範囲では閉集合だが、拡大実数の範囲で考えるならばそうではない。
用語
- テンプレート:Vancはその両端点を含まず、そのことをその両側を丸括弧で括ることで表す。例えば テンプレート:Open-open は 0 より大きく 1 より小さい数からなる。
- テンプレート:Vancは両端点を含み、そのことを両側を角括弧で括ることで表す。例えば テンプレート:Closed-closed は 0 以上 1 以下の数からなる。
- テンプレート:Vancは端点のうち一つだけを含まないもので、開区間と閉区間の記法を折衷した記法で書く。例えば テンプレート:Open-closed は 0 より大きく 1 以下を意味し、テンプレート:Closed-open は 0 以上 1 未満の意味で用いる。
- テンプレート:Vanc: 区間が退化しているとはただ一つの実数からなる集合となっているときに言う。文献によっては、さらに空集合を退化区間の一種として含めることもある。
- テンプレート:Vanc: 空でなく退化もしていない実区間は真の (proper; 通常の) 区間と言い、無限個の元を含む。
- テンプレート:Vanc: 区間が左有界とは区間内のすべての元がそれ以上となるような数(下界)が存在するときに言い、右有界とは区間内の元がそれ以下となるような数(上界)が存在するときに言う(上界や下界がその区間に入っている必要はない)。左有界かつ右有界となるような区間は有界であるといい、さもなくは区間は非有界である。左または右の一方のみに有界な区間は半有界であるという。空集合は有界区間であり、実数直線は両側に非有界となる唯一の区間である。有界区間のことをしばしば有限区間とも呼ぶ。
- 有界区間はその径(この場合両端点の絶体差 テンプレート:Mabs)が有限であるという意味において有界集合である。この径のことを、区間の長さ、幅、測度、大きさなどのように呼ぶ。非有界区間の長さはふつう +∞ と定義される。空な区間の長さは 0 と定義したり、あるいは定義しない。
- 有界区間の中心または中点とは、両端点が a と b のとき (a + b)/2 のことを言い、区間の半径とは長さの半分 テンプレート:Mabs/2 を言う。中心や半径は非有界区間や空区間では定義しない。
- 区間が左開であるための必要十分条件は最小元(区間内の元であって、区間内の他の任意の元より小さいような数)を持たないことである。区間が右開であるための必要十分条件は最大元を持たないことである。最大元も最小元も持たない区間は開区間となる。例えば区間 テンプレート:Closed-open = {x | 0 ≤ x < 1} は左閉右開区間であり、空集合および実数直線全体は開区間になる。また例えば非負実数全体の成す集合は右開だが左開でない。開区間全体の成す集合は、実数直線における通常の位相に関する開集合系にちょうど一致する。
- 区間が左閉とは最小元を持つときに言い、右閉とは最大元を持つときを言う。閉区間は最小元も最大限も含む。これらの定義をふつうは空集合も閉区間に含め、また(左または右)非有界区間に対しても適用して、閉区間全体の成す集合は実数直線内の通常の位相に関する閉集合系とちょうど一致する。
- 区間 I の内部とは I に含まれる最大の開区間を言い、それはまた I の両端点を除く I の元全てからなる集合でもある。
- 区間 I の閉包とは I を含む最小の閉区間を言い、それはまた集合としての I に有限な端点を付け加えて得られる集合でもある。
- 実数からなる任意の集合 X に対して、X の区間包絡 (interval enclosure) または 区間包 (interval span) とは、X を含む区間であって、なおかつその区間には X を含むほかのどの区間も真に含まれることがないという条件を満たす唯一の区間を言う。
性質
- 実数直線 テンプレート:Mathbf 内の区間の概念は、テンプレート:Mathbf の連結部分集合の概念にちょうど一致する。したがって、任意の区間を任意の実数値連続函数で写した像もまた区間となることがわかる。これは中間値の定理の一つの定式化である。
- 区間の概念はまた テンプレート:Mathbf 内の凸部分集合の概念とも一致する。ゆえに部分集合 X の区間包は X の凸包である。
- 区間からなる任意の族の交わりは必ず一つの区間である。二つの区間の合併がふたたび区間となるための必要十分条件は、両区間の交わりが空でないか、一方の区間の開端点が他方の閉端点に一致することである。後者は例えば、テンプレート:Open-open ∪ テンプレート:Closed-closed = テンプレート:Open-closed のようなことを言っている。
- テンプレート:Mathbf を距離空間と見るとき、その開球体とは有界開区間 テンプレート:Open-open のことであり、その閉球体とは有界閉区間 テンプレート:Closed-closed のことを言う。ここで中心が c, 半径は r であることに注意せよ。
- 区間 I の任意の元 x は I の交わりの無い三つの区間 I1, I2, I3 への分割を定義する。これら三つは順に、I のx より小さい元全体、一点集合 テンプレート:Closed-closed = {x}、x より大きい元全体である。分割片 I1, I3 がともに空でない(特に内部が空でない)ための必要十分条件はx が I の内部に属することである。これを区間に対する三分原理と言う。
一般化
高次元区間
多くの文脈において、n-次元区間は、各座標軸上に各々ひとつ取った n 個の区間の直積集合 I = I1 × I2 × ⋯ × In として書ける Rn の部分集合として定義される。
n = 2 のとき、これは各辺が座標軸に平行な矩形領域(各区間の長さが等しければ正方形領域)として見ることができ、同様に n = 3 のとき、軸に平行な直方体領域(同様に立方体領域)となる。高次元の場合にも、n 個の区間の直積は有界な n-次元超立方体または超矩形である。
いま定義した意味の区間 I のファセット (facet) は、I を定義する直積因子のうち任意の非退化区間 Ik を Ik の有限端点のみからなる退化区間に取り換えて得られる区間を言う。I の面集合とは、I 自身および I の任意のファセットの面となるもの全てからなる集合である。I の頂点集合とは、Rn の一点のみからなる面全体の成す集合を言う。
いくつかの場合には、一次元の場合の記法を流用した記法も用いられる。a, b ∈ Rn を成分表示したものが a = (a1, …, an) および b = (b1, …, bn) であるとき、
- 開区間
- [math][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\}.[/math]
- 閉区間
- [math](a, b) = {]{a, b}[} := \{(x_1, \dots, x_n) \in \R^n \mid a_1 \lt x_1 \lt b_1, \dots, a_n \lt x_n \lt b_n\}.[/math]
- 半開区間(左閉右開)
- [math][a, b) = {[{a, b}[} := \{(x_1, \dots, x_n) \in \R^n \mid a_1 \le x_1 \lt b_1, \dots, a_n \le x_n \lt b_n\}.[/math]
- 半開区間(左開右閉)
- [math](a, b] = {]{a, b}]} := \{(x_1, \dots, x_n) \in \R^n \mid a_1 \lt x_1 \le b_1, \dots, a_n \lt x_n \le b_n\}.[/math]
複素区間
複素数の区間は複素数平面内の矩形領域もしくは円形領域の何れかとして定義することができる[2]。
区間の位相環
区間は両端点を座標とする平面上の点と対応付けることができ、したがって区間からなる集合を平面上の領域と対応付けることができる。一般に、区間を実数直線の直積集合 R × R に属する順序対 (x, y) と対応付けるとき、y > x はしばしば暗黙の仮定としてあるが、数学的構造を見る目的でこの制約は課さず[3]、y − x < 0 なる「逆向き区間」("reversed intervals") も許すことにする。そうすると、区間 テンプレート:Closed-closed 全体の成す集合は、テンプレート:Mathbf 同士の直和に成分ごとの和と積を入れた位相環と同一視できる。
この直和環 (R ⊕ R, +, ×) は二つのイデアル {テンプレート:Closed-closed | x ∈ R} および {テンプレート:Closed-closed | y ∈ R} を持つ。この環の乗法単位元は退化区間 テンプレート:Closed-closed である。二つのイデアルに入らない区間 テンプレート:Closed-closed 乗法逆元 テンプレート:Closed-closed を持つ。通常の位相のもと、この区間からなる代数系は位相環を成す。この環の単元群は各座標軸(これはいまこの環のイデアルとして与えられているのであった)で分けられる四つの四分象限からなる。単元群の単位成分は第一象限である。
任意の区間は、その中点を中心とする対称区間と考えることができる。M Warmus が1956年に出版した再構成では、「均衡区間」("balanced interval") テンプレート:Closed-closed の軸を点に退化した区間 テンプレート:Closed-closed の軸に沿って用いている。 区間の環を、直和環 R ⊕ R ではなくて、分解型複素数平面に同一視[4]したのは M. Warmus と D. H. Lehmer である。同一視は
- z = (x + y)/2 + j(x − y)/2
を通して得られる。この平面上の線型かつ環同型な写像は、平面上に乗法構造を与え、そこでは通常の複素数の算術にあるような極分解などの類似物を考えることができるようになる。
参考文献
- ↑ http://hsm.stackexchange.com/a/193
- ↑ Complex interval arithmetic and its applications, Miodrag Petković, Ljiljana Petković, Wiley-VCH, 1998, 978-3-527-40134-5{{#invoke:check isxn|check_isbn|978-3-527-40134-5|error={{#invoke:Error|error|{{ISBN2}}のパラメータエラー: 無効なISBNです。|tag=span}}}}
- ↑ Kaj Madsen (1979) Review of "Interval analysis in the extended interval space" by Edgar Kaucher from Mathematical Reviews
- ↑ D. H. Lehmer (1956) Review of "Calculus of Approximations" from Mathematical Reviews
- 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. 29–46 (547-564); reprinted in Japan Journal on Industrial and Applied Mathematics, 2009, Vol. 26, No. 2-3, pp. 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.
- Weisstein, Eric W. “Interval”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- interval - PlanetMath.(英語)
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}