Under some mild assumptions, non-linear diameter-preserving bijections between (vector-valued) function spaces are characterized with the help of a well-known theorem of Ulam and Mazur. A necessary and sufficient condition for the existence of a diameter-preserving bijection between function spaces in the complex scalar case is derived, and a complete description of such maps is given in several important cases.
Stemming from the study of signals via wavelet coefficients, the spaces are complete metrizable and separable topological vector spaces, parametrized by a function ν, whose elements are sequences indexed by a binary tree. Several papers were devoted to their basic topology; recently it was also shown that depending on ν, may be locally convex, locally p-convex for some p > 0, or not at all, but under a minor condition these spaces are always pseudoconvex. We deal with some more sophisticated...
There is a general conjecture, the dichotomy (C) about Borel equivalence relations E: (i) E is Borel reducible to the equivalence relation where X is a Polish space, and a Polish group acting continuously on X; or (ii) a canonical relation is Borel reducible to E. (C) is only proved for special cases as in [So]. In this paper we make a contribution to the study of (C): a stronger conjecture is true for hereditary subspaces of the Polish space of real sequences, i.e., subspaces such that ...