Suppose $(X,d) $ is a complete metric space with $U_1,U_2,...$ nonempty open subsets, with none equal to $X.$ Let $U= \bigcap_{n=1}^{\infty } U_n \neq \emptyset$ and define $d_n $ on $U_n $ as $$d_{n}(x,y) =\text{min} (D_{n} (x,y),1)$$ where $$D_{n} =d(x,y)+\lvert \frac{1}{d(x,U_n^c) } - \frac{1}{d(y,U_n^c)} \rvert. $$ Define $$D(x,y)=\sum_{n=1}^{\infty } \frac{1}{2^n} d_{j} (x,y). $$
I have a question about showing that it's a metric under the condition that $D(x,y)=0 \iff x=y.$ I'm trying to prove it in the $\implies $ direction. Since $\frac{1}{2^n} $ is a geometric series and $d_n(x,y)$ is less than or equal to 1, we know that the series converges. This implies that at some point, $\frac{1}{2^{n} } d_n(x,y)$ goes to 0, but this is only possible if $d_n(x,y)=0,$ which means that $x=y.$ Is this correct?
I also want to show that if $\{ x_{n}\} $ is a Cauchy sequence in $(U,D),$ then it is a Cauchy sequence in each $(U_n,D_n).$ My attempt is as follows. Since $\{ x_{n}\} $ is Cauchy in $U,$ we have for any $\epsilon >0,\exists N,\forall n,m \geq N,$ $$D(x_n,x_{m} )=\sum_{n=1}^{\infty } \frac{d_n(x_n,x_m)}{2^n}< \epsilon. $$ We can rewrite this as $$\sum_{k=1}^{n-1 } \frac{d_k(x_n,x_m)}{2^k}+\frac{d_n(x_n,x_m)}{2^n}+\sum_{k=n+1}^{\infty } \frac{d_k(x_n,x_m)}{2^k}< \epsilon $$ $$\implies d_n(x_n,x_m)<(\epsilon-\sum_{k=1}^{n-1 } \frac{d_k(x_n,x_m)}{2^k} -\sum_{k=n+1}^{\infty } \frac{d_k(x_n,x_m)}{2^k})2^n$$ Set $$\epsilon = \frac{\epsilon}{2^n}+ \sum_{k=1}^{n-1 } \frac{d_k(x_n,x_m)}{2^k} +\sum_{k=n+1}^{\infty } \frac{d_k(x_n,x_m)}{2^k}>0. $$ After substituting and canceling terms we get $d_n(x_n,x_{m} )< \epsilon .$ Since $\epsilon $ is arbitrary, $D_n(x_n,x_m)<\epsilon .$ Thus $\{ x_{n}\} $ is Cauchy in each $(U_n,D_n).$ Is this argument correct?
I want to show that $(U,D)$ is complete. Suppose $\{ x_{n}\} $ is a Cauchy sequence in $(U,D)$ that converges to $L.$ If $L \in U^c,$ then $$ \forall \epsilon >0 \lim_{n \to \infty} d(x_n,U^c) \leq \lim_{n \to \infty} d(x_n,L) < \epsilon.$$ By the contrapositive, we have if $$ \exists \epsilon >0 \lim_{n \to \infty} d(x_n,U^c) > \lim_{n \to \infty} d(x_n,L) \geq \epsilon ,$$ then $L \in U.$ So we want to show that there is an $\epsilon >0$ such that $$\lim_{n \to \infty} \frac{1}{d(x_n,U^c)} \leq \frac{1}{\epsilon } .$$ Since $$\frac{1}{d(x_n,U^c)} \to \frac{1}{d(L,U^c)},$$ we have that $\frac{1}{d(x_n,U^c)}$ is bounded. I'm not sure how to incorporate any other details about $D(x,y)$ other than the $d(x_n,U^c)$ term.