Rate function (source code)

= Rate function
{wiki}

A rate function is a lower-semicontinuous map $I$ into $[0,\infty]$. It is good when every sublevel set $\{x:I(x)\leq c\}$ is compact.