乗法的積分

数学における「乗法的積分」（じょうほうてきせきぶん、）は、古典微分積分学において通常の積分がある種の和の極限と見做されることに並行して、その乗法版となるものを指す示唆的な呼称である。原初の乗法的積分は、1887年にヴィト・ヴォルテラが線型微分方程式系を解くために用いた（後述）。そのほか、乗法的積分の例には幾何積分 (geometric integral)、 など非ニュートン微分積分学におけるいくつかの積分を挙げることができる。
本項ではヴォルテラらに倣い、乗法的積分を表すのに積分記号 （や、それに積記号 や を重ねた変形版）ではなく を用いる。
定義.
函数 の古典リーマン積分は
と定義される（ただし極限は、区間 の任意の分割を亙り、区間の最大長が に近づく極限をとる）のであった。乗法的積分は、厳密さをさておけば、和の極限を積の極限とする以外はこれと同じである。それは「離散的な」乗積の「連続」版として理解される。乗法的積分の定式化には様々な流儀があるが、よく用いられる定義のいくつかを以下に挙げる。
ヴォルテラの積分.
この定義はヴォルテラのオリジナルの定義に対応する。数値的な函数 に対し、
が成り立つ。ゆえにこれはに言う意味での乗法的積分—線型汎函数として乗法的であるような作用素–ではない。
ヴォルテラの乗法的積分は、行列値函数あるいはより一般にバナッハ代数値函数に対して（上記の数値的な函数の場合のような関係式は成立しないが）極めて有効である。
また、数値的な函数に対して、ヴォルテラの微分積分の体系での微分は対数微分法であり、従ってヴォルテラの意味での微分積分学はの一種でもないし、 (non-Newtonian calculus) の一種でもない。
幾何積分.
これは乗法的作用素 (multiplicative operator) になる。
この定義は離散的な乗積作用素 の連続版であるとともに、通常の（加法的）積分 の乗法版である。
この定義の有用な点は、 との交換性:
である。
幾何積分はの一種である幾何微分積分学 ("geometric calculus") で中心的な役割を果たす。
第二幾何積分.
この積分も乗法的線型汎函数になる。
性質.
以下、幾何積分について述べる（他の乗法的積分では事情が異なる場合があることに注意）。
ルベーグ式の積分.
古典的な積分のルベーグ式の定式化と同様に、乗法的積分を単函数の乗法的積分近似によって定めることができる。
ヴォルテラの乗法的積分の場合.
単函数は階段函数を一般化するものであるから、以下では単函数としてそれが階段函数になっている特別の場合のみを考えるが、議論としてはそれで十分であることに注意する。これにより、リーマン式の定義と比べてルベーグ式の定義の方が平易なものとなる。
区間の分割 に対応する階段函数 および点付き分割 formula_14 を考えると、この函数のヴォルテラ積分の「リーマン式」の近似は formula_15 で与えられる。大まかに言って、ヴォルテラ積分はこのような積の極限として （「行列の無限小解析に対する新たな基礎」）で定義された
ヴォルテラ積分のこのリーマン式の定義は、ほかにも formula_16 と近似を定義できて、 が定数函数のとき先の近似とこの近似の極限は一致する。ここで、一般に、階段函数に対して後者の近似は（それがもとの階段函数を定義する分割の細分である限りにおいて）分割のとり方に依存しない（対して、前者はそのような細分だけを考えても分割のとり方に依存する）ことに注意する。
さらに「任意の」ヴォルテラ積分な函数 に対して、上記二つの近似の極限は一致することが示せる。階段函数に対して後者の近似が「十分細かい」分割に対してはその分割の細かさに依存しないのだから、階段函数に対する「ルベーグ式の」ヴォルテラ積分（ルベーグ乗法的積分）を formula_17 と定義することは意味を為す。ただし、formula_18 は点付き分割で、formula_19 は階段函数 の定義分割とする。（これと対照に前者の近似で考えると、対応する量を紛れ無く定義することは難しい。）
この定義を勝手な測度空間に一般化することは容易である。 は測度 を持つ測度空間とすると、任意のヴォルテラ可積分単函数 formula_20（つまり、適当な互いに素な可測集合列 formula_21 の指示函数の凸結合)）に対して、ヴォルテラ積分を formula_22 と定義する（ は における の値であることに注意）。 で がルベーグ測度であり、ルベーグ可測集合列 が全て区間であるという特別の場合において、いま定義した積分が上で定義したものに一致することを証明できる。古典的なルベーグ積分論での議論と同じく、任意のヴォルテラ可積分函数に対するルベーグ乗法的積分は、適当なヴォルテラ可積分単函数のルベーグ乗法的積分からなる増大列の極限として与えられる。
さて、上記定義式の両辺の対数をとれば、任意のヴォルテラ可積分単函数 に対し formula_23 を得るが、この一番右の辺は単函数の（通常の）ルベーグ積分 formula_24 の定義式にほかならないから、上式は であることを意味している。さらに言えば、 のような連続函数は極限と交換可能であり、かつ任意のヴォルテラ可積分函数 は単函数の乗法的積分の極限であったから、上記の関係式 は「任意の」ヴォルテラ可積分函数 に対して一般に満足される。
この性質を用いれば、ヴォルテラの乗法的積分 () が（積分領域を引数とする）集合函数として乗法的（）であることが示せる \prod_X \big(1 + (f \cdot \operatorname{id}_B)(x) \,d\mu(x)\big)</math> で定義する（ただし、 は の指示函数）。このとき、任意の互いに素な可測集合 に対し formula_25 である。}}（この性質は加法的集合函数としての測度の性質と対比するものと見ることができる）。一方、ヴォルテラの乗法的積分 は（可積分函数 を引数とする）汎函数としては乗法的でないことをふたたび注意しておく。
幾何積分の場合.
前節と条件を同じく を測度空間 とし、任意の幾何可積分単函数 formula_26 に対する幾何積分を formula_27 で定義する（上で定義した幾何積分の一般化である）。両辺の対数をとって、formula_28（最後の等号は単函数に対する通常のルベーグ積分の定義である）、すなわち を得るが、前節でみたのと同様に および の連続性と可積分函数 が単函数列の単調増大極限であることにより、 は「任意の」幾何可積分 に対して満足される。これにより上で見た幾何積分に関する性質は一般化される。
そのような意味において、「幾何積分に関するルベーグ積分論」は完全に通常のルベーグ積分に関する「古典的ルベーグ積分論」に帰着される。