Category:Definitions/Pointwise Multiplication

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Pointwise Multiplication.
Related results can be found in Category:Pointwise Multiplication.


The (binary) operation of pointwise multiplication is defined on $\mathbb F^S$ as:

$\times: \mathbb F^S \times \mathbb F^S \to \mathbb F^S: \forall f, g \in \mathbb F^S:$
$\forall s \in S: \map {\paren {f \times g} } s := \map f s \times \map g s$

where the $\times$ on the right hand side is conventional arithmetic multiplication.