区間の分割 分割の細分

ウィキペディア

区間の分割

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/03/22 12:10 UTC 版)

分割の細分

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

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

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

分割の大きさ

分割

x₀ < x₁ < x₂ < ... < x_n

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

max{x_i − x_i−1 | i = 1, …, n}

を言う。

応用

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