Definition:Absolute Value of Mapping

From ProofWiki
Jump to navigation Jump to search


Let $D$ be an ordered integral domain.

Let $\size {\, \cdot \,}_D$ denote the absolute value function on $D$.

Let $S$ be a set.

Let $f: S \to D$ be a mapping.

Then the absolute value of $f$, denoted $\size f_D: S \to D$, is defined as:

$\forall s \in S: \map {\size f_D} s := \size {\map f s}_D$

Absolute value thence is an instance of a pointwise operation on a mapping.


Also see