Ref:

[1] Supremum of a class of functions

In the earlier post [1], we discussed measurability of the infimum of a class of measurable functions. In particular, for the infimum of a class of measurable functions as a function, we can show that it may not be measurable. Therefore, we shall need additional conditions to have the infimum function measurable. In this post, we show that the infimum function is

- measurable if the class size is countable;
- lower semicontinuous (thus measurable) if each function in the class is lower semicontinuous.