| (i) | $f, g : \mathbb{R}^N \to \mathbb{C}$ are each an D1921: Absolutely integrable function on $M$ |
| (ii) | \begin{equation} X : = \{ x \in \mathbb{R}^N : y \mapsto f(x - y) g(y) \text{ is absolutely integrable on } M \} \end{equation} |
| (i) | $f, g : \mathbb{R}^N \to \mathbb{C}$ are each an D1921: Absolutely integrable function on $M$ |
| (ii) | \begin{equation} X : = \{ x \in \mathbb{R}^N : y \mapsto f(x - y) g(y) \text{ is absolutely integrable on } M \} \end{equation} |
| ▶ | D5632: Complex Lebesgue convolution approximate identity |
| ▶ | R90: Complex function convolution is homogeneous to degree one |
| ▶ | R88: Convolution is associative |
| ▶ | R87: Convolution is commutative |