The equivalence of the moduli of continuity of the best approximation operator and of strong unicity in \(L^ 1\)
type: Item
instance of: scholarly article
title: The equivalence of the moduli of continuity of the best approximation operator and of strong unicity in \(L^ 1\)
zbMATH Open document ID: 0586.41022
DOI: 10.1016/0021-9045(86)90056-0
author: James R. Angelos
author: András Kroó
published in: Journal of Approximation Theory
publication date: 1986-01-01T00:00:00Z
review text: Let X be a normed linear space and \(M_ n\) a finite dimensional subspace of X. For \(x\in X\) denote the distance from x to \(M_ n\) by \(\rho (x,M_ n)=\inf \{\| x-q\|:q\in M_ n\}\) and define \(P:X\to 2^ Mn\) by \(P(x)=\{q\in M_ n:\| x-q\| =\rho (x,M_ n)\}\). P is known as the best approximation operator. The local modulus of continuity of P at \(x\in X\) is \(\Omega (M_ n,x,\delta)=\sup \{\rho (q,P(x)):q\in P(x_ 1),x_ 1\in X,\| x-x_ 1\| \leq \delta \}\) and the local modulus of strong unicity of P at \(x\in X\) is \(\Omega *(M_ n,x,\delta)=\sup \{\rho (q,P(x)):q\in M_ n,\| x-q\| -\rho (x,M_ n)\leq \delta \}\). It is easily seen that \(\Omega (M_ n,x,\delta)\leq \Omega *(M_ n,x,2\delta)\). The question raised in this paper is whether these moduli can be of the same order and so we say that X satisfies the E-property if for any \(M_ n\subset X\) and \(x\in X\) there is a constant \(\gamma >0\) depending only on x and \(M_ n\) such that \(\Omega *(M_ n,x,\delta)\leq \Omega (M_ n,x,\gamma \delta)\). It is noted that all of the \(L^ p\)- spaces, \(1<p<\infty\), fail to have the E-property. It is proven that \(X=L^ 1=L^ 1(T,\Sigma,\mu)\), (T,\(\Sigma\),\(\mu)\) a complete, \(\sigma\)- finite, positive measure space, does satisfy the E-property and if (T,\(\Sigma\),\(\mu)\) is non-atomic we may take \(\gamma =1\). Derived from this is the equivalence of the Lipschitz continuity of P and strong unicity of best approximations in \(L^ 1\) as well as the equivalence of the Lipschitz and strong unicity constants for \(L^ 1\) approximation.
Mathematics Subject Classification ID: 41A65
Mathematics Subject Classification ID: 41A58
Mathematics Subject Classification ID: 41A45
zbMATH DE Number: 3939920
zbMATH Keywords: Lipschitz constant
zbMATH Keywords: best approximation operator
zbMATH Keywords: local modulus of continuity
zbMATH Keywords: strong unicity constants
zbMATH Keywords: \(L^ 1\) approximation
MaRDI profile type: Publication
full work available at URL: 0021-9045(86)90056-0
OpenAlex ID: W1975890288
cites work: Strong uniqueness in \(L^ p\) spaces
cites work: Q3324418
cites work: Lipschitz conditions, strong uniqueness, and almost Chebyshev subspaces of C(X)
cites work: Q3864965
cites work: Q5543516
cites work: Q3260666
cites work: The modulus of coninuity of the set-valued metric projection
cites work: Smoothness of approximation
cites work: On the continuity of best approximations in the space of integrable functions
cites work: Some theorems on Cebysev approximation
cites work: Unicity and strong unicity in approximation theory
cites work: Cebysev Subspaces of Finite Dimension in L 1
cites work: Q5595759
description: scientific article; zbMATH DE number 3939920