Completeness conjecture for the sequence pseudometric

Let (X,d)(X,d) be an unbounded metric space and let r~=(rn)nN\tilde{r}=(r_n)_{n\in\mathbb{N}} be a scaling sequence. Define

dr~(x~,y~)=lim supnd(xn,yn)rnd^{\tilde{r}}(\tilde{x},\tilde{y})=\limsup_{n\to\infty}\frac{d(x_n,y_n)}{r_n}

for x~,y~Seq(X,r~)\tilde{x},\tilde{y}\in Seq(X,\tilde{r}); this is a pseudometric on Seq(X,r~)Seq(X,\tilde{r}). Completeness conjecture. The pseudometric space (Seq(X,r~),dr~)(Seq(X,\tilde{r}),d^{\tilde{r}}) is complete for every unbounded metric space and every scaling sequence r~\tilde{r}. The claim concerns completeness of the sequence pseudometric introduced for studying metric spaces at infinity; the supplied text gives no evidence that it has been proved or disproved.

Sources & referencesView supporting material

Primary source

Viktoriia Bilet and Oleksiy Dovgoshey, “On equivalence of unbounded metric spaces at infinity”, arXiv:2106.00049 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.