# Definition:Standard Representation of Simple Function

Jump to navigation
Jump to search

## Definition

Let $\left({X, \Sigma}\right)$ be a measurable space.

Let $f: X \to \R$ be a simple function.

A **standard representation of $f$** consists of:

- a finite sequence $a_1, \ldots, a_n$ of real numbers
- a partition $E_0, E_1, \ldots, E_n$ of $\Sigma$-measurable sets

subject to:

- $f = \displaystyle \sum_{j \mathop = 0}^n a_j \chi_{E_j}$

where $a_0 := 0$, and $\chi$ denotes characteristic function.

## Also see

## Sources

- 2005: René L. Schilling:
*Measures, Integrals and Martingales*... (previous) ... (next): $8.6$