Category:Heaviside Step Function

From ProofWiki
Jump to navigation Jump to search

This category contains results about the Heaviside step function.
Definitions specific to this category can be found in Definitions/Heaviside Step Function.


Let $c \ge 0$ be a constant real number.


The Heaviside step function on $c$ is the real function $u_c: \R \to \R$ defined as:

$\map {u_c} t := \begin{cases} 1 & : t > c \\ 0 & : t < c \end{cases}$


If $c = 0$, the subscript is often omitted:

$\map u t := \begin{cases} 1 & : t > 0 \\ 0 & : t < 0 \end{cases}$