Restricted Center Map in Banach Spaces

• Restricted Center Map is a set-valued assignment that maps each bounded closed subset in a Banach space to its constrained Chebyshev center(s) within a fixed closed set.
• The theory establishes stability through properties (P1), (lP2), and (P2) that link local and uniform Hausdorff continuity under specific geometric constraints.
• Applications extend to ℓp-direct sums and geometric-object formulations, connecting rotundity and proximinality with the behavior of restricted Chebyshev centers.

Searching arXiv for the main paper and closely related work on restricted center maps, restricted Chebyshev centers, and center-as-equivariant-map formulations. I’m checking arXiv records for the principal Banach-space treatment and related formulations of “restricted center map” to ground the article in current literature. In Banach-space approximation theory, the restricted center map is the set-valued assignment that sends a bounded closed set $F$ to its set of best Chebyshev centers constrained to lie in a fixed closed subset $V$ of a real Banach space $X$. In the formulation developed in "On stability of restricted center properties and continuity of restricted center map under $\ell_p$-direct sum" (P et al., 2 Oct 2025), the central objects are the restricted radius

$$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$

and the restricted center set

$Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$

The map $F\mapsto Z_V(F)$ generalizes the ordinary Chebyshev center map by imposing a geometric constraint on admissible centers, and its modern theory is organized around existence, Hausdorff continuity, and stability under direct-sum constructions.

1. Basic setting and formal definition

The theory is formulated in real Banach spaces $X$, with $B_X$ and $S_X$ denoting the closed unit ball and unit sphere. For a nonempty subset $V$0, the standard hyperspaces are $V$1 for nonempty closed subsets, $V$2 for nonempty closed bounded subsets, $V$3 for nonempty closed convex subsets, and $V$4 for nonempty compact subsets.

Fix $V$5. For $V$6, the restricted center set is

$V$7

where

$V$8

The pair $V$9 has the restricted center property, abbreviated r.c.p., if $X$0. If $X$1, then $X$2 has r.c.p. when every $X$3 has a restricted center.

The relevant hyperspace topology is induced by the Hausdorff metric

$X$4

With this metric, the restricted center map is

$X$5

A standard enlargement is

$X$6

so that $X$7. This approximate-center set is the basic device for formulating stability and continuity.

The restriction may be imposed by a subspace, but the formalism is broader: $X$8 is only assumed closed. This makes the framework applicable simultaneously to subspaces, balls, and other closed constraint sets.

2. Stability properties and continuity criteria

The modern theory distinguishes three stability properties for the pair $X$9 (P et al., 2 Oct 2025). Property-$\ell_p$0 requires r.c.p. and, for every $\ell_p$1, existence of $\ell_p$2 such that

$\ell_p$3

for each fixed $\ell_p$4. Property-$\ell_p$5 has the same inclusion, but with a single $\ell_p$6 working uniformly for every $\ell_p$7. Property-$\ell_p$8 interpolates between them: for every $\ell_p$9 and $$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$0, there exists $$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$1 such that

$$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$2

Property	Quantifier pattern	Continuity consequence
$$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$3	$$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$4 may depend on the fixed set $$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$5	$$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$6 is uHsc
$$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$7	$$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$8 may depend on the base set $$\operatorname{rad}_V(F)=\inf\{r(v,F):v\in V\}, \qquad r(x,F)=\sup\{\|x-a\|:a\in F\},$$9, but works for all nearby $Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$0	equivalent to $Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$1 + lHsc; hence Hausdorff continuous
$Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$2	one $Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$3 works uniformly for all $Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$4	uniformly Hausdorff continuous

The sequential characterizations clarify the distinction. Property-$Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$5 is equivalent to r.c.p. plus the requirement that every minimizing sequence for a fixed $Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$6 can be asymptotically approximated by a sequence of exact restricted centers of that same $Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$7. Property-$Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$8 is equivalent to r.c.p. plus the analogous statement for varying sets $Z_V(F)=\{v\in V:r(v,F)=\operatorname{rad}_V(F)\}.$9, with $F\mapsto Z_V(F)$0 and $F\mapsto Z_V(F)$1. In the language of the paper, $F\mapsto Z_V(F)$2 is local stability for one set, whereas $F\mapsto Z_V(F)$3 is uniform stability over the whole class.

