Namespaces
Variants
Actions

Difference between revisions of "Abstract approximation theory"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (fixing spaces)
Line 24: Line 24:
 
and  $  U  ^  \circ  $
 
and  $  U  ^  \circ  $
 
in the [[Adjoint space|adjoint space]]  $  L  ^  \prime  $
 
in the [[Adjoint space|adjoint space]]  $  L  ^  \prime  $
of  $  L $(
+
of  $  L $ (cf. also (the editorial comments to) [[Polar|Polar]]), one defines on  $  L $
cf. also (the editorial comments to) [[Polar|Polar]]), one defines on  $  L $
 
 
the functionals  $  p _ {U} ( x ) =  \sup  \{ {\mu ( x ) } : {\mu \in U  ^  \circ  } \} $
 
the functionals  $  p _ {U} ( x ) =  \sup  \{ {\mu ( x ) } : {\mu \in U  ^  \circ  } \} $
 
and  $  p _ {VK }  ( x ) =  \sup  \{ {\mu ( x ) } : {\mu \in V  ^  \circ  \cap K  ^  \circ  } \} $.  
 
and  $  p _ {VK }  ( x ) =  \sup  \{ {\mu ( x ) } : {\mu \in V  ^  \circ  \cap K  ^  \circ  } \} $.  
Line 34: Line 33:
 
1)  $  x - x _ {0} \in K $;
 
1)  $  x - x _ {0} \in K $;
  
2a)  $  p _ {U} ( x ) = p _ {VK }  ( x _ {0} ) $(
+
2a)  $  p _ {U} ( x ) = p _ {VK }  ( x _ {0} ) $ (exact solution); respectively,
exact solution); respectively,
 
  
2b)  $  p _ {U} ( x ) \leq  p _ {VK }  ( x _ {0} ) + \epsilon $(
+
2b)  $  p _ {U} ( x ) \leq  p _ {VK }  ( x _ {0} ) + \epsilon $ (approximate solution). In the classical situation,  $  L $
approximate solution). In the classical situation,  $  L $
 
 
stands for a space  $  C ( X ) $
 
stands for a space  $  C ( X ) $
 
of continuous functions on a compact space  $  X $
 
of continuous functions on a compact space  $  X $
Line 59: Line 56:
 
whenever  $  T _ {n} ( g ) $
 
whenever  $  T _ {n} ( g ) $
 
converges to  $  g $
 
converges to  $  g $
for the three test functions  $  g = 1, x, x  ^ {2} $(
+
for the three test functions  $  g = 1, x, x  ^ {2} $ (cf. also [[Korovkin theorems|Korovkin theorems]]). This result was subsequently generalized to different sets of test functions  $  g $
cf. also [[Korovkin theorems|Korovkin theorems]]). This result was subsequently generalized to different sets of test functions  $  g $
 
 
and various topological spaces  $  X $
 
