3
$\begingroup$

Let $Y$ be a Banach space and equip $Y$ with the weak topology. Now, let $X$ be a closed, bounded, and convex subset of $Y$ and suppose that the relative (weak) topology on $X$ is metrizable with metric $d_X$. Let $x_1,\dots,x_n \in X$ for some natural $n>0$.

Let $\emptyset\neq Z\subseteq X$ be a compact subset of $X$. Then, does the map $$ x\mapsto \min_{1\leq i\leq n}\, d_X(x_i,x) $$ admit a measurable selection? I.e.: Does there exist a measurable function $$ S\mapsto \{1,\dots,n\} \mbox{ s.t. } d_{X}(x_{S(x)},x)=\min_{i=1,\dots,n} d_{X}(x_i,x) $$ for all $x\in Z$ and $S$ is measurable as a function from $Z$ to $\{1,\dots,n\}$ (where the latter has the $\sigma$-algebra $2^{\{1,\dots,n\}}$?)

$\endgroup$
2
  • $\begingroup$ And would viewing the map $S$ as a function into $\mathbb{R}$ still be measurable? (yes unless im missing smething obvious) $\endgroup$
    – ABIM
    Commented Sep 18, 2020 at 10:04
  • $\begingroup$ math.stackexchange.com/a/491538/21674 $\endgroup$ Commented Sep 18, 2020 at 11:43

1 Answer 1

4
$\begingroup$

Here is a simple direct argument. For $i=1,\ldots,n$, let $$C_i=\{z\in Z\mid d(z,x_i)\leq d(z,x_j), j=1,\ldots,n\}.$$ Clearly, each $C_i$ is closed and hence measurable. Let $M_i=C_i\setminus\bigcup_{l=1}^{i-1}C_l$. The nonempty sets of the form $M_i$ form a finite measurable partition of $Z$. Now let $S$ map each $M_i$ to $x_i$.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .