Properties and principles on partial metric spaces (Q2405061)

Letting \(X\) be a nonempty set, take a partial metric \(p\) on \(X\) and let \(\tau_p\) denote its associated topology. Put \(\alpha:=\sup\{p(x,x)\mid x\in X\}\), and \[ \gamma=\inf\{\liminf_n p(x_n,x_n)\mid (x_n)\in S\}, \lambda=\inf\{\limsup_n p(x_n,x_n)\mid (x_n)\in S\}, \] where \(S\) is the set of all convergent sequences with distinct terms in \(X\). The following are the main results in this paper. Theorem 1. Suppose that one of the conditions below holds i)\ \(p(x,y)>\alpha=\gamma\), for all \(x,y\in X\), \(x\neq y\), ii)\ \(p(x,y)>2\alpha-\gamma\), for all \(x,y\in X\), \(x\neq y\), Then \((X,\tau_p)\) is \(T_2\). Theorem 2. Suppose that \((X,p)\) is self-bounded and \(\alpha=\lambda\). Then, second countability and separability are equivalent in \((X,\tau_p)\). Theorem 3. Let \((A_n)\) be a decreasing nested sequence of nonempty bounded closed subsets in the complete space \((X,p)\), with \(\lim_n \text{diam} (A_n)=0\) or \(\lim_n \text{diam}_r (A_n)=0\). Then, \(\cap _n A_n\) is a singleton. Theorem 4. The complete space \((X,p)\) is of second category iff \(\{x\in X\mid p(x,x)<\varepsilon\}^-=X\), \(\forall \varepsilon> 0\). Finally, as a by-product of these results, some related versions of Ekeland's variational principle are stated.