点付き分割とは？わかりやすく解説

区間の分割はリーマン和に用いられる。分割それ自体は図の下部にグレーで（小区間の一つを赤で）示してある。

数学において実数直線上の区間 $[a, b]$ の分割（ぶんかつ、英: partition）とは、実数からなる

a = x 0 < x 1 < x 2 < \dots < x n = b

の形の有限点列 $Π = (x i)$ を言う。即ち、有界閉区間 $I$ の分割は、（区間 $I$ に属する実数からなる）狭義単調増加列であって、 $I$ の小さいほうの端点から大きいほうの端点へ到達する。

このとき、各点 $x i$ を区間 $[a, b]$ の分割 $Π$ に属する分点と言い、 $[x i, x i +1]$ の形の各区間を分割 $Π$ に属する小区間 (sub-interval) などと呼ぶ。

区間の分割 $Π = (x i)$ に対し、例えば

{\begin{aligned}\,[a,b]&=\{x_{0}\}\cup \bigcup _{i=0}^{n-1}(x_{i},x_{i+1}]\\&=\{x_{0},x_{1},\ldots ,x_{n}\}\cup \bigcup _{i=0}^{n-1}(x_{i},x_{i+1})\end{aligned}}

は明らかに区間 $[a, b]$ の集合としての分割を与える。

分割の細分

与えられた区間の分割 $P$ に対して、同じ区間の別の分割 $Q$ が $P$ の細分 (refinement) であるとは（他に点が加わっていてもよいから） $P$ の分点をすべて含むときに言う。このとき分割 $Q$ は $P$ より細かい (finer) と言う。また、細かい分割のほうが大きいと定義することにより、与えられた区間上の分割全体の成す集合上に半順序を入れることができる。すなわち、分割 $P, Q$ に対し、その分点からなる集合をそれぞれ $P', Q'$ とすれば、

P\preceq Q\iff P'\subseteq Q'

である。二つの分割 $P, Q$ に対して、その共通細分 (common refinement) $P \lor Q$ を、 $P, Q$ の全ての分点をその大きさの順で並べ直して得られる点列として与えることができる^[1]。

分割の大きさ

分割

x 0 < x 1 < x 2 < ... < x n

の大きさ (norm) あるいは目 (mesh) とは、それに属する最長の小区間の長さ

max{x i - x i -1 | i = 1, \dots, n}

を言う^[2]^[3]。

応用

区間の分割はリーマン積分、リーマン–スティルチェス積分、方正積分などの理論に利用される。具体的には、与えられた区間に対して（より小さな分割に取り直すという意味において）分割の大きさを $0$ に近づけるにつれ、その区間上で定義されたリーマン和がリーマン積分に近づく^[4]。