Finitely determined functions (Q2656197): Difference between revisions

Let \(E\) be an infinite dimensional Banach space equipped with a biorthogonal system \(\mathcal{E}=(e_{n},e_{n}^{\ast})_{n=0}^{\infty}.\) Associated to this system are the linear projections \(P_{n}:x\rightarrow P_{n}(x)=\sum \nolimits_{k=0}^{n}e_{k}^{\ast}(x)e_{k}.\) A function \(f:E\rightarrow \mathbb{R}\) is said to be finitely determined (respectively, inf-finitely determined) by the biorthogonal system \(\mathcal{E}\) if, for all \(x\) and \(a\) in \(E\), we have \(f(x)=\lim_{n\rightarrow\infty}f(a+P_{n}(x-a))\) (respectively, \(f(x)\geq\inf_{n\in\mathbb{N}}f(a+P_{n}(x-a)\)). According to Theorem 2.3, when \(E\) is a Banach space and the biorthogonal system \(\mathcal{E}\) is generated by a Schauder basis, then a convex function \(f:E\rightarrow\mathbb{R}\) is finitely determined by \(\mathcal{E}\) if and only if it is continuous. Outside the convex case there are lots of finitely determined nowhere continuous functions. A biorthogonal system \(\mathcal{E}=(e_{n},e_{n}^{\ast} )_{n=0}^{\infty}\) having the property that \(E=\overline{\mathrm{span}}(e_{n})_{n=0}^{\infty}\) is a Schauder basis if every convex function finitely determined by \(\mathcal{E}\) is norm continuous (see Theorem~2.9). The main result is Theorem 3.11 that gives a necessary and sufficient condition for an inf-finitely determined convex function to attain a minimum at some point. Several applications are included.