Pointwise product

Examples

The most common case of the pointwise product of two functions is when the codomain is a ring (or field), in which multiplication is well-defined.

• If Y is the set of real numbers ${\displaystyle \mathbb{R}}$, then the pointwise product of ${\displaystyle f,g:X\to \mathbb{R}}$ is just normal multiplication of the images. For example, if we have ${\displaystyle f(x)=2x}$ and ${\displaystyle g(x)=x+1}$ then

  ${\displaystyle (fg)(x)=f(x)g(x)=2x(x+1)=2x^2+2x}$

  for every x in ${\displaystyle \mathbb{R}.}$
• The convolution theorem states that the Fourier transform of a convolution is the pointwise product of Fourier transforms:

  ${\displaystyle \mathcal{F}\{f\ast g\}=\mathcal{F}\{f\}\cdot \mathcal{F}\{g\}.}$

Algebraic application of pointwise products

Let X be a set and let R be a ring. Since addition and multiplication are defined in R, we can construct an algebraic structure known as an algebra out of the functions from X to R by defining addition, multiplication, and scalar multiplication of functions to be done pointwise.

If R^X denotes the set of functions from X to R, then we say that if f, g are elements of R^X, then f + g, fg, and rf — the last of which is defined by

${\displaystyle (rf)(x)=rf(x)}$

for all r in R — are all elements of R^X.

Generalization

If both f and g have as their domain all possible assignments of a set of discrete variables, then their pointwise product is a function whose domain is constructed by all possible assignments of the union of both sets. The value of each assignment is calculated as the product of the values of both functions given to each one the subset of the assignment that is in its domain.

For example, given the function f₁ of the boolean variables p and q, and f₂ of the boolean variables q and r, both with the range in ${\displaystyle \mathbb{R},}$ the pointwise product of f₁ and f₂ is shown in the next table:

${\displaystyle \overline{)\begin{array}{cccccc}p& q& r& f_1(p,q)& f_2(q,r)& \text{Pointwise product}\\ \mathrm{T}& \mathrm{T}& \mathrm{T}& 0.1& 0.2& 0.1\times 0.2\\ \mathrm{T}& \mathrm{T}& \mathrm{F}& 0.1& 0.4& 0.1\times 0.4\\ \mathrm{T}& \mathrm{F}& \mathrm{T}& 0.3& 0.6& 0.3\times 0.6\\ \mathrm{T}& \mathrm{F}& \mathrm{F}& 0.3& 0.8& 0.3\times 0.8\\ \mathrm{F}& \mathrm{T}& \mathrm{T}& 0.5& 0.2& 0.5\times 0.2\\ \mathrm{F}& \mathrm{T}& \mathrm{F}& 0.5& 0.4& 0.5\times 0.4\\ \mathrm{F}& \mathrm{F}& \mathrm{T}& 0.7& 0.6& 0.7\times 0.6\\ \mathrm{F}& \mathrm{F}& \mathrm{F}& 0.7& 0.8& 0.7\times 0.8\end{array}}}$