For a set-valued map $F\mapsto Z_V(F)$4, upper Hausdorff semi-continuity at $F\mapsto Z_V(F)$5 means

$F\mapsto Z_V(F)$6

for all $F\mapsto Z_V(F)$7 sufficiently close to $F\mapsto Z_V(F)$8; lower Hausdorff semi-continuity means

$F\mapsto Z_V(F)$9

for all nearby $X$0. Hausdorff continuity is the conjunction of both, and uniform Hausdorff continuity requires a $X$1 independent of the base points. If all values are singletons, uHsc, lHsc, and Hausdorff continuity coincide.

The key structural theorem identifies $X$2 exactly with the missing lower-semicontinuity ingredient: $X$3 and

$X$4

Hence $X$5 yields upper Hausdorff semi-continuity, $X$6 yields full Hausdorff continuity, and $X$7 yields uniform Hausdorff continuity.

3. Behavior under $X$8-direct sums

A major structural result is that restricted center phenomena transfer through $X$9-direct sums (P et al., 2 Oct 2025). For $B_X$0, if

$B_X$1

and $B_X$2 is a rectangular set from

$B_X$3

then the restricted radius and center set decompose coordinatewise. In the countable case $B_X$4,

$B_X$5

and

$B_X$6

Thus $B_X$7 has r.c.p. if and only if each $B_X$8 has r.c.p., and $B_X$9 is a singleton if and only if each $S_X$0 is a singleton.

The same coordinate principle governs stability of $S_X$1. A key lemma states that any minimizing sequence in $S_X$2 for a product set $S_X$3 concentrates in finitely many coordinates: for every $S_X$4 there exists $S_X$5 such that

$S_X$6

Using this, the paper proves

$S_X$7

So property-$S_X$8 is stable under infinite $S_X$9-direct sums.

Property-$V$00 is more delicate. For finite index sets $V$01, one has

$V$02

for the normalized families with restricted radius $V$03. By contrast, Example 3.6 constructs an infinite $V$04-sum in which each coordinate pair has $V$05, yet the sum fails $V$06: there exist $V$07 and $V$08 with

$V$09

but

$V$10

This is the basic obstruction separating finite and infinite direct sums.

The paper’s new property-$V$11 restores stability at the continuity level. Under the standing r.c.p. hypotheses,

$V$12

and similarly for uHsc. Combining these equivalences with the characterization of $V$13 yields

$V$14

A direct application is the metric-projection statement that

$V$15

4. Restricted Chebyshev-center maps and earlier Banach-space developments

Earlier work placed the restricted center map in the broader setting of restricted Chebyshev centers. The 2021 paper "Some stability properties of restricted Chebyshev centers in Banach spaces" studies existence of Chebyshev centers of closed bounded subsets of $V$16 for an extremally disconnected compact Hausdorff space $V$17 and a finite dimensional Banach space $V$18, existence of Chebyshev centers of compact subsets of $V$19-ideals in $V$20, stability of existence of restricted Chebyshev centers in spaces of vector-valued bounded functions, and the dependence of continuity properties of the Chebyshev-center map of $V$21 on those of $V$22 (Thomas, 2021).

A more explicit restricted-center-map formalism appears in "On property-$V$23 and semi-continuity properties of restricted Chebyshev-center maps in $V$24-direct sums" (Thomas, 2023). There the notation is

$V$25

for a nonempty closed convex set $V$26 and $V$27. The resulting restricted Chebyshev-center map

$V$28

is the same object up to notation: admissible centers are constrained to lie in $V$29, while the set being centered lives in the ambient space $V$30.

In that formulation, property-$V$31 is presented as a set-valued generalization of strong proximinality. When $V$32 consists of singletons, r.c.p. becomes proximinality and $V$33 becomes strong proximinality. Mach’s theorem, as quoted there, states that property-$V$34 implies upper Hausdorff semi-continuity of the restricted center map. The paper then proves stability of $V$35, r.c.p., and semi-continuity under $V$36-direct sums, and derives a concrete continuity theorem: if $V$37 is a proximinal finite codimensional subspace of $V$38, then the closed unit ball $V$39 satisfies property-$V$40 for the non-empty closed bounded subsets of $V$41, and the restricted Chebyshev-center map

$V$42

is Hausdorff metric continuous.

