Step function explained

In mathematics, a function on the real numbers is called a step function if it can be written as a finite linear combination of indicator functions of intervals. Informally speaking, a step function is a piecewise constant function having only finitely many pieces.

Definition and first consequences

A function

f\colonRR

is called a step function if it can be written as

f(x)=

n
\sum\limits
i=0

\alphai

\chi
Ai

(x)

, for all real numbers

x

where

n\ge0

,

\alphai

are real numbers,

Ai

are intervals, and

\chiA

is the indicator function of

A

:

\chiA(x)=\begin{cases} 1&ifx\inA\\ 0&ifx\notinA\\ \end{cases}

In this definition, the intervals

Ai

can be assumed to have the following two properties:
  1. The intervals are pairwise disjoint:

Ai\capAj=\emptyset

for

ij

  1. The union of the intervals is the entire real line:
n
cup
i=0

Ai=R.

Indeed, if that is not the case to start with, a different set of intervals can be picked for which these assumptions hold. For example, the step function

f=4\chi[-5,+3\chi(0,

can be written as

f=0\chi(-infty,+4\chi[-5,+7\chi(0,+3\chi[1,+0\chi[6,.

Variations in the definition

Sometimes, the intervals are required to be right-open[1] or allowed to be singleton.[2] The condition that the collection of intervals must be finite is often dropped, especially in school mathematics,[3] [4] [5] though it must still be locally finite, resulting in the definition of piecewise constant functions.

Examples

A0=R.

H=(sgn+1)/2

). It is the mathematical concept behind some test signals, such as those used to determine the step response of a dynamical system.

Non-examples

Properties

Ai,

for

i=0,1,...,n

in the above definition of the step function are disjoint and their union is the real line, then

f(x)=\alphai

for all

x\inAi.

stylef=

n
\sum
i=0

\alphai

\chi
Ai
is

style\intfdx=

n
\sum
i=0

\alphai\ell(Ai),

where

\ell(A)

is the length of the interval

A

, and it is assumed here that all intervals

Ai

have finite length. In fact, this equality (viewed as a definition) can be the first step in constructing the Lebesgue integral.[7]

See also

Notes and References

  1. Web site: Step Function.
  2. Web site: Step Functions - Mathonline.
  3. Web site: Mathwords: Step Function.
  4. https://study.com/academy/lesson/step-function-definition-equation-examples.html
  5. Web site: Step Function.
  6. Book: Bachman, Narici, Beckenstein . Fourier and Wavelet Analysis . Springer, New York, 2000 . 0-387-98899-8 . Example 7.2.2. 5 April 2002 .
  7. Book: Weir, Alan J . Lebesgue integration and measure . 10 May 1973. Cambridge University Press, 1973 . 0-521-09751-7 . 3.
  8. Book: Bertsekas, Dimitri P.. Introduction to Probability. Dimitri Bertsekas. 2002. Athena Scientific. Tsitsiklis, John N., Τσιτσικλής, Γιάννης Ν.. 188652940X. Belmont, Mass.. 51441829.