2
$\begingroup$

The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $g:X \rightarrow \mathbb{R}$.

The proof can be found here. I came across the following proposition:

A space $X$ is normal iff every lower semi-continuous multi-valued map $F: X \rightarrow 2^\mathbb{R}$ with compact and convex images admits a continuous selection.

The statement maybe requires some additional definitions:

  1. A multi-valued map $F: X \rightarrow 2^Y$ is called lower semi-continuous if for every $G \subseteq Y$ open, $\left\{x \in X \mid F(x) \cap G \neq \emptyset\right\}$ is also an open set.
  2. If $F: X \rightarrow 2^Y$ is a lower semi-continuous multi-valued map, we call $f: X \rightarrow Y$ a continuous selection if $f$ is continuous and $f(x) \in F(x)$ holds for all $x \in X$.

I don't know if this is needed to prove the proposition, but I'll include it anyways; I've proved that $c(F)$, defined by $c(F)(x) = c(F(x))$ (where $c(A)$ denotes the convex hull of a set $A$), is lower semi-continuous if $F: X \rightarrow 2^Y$.

Any help with proving the blockquoted statement is appreciated, I don't really know how to get started. It does state however that the proof uses the Tietze extension theorem.

$\endgroup$
  • $\begingroup$ Did you look at Ernest Michael's 1956 Annals article? $\endgroup$ – user1688 Jun 17 '16 at 8:46
  • $\begingroup$ In fact, I did. Michael states that the if directions follows directly from the Tietze extension theorem (Theorem 3.1. in the article), but this is not completely clear to me. Also, the iff direction is not proven in the article if I'm not mistaken. $\endgroup$ – Kasper Cools Jun 17 '16 at 10:04
  • 1
    $\begingroup$ "Proofwiki" is not reliable. Please, consult Engelking. $\endgroup$ – Włodzimierz Holsztyński Jun 18 '16 at 5:19
1
$\begingroup$

The following is true

A space X is normal iff every lower semi-continuous multi-valued map $F:X\rightarrow 2^\mathbb R$ such that for every $x\in X$, $F(x)$ is either convex and compact or $F(x)=\mathbb R$, admits a continuous selection.

(See Repovs, Semenov: Continuous Selections of Multivalued Mappings, Springer 1998)

$\endgroup$
  • 1
    $\begingroup$ Just to add more precise reference, this is Theorem 1.2 in Part B of the book. $\endgroup$ – Martin Sleziak Jan 15 '17 at 19:29

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.