在数学中,如果实数域上的某个函数可以用半开区间上的指示函数的有限次线性组合来表示,那么这个函数就是阶跃函数。换一种不太正式的说法就是,阶跃函数是有限段分段常数函数的组合。
n=4 的阶跃函数
假设已知:
![{\displaystyle \{\alpha _{0},\dots ,\alpha _{n}\}\subset \mathbb {R} ,\;n\in \mathbb {N} \setminus \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd0918245572ec0cea7ed98cc226402591a8e81)
![{\displaystyle \{x_{1}<\dots <x_{n}\}\subset \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6fa4754ffb58368e4c968a9e7ae3aaa6321fcb1)
![{\displaystyle A_{0}:=(-\infty ,x_{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c8fe9591b649d77421834a2569ef989d90b6c52)
(对于
)
![{\displaystyle A_{n}:=[x_{n},\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/baceb60125ef90affda70c4a9af597f64a85998b)
(尽管这个例子中的区间下边界包含在内,而上边界不包含在内,但是这并不是定义所要求的。只要区间 An 互不相交,并且它们的组合是实数就可以了。)
定义: 函数
是 阶跃函数的条件是当且仅当它可以表示为
对于所有
有
其中
是
的指示函数:
![{\displaystyle 1_{A}(x)=\left\{{\begin{matrix}1,&\mathrm {if} \;x\in A\\0,&\mathrm {otherwise} \end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c148007fdb954ab6bbadbee1049f61d7c3c3d44a)
注意: 对于所有的
及
满足:
特殊阶跃函数
参见