Namespaces
Variants
Actions

Difference between revisions of "Chebyshev set"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
A set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219701.png" /> in a metric space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219702.png" /> such that for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219703.png" /> there exists exactly one [[Element of best approximation|element of best approximation]], that is, an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219704.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219705.png" />. The existence and uniqueness of best approximating elements is a most simple condition, most convenient from the theoretical as well as from the practical point of view. This determines the role of Chebyshev sets in approximation theory and in the theory of Banach spaces. The notion of a Chebyshev set is a logical development of that of a [[Chebyshev system|Chebyshev system]].
+
<!--
 +
c0219701.png
 +
$#A+1 = 47 n = 4
 +
$#C+1 = 47 : ~/encyclopedia/old_files/data/C021/C.0201970 Chebyshev set
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A finite-dimensional vector subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219706.png" /> with basis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219707.png" /> is a Chebyshev set (Chebyshev subspace) if and only if the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219708.png" /> form a Chebyshev system (equivalently, satisfy the [[Haar condition|Haar condition]]). Lines, planes, convex figures, and bodies in a Euclidean space are Chebyshev sets. Non-trivial examples of Chebyshev sets were first considered by P.L. Chebyshev [[#References|[1]]]. These were the subspace of algebraic polynomials of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c0219709.png" /> and the set of rational functions with fixed degree of the numerator and the denominator in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197010.png" />. A set in a Euclidean space is a Chebyshev set if and only if it is closed and convex.
+
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A set  $  M $
 +
in a metric space  $  ( X , \rho ) $
 +
such that for each  $  x \in X $
 +
there exists exactly one [[Element of best approximation|element of best approximation]], that is, an element  $  y \in M $
 +
such that  $  \rho ( x , y ) = \rho ( x , M ) $.
 +
The existence and uniqueness of best approximating elements is a most simple condition, most convenient from the theoretical as well as from the practical point of view. This determines the role of Chebyshev sets in approximation theory and in the theory of Banach spaces. The notion of a Chebyshev set is a logical development of that of a [[Chebyshev system|Chebyshev system]].
 +
 
 +
A finite-dimensional vector subspace $  L \subset  C ( Q ) $
 +
with basis $  \phi _ {1} \dots \phi _ {n} $
 +
is a Chebyshev set (Chebyshev subspace) if and only if the functions $  \phi _ {1} \dots \phi _ {n} $
 +
