Without loss of generality you can think that $Y=ell^1$ (just pick an infinite sequence of linearly independent unit vectors in $Y$ and multiply them by the coefficients decaying so fast that no non-trivial $ell^1$ combination will have any chance to be $0$). Now, construct a locally finite cover of $X$ with opposite points identified that has small diameters of the covering sets (every metric space is paracompact). Construct the corresponding continuous partition of unity and lift it back to $X$ to get symmetric continuous locally finite partition of unity. Decouple symmetric open sets consisting of 2 symmetric components. Now, for each open set in the new cover, choose a number so that the opposite open sets intersecting the sphere correspond to opposite numbers and all numbers are non-zero, but otherwise arbitrarily. Multiply the numbers by the partition of unity. Fix also any linear ordering of the symmetric pairs of neighborhoods. All we need now is a continuous mapping $F$ from the metric space of ordered finite sets of numbers with the metric that allows both finitely many small insertions and small perturbations (to find the distance between two sets, you can place their elements in the sequence in the given order adding any number of zeroes anywhere and take the minimum of the $ell^1$ norm of the difference that can be attained in this way) to $ell^1$ that is symmetric ($F(-x)=-F(x)$) and never $0$ on for $xne 0$. This is a great relief because the space $X$ we want to map is not huge anymore, it is just a fancy metric space of finite sets of numbers. The downside is that we need much more symmetry than before but still not too much ($x$ and $-x$ are still clearly distinguishable though can come arbitrarily close). Now we can raise the level of abstraction again and consider any separable metric space $X$ with an isometric involution $U$ without fixed points and try to map it to $ell^1$ so that $F(Ux)=-F(x)$. This is trivial. Just create a countable symmetric (with respect to $U$) dense set, for each pair of symmetric points $x,Ux$ take the balls around $x$ and $Ux$ of radius $1/3$ times the distance between them, and construct an antisymmetric function that vanishes outside these 2 balls but not inside them (the plus-minus distance to the boundary, say). Multiply these functions by small numbers and put them in a sequence. You are done.
Of course, the main part of this proof is the paracompactness result. So, if you strongly dislike AC, then the question remains open (but how can you do abstract Banach spaces and dislike AC?)
OK, if you so strongly prefer formal language, here is a sequence of claims. For each claim, tell me if you agree with it, have a counterexample, would like to see the proof/reference, or just do not understand what I mean. I'll respond to your reaction.
Claim 1. We can take $Y=ell^1$
Claim 2. If $Z$ is a separable metric space with an isometric involution $I$ without fixed points, then we can find a continuous maping $F$ from $Z$ to $ell^1$ such that $F(Iz)=-F(z)$ for all $zin Z$ and $F(z)ne 0$ for all $zin Z$.
Claim 3. Define the equivalence relation on the set of finite or infinite sequences of reals with finitely many non-zero terms as follows. Two sequences are equivalent if two finite sequences obtained by deleting all zero elements in the original sequences (so 0,1,0,0,2,0,3,0,0,0,...) becomes just (1,2,3)) coincide. The space $Z$ of equivalence classes of non-zero sequences with the distance defined as the infimum (actually, minimum) of the $ell^1$ distances between class representatives is a separable metric space.
Claim 4. The mapping $I$ that maps the class of a sequence $z$ to the class of the sequence $-z$ is well defined and is an isometric involution on $Z$ without fixed points.
Claim 5. Every set can be linearly ordered.
Claim 6. There is a symmetric locally finite covering $mathcal U$ of the unit ball in $X$ by open sets $U$ of diameter less than $1/10$ each (symmetric means that if $U$ is in the cover, then so is $-U$).
Claim 7. There exists a mapping $G:mathcal Uto{pm 1}$ such that $G(-U)=-G(U)$ when $U$ intersects the unit sphere.
Define the functions $f_U(x)=dist(x,Xsetminus U)$.
Claim 8. For each point x at least one $f_U(x)ne 0$ and one can find a neighborhood $V$ of $x$ and a finite subset $mathcal V_xsubsetmathcal U$ such that $f_U$ is identically zero on $V$ for all $Unotinmathcal V_x$.
Claim 9. There exists a linear order $L$ on $mathcal U$ such that $U_1<U_2$ implies $(-U_1)<(-U_2)$ when both $U_1,U_2in mathcal U$ intersect the unit sphere in $X$ and have non-empty intersection.
Claim 10: The mapping $H$ from the unit ball in $X$ to $Z$ that maps every point $x$ to the equivalence class of the sequence ${G(U)f_U(x)}_{Uin V_x}$ arranged according to $L$ is well-defined, continuous, and satisfies $H(-x)=I(H(x))$ on the unit sphere.
Claim 11: The composition mapping $Fcirc H$ is a continuous mapping from $X$ to $ell_1$ that is antisymmetric on the unit sphere and the pre-image of zero under this mapping is empty.
Response round 1.
Proof of claim 2. Consider a countable dense set $S$ in $Z$. For each $yin S$, define $r=r_y$ to be one third of the distance between $y$ and $Iy$.
Claim 2.1: The open ball $B(Iy,r)$ equals $IB(y,r)$ and these 2 balls are disjoint.
Claim 2.2: The function $f_y(z)$ defined as $r-d(z,y)$ on $B(y,r)$, as $d(z,Iy)-r)$ on $B(Iy,r)$ and 0 everywhere else is continuous and satisfies $f_y(Iz)=-f_y(z)$.
Claim 2.3: For each $zin Z$ there exists $yin S$ such that $f_y(s)ne 0$.
Claim 2.4. There exists a bijection $psi:mathbb Nto S$ and a mapping $eta:mathbb Nto(0,+infty)$ such that the sequence $eta(n)r_{psi(n)}$ belongs to $ell^1$.
Claim 2.4. The mapping $F$ that maps $z$ to the sequence $eta(n)f_{psi(n)}(z)$ has the properties proclaimed in Claim 2.
Metric space of equivalence classes of sequences:
Definition 3.1. A sequence is a mapping from any linearly ordered set S to reals.
Definition 3.2. A sequence $psi$ is non-zero and has finitely many non-zero elements if the set of $sin S$ such that $psi(s)ne 0$ is finite and non-empty.
Definition 3.3. Non-zero sequences $psi_1:S_1tomathbb R$ and $psi_2:S_2tomathbb R$ with finitely many non-zero elements are equivalent if there is an order preserving bijection $varphi$ between the sets $S'_j={sin S_j:psi_j(s)ne 0}$ such that $psi_2circ varphi=psi_1$.
Claim 3.4. Thus introduced equivalence relation is reflexive, symmetric, and transitive.
Definition 3.4. The distance between equivalence classes $Psi_1$ and $Psi_2$ is defined as the infimum over all pairs $psi_1in Psi_1$ and $psi_2in Psi_2$ such that $psi_1$ and $psi_2$ are defined on the same finite set $S$ of the (finite) sums $sum_S|psi_1(s)-psi_2(s)|$
Claim 3.5. This distance is well-defined and satisfies three standard distance axioms.
Claim 3.6. The metric space thus constructed is separable.
No comments:
Post a Comment