Good rate function
A rate function whose sublevel sets are compact.
A good rate function on a topological space is a rate function such that for every the sublevel set
is compact in .
Good rate functions are the natural large-deviation analogue of coercive “energy” functionals: they ensure that the variational problems appearing in a large deviation principle are attained on compact sets and interact well with exponential tightness. In metrizable settings (e.g. Polish spaces), goodness is often the key compactness hypothesis used to pass from bounds on nice sets to bounds on all Borel sets.
Examples
- On , any function of the form is good: the sets are closed and bounded, hence compact in .
- If is compact and is a rate function, then is automatically good because every closed subset of a compact space is compact.