Suns are convex in tangent directions

A direction d is called a tangent direction to the unit sphere S of a normed linear space s S and lin(s + d) is a tangent line to the sphere S at s imply that lin(s + d) is a one-sided tangent to the sphere S, i. e., it is the limit of secant lines at s. A set M is called convex with respect to a direction d if [x, y] M whenever x, y in M, (y - x) || d. We show that in a normed linear space an arbitrary sun (in particular, a boundedly compact Chebyshev set) is convex with respect to any tangent direction of the unit sphere.

CHEBYSHEV SETS

A Chebyshev set is a subset of a normed linear space that admits unique best approximations. In the first part of this paper we present some basic results concerning Chebyshev sets. In particular, we investigate properties of the metric projection map, sufficient conditions for a subset of a normed linear space to be a Chebyshev set, and sufficient conditions for a Chebyshev set to be convex. In the second half of the paper we present a construction of a nonconvex Chebyshev subset of an inner product space.

A note on suns in convex metric spaces

We prove that in a convex metric space (X,d), an existence set K having a lower semi continuous metric projection is a ?-sun and in a complete M-space, a Chebyshev set K with a continuous metric projection is a ?-sun as well as almost convex.

On δ-suns

We prove that an approximatively compact Chebyshev set in an M-space is a ?-sun and a ?-sun in a complete strong M-space (or externally convex M-space) is almost convex.