This earlier $V$43-sum theory and the later $V$44-sum theory address the same general problem—stability of constrained-center assignments under Banach-space constructions—but with different ambient geometries and different continuity thresholds.

5. Geometric characterizations, finite-dimensional effects, and sharpness

The restricted center map is tightly connected with rotundity properties of the ambient space relative to the constraining subspace $V$45 (P et al., 2 Oct 2025). The paper uses quasi uniform rotundity with respect to $V$46, defined by the condition that for every $V$47 there exists $V$48 such that for every $V$49 there is $V$50 with $V$51 and

$V$52

For the bounded-radius family

$V$53

the following are equivalent: $V$54 is quasi uniformly rotund with respect to $V$55; $V$56 has property-$V$57; and the restricted center map $V$58 is nonempty-valued and uniformly Hausdorff continuous on $V$59. Property-$V$60 is therefore not merely a hyperspace condition; on bounded-radius classes it is equivalent to a geometric rotundity requirement.

Uniform rotundity with respect to a subspace gives a sharper criterion in the presence of uniqueness. The definition requires that whenever $V$61 and $V$62 lie in $V$63, satisfy $V$64, and obey $V$65, then $V$66. For

$V$67

uniform rotundity with respect to $V$68 is equivalent to property-$V$69 together with singleton-valued restricted centers on $V$70, and equivalently on $V$71.

The sharpness theory is equally central. The paper gives examples showing that the three properties are genuinely distinct: there are spaces with $V$72 but not $V$73, and spaces with $V$74 but not $V$75. Example 3.12(1) uses a normed $V$76 where the metric projection onto a one-dimensional subspace is not lHsc, so $V$77 fails although Mach’s result gives $V$78. Example 3.12(2) produces a rotund but not URED space with $V$79 and $V$80 but not $V$81 on certain classes. Example 3.14 shows the same separations can persist even for hyperplanes.

Two mechanisms collapse these distinctions. First, compactness of the family $V$82 in Hausdorff metric yields uniformization: if $V$83 is compact, then $V$84 and $V$85 coincide. Consequently, in finite-dimensional $V$86, for

$V$87

one has

$V$88

Second, URED geometry identifies $V$89 and $V$90 for convex constraint sets: if $V$91 is URED and $V$92, then $V$93 has $V$94 if and only if it has $V$95. For finite-dimensional subspaces $V$96, URED also yields $V$97 on the normalized family $V$98.

6. Terminological variants in geometric-object theory

Outside Banach-space approximation theory, the phrase “center map” is often used in a different sense. In "The concept of center as an equivariant map and a proof of an analogue of the center conjecture for equifacetal simplices" (Prieto-Martínez, 2023), a center is a $V$99-equivariant map

$X$00

between $X$01-spaces, typically with $X$02 a family of subsets of $X$03 carrying the pointwise action. The main existence theorem states that, under the fixed-point compatibility condition

$X$04

for every $X$05 and every point $X$06 fixed by the symmetry group $X$07, there exists an equivariant map $X$08 such that $X$09. In that literature, the restriction is not a Banach-space constraint $X$10 on admissible centers; rather, it is a symmetry restriction on allowable values at a given object.

The review "On the concept of center for geometric objects and related problems" gives the same broad viewpoint for the similarity group $X$11 (Martínez-Rico et al., 20 Jan 2025). There a center is an equivariant map

$X$12

defined on a space of geometric objects such as multisets, polygons, or Borel sets. The paper repeatedly treats restricted domains—nondegenerate triangles $X$13, simple polygons $X$14, multisets with unique medoid $X$15, or Borel sets with $X$16—and proves characterization theorems on those restricted spaces. It also establishes an equivariant extension theorem parallel to the one above: for a fixed object $X$17, a point $X$18 can occur as $X$19 if and only if it is fixed by $X$20.

This suggests a genuine terminological bifurcation. In Banach spaces, the restricted center map is a set-valued metric-approximation object $X$21 whose restriction lies in the allowable center set $X$22. In geometric-object theory, a restricted center map is an equivariant center assignment whose restriction arises from domain conditions or symmetry-fixed values. The two theories share the language of centers and restrictions, but they organize different mathematical structures: one is hyperspace approximation under Hausdorff continuity, the other is equivariance under group actions.