畳み込みのソースを表示

{{Otheruses||プログラミングにおける畳み込み|重畳関数}}
{{出典の明記|date=2016年7月}}
[[Image:Convolucion Funcion Pi.gif|thumb|right|250px|2つの正方形による畳み込み。解として得る波形は三角波となる。黄色の領域で示されている面積が2つの方形波の合成積である。]]

[[Image:Convolucion de entrada con respuesta al impulso.gif|thumb|right|250px|正方形がRC回路に入力された場合の出力信号波形を得るために、RC回路のインパルス応答と方形波の畳み込みを行っている。 黄色の領域で示されている面積が合成積である。]]

'''畳み込み'''（たたみこみ、{{lang-en-short|convolution}}）とは[[関数_(数学)|関数]] {{mvar|g}} を平行移動しながら関数 {{mvar|f}} に重ね足し合わせる[[二項演算]]である。畳み込み積分、合成積、重畳積分、あるいは英語に倣いコンボリューションとも呼ばれる。

== 歴史 ==
畳み込み積分が用いられた最初期の例の一つは [[ジャン・ル・ロン・ダランベール|d'Alembert]] (1754) ''Recherches sur différents points importants du système du monde'' における[[テイラーの定理]]の導出にある{{sfn|Dominguez-Torres|2010|p= 2}}。また
: <math>\int f(u)\cdot g(x-u)\mathit{du}</math>
の形の式は {{仮リンク|シルヴェストル・フランソワ・ラクロワ|en|Sylvestre François Lacroix|label=Lacroix}} ''Treatise on differences and series''{{efn|百科辞典シリーズ ''Traité du calcul différentiel et du calcul intégral'', Chez Courcier, Paris, 1797-1800. の最後の三巻}} の505頁で用いられ{{sfn|Dominguez-Torres|2010|p= 4}}、そのすぐ後に[[ピエール・シモン・ラプラス|Laplace]], [[ジョゼフ・フーリエ|Fourier]], [[シメオン・ドニ・ポワソン|Poisson]]らの研究に畳み込み演算が現れている。名称自体が広く用いられるようになるには1950年代あるいは1960年代を待たなければならない。それに先立っては{{lang-de|''faltung''}}（「畳み込み」）、''composition product''（「合成積」）、 ''superposition integral''（「重ね合わせ積分」）などとも呼ばれ、あるいはカールソンの積分 (''Carson's integral'')<ref>
{{Citation
 | chapter = Early work on imaging theory in radio astronomy
 | author = R. N. Bracewell
 | editor = W. T. Sullivan
 | title = The Early Years of Radio Astronomy: Reflections Fifty Years After Jansky's Discovery
 | edition = 
 | publisher = Cambridge University Press
 | year = 2005
 | isbn = 978-0-521-61602-7
 | page = 172
 | url = {{google books|id=v2SqL0zCrwcC|page=172|plainurl=1}}
 }}</ref>
とも言った。現代的な定義がより古い用例に馴染むわけでもないが、それでも早くは1903年ごろには出現している<ref>
{{Citation
 | title = The algebra of invariants
 | author = John Hilton Grace and Alfred Young
 | publisher = Cambridge University Press
 | year = 1903
 | page = 40
 | url = {{google books|id=NIe4AAAAIAAJ|page=40|plainurl=1}}
 }}</ref><ref>
{{Citation
 | title = Algebraic invariants
 | author = Leonard Eugene Dickson
 | publisher = J. Wiley
 | year = 1914
 | page = 85
 | url = {{google books|id=LRGoAAAAIAAJ|page=85|plainurl=1}}
 }}</ref>。

合成積の特別の場合としての演算
: <math>\int_0^t\varphi(s)\psi(t-s)\mathit{ds} \quad (0\le t<\infty)</math>
は [[ヴィト・ヴォルテラ|Volterra]] (1913)
"Leçons sur les fonctions de linges" にある<ref>Lothar von Wolfersdorf (2000), "Einige Klassen quadratischer Integralgleichungen",
''Sitzungsberichte der Sächsischen Akademie der Wissenschaften zu Leipzig'',
''Mathematisch-naturwissenschaftliche Klasse'', volume '''128''', number 2, 6–7</ref>

== 一次元 ==
=== 定義 ===
[[関数 (数学)|関数]] {{math|''f'', ''g''}} の畳み込みは {{math|''f'' ∗ ''g''}} と書き、以下のように定義される：
:<math>(f * g)(t) = \int f(\tau) g(t - \tau)\, d\tau</math>
[[積分]]範囲は関数の[[定義域]]に依存する。通常は区間 {{math|(&minus;∞, +∞)}} で定義される関数を扱うことが多いので、積分範囲は {{math|&minus;∞}} から {{math|+∞}} で計算されることが多い。一方 {{math|''f'', ''g''}} が有限区間でしか定義されない場合には、{{math|''g''(''t'' &minus; &tau;)}} が定義域内に入るように {{math|''f'', ''g''}} を[[周期関数]]と見なして計算される。この周期関数と見なして畳み込みをすることを'''循環畳み込み'''（じゅんかんたたみこみ、{{lang-en-short|cyclic convolution}}）と呼ぶ。

離散値で定義された[[関数 (数学)|関数]]に対する畳み込みは、積分のかわりに[[総和]]を使って同様に定義される：
:<math>(f * g)(m) = \sum_n {f(n) \, g(m - n)}</math>

総和の範囲も関数の定義域に依存し、関数が有限区間でしか定義されていない場合は周期関数とみなして畳み込み演算が行われる。また、離散系の場合、定義域外の値を 0 と定義し直した関数での畳み込みがよく行われる。これを'''線形畳み込み'''（せんけいたたみこみ、{{lang-en-short|linear convolution}}）と呼ぶ。線形畳み込みは'''直線畳み込み'''（ちょくせんたたみこみ）とも呼ばれる。なお離散系の場合は積分を使わずに総和を使うので、畳み込み積分・重畳積分とは呼ばず、畳み込み和・重畳和と呼ぶ。

=== 性質 ===
積分演算に由来する性質として以下の性質がある。

;交換律
:<math>f*g = g*f</math>
;結合律
:<math>(f*g)*h = f*(g*h)</math>
;分配律
:<math>f*(g+h) = (f*g) + (f*h) </math>
;[[スカラー]]倍
:<math>a(f*g) = (a f)*g = f*(a g)</math>
:ただし、''a'' は任意の[[実数]]または[[複素数]]。
;[[微分]]
:<math>{\rm D}(f*g) = {\rm D}f*g = f*{\rm D}g</math>
:ただし、{{math|D}} は微分演算子（離散系の場合は {{math|D''f''(''n'') {{=}} ''f''(''n'' + 1) &minus; ''f''(''n'')}}）。

;{{仮リンク|畳み込み定理|en|Convolution theorem|redirect=1}}
:<math>\mathcal{F}(f * g) = \mathcal{F}(f) \cdot \mathcal{F}(g)</math>

ただし <math>\mathcal{F}(f)</math> は関数 {{mvar|f}} の[[フーリエ変換]]である。この定理は[[ラプラス変換]]・[[Z変換]]や[[メリン変換]]といった変換に対しても適用できる。

フーリエ変換を使って畳み込み演算を単純な掛け算に変換することが出来る。離散系での関数の場合、定義通りの畳み込み計算をしないで、関数 {{math|''f'', ''g''}} の[[高速フーリエ変換]] (FFT) を掛け算した結果を逆高速フーリエ変換 (IFFT) をすることで、高速に畳み込みの計算処理をするのが一般的である。

=== 応用 ===
==== 確率測度における畳み込み ====
[[集合関数]]の一種である[[確率測度]]の畳み込みは次のように表現される。確率測度 {{math|''μ''<sub>1</sub>, ''μ''<sub>2</sub>}} において任意の[[ボレル集合]] {{mvar|B}} に対し、
:<math>(\mu_1 *\mu_2 )(B) = \int 1_B (x +y)\ \mu_1(dx)\mu_2(dy)</math>
と表現される．ここで1<sub>''B''</sub>は''B''の定義関数である．これは {{math|''μ''<sub>1</sub>, ''μ''<sub>2</sub>}} を集合関数として捉えて、変数変換することで求まる。これにより、{{math|''μ''<sub>1</sub>, ''μ''<sub>2</sub>}} を分布に持つ確率変数 {{math|''X'', ''Y''}} においてその和 {{math|''X'' + ''Y''}} の分布が畳み込みにあたることが分かる。

==== 多項式の掛け算 ====
[[多項式]]の掛け算の結果の[[係数]][[数列|列]]は、元の多項式の係数列の線形畳み込みになる。実際
:<math>
 \left(\sum_{i=0}^m a_i x^i \right)\left(\sum_{j=0}^l b_j x^j\right)
 = \sum_{k=0}^{m+l}\left(\sum_{i+j=k} a_i b_j \right)x^k
 = \sum_{k=0}^{m+l}\left(\sum_{i=0}^k a_i b_{k-i} \right)x^k
</math>
であり、掛け算の結果の係数が {{math|''a''*''b''}} となる。

==== 線形システム ====
[[電気回路]]といった古典的な[[LTIシステム理論|時不変（シフト不変）線形システム]]は、任意の入力 {{math|''x''(''t'')}} に対する出力 {{math|''y''(''t'')}} が {{math|''x''(''t'')}} と[[インパルス応答]] {{math|''h''(''t'')}} の畳み込みで記述できる：
:<math>y(t) = h(t) * x(t)</math>
ここで特に、入力 {{math|''x''(''t'')}} が[[ディラックのデルタ関数|デルタ関数]] {{math|''&delta;''(''t'')}} のとき出力は {{math|''h''(''t'')}} そのものになる。

ここで上式の両辺を[[フーリエ変換]]もしくは[[ラプラス変換]]（離散系の場合は[[Z変換]]）すると、[[#畳み込み定理]]より下式のようになる。
:<math>Y = H X</math>
ここで、
:<math>H = \frac{Y}{X}</math> 
を[[伝達関数]]といい、この式は[[古典制御論]]の基礎となっている。

==== 音響学 ====
[[反響|エコー]]は元の音波と、音を反射するさまざまな物体に因る特性（インパルス応答）との畳み込みで記述される。[[カラオケ]]や[[シンセサイザー]]に搭載されているエコー機能は、この畳み込みの効果を[[電気回路]]もしくは[[コンピュータ]]でシミュレートすることで実現している。

==== 光学および画像処理 ====
撮像時のブレなどの多くの'''ぶれ''' (blur) は畳み込みで記述できる。例えば、[[ピント]]がぼけた写真は、ピントがあった仮想的な画像と、[[絞り (光学)|絞り]]の特性を示す[[円 (数学)|円]]との畳み込みである。また被写体等の動きによるブレも、静止した仮想的な画像と動きの特性との畳み込みであり、[[グラフィックソフトウェア]]のモーションブラーはこの畳み込み演算を計算によりシミュレートすることで実現している。

[[画像認識]]においても、異なるスケールの画像を認識するにあたり、畳み込みでぶれをつくってから、画像処理することがある。

==== 統計学 ====
{{math|''X'', ''Y''}} がそれぞれ独立な連続型確率変数とすると、和の <math>S=X+Y</math> の確率密度関数は畳み込みによって与えられる。{{math|''X'', ''Y''}} の確率密度関数をそれぞれ <math>f_X, f_Y</math> と表記すると、{{math|''S''}} の密度関数は以下の式で与えられる.

<math>f_S (s) = \int^{\infty}_{-\infty} f_X(x) f_Y(s - x)\, dx</math>

== 高次元 ==

{{math|'''R'''<sup>''d''</sup>}} 上の複素数値函数 {{mvar|f}}, {{mvar|g}} の畳み込みは、それ自身が {{math|'''R'''<sup>''d''</sup>}} 上の複素数値函数として
:<math>(f * g )(x) = \int_{\mathbf{R}^d} f(y)g(x-y)\,dy = \int_{\mathbf{R}^d} f(x-y)g(y)\,dy</math>
で定義されるものであるが、右辺の積分が存在してこれが[[well-defined|定義可能]]となるには、{{mvar|f}}, {{mvar|g}} が無限遠において十分{{仮リンク|無限遠で消える|label=急速に減少する|en|Vanish at infinity}}必要がある。とはいえ、例えば {{mvar|g}} が無限遠において爆発するとしても、その影響は {{mvar|f}} が十分に急減少ならば容易に打ち消すことができるから、この積分の存在条件は込み入ったものも考え得る。この問題をクリアする函数の条件としてよく用いられる場合を以下に挙げる。

=== コンパクト台付き函数 ===
{{mvar|f}} と {{mvar|g}} がともに[[コンパクト台]][[連続函数]]ならば, それらの畳み込みは存在して, やはりコンパクト台連続函数となる{{sfn|Hörmander|1983|loc=Chapter 1}}. より一般に, 一方がコンパクト台, 他方が[[局所可積分函数]]ならば, 畳み込み {{math|''f'' ∗ ''g''}} が定義されて連続である.

{{math|'''R'''}} 上では両者が局所自乗可積分の場合, あるいは両者がともに半無限区間 {{math|{{closed-open|a, +&infin;}}}} (あるいはともに {{math|{{open-closed|-&infin;, a}}}}) に台を持つ場合でも畳み込みが定まる.

=== 可積分函数 ===
{{mvar|f}} と {{mvar|g}} がともに[[ルベーグ空間|''L''<sup>1</sup>('''R'''<sup>''d''</sup>)]]に属する[[ルベーグ可積分]]函数ならば, それらの畳み込み {{math|''f'' ∗ ''g''}} が存在してやはり可積分である{{sfn|Stein|Weiss|1971|loc=Theorem 1.3}}. これは[[フビニの定理|トネリの定理]]の帰結である. このことは {{math|''ℓ''{{sup|1}}}} に属する数列の離散畳み込みや、より一般の群上の {{math|''L''{{sup|1}}}} の畳み込みでも成立する.

同様にして, {{math|''f'' ∈ ''L''<sup>1</sup>('''R'''<sup>''d''</sup>)}} と {{math|''g'' ∈ ''L''<sup>''p''</sup>('''R'''<sup>''d''</sup>)}} が {{math|1 ≤ ''p'' ≤ ∞}} のとき, {{math|''f'' ∗ ''g'' ∈ ''L''<sup>''p''</sup>('''R'''<sup>''d''</sup>)}} かつ
: <math>\|{f}*g\|_p\le \|f\|_1\|g\|_p</math>
を満たす. 特に {{math|1=''p'' = 1}} のとき, これにより {{math|''L''<sup>1</sup>}} は畳み込みを積として[[バナッハ代数]]を成す. (また, 等号成立は {{mvar|f}} と {{mvar|g}} がともに殆ど至る所非負のときである.)
 
より一般に, [[畳み込みに対するヤングの不等式]]により, 畳み込み積は適当な {{mvar|L{{sup|p}}}}-空間上の連続双線型演算となることが従う. 具体的に書けば, {{math|1 ≤ ''p'',''q'',''r'' ≤ ∞}} が
: <math>\frac{1}{p}+\frac{1}{q}=\frac{1}{r}+1</math>
なる関係を満足するとして,
: <math>\lVert f*g\rVert_{r} \le \lVert f \rVert_{p}\,\lVert g\rVert_{q} \quad (f\in L^p(\mathbb{R}^d),\,g\in L^q(\mathbb{R}^d))</math>
となるから, 畳み込み積は {{math|''L{{sup|p}}'' &times; ''L{{sup|q}}'' → ''L{{sup|r}}''}} なる連続双線型写像を定めている.

畳み込みに対するヤングの不等式は, 循環畳み込みや離散畳み込みなどほかの文脈でも成立する. また, {{math|'''R'''}} 上では先に掲げた不等式はより厳しく評価できる: 先と同様の関係を持つ {{math|1 &lt; ''p'', ''q'', ''r'' &lt; &infin;}} に対し, 定数 {{math|''B{{sub|p,q}}'' &lt; 1}} が存在して
: <math>\lVert f*g\rVert _{r}\le B_{p,q}\lVert f\rVert _{p}\,\lVert g\rVert _{q}\quad (f\in L^p(\mathbb{R}),\,g\in L^q(\mathbb{R})).</math>
{{math|''B{{sub|p,q}}''}} の最適値は Beckner (1975) にある<ref>
[[William Beckner (mathematician)|Beckner, William]] (1975), "Inequalities in Fourier analysis", Ann. of Math. (2) '''102''': 159&ndash;182. Independently, Brascamp, Herm J. and [[Elliott H. Lieb|Lieb, Elliott H.]] (1976), "Best constants in Young's inequality, its converse, and its generalization to more than three functions", Advances in Math. '''20''': 151&ndash;173. See [[Brascamp–Lieb inequality]]</ref>. より強い評価として {{math|1 &lt; ''p'', ''q'', ''r'' &lt; &infin;}} に対し
: <math>\lVert f*g\rVert_r \le C_{p,q}\lVert f\rVert_p\,\lVert g\rVert_{q,w}</math>
も得られる. ただし, {{math|{{norm|''g''}}{{sub|''q'',''w''}}}} は弱 {{mvar|L{{sup|p}}}}-ノルムである. {{math|1 &lt; ''p'', ''q'', ''r'' &lt; &infin;}} に対し弱い版のヤング不等式
: <math>\|f*g\|_{r,w}\le C_{p,q}\|f\|_{p,w}\|g\|_{r,w}</math>
を考えれば, 畳み込みは連続双線型写像 <math>L^{p,w}(\mathbb{R})\times L^{q,w}(\mathbb{R})\to L^{r,w}(\mathbb{R})</math> とも見られる{{sfn|Reed|Simon|1975|loc=IX.4}}.

=== 急減少函数 ===
コンパクト台付きや可積分な函数と同様に、函数が無限遠で十分{{仮リンク|無限遠で消える|en|Vanish at infinity|label=急速に減少}}すれば畳み込みができて, それらの畳み込みもまた急速に減少することは重要な性質である. とくに {{mvar|f}} と {{mvar|g}} が[[急減少函数]]ならば, それらの畳み込み {{math|''f'' ∗ ''g''}} もまた急減少函数となる. このことを, 畳み込みが微分と可換であるという事実と組み合わせれば, [[シュヴァルツ函数]]のクラスが畳み込みで[[閉じている]]ことが導かれる{{sfn|Stein|Weiss|1971|loc=Theorem 3.3}}.

=== 分布 ===
{{Main article|シュヴァルツ超函数}}
適当な条件の下で, 函数と分布あるいは分布同士の畳み込みが定義できる. {{mvar|f}} がコンパクト台付き函数で {{mvar|G}} が分布ならば {{math|''f'' ∗ ''G''}} は, 函数の畳み込みの式を分布版にした
: <math>\int_{\mathbf{R}^d} f(x-y)dG(y)</math>
で定義される滑らかな函数である ({{mvar|G}} が密度函数 {{mvar|g}} を持てば通常の函数の畳み込みに書き直せる). より一般に, 試験函数 {{mvar|φ}} に対して結合律
: <math>f*(g*\varphi) = (f*g)*\varphi</math>
が成り立つような一意的な方法で畳み込みの定義を拡張することができて, それは {{mvar|f}} が分布, {{mvar|g}} がコンパクト台付き分布のときには有効である{{sfn|Hörmander|1983|loc=§4.2}}.

=== 測度 ===
二つの[[有界変動]][[ボレル測度]] {{mvar|μ}} と {{mvar|ν}} の畳み込みとは,
: <math>\int_{\mathbf{R}^d} f(x)d\lambda(x) = \int_{\mathbf{R}^d}\int_{\mathbf{R}^d}f(x+y)\,d\mu(x)\,d\nu(y)</math>
で定義される測度 {{mvar|λ}} を言う{{sfn|Rudin|1962}}. これは {{mvar|μ}} と {{mvar|ν}} を分布と見るとき, 前節にいう分布の畳み込みに一致する. また {{mvar|μ}} と {{mvar|ν}} がルベーグ測度に関して絶対連続であるとき, それらの密度函数の {{math|''L''{{sup|1}}}}-函数としての畳み込みとも一致する.

測度の畳み込みは, 測度の{{仮リンク|全変動|en|total variation}}をノルムとして
: <math>\lVert\mu*\nu\rVert \le \lVert\mu\rVert\,\lVert\nu\rVert</math>
を満たすという意味でのヤングの不等式が成立する. 有界変動測度の空間は[[バナッハ空間]]であるから, 測度の畳み込みは[[函数解析学]]の標準的な (分布の畳み込みに対しては適用できない) 方法で扱うことができる.

== 群上の畳み込み ==
適当な[[測度]] {{mvar|λ}} を備えた[[群 (数学)|群]] {{mvar|G}} とその上の実または複素数値[[ルベーグ可積分]]函数 {{mvar|f}} と {{mvar|g}} が与えられれば, それらの畳み込みを
: <math>(f * g)(x) = \int_G f(y) g(y^{-1}x)\,d\lambda(y)</math>
で定義することができる. しかし一般には可換性が成り立たないことに注意すべきである.

=== 局所コンパクト群上の不変積分の場合 ===
典型的な場合として, {{mvar|G}} が[[局所コンパクト群|局所コンパクト]][[ハウスドルフ空間|ハウスドルフ]][[位相群]]で {{mvar|λ}} が左[[ハール測度]]（左不変測度）の場合である. 右不変測度 {{mvar|ρ}} に対しても同様の積分
: <math>\int f(xy^{-1})g(y) \, d\rho(y)</math>
を考えることができるが, {{mvar|G}} が単模でないならば両者は一致しない. 前者の定義では, 固定した函数 {{mvar|g}} による畳み込みが群への左移動作用と可換:
: <math>L_h(f*g) = (L_hf)*g</math>
となることからよく選ばれる. さらにこの定義では後で述べる測度の畳み込みの定義と矛盾しない. 一方, 左不変ではなく右不変測度を取り, 後者の定義を用いれば右移動作用と可換になる.

=== よく知られた例の導出 ===
局所コンパクトアーベル群上で, ある種の{{仮リンク|畳み込み定理|en|Convolution theorem|redirect=1}} (畳み込みのフーリエ変換はフーリエ変換の点ごとの積に一致する) が成立する. 

[[円周群]] {{math|'''T'''}} にルベーグ測度を考えたものはよく知られた循環畳み込みの場合の例を与える: {{math|''g'' ∈ ''L''<sup>1</sup>('''T''')}} を固定して, [[ヒルベルト空間]] {{math|''L''<sup>2</sup>('''T''')}} に作用するよく知られた作用素:
: <math>T {f}(x) =  \frac{1}{2 \pi} \int_{\mathbf{T}} {f}(y) g( x - y) \, dy</math>
がとれる. 作用素 {{mvar|T}} は[[ヒルベルト空間上のコンパクト作用素|コンパクト作用素]]である. 直接計算により, その随伴作用素 {{math|''T''*}} は {{math|{{overline|''g''}}(&minus;''y'')}} による畳み込みであることが示せる. 上で掲げた可換性により, {{mvar|T}} は[[正規作用素]] ({{math|1=''T''*''T'' = ''TT''*}} である. また {{mvar|T}} は平行移動作用素とも可換である. そのような畳み込み作用素と平行移動作用素全体の成す作用素族を {{mvar|S}} とすれば, {{mvar|S}} は正規作用素からなる可換族である. ヒルベルト空間上の[[ヒルベルト空間上のコンパクト作用素|スペクトル論]]に従えば, {{mvar|S}} を同時対角化する[[正規直交基底]] {{math|{{mset|''h{{sub|k}}''}}}} が存在して, これが円周上の畳み込みを特徴付ける. 具体的には
: <math>h_k (x) = e^{ikx} \quad (k \in \mathbb{Z})</math>
がちょうど {{math|'''T'''}} の[[指標 (数学)|指標]]の全体の成す集合に一致する. この基底に属する各畳み込み作用素がコンパクト[[乗算作用素]]であることが, 上で述べた循環畳み込みに対する畳み込み定理としてみることができる.

離散畳み込みの例は位数 {{mvar|n}} の有限[[巡回群]]をとる. この場合の畳み込み作用素は[[巡回行列]]によって表現され, [[離散フーリエ変換]]によって対角化することができる.

同様の結果が (アーベルとは限らない) コンパクト群 {{mvar|G}} に対しても知られている: 有限次元[[ユニタリ表現]]の[[行列要素]]の全体が {{math|''L''{{sup|2}}(''G'')}} の正規直交基底を成し ({{仮リンク|ピーター&ndash;ワイルの定理|en|Peter–Weyl theorem}}), 適当な意味での畳み込み定理が (フーリエ変換に基づく[[調和解析]]の他の多くの側面とともに) 引き続き満足される.

=== 群上の測度の畳み込み ===
[[位相群]] {{mvar|G}} 上の有限[[ボレル測度]] {{mvar|μ}} と {{mvar|ν}} に対し, それらの畳み込み {{math|''μ'' ∗ ''ν''}} は {{mvar|G}} の各可測部分集合 {{mvar|E}} に対して
: <math>(\mu * \nu)(E) = \iint 1_E(xy) \,d\mu(x) \,d\nu(y)</math><!-- 群は乗法的に書かれていることに注意-->
で定義され, やはり有限測度となる. 実際, 全変動に関するヤングの不等式
:<math>\lVert\mu * \nu\rVert \le \lVert\mu\rVert\,\lVert\nu\rVert</math>
が満足される. {{mvar|G}} が[[局所コンパクト群]]で左[[ハール測度]] {{mvar|λ}} を持ち, {{mvar|μ}} と {{mvar|ν}} が {{mvar|λ}} に関して[[絶対連続]]で各々[[ラドン–ニコディムの定理|密度函数を持つ]]場合には、畳み込み {{math|''μ'' ∗ ''ν''}} もまた絶対連続で, その密度函数は各測度の密度函数の (通常の函数としての) 畳み込みに一致する. 

考える位相群が実数の加法群 {{math|('''R''', +)}} のとき, その上の[[確率測度]] {{mvar|μ}} と {{mvar|ν}} をとれば, 測度の畳み込み {{math|''μ'' ∗ ''ν''}} は, 分布 {{mvar|μ}} および {{mvar|ν}} に従う[[統計的独立|独立]][[確率変数]] {{mvar|X}} および {{mvar|Y}} の和 {{math|''X'' + ''Y''}} の[[確率分布]]に対応する.

== 注釈 ==
{{reflist|group="注釈"}}

== 出典 ==
{{reflist}}
== 参考文献 ==
* Dominguez-Torres, Alejandro (Nov 2, 2010). "Origin and history of convolution". 41 pgs. http://www.slideshare.net/Alexdfar/origin-adn-history-of-convolution. Cranfield, Bedford MK43 OAL, UK. Retrieved Mar 13, 2013.
* {{citation|mr=0717035|first=L.|last= Hörmander|authorlink=Lars Hörmander|title=The analysis of linear partial differential operators I|series= Grundl. Math. Wissenschaft. |volume= 256 |publisher= Springer  |year=1983|isbn=3-540-12104-8 }}
* {{citation|first1=Elias|last1=Stein|authorlink1=Elias Stein|first2=Guido|last2=Weiss|title=Introduction to Fourier Analysis on Euclidean Spaces|publisher=Princeton University Press|year=1971|isbn=0-691-08078-X}}
*{{citation |last=Reed|first= Michael|last2= Simon|first2= Barry|author2-link=Barry Simon |title=Methods of modern mathematical physics. II. Fourier analysis, self-adjointness |publisher=Academic Press Harcourt Brace Jovanovich, Publishers|publication-place=New York-London|year= 1975|pages= xv+361|isbn =0-12-585002-6|mr=0493420}}
* {{Citation | last1=Rudin | first1=Walter | author1-link=Walter Rudin | title=Fourier analysis on groups | publisher=Interscience Publishers (a division of John Wiley and Sons), New York–London | series=Interscience Tracts in Pure and Applied Mathematics, No. 12 | mr=0152834 | year=1962 | isbn=0-471-52364-X}}.

== 関連項目 ==
*{{仮リンク|逆畳み込み|en|Deconvolution}}
*[[ブラインド・デコンボリューション]]
*[[インパルス応答]] - [[伝達関数法|伝達関数]]
*[[フーリエ変換]] - [[ラプラス変換]]
*[[軟化子]]
*[[基本解]]
*[[自己回帰移動平均モデル]]
*[[巡回行列]]
*[[アナログ信号処理]]
*[[コーシー積]]
*[[積和演算]]

== 外部リンク ==
* {{MathWorld|urlname=Convolution|title=Convolution}}
* {{PlanetMath|urlname=convolution|title=convolution}}
* {{SpringerEOM|urlname=Convolution_of_functions|title=Convolution of functions}}
* {{SpringerEOM|urlname=Convolution_transform|title=Convolution transform}}
*[http://www.jhu.edu/~signals/convolve/index.html The Joy of Convolution] Java Applet を使った視覚的な畳み込みの説明
*[http://www.xs4all.nl/~fokkie/IR.htm Examples of sampled impulse responses to be used in convolution reverbs (Fokke Van Saane)]
*[http://1-1-1-1.net/pages/impulses/index.htm#lorenz195225 Examples of impulse responses synthesized from oscillator spectra, to be used in convolution reverbs (Emmanuel Deruty)]
*[http://www.ludd.luth.se/~torger/brutefir.html BruteFIR; A software for applying long FIR filters to multi-channel digital audio, either offline or in realtime.]
*[http://www.nongnu.org/freeverb3/ Freeverb3 Reverb Impulse Response Processor: DSP library with convolution engines.]

{{DEFAULTSORT:たたみこみ}}
[[Category:関数解析学]]
[[Category:制御工学]]
[[Category:信号処理]]
[[Category:フーリエ解析]]
[[Category:双線型演算]]
[[Category:数学に関する記事]]