区間の分割のソースを表示

[[File:Integral Riemann sum.png|thumb|300px|区間の分割は[[リーマン和]]に用いられる。分割それ自体は図の下部にグレーで（小区間の一つを赤で）示してある。]]

[[数学]]において[[実数直線]]上の[[区間 (数学)|区間]] {{math|[''a'', ''b'']}} の'''分割'''（ぶんかつ、{{lang-en-short|''partition''}}）とは、実数からなる
: {{math|''a'' {{=}} ''x''<sub>0</sub> < ''x''<sub>1</sub> < ''x''<sub>2</sub> < … < ''x''<sub>''n''</sub> {{=}} ''b''}}
の形の[[列 (数学)|有限点列]] {{math|Π {{=}} (''x''{{msub|''i''}})}} を言う。即ち、有界閉区間 {{mvar|I}} の分割は、（区間 {{mvar|I}} に属する実数からなる）[[狭義単調増加]]列であって、{{mvar|I}} の小さいほうの端点から大きいほうの端点へ到達する。

このとき、各点 {{mvar|x{{msub|i}}}} を区間 {{math|[''a'', ''b'']}} の分割 {{math|Π}} に属する'''分点'''と言い、{{math|[''x''<sub>i</sub>, ''x''<sub>''i''+1</sub>]}} の形の各区間を分割 {{math|Π}} に属する小区間 (''sub-interval'') などと呼ぶ。