and various topological spaces  $  X $
replacing the interval  $  [ 0,1 ] $(
+
replacing the interval  $  [ 0,1 ] $ (cf. also [[Korovkin-type approximation theory|Korovkin-type approximation theory]]). Classical examples include the Bernstein operators (see [[Bernstein polynomials|Bernstein polynomials]]) and the Fejér sums (cf. also [[Fejér sum|Fejér sum]]), which provide approximation schemes by polynomials and trigonometric polynomials, respectively. Further generalizations investigate the convergence of certain classes of linear operators on various domains, such as positive operators on topological vector lattices, contractive operators on normed spaces, multiplicative operators on Banach algebras, monotone operators on set-valued functions, monotone operators with certain restricting properties on spaces of stochastic processes, etc. (cf. [[#References|[a1]]] for a recent survey). Typically, for a subset  $  M $
cf. also [[Korovkin-type approximation theory|Korovkin-type approximation theory]]). Classical examples include the Bernstein operators (see [[Bernstein polynomials|Bernstein polynomials]]) and the Fejér sums (cf. also [[Fejér sum|Fejér sum]]), which provide approximation schemes by polynomials and trigonometric polynomials, respectively. Further generalizations investigate the convergence of certain classes of linear operators on various domains, such as positive operators on topological vector lattices, contractive operators on normed spaces, multiplicative operators on Banach algebras, monotone operators on set-valued functions, monotone operators with certain restricting properties on spaces of stochastic processes, etc. (cf. [[#References|[a1]]] for a recent survey). Typically, for a subset  $  M $
 
 
of the domain  $  L $,  
 
of the domain  $  L $,  
 
one defines the Korovkin closure  $  K ( M ) $
 
one defines the Korovkin closure  $  K ( M ) $
Line 84: Line 79:
 
such that  $  wf $
 
such that  $  wf $
 
vanishes at infinity for all  $  w \in W $.  
 
vanishes at infinity for all  $  w \in W $.  
Endowed with the semi-norms  $  p _ {w} ( f ) =  \sup  \{ {| {wf ( x ) } | } : {x \in X } \} $(
+
Endowed with the semi-norms  $  p _ {w} ( f ) =  \sup  \{ {| {wf ( x ) } | } : {x \in X } \} $ (cf. [[Semi-norm|Semi-norm]]),  $  C _ {W} ( X ) $
cf. [[Semi-norm|Semi-norm]]),  $  C _ {W} ( X ) $
 
 
is a [[Locally convex space|locally convex space]]. (The case  $  W = \{ 1 \} $,  
 
is a [[Locally convex space|locally convex space]]. (The case  $  W = \{ 1 \} $,  
 
for example, leads to  $  C _ {W} ( X ) = C _ {0} ( X ) $
 
for example, leads to  $  C _ {W} ( X ) = C _ {0} ( X ) $

Revision as of 08:39, 1 July 2022


Classical approximation theory deals with the approximation of real-valued functions defined on real intervals by certain basic functions like ordinary or trigonometric polynomials (cf. also Trigonometric polynomial), splines (see Spline approximation), etc. An approximation may be obtained through coincidence on a given subset of the domain (interpolation and trigonometric interpolation) or through more general constructive or non-constructive methods. The quality of an approximation is usually evaluated by a measure for the deviation of two functions (see Approximation of functions, measure of). These approaches may be suitably transferred to more general settings.

Interpolation.

A general formulation of an interpolation problem in normed spaces is due to L. Asimow [a2]. Let $ K $ be a closed linear subspace in a normed linear space $ L $. Given a bounded closed convex neighbourhood $ V $ of $ 0 $ in $ L $ and a bounded closed convex set $ U $ containing $ 0 $, their polars $ V ^ \circ $ and $ U ^ \circ $ in the adjoint space $ L ^ \prime $ of $ L $ (cf. also (the editorial comments to) Polar), one defines on $ L $ the functionals $ p _ {U} ( x ) = \sup \{ {\mu ( x ) } : {\mu \in U ^ \circ } \} $ and $ p _ {VK } ( x ) = \sup \{ {\mu ( x ) } : {\mu \in V ^ \circ \cap K ^ \circ } \} $. For $ x _ {0} \in L $ one looks for an element $ x \in L $ satisfying:

1) $ x - x _ {0} \in K $;

2a) $ p _ {U} ( x ) = p _ {VK } ( x _ {0} ) $ (exact solution); respectively,

2b) $ p _ {U} ( x ) \leq p _ {VK } ( x _ {0} ) + \epsilon $ (approximate solution). In the classical situation, $ L $ stands for a space $ C ( X ) $ of continuous functions on a compact space $ X $ endowed with the supremum norm, and $ K $ for all functions vanishing on a compact subset $ Y $ of $ X $. Further, $ U $ is the class of functions used for the interpolation. Condition 1) means that $ x $ and $ x _ {0} $ coincide on $ Y $, whereas 2a) (respectively, 2b)) impose further restrictions on the interpolating element $ x $. Classical results on this problem include the Urysohn and Rudin–Carleson theorems for function spaces. The general case requires technical conditions involving the dual space of $ L $.

Approximation by linear operators.

Approximation schemes may often be modelled by sequences (or generalized sequences) of linear operators (see Approximation of functions, linear methods). For a sequence $ ( T _ {n} ) _ {n \in \mathbf N } $ of positive linear operators on $ C ( [ 0,1 ] ) $, Korovkin's theorem [a4] states that $ T _ {n} ( f ) $ converges uniformly to $ f $ for every $ f \in C ( [ 0,1 ] ) $ whenever $ T _ {n} ( g ) $ converges to $ g $ for the three test functions $ g = 1, x, x ^ {2} $ (cf. also Korovkin theorems). This result was subsequently generalized to different sets of test functions $ g $ and various topological spaces $ X $ replacing the interval $ [ 0,1 ] $ (cf. also Korovkin-type approximation theory). Classical examples include the Bernstein operators (see Bernstein polynomials) and the Fejér sums (cf. also Fejér sum), which provide approximation schemes by polynomials and trigonometric polynomials, respectively. Further generalizations investigate the convergence of certain classes of linear operators on various domains, such as positive operators on topological vector lattices, contractive operators on normed spaces, multiplicative operators on Banach algebras, monotone operators on set-valued functions, monotone operators with certain restricting properties on spaces of stochastic processes, etc. (cf. [a1] for a recent survey). Typically, for a subset $ M $ of the domain $ L $, one defines the Korovkin closure $ K ( M ) $ of $ M $ as the set of all elements $ f \in L $ such that $ T _ \alpha ( f ) \rightarrow f $ whenever $ ( T _ \alpha ) _ {\alpha \in A } $ is an equicontinuous generalized sequence (cf. Equicontinuity) in the restricted class of operators such that $ T _ \alpha ( g ) \rightarrow g $ holds for all $ g \in M $. The main problem is to describe the Korovkin closure as explicitly as possible.

A very general setting allowing a unified approach to most of the above-mentioned cases is given by locally convex cones [a3], structures that generalize locally convex ordered vector spaces (cf. Locally convex space; Semi-ordered space) in the sense that scalar multiplication is only defined for non-negative real numbers; neither the existence of negatives nor the validity of the cancellation law is required. In spite of their generality, locally convex cones allow a rich duality theory, including Hahn–Banach-type extension and separation theorems for continuous linear functionals. Various restrictions on classes of linear operator may be taken care of by proper choices for the domains and their topologies alone, and Korovkin closures may be characterized in terms of the dual cone.

A complete description of Korovkin closures is available for positive linear operators on weighted spaces of continuous functions [a5], [a6]: Given a locally compact space $ X $ and an upward-directed family $ W $ of non-negative upper semi-continuous real-valued weight functions on $ X $, one considers the space $ C _ {W} ( X ) $ of all continuous real-valued functions $ f $ on $ X $ such that $ wf $ vanishes at infinity for all $ w \in W $. Endowed with the semi-norms $ p _ {w} ( f ) = \sup \{ {| {wf ( x ) } | } : {x \in X } \} $ (cf. Semi-norm), $ C _ {W} ( X ) $ is a locally convex space. (The case $ W = \{ 1 \} $, for example, leads to $ C _ {W} ( X ) = C _ {0} ( X ) $ with the topology of uniform convergence; if $ W $ consists of the characteristic functions of all compact subsets of $ X $, then $ C _ {W} ( X ) = C ( X ) $ with the topology of compact convergence.) For a subset $ M $ of $ C _ {W} ( X ) $, a function $ f $ is contained in the Korovkin closure $ K ( M ) $ if and only if for all $ x \in X $ such that $ w ( x ) > 0 $ for some $ w \in W $ one (and therefore both) of the following two equivalent conditions hold:

a)

$$ f ( x ) = $$

$$ = \sup _ {\epsilon > 0; w \in W } \inf \left \{ {g ( x ) } : {g \in { \mathop{\rm span} } ( M ) , wf \leq wg + \epsilon } \right \} = $$

$$ = \inf _ {\epsilon > 0; w \in W } \sup \left \{ {g ( x ) } : {g \in { \mathop{\rm span} } ( M ) , wg \leq wf + \epsilon } \right \} ; $$

b) for every finite positive regular Borel measure $ \mu $ on $ X $ and every $ w \in W $, $ \int {wg } {d \mu } = g ( x ) $ for all $ g \in M $ implies $ \int {wf } {d \mu } = f ( x ) $. If $ K ( M ) = C _ {W} ( X ) $, then b) shows that the vector sublattice generated by $ M $ is dense in $ C _ {W} ( X ) $. In this way the preceding criterion leads to versions of the classical Stone–Weierstrass theorem.

References

[a1] F. Altomare, M. Campiti, "Korovkin-type approximation theory and its applications" , W. de Gruyter (1994)
[a2] L. Asimow, A.J. Ellis, "Convexity theory and its applications in functional analysis" , Acad. Press (1980)
[a3] K. Keimel, W. Roth, "Ordered cones and approximation" , Lecture Notes in Mathematics , 1517 , Springer (1992)
[a4] P.P. Korovkin, "Linear operators and approximation theory" , Russian Monographs and Texts on advanced Math. , III , Gordon&Breach (1960)
[a5] J.B. Prolla, "Approximation of vector valued functions" , North-Holland (1977)
[a6] W. Roth, "A Korovkin type theorem for weighted spaces of continuous functions" Bull. Austral. Math. Soc. , 55 (1997) pp. 239–248
How to Cite This Entry:
Abstract approximation theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abstract_approximation_theory&oldid=52479
This article was adapted from an original article by K. KeimelW. Roth (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article