Definition:Rate Function

Definition
Let $\XX$ be a topological space.

Let $\overline \R_\ge$ be the positive extended real number line.

Let $I : \XX \to \overline \R_\ge$ be a function.

Then $I$ is a rate function $I$ is lower semicontinuous.