form a Chebyshev system (equivalently, satisfy the [[Haar condition|Haar condition]]). Lines, planes, convex figures, and bodies in a Euclidean space are Chebyshev sets. Non-trivial examples of Chebyshev sets were first considered by P.L. Chebyshev [[#References|[1]]]. These were the subspace of algebraic polynomials of degree $  \leq  n $
 +
and the set of rational functions with fixed degree of the numerator and the denominator in the space $  C [ a , b ] $.  
 +
A set in a Euclidean space is a Chebyshev set if and only if it is closed and convex.
  
 
In Lobachevskii geometry a Chebyshev set need not be convex [[#References|[7]]]. In a two-dimensional non-smooth normed space it is easy to construct a non-convex Chebyshev set. There exist non-smooth three-dimensional spaces in which every Chebyshev set is convex. The problem whether arbitrary Chebyshev sets in a Hilbert space are convex is unsolved (1987). At the same time there are proofs of the convexity of Chebyshev sets under supplementary conditions on the set and on the space, and conditions that are equivalent to convexity for Chebyshev sets (cf. [[Approximate compactness|Approximate compactness]]).
 
In Lobachevskii geometry a Chebyshev set need not be convex [[#References|[7]]]. In a two-dimensional non-smooth normed space it is easy to construct a non-convex Chebyshev set. There exist non-smooth three-dimensional spaces in which every Chebyshev set is convex. The problem whether arbitrary Chebyshev sets in a Hilbert space are convex is unsolved (1987). At the same time there are proofs of the convexity of Chebyshev sets under supplementary conditions on the set and on the space, and conditions that are equivalent to convexity for Chebyshev sets (cf. [[Approximate compactness|Approximate compactness]]).
  
Since Chebyshev sets can be non-convex, one studies other characteristics of them. A Chebyshev set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197011.png" /> is called a sun [[#References|[2]]] if for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197013.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197014.png" /> is the point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197015.png" /> nearest to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197017.png" /> is the ray through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197018.png" /> emanating from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197019.png" />), the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197020.png" /> is the point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197021.png" /> nearest to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197022.png" />. For a Chebyshev set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197023.png" /> in a smooth space, the conditions  "M is convex"  and  "M is a sun"  are equivalent.
+
Since Chebyshev sets can be non-convex, one studies other characteristics of them. A Chebyshev set $  M $
 +
is called a sun [[#References|[2]]] if for any $  x \notin M $
 +
and $  z \in {x  ^  \prime  x } vec $(
 +
where $  x  ^  \prime  $
 +
is the point of $  M $
 +
nearest to $  x $
 +
and $  {x  ^  \prime  x } vec $
 +
is the ray through $  x $
 +
emanating from $  x  ^  \prime  $),  
 +
the point $  x  ^  \prime  $
 +
is the point of $  M $
 +
nearest to $  z $.  
 +
For a Chebyshev set $  M $
 +
in a smooth space, the conditions  "M is convex"  and  "M is a sun"  are equivalent.
  
The properties of Chebyshev sets are closely related to approximative compactness and the continuity of a [[Metric projection|metric projection]]. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197024.png" /> be a given Chebyshev set in a Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197025.png" />. If a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197026.png" /> is a [[Boundedly-compact set|boundedly-compact set]] or b) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197027.png" /> is uniformly convex and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197028.png" /> is locally compact, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197029.png" /> is a sun (under the extra hypothesis  "X is smooth" , <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197030.png" /> is a convex set). A Chebyshev set with a continuous metric projection in a smooth reflexive space is convex, and in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197031.png" /> it is a sun. Every Chebyshev set in a uniformly-convex Banach space is connected (even its intersections with balls are connected). However, the set of functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197032.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197033.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197034.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197036.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197037.png" />, is a Chebyshev set with an isolated point, that is, it is not connected and it is not a sun [[#References|[8]]]. The question whether, in an arbitrary Banach space, every Chebyshev set that is a sun is connected, remains unsolved (1987).
+
The properties of Chebyshev sets are closely related to approximative compactness and the continuity of a [[Metric projection|metric projection]]. Let $  M $
 +
be a given Chebyshev set in a Banach space $  X $.  
 +
If a) $  M $
 +
is a [[Boundedly-compact set|boundedly-compact set]] or b) $  X $
 +
is uniformly convex and $  M $
 +
is locally compact, then $  M $
 +
is a sun (under the extra hypothesis  "X is smooth" , $  M $
 +
is a convex set). A Chebyshev set with a continuous metric projection in a smooth reflexive space is convex, and in $  C [ 0 , 1 ] $
 +
it is a sun. Every Chebyshev set in a uniformly-convex Banach space is connected (even its intersections with balls are connected). However, the set of functions $  \{ x _  \alpha  \} $
 +
in $  C [ 0 , 1 ] $,
 +
where 0 \leq  \alpha \leq  1 $,  
 +
$  x _ {0} ( t) = 0 $
 +
and $  x _  \alpha  ( t) = \alpha ( \alpha + 1 ) ( \alpha + t )  ^ {-} 1 $
 +
for  $  \alpha > 0 $,  
 +
is a Chebyshev set with an isolated point, that is, it is not connected and it is not a sun [[#References|[8]]]. The question whether, in an arbitrary Banach space, every Chebyshev set that is a sun is connected, remains unsolved (1987).
  
In  "nice"  spaces there are quite a number of Chebyshev sets. In a Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197038.png" /> every convex closed set is a Chebyshev set if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197039.png" /> is strictly convex (strictly normed) and reflexive. In an arbitrary reflexive space there always exists a Chebyshev set, to wit a hyperplane. In an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197040.png" />-dimensional Banach space there exist Chebyshev subspaces of all dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197041.png" /> (cf. [[#References|[9]]]). There exists a space in which there are no non-trivial Chebyshev subspaces. In a uniformly-convex Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197042.png" />, every closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197043.png" /> is an almost Chebyshev set, in the sense that the set of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197044.png" /> for which a unique nearest point in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197045.png" /> exists, is the complement of a meager set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197046.png" />. In a separable space there exist subspaces of all finite dimensions that are  "almost Chebyshev sets" . There exists a space, isomorphic to a Hilbert space, in which the metric projection onto a certain Chebyshev subspace is discontinuous.
+
In  "nice"  spaces there are quite a number of Chebyshev sets. In a Banach space $  X $
 +
every convex closed set is a Chebyshev set if and only if $  X $
 +
is strictly convex (strictly normed) and reflexive. In an arbitrary reflexive space there always exists a Chebyshev set, to wit a hyperplane. In an $  n $-
 +
dimensional Banach space there exist Chebyshev subspaces of all dimensions $  \leq  n $(
 +
cf. [[#References|[9]]]). There exists a space in which there are no non-trivial Chebyshev subspaces. In a uniformly-convex Banach space $  X $,  
 +
every closed subset $  M $
 +
is an almost Chebyshev set, in the sense that the set of points $  x \in X $
 +
for which a unique nearest point in $  M $
 +
exists, is the complement of a meager set in $  X $.  
 +
In a separable space there exist subspaces of all finite dimensions that are  "almost Chebyshev sets" . There exists a space, isomorphic to a Hilbert space, in which the metric projection onto a certain Chebyshev subspace is discontinuous.
  
The notion of a Chebyshev set allows generalizations, for example, instead of the uniqueness of the element of best approximation one may require some kind of  "regularity"  of the set of elements of best approximation for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197047.png" />, such as compactness, connectedness or convexity. The results obtained for such generalizations are largely analogous to the corresponding results for Chebyshev sets.
+
The notion of a Chebyshev set allows generalizations, for example, instead of the uniqueness of the element of best approximation one may require some kind of  "regularity"  of the set of elements of best approximation for each $  x \in X $,  
 +
such as compactness, connectedness or convexity. The results obtained for such generalizations are largely analogous to the corresponding results for Chebyshev sets.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.L. Chebyshev,  "Questions on smallest quantities connected with the approximate representation of functions (1859)" , ''Collected works'' , '''2''' , Moscow-Leningrad  (1947)  pp. 151–235  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.V. Efimov,  S.B. Stechkin,  "Some properties of Chebyshev sets"  ''Dokl. Akad. Nauk SSSR'' , '''118''' :  1  (1958)  pp. 17–19  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.L. Garkavi,  "The theory of best approximation in normed linear spaces"  ''Itogi Nauk. Mat. Anal. 1967''  (1969)  pp. 75–132  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.P. Vlasov,  "Approximative properties of sets in normed linear spaces"  ''Russian Math. Surveys'' , '''28''' :  6  (1973)  pp. 1–66  ''Uspekhi Mat. Nauk'' , '''28''' :  6  (1973)  pp. 3–66</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  I.M. Singer,  "Best approximation in normed linear spaces by elements of linear subspaces" , Springer  (1970)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  I.M. Singer,  "The theory of best approximation and functional analysis" , ''CBMS Regional Conf. Ser.'' , '''13''' , SIAM  (1974)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  V.G. Boltyanskii,  I.M. Yaglom,  "Convex figures and bodies" , ''Encyclopaedia of elementary mathematics'' , '''5''' , Moscow  (1966)  pp. 181–269  (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  C.B. Dunham,  "Chebyshev sets in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197048.png" /> which are not suns"  ''Canad. Math. Bull.'' , '''18''' :  1  (1975)  pp. 35–37</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  V.A. Zalgaller,  "On <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197049.png" />-dimensional directions, special for a convex body <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197050.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197051.png" />"  ''Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov.'' , '''27'''  (1972)  pp. 67–72  (In Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.L. Chebyshev,  "Questions on smallest quantities connected with the approximate representation of functions (1859)" , ''Collected works'' , '''2''' , Moscow-Leningrad  (1947)  pp. 151–235  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.V. Efimov,  S.B. Stechkin,  "Some properties of Chebyshev sets"  ''Dokl. Akad. Nauk SSSR'' , '''118''' :  1  (1958)  pp. 17–19  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.L. Garkavi,  "The theory of best approximation in normed linear spaces"  ''Itogi Nauk. Mat. Anal. 1967''  (1969)  pp. 75–132  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.P. Vlasov,  "Approximative properties of sets in normed linear spaces"  ''Russian Math. Surveys'' , '''28''' :  6  (1973)  pp. 1–66  ''Uspekhi Mat. Nauk'' , '''28''' :  6  (1973)  pp. 3–66</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  I.M. Singer,  "Best approximation in normed linear spaces by elements of linear subspaces" , Springer  (1970)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  I.M. Singer,  "The theory of best approximation and functional analysis" , ''CBMS Regional Conf. Ser.'' , '''13''' , SIAM  (1974)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  V.G. Boltyanskii,  I.M. Yaglom,  "Convex figures and bodies" , ''Encyclopaedia of elementary mathematics'' , '''5''' , Moscow  (1966)  pp. 181–269  (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  C.B. Dunham,  "Chebyshev sets in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197048.png" /> which are not suns"  ''Canad. Math. Bull.'' , '''18''' :  1  (1975)  pp. 35–37</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  V.A. Zalgaller,  "On <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197049.png" />-dimensional directions, special for a convex body <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197050.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021970/c02197051.png" />"  ''Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov.'' , '''27'''  (1972)  pp. 67–72  (In Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Revision as of 16:43, 4 June 2020


A set $ M $ in a metric space $ ( X , \rho ) $ such that for each $ x \in X $ there exists exactly one element of best approximation, that is, an element $ y \in M $ such that $ \rho ( x , y ) = \rho ( x , M ) $. The existence and uniqueness of best approximating elements is a most simple condition, most convenient from the theoretical as well as from the practical point of view. This determines the role of Chebyshev sets in approximation theory and in the theory of Banach spaces. The notion of a Chebyshev set is a logical development of that of a Chebyshev system.

A finite-dimensional vector subspace $ L \subset C ( Q ) $ with basis $ \phi _ {1} \dots \phi _ {n} $ is a Chebyshev set (Chebyshev subspace) if and only if the functions $ \phi _ {1} \dots \phi _ {n} $ form a Chebyshev system (equivalently, satisfy the Haar condition). Lines, planes, convex figures, and bodies in a Euclidean space are Chebyshev sets. Non-trivial examples of Chebyshev sets were first considered by P.L. Chebyshev [1]. These were the subspace of algebraic polynomials of degree $ \leq n $ and the set of rational functions with fixed degree of the numerator and the denominator in the space $ C [ a , b ] $. A set in a Euclidean space is a Chebyshev set if and only if it is closed and convex.

In Lobachevskii geometry a Chebyshev set need not be convex [7]. In a two-dimensional non-smooth normed space it is easy to construct a non-convex Chebyshev set. There exist non-smooth three-dimensional spaces in which every Chebyshev set is convex. The problem whether arbitrary Chebyshev sets in a Hilbert space are convex is unsolved (1987). At the same time there are proofs of the convexity of Chebyshev sets under supplementary conditions on the set and on the space, and conditions that are equivalent to convexity for Chebyshev sets (cf. Approximate compactness).

Since Chebyshev sets can be non-convex, one studies other characteristics of them. A Chebyshev set $ M $ is called a sun [2] if for any $ x \notin M $ and $ z \in {x ^ \prime x } vec $( where $ x ^ \prime $ is the point of $ M $ nearest to $ x $ and $ {x ^ \prime x } vec $ is the ray through $ x $ emanating from $ x ^ \prime $), the point $ x ^ \prime $ is the point of $ M $ nearest to $ z $. For a Chebyshev set $ M $ in a smooth space, the conditions "M is convex" and "M is a sun" are equivalent.

The properties of Chebyshev sets are closely related to approximative compactness and the continuity of a metric projection. Let $ M $ be a given Chebyshev set in a Banach space $ X $. If a) $ M $ is a boundedly-compact set or b) $ X $ is uniformly convex and $ M $ is locally compact, then $ M $ is a sun (under the extra hypothesis "X is smooth" , $ M $ is a convex set). A Chebyshev set with a continuous metric projection in a smooth reflexive space is convex, and in $ C [ 0 , 1 ] $ it is a sun. Every Chebyshev set in a uniformly-convex Banach space is connected (even its intersections with balls are connected). However, the set of functions $ \{ x _ \alpha \} $ in $ C [ 0 , 1 ] $, where $ 0 \leq \alpha \leq 1 $, $ x _ {0} ( t) = 0 $ and $ x _ \alpha ( t) = \alpha ( \alpha + 1 ) ( \alpha + t ) ^ {-} 1 $ for $ \alpha > 0 $, is a Chebyshev set with an isolated point, that is, it is not connected and it is not a sun [8]. The question whether, in an arbitrary Banach space, every Chebyshev set that is a sun is connected, remains unsolved (1987).

In "nice" spaces there are quite a number of Chebyshev sets. In a Banach space $ X $ every convex closed set is a Chebyshev set if and only if $ X $ is strictly convex (strictly normed) and reflexive. In an arbitrary reflexive space there always exists a Chebyshev set, to wit a hyperplane. In an $ n $- dimensional Banach space there exist Chebyshev subspaces of all dimensions $ \leq n $( cf. [9]). There exists a space in which there are no non-trivial Chebyshev subspaces. In a uniformly-convex Banach space $ X $, every closed subset $ M $ is an almost Chebyshev set, in the sense that the set of points $ x \in X $ for which a unique nearest point in $ M $ exists, is the complement of a meager set in $ X $. In a separable space there exist subspaces of all finite dimensions that are "almost Chebyshev sets" . There exists a space, isomorphic to a Hilbert space, in which the metric projection onto a certain Chebyshev subspace is discontinuous.

The notion of a Chebyshev set allows generalizations, for example, instead of the uniqueness of the element of best approximation one may require some kind of "regularity" of the set of elements of best approximation for each $ x \in X $, such as compactness, connectedness or convexity. The results obtained for such generalizations are largely analogous to the corresponding results for Chebyshev sets.

References

[1] P.L. Chebyshev, "Questions on smallest quantities connected with the approximate representation of functions (1859)" , Collected works , 2 , Moscow-Leningrad (1947) pp. 151–235 (In Russian)
[2] N.V. Efimov, S.B. Stechkin, "Some properties of Chebyshev sets" Dokl. Akad. Nauk SSSR , 118 : 1 (1958) pp. 17–19 (In Russian)
[3] A.L. Garkavi, "The theory of best approximation in normed linear spaces" Itogi Nauk. Mat. Anal. 1967 (1969) pp. 75–132 (In Russian)
[4] L.P. Vlasov, "Approximative properties of sets in normed linear spaces" Russian Math. Surveys , 28 : 6 (1973) pp. 1–66 Uspekhi Mat. Nauk , 28 : 6 (1973) pp. 3–66
[5] I.M. Singer, "Best approximation in normed linear spaces by elements of linear subspaces" , Springer (1970)
[6] I.M. Singer, "The theory of best approximation and functional analysis" , CBMS Regional Conf. Ser. , 13 , SIAM (1974)
[7] V.G. Boltyanskii, I.M. Yaglom, "Convex figures and bodies" , Encyclopaedia of elementary mathematics , 5 , Moscow (1966) pp. 181–269 (In Russian)
[8] C.B. Dunham, "Chebyshev sets in which are not suns" Canad. Math. Bull. , 18 : 1 (1975) pp. 35–37
[9] V.A. Zalgaller, "On -dimensional directions, special for a convex body in " Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. , 27 (1972) pp. 67–72 (In Russian)

Comments

For the notion of a smooth real linear vector space cf. Smooth space.

References

[a1] F. Deutsch, "Existence of best approximations" J. Approx. Theory , 28 (1980) pp. 132–154
How to Cite This Entry:
Chebyshev set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Chebyshev_set&oldid=19276
This article was adapted from an original article by L.P. Vlasov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article