# Definition:Pointwise Operation/Real-Valued Functions

## Definition

Let $\R^S$ be the set of all mappings $f: S \to \R$, where $\R$ is the set of real numbers.

Let $\oplus$ be a binary operation on $\R$.

Define $\oplus: \R^S \times \R^S \to \R^S$, called **pointwise $\oplus$**, by:

- $\forall f, g \in \R^S: \forall s \in S: \map {\paren {f \oplus g} } s := \map f s \oplus \map g s$

In the above expression, the operator on the right hand side is the given $\oplus$ on the real numbers.

### Pointwise Addition

Let $f, g: S \to \R$ be real-valued functions.

Then the **pointwise sum of $f$ and $g$** is defined as:

- $f + g: S \to \R:$
- $\forall s \in S: \map {\paren {f + g} } s := \map f s + \map g s$

where the $+$ on the right hand side is real-number addition.

### Pointwise Multiplication

Let $f, g: S \to \R$ be real-valued functions.

Then the **pointwise product of $f$ and $g$** is defined as:

- $f \times g: S \to \R:$
- $\forall s \in S: \map {\paren {f \times g} } s := \map f s \times \map g s$

where $\times$ on the right hand side denotes real multiplication.

This page has been identified as a candidate for refactoring of basic complexity.In particular: Include this section as a transcluded page, in the same manner as the othersUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

- $\lambda \cdot f: S \to \R, \map {\paren {\lambda \cdot f} } s := \lambda \cdot \map f s$

as is done on Pointwise Scalar Multiplication

### Multiary Operations

For ease of notation, write $\sqbrk {S \to \R}$ for $\R^S$.

Let $I$ be some indexing set.

Let $\oplus^I: \R^I \to \R$ be an $I$-ary operation on $\R$.

Then $\oplus^I: \sqbrk {S \to \R}^I \to \sqbrk {S \to \R}$, referred to as **pointwise $\oplus^I$**, is defined as:

- $\forall \family {f_i}_{i \mathop \in I} \in \sqbrk {S \to \R}^I: \forall s \in S: \map {\paren {\oplus^I \family {f_i}_{i \mathop \in I} } } s := \oplus^I \family {\map {f_i} s}_{i \mathop \in I}$

## Also known as

When $\oplus$ or $\oplus^I$ has a distinguished name, it is usual to name the corresponding **pointwise operation** by prepending **pointwise** to that name.

## Also defined as

Sometimes an operation cannot be consistently defined on all of $\R^I$. Often one then still speaks about a **pointwise operation** by suitably restricting above definition, adapting it wherever necessary.

Examples of such suitably restricted pointwise operations are listed under Partial Examples below.

## Examples

- Definition:Pointwise Addition of Real-Valued Functions
- Definition:Pointwise Multiplication of Real-Valued Functions
- Definition:Pointwise Scalar Multiplication of Real-Valued Functions
- Definition:Pointwise Maximum of Real-Valued Functions
- Definition:Pointwise Minimum of Real-Valued Functions
- Definition:Absolute Value of Real-Valued Function

This article is complete as far as it goes, but it could do with expansion.In particular: add more as they are definedYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Partial Examples

## Also see

- Definition:Pointwise Operation on Number-Valued Functions: a more general concept

## Sources

- 1970: B. Hartley and T.O. Hawkes:
*Rings, Modules and Linear Algebra*... (previous) ... (next): Chapter $1$: Rings - Definitions and Examples: $2$: Some examples of rings: Ring Example $8$ - 1977: K.G. Binmore:
*Mathematical Analysis: A Straightforward Approach*... (previous) ... (next): $\S 7.9$