Definition:Pointwise Maximum of Mappings/Real-Valued Functions
< Definition:Pointwise Maximum of Mappings(Redirected from Definition:Pointwise Maximum of Real-Valued Functions)
Jump to navigation
Jump to search
Definition
Let $S$ be a set.
Let $f, g: S \to \R$ be real-valued functions.
Let $\max$ be the max operation on $\R$ (Ordering on Real Numbers is Total Ordering ensures it is in fact defined).
Then the pointwise maximum of $f$ and $g$, denoted $\map \max {f, g}$, is defined by:
- $\map \max {f, g}: S \to \R: \map {\map \max {f, g} } x := \map \max {\map f x, \map g x}$
Pointwise maximum thence is an instance of a pointwise operation on real-valued functions.
General Definition
Let $f_1, f_2, \ldots, f_n : X \to \R$ be real-valued functions.
Then the pointwise maximum of $f_1, f_2, \ldots, f_n$, denoted $\max \set {f_1, f_2, \ldots, f_n}$, is defined by:
- $\max \set {f_1, f_2, \ldots, f_n}: X \to \R : \map {\max \set {f_1, f_2, \ldots, f_n} } x := \begin{cases}\map {f_1} x & n = 1 \\ \max \set {\max \set {\map {f_1} x, \map {f_2} x, \ldots, \map {f_{n - 1}} x }, \map {f_n} x} & n \ge 2\end{cases}$
Also see
- Definition:Pointwise Minimum of Real-Valued Functions, an analogous notion tied to the min operation
- Definition:Pointwise Operation on Real-Valued Functions for more operations on real-valued functions
- Definition:Pointwise Maximum of Mappings for the pointwise maximum of more general mappings