点ごとの積

2つの関数の点ごとの積は、定義域の各値における2つの関数の像を掛けることで得られる別の関数である。 と  がともに定義域が  で終域が  の関数で、 の元が掛けることができるとき（例えば  は数からなる集合）、 と  の点ごとの積は  から  への  を  に写す別の関数である。

定義
 と  を集合とし、 に乗法が定義されているとする――つまり、 に対して、 によって与えられる積
 
がきちんと定義されているとする。 と  を関数  とする。すると，点ごとの積  は

各  に対して 

によって定義される。積の二項演算子  を省略するのと同様に  と書く。

合成とは異なることに注意。

例
2つの関数の点ごとの積の最も一般的な場合は終域が環（あるいは体）のとき（このとき乗法は well-defined である）である。

  が実数全体の集合  のとき、 の点ごとの積は単に像の通常の乗法である．例えば， と  のとき，各実数  に対して である。
 は畳み込みのフーリエ変換はフーリエ変換の点ごとの積である：と述べている。

点ごとの積の代数的応用
 を集合とし  を環とする。 には加法と乗法が定義されているから、 から  への関数全体の集合には多元環と呼ばれる代数的構造を入れることが、関数の加法、乗法、スカラー乗法を点ごとに定義することによって、できる。

 で  から  への関数全体の集合を表すと， が  の元のとき，, ,  はすべて  の元である．ここで最後の元はすべての  に対して
 
とすることで定義される。

一般化
 と  がともに、離散変数からなる集合に関してそれらがとり得る値の組み合わせ全体の成す集合を定義域に持つと仮定する。このときそれらの点ごとの積は、その定義域がもとの二写像各々の変数の合併に関して取りうる値の組み合わせ全体の成す集合として与えられる写像となる。変数のとる値の各組に対するこの写像の値は、もとの各々の写像の定義域はこの写像の定義域の部分集合なのだから、それぞれの変数の値の対応する組に対するもとの二写像各々の値の積として計算できる。

例えば、函数  がブール値変数  に対し、また  がブール値変数  に対して与えられた、ともに実数値の函数とすれば、それらの点ごとの積は  で与えられる三変数の函数  である。以下の表は、各函数の値を与えたときの点ごとの積を示したものである:

関連項目
点ごと

初等代数学
二項演算
数学に関する記事