Subspaces of finite codimension: The existence of elements of best approximation (Q1062243): Difference between revisions

The author deals with proximal finite-codimensional subspaces of a Banach space. Let us present the main theorem of the paper. Let X be a complex Banach space, L an n-dimensional subspace of X(n\(\geq 1)\). If \(F_ 1,...,F_ n\) form a basis in \(L^{\perp}\), then set \(f_ k=Re F_ k\), \(g_ k=Im F_ k\) and define \(D^ 0_ k,D_ k,d_ k,e_ k\) as follows: \(D_ 0=V\) (the 1-ball in X), \(d_ k=\sup f_ k(D_{k-1})\), \(D^ 0_ k=\{x\in D_{k-1}:f_ k(x)=d_ k\}\) (1\(\leq k\leq n)\), take \(e_ k\in R\) such that ({\S} ) inf \(g_ k(D^ 0_ k)\leq e_ k\leq \sup g_ k(D^ 0_ k)\) for \(D^ 0_ k\neq \emptyset\) (and \(e_ k\) arbitrary otherwise); finally set \(D_ k=\{x\in D^ 0_ k:g_ k(x)=e_ k\}\) (1\(\leq k\leq n)\). Then L is proximal if and only if for each basis \(\{F_ 1,...,F_ n\}\) in \(L^{\perp}\) and each choice of \(e_ 1,...,e_ n\) satisfying ({\S} ) one has: (I) \(D_ n\neq \emptyset\); (II) if \(x_ m\in V\), \(f_ j(x_ m)\to d_ j\), \(g_ j(x_ m)\to e_ j\) as \(m\to \infty\) \((j=1,...,k-1)\), then \(\limsup_{m} f_ k(x_ m)\leq d_ k\), and if, in addition, \(f_ k(x_ m)\to d_ k\), then inf \(g_ k(D^ 0_ k)\leq \lim \inf_{m} g_ k(x_ m)\leq \limsup_{m} g_ k(x_ m)\leq \sup g_ k(D^ 0_ k)\) for \(k=2,...,n\).