No label defined (Q4454614)

Let \(f:C\rightarrow \mathbb R\) be a function defined on a nonempty subset \(C\) of a topological (vector) space \(X.\) Given a set \(\mathcal S\subset X^\mathbb N\) of sequences in \(X\) containing all constant sequences, the author defines the sets \[ S(x,C,\mathcal S) :=\{(x_{n}) \in \mathcal S\cap C^{N}:x_{n}\rightarrow x\} \] and \[ \widehat{C}:=\{x\in X:\exists (x_{n}) \in S(x,C,\mathcal S),\text{ }\lim \inf f(x_{n}) <+\infty \} \] and the function \(\widehat{f}:\widehat{C}\rightarrow \mathbb R\cup \{ -\infty\}\) given by \(\widehat{f}(x) =\inf_{(x_{n}) \in S(x,C,\mathcal S) }\lim \inf f(x_{n}) .\) One has \(C\subset \widehat{C}\) and \(\widehat{f}_{\mid C}\leq f;\) under suitable assumptions, \(\widehat{f}\) extends \(f.\) The main results in the paper deal with the case when \(f\) is convex and has some lower semi-continuity property. For the entire collection see [Zbl 1024.00039].