|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 積 ： [せき] 【名詞】 1. (gen) (math) product ・ 積分 ： [せきぶん] (n) integral ・ 分 ： [ぶん, ふん] 1. (n,n-suf,pref) (1) part 2. segment 3. share 4. ration 5. (2) rate 6. (3) degree 7. one's lot 8. one's status 9. relation 10. duty 1 1. kind 12. lot 13. (4) in proportion to 14. just as much as 1
数学の微分積分学周辺領域におけるダニエル積分（ダニエルせきぶん、）は、初学者が学ぶリーマン積分のようなより初等的な積分の概念を一般化した積分法の一種である。旧来のルベーグ積分の定式化に関して主な障害となっていたのは、積分に対する十分な結果を得るまでに、まずは満足な測度論を展開する必要があったことである。しかし、 ではこの欠点に悩まされることのない別な手法がとられ、旧来の定式化（具体的には、積分の高次元化やさらにスティルチェス積分への一般化など）に対するいくつか特徴的な優位性を見せた。基本的な考え方には、積分の公理化が含まれる。 == ダニエルの公理系 == ある集合 ''X'' 上で定義される有界な実函数の族 ''H'' で以下の二つの公理を満たすものをとる（そして ''H'' に属する函数を基本函数 と呼ぶ）。 # ''H'' は通常の（点ごとの）加法とスカラー倍に関して線型空間を成す。 # 函数 ''h'' が ''H'' に属するならばその各点の絶対値をとって得られる函数 |''h''| も ''H'' に属す。 さらに、''H'' の各函数 ''h'' に対して ''h'' の基本積分 と呼ばれる実数 ''Ih'' を対応させる。ここで基本積分は次の三つの公理を満足するものをいう。 # 線型性: ''h'', ''k'' がともに ''H'' の元で、α, β が実数ならばが成立する。 # 非負性: ''H'' の元 ''h'' が ''h''(''x'') > 0 を常に満たすならば、''Ih'' ≥ 0 が成立する。 # 連続性: ''H'' の元の列 (''h''''n'') が非増大で、''X'' の各点 ''x'' において 0 に収斂するならば、''Ih''''n'' → 0 が成立する。 すなわち、基本函数全体のなす空間 ''H'' 上に非負値連続線型汎函数 ''I'' を定めるのである。 基本函数および基本積分には、任意の函数空間とその上の非負値連続線型汎函数をとることができる。例えば、階段函数全体の成す函数族は上記基本函数の公理系を明らかに満足する。さらに階段函数全体の成す族の基本積分を、階段函数の下にある領域の（符号付）面積として定義すれば、これが基本積分の公理系を満たすことも明らかである。後述するように、ダニエル積分の構成法を階段函数を基本函数にとって適用することで得られる積分の定義は、ルベーグ積分と同値になる。また、連続函数全体の成す族を基本函数として古典的なリーマン積分を基本積分とすることもできるが、そうして得られる積分はルベーグ積分と同値になる。同じことを、有界変動函数に対してリーマン＝スティルチェス積分を用いて行うと、やはりルベーグ＝スティルチェス積分に同値な積分が定まる。 零集合を基本函数の言葉で定義することができる。すなわち、''X'' の部分集合 ''Z'' が測度 0 であるとは、任意の ε > 0 に対して ''H'' の非負値基本函数列 (''h''''p'') をうまく選べば、''Ih''''p'' < ε かつ ''Z'' 上で sup''p'' ''h''''p''(''x'') ≥ 1 とすることができるときに言う。 また、集合が全測度であるとは、その ''X'' に関する補集合が零集合であることをいう。集合が、その全測度部分集合の各点で決まった性質を満たすとき、つまりある性質が適当な零集合を除いて成立するとき、その性質はその集合の殆ど至る所成立すると言う。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ダニエル積分」の詳細全文を読む スポンサード リンク
|