区間の分割 {{math|Π {{=}} (''x''{{msub|''i''}})}} に対し、例えば
: <math>\begin{align} \,[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{align}</math>
は明らかに区間 {{math|[''a'', ''b'']}} の[[集合の分割|集合としての分割]]を与える。

== 分割の細分 ==
与えられた区間の分割 {{mvar|P}} に対して、同じ区間の別の分割 {{mvar|Q}} が {{mvar|P}} の'''細分''' (''refinement'') であるとは（他に点が加わっていてもよいから）{{mvar|P}} の分点をすべて含むときに言う。このとき分割 {{mvar|Q}} は {{mvar|P}} より'''細かい''' (finer) と言う。また、細かい分割のほうが大きいと定義することにより、与えられた区間上の分割全体の成す集合上に[[半順序]]を入れることができる。すなわち、分割 {{mvar|P, Q}} に対し、その分点からなる集合をそれぞれ {{mvar|P{{'}}, Q{{'}}}} とすれば、
: <math> P \preceq Q \iff P' \subseteq Q'</math>
である。二つの分割 {{mvar|P, Q}} に対して、その'''共通細分''' (''common refinement'') {{math|''P''&nbsp;∨&nbsp;''Q''}} を、{{mvar|P, Q}} の全ての分点をその大きさの順で並べ直して得られる点列として与えることができる<ref>{{cite book | last= Brannan | first= D.A. | title= A First Course in Mathematical Analysis | publisher= Cambridge University Press | year= 2006 | isbn= 9781139458955 | page= 262 | url= https://books.google.co.jp/books?id=N8bL9lQUGJgC&pg=PA262&redir_esc=y&hl=ja}}</ref>。

== 分割の大きさ ==
分割
: {{math|''x''<sub>0</sub> < ''x''<sub>1</sub> < ''x''<sub>2</sub> < ... < ''x''<sub>''n''</sub>}}
の'''大きさ''' (''norm'') あるいは目 (''mesh'') とは、それに属する最長の小区間の長さ
: {{math|max{{mset|''x''<sub>''i''</sub> − ''x''<sub>''i''−1</sub> {{!}} ''i'' {{=}} 1, …, ''n''}}}}
を言う<ref>{{Cite book|author=Hijab, Omar|title=Introduction to Calculus and Classical Analysis|publisher=Springer|year=2011|isbn=9781441994882|page=60|url=https://books.google.co.jp/books?id=_gb9fMqur9kC&pg=PA60&redir_esc=y&hl=ja}}</ref><ref>{{Cite book|author=Zorich, Vladimir A.|title=Mathematical Analysis II|publisher=Springer|year=2004|isbn=9783540406334|page=108|url=https://books.google.co.jp/books?id=XF8W9W-eyrgC&pg=PA108&redir_esc=y&hl=ja}}</ref>。

== 応用 ==
区間の分割は[[リーマン積分]]、[[リーマン&ndash;スティルチェス積分]]、[[方正積分]]などの理論に利用される。具体的には、与えられた区間に対して（より小さな分割に取り直すという意味において）分割の大きさを {{math|0}} に近づけるにつれ、その区間上で定義された[[リーマン和]]が[[リーマン積分]]に近づく<ref>{{cite book|author=Limaye, Balmohan|title=A Course in Calculus and Real Analysis|publisher=Springer|year=2006|isbn=9780387364254|page=213|url=https://books.google.co.jp/books?id=Ou53zXSBdocC&pg=PA213&redir_esc=y&hl=ja}}</ref>。

== 点付き分割 ==
与えられた区間の'''点付き分割''' (''tagged partition''<ref>{{cite book|authors=Dudley, Richard M. & Norvaiša, Rimas|title=Concrete Functional Calculus|publisher=Springer|year=2010|isbn=9781441969507|page=2|url=https://books.google.co.jp/books?id=fuuB59EiIagC&pg=PA2&redir_esc=y&hl=ja}}</ref>) とは、その区間の分割 {{math|Π {{=}} (''x''{{msub|''i''}})}} と各 {{mvar|i}} {{math|(0 &le; ''i'' < ''n'')}} について
: {{math|''x''<sub>''i''</sub> ≤ ''t''<sub>''i''</sub> ≤ ''x''<sub>''i''+1</sub>}}
なる条件を満足する有限点列 {{math|''t''<sub>0</sub>, …, ''t''<sub>''n''−1</sub>}} との組を言う。即ち、点付き分割は、各小区間の識別点 (distinguished point, tag) が指定されているような分割である。点付き分割の大きさ（目）は通常の分割に対するものと同じに定義される。通常の分割の場合と同様に、点付き分割の細分を考えることにより与えられた区間上の点付き分割全体の成す集合上に[[半順序]]を入れることができる。

ここで、区間 {{math|[''a'', ''b'']}} の点付き分割 {{math|(''x''{{msub|''i''}}; ''t''{{msub|''i''}})}} および {{math|(''y''{{msub|''j''}}; ''s''{{msub|''j''}})}} に対し、{{math|(''y''{{msub|''j''}}; ''s''{{msub|''j''}})}} が'''点付き分割''' {{math|(''x''{{msub|''i''}}; ''t''{{msub|''i''}})}} '''の細分'''であるとは、各 {{mvar|i}} に対して整数 {{math|''r''(''i'')}} が存在して、{{math|''x''{{msub|''i''}} {{=}} ''y''{{msub|''r''(''i'')}}}} かつ {{math|''r''(''i'') &le; ''j'' < ''r''(''i'' + 1)}} なる適当な整数 {{mvar|j}} に対して {{math|''t''{{msub|''i''}} {{=}} ''s''{{msub|''j''}}}} となるときに言う。一口に言えば、点付き分割の細分は、もとの分割に分点と識別点を追加して（点を取り去ることはせずに）得られる点付き分割である。

== 関連項目 ==
* [[方正積分]]
* [[リーマン積分]]
* [[リーマン–スティルチェス積分]]
* [[集合の分割]]

== 参考文献 ==
{{Reflist}}

== 関連文献 ==
* {{cite book | last=Gordon | first=Russell A. | title=The integrals of Lebesgue, Denjoy, Perron, and [[Ralph Henstock|Henstock]] | series=[[Graduate Studies in Mathematics]], 4  | publisher=American Mathematical Society | location=Providence, RI | year=1994 | isbn=0-8218-3805-9 }}

{{DEFAULTSORT:くかんのふんかつ}}
[[Category:解析学]]
[[Category:数学に関する記事]]