Use $\sum 2^{-n}(\|x-y\|_n \wedge 1)$ for the distance on $X$ Y$ and `$\sum $\sum 2^{-n}(\|x-y\|_n \wedge 2)$ for the distance on $Y$. X$.
|
2 | Corrected the interchange of X and Y; added 1 characters in body | ||
|
|
||||
|
1 |
|
||
|
Use |
||||

