[13J]Let \(I\) be a family of indices. Supposte that, for \(nβ I\), \(f_ n:Xββ\) are l.s.c. functions. We define \(f{\stackrel{.}{=}}\sup _{nβ I}f_ n\), then \(f\) is l.s.c. (defined as \(f:Xβββͺ\{ +β\} \)). 1 .
[13K]βΊβ»