Skip to main content
13 events
when toggle format what by license comment
Nov 21, 2021 at 13:48 comment added Tyrone See the book Continuous Selections of Multivalued Mappings by Repovs and Semenov, and consult Th.5.22 on pg. 291. Given what I've told you in the previous paragraph, the only nontrivial thing to prove is that the family $\{f^{-1}(y)\}$ is ELC$^n$ for any $n$, and this is contained elsewhere in the book.
Nov 21, 2021 at 13:15 comment added user420620 thanks! what is a reference for "Any such map between finite complexes is already soft for the class of (finite-dimensional) paracompacta." ?
Nov 21, 2021 at 11:03 comment added Tyrone The case for finite complexes is probably already known. Every finite complex is a metrisable ANR, and each acyclic Serre fibration between such is a Hurewicz fibration and a homotopy equivalence. Any such map between finite complexes is already soft for the class of (finite-dimensional) paracompacta. The jump from here to perfectly normal spaces should be doable, but I'm afraid that I'm not the person to fill in the gaps.
Nov 21, 2021 at 10:55 comment added Tyrone The paper Countable spaces without extension properties contains the construction of $X$. I couldn't find a copy online, but I'd be grateful if anyone does track down a digital copy.
Nov 21, 2021 at 9:36 comment added user420620 Following up the names you gave, found a maybe useful result in (van Douwen, E. K.; Lutzer, D. J.; Przymusi\'nski, T. C. Some extensions of the Tietze-Urysohn theorem. Amer. Math. Monthly 84 (1977), no. 6, 435--441. (Reviewer: J. Dugundji) 54E40 (54E35)): for A closed in X normal, there is a continuous map $C^{bounded}(A)\to C^{bounded}(X)$ where $C^{bounded}(X)$ denotes the space of bounded continous functions on $X$.. Does this result belong a result to "selection theory" you refer to ?
Nov 21, 2021 at 9:29 comment added user420620 Many thanks, interesting! Though I was not able to find online their paper, presumably van Douwen, Eric K.; Pol, Roman Countable spaces without extension properties. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 25 (1977), no. 10, 987--991. (Reviewer: D. J. Lutzer) 54C20. Frankly, I do find it rather surprising if the statement isn't known (either proof or some standard counterexample, for finite complexes...)
Nov 20, 2021 at 18:01 comment added Tyrone On the other hand, if you restrict to (suitably nice) acyclic Serre fibrations between (suitably nice) finite complexes, then something should be true. How far you get with this will probably depend on your knowledge of selection theory.
Nov 20, 2021 at 17:55 comment added Tyrone Let $C\mathbb{N}$ be the cone over a countably infinite discrete complex (this is a contractible 1-dimensional polyhedron). van Douwen and Pol have constructed a countable regular $T_2$ space $X$ (which is thus perfectly normal) and a function $A\rightarrow C\mathbb{N}$, defined on a certain closed $A\subseteq X$, which does not extend over any neighboourhood in $X$. In particular, the map of countable complexes $C\mathbb{N}\rightarrow\ast$ is both a Hurewicz fibration and a homotopy equivalence, but is not soft wrt all perfectly normal pairs.
Nov 19, 2021 at 18:58 history edited user420620 CC BY-SA 4.0
added references to soft maps by E.Scshepin
Nov 19, 2021 at 18:26 comment added user420620 There is a notion of soft map by Eugene Schepin , e.g. see E. V. Shchepin, Soft maps of manifolds, Uspekhi Mat. Nauk, 1984, Volume 39, Issue 5(239), 209–224, or A. Chigogidze, Inverse Spectra, North Holland, Amsterdam, 1996, and reference therein. I haven't yet understood whether they are related to this particular question.
Nov 17, 2021 at 10:13 history edited user420620 CC BY-SA 4.0
rewrote using the terminogy "absolute extensor"
Nov 15, 2021 at 18:31 history edited user420620 CC BY-SA 4.0
added 8 characters in body
Nov 15, 2021 at 18:23 history asked user420620 CC BY-SA 4.0