Category:Pointwise Addition

From ProofWiki
Jump to navigation Jump to search

This category contains results about Pointwise Addition.
Definitions specific to this category can be found in Definitions/Pointwise Addition.

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

$+: \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 + g} } s := \map f s + \map g s$

where the $+$ on the right hand side is conventional arithmetic addition.