The strongly compatible topology on \(\nu \)-generalized metric spaces (Q683623)

From MaRDI portal
Revision as of 02:10, 15 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
The strongly compatible topology on \(\nu \)-generalized metric spaces
scientific article

    Statements

    The strongly compatible topology on \(\nu \)-generalized metric spaces (English)
    0 references
    0 references
    8 February 2018
    0 references
    Let \(X\) be a set and let \(\nu \geq 2\) be an integer number. A symmetric function \(d \colon X \times X \to [0, \infty)\) is said to be a \(\nu\)-generalized metric if \[ 0 = d(x, x) < d(x, y) \leq d(x, a_1) + d(a_1, a_2) + \ldots + d(a_\nu, y) \] holds for all distinct \(x\), \(y\), \(a_1\), \(\ldots\), \(a_{\nu} \in X\). A topology \(\tau\) on \(X\) is strongly compatible with \(d\) if the following statements are equivalent for every net \(\{x_\alpha\} \subset X\) and every point \(x \in X\): {\parindent=0.7cm \begin{itemize}\item[(1)] \(\{x_{\alpha}\}\) converges to \(x\) in \((X, \tau)\); \item[(2)] the equalities \[ 0 = \lim_{\alpha} d(x, x_{\alpha}) = \lim_{\alpha} \sup\{d(x_\alpha, x_\beta) \colon \beta \geq \alpha\} \] hold. \end{itemize}} Similarly \(\tau\) is compatible with \(d\) if (1) is equivalent to \(\lim_{\alpha} d(x, x_{\alpha}) = 0\). For every \(x \in X\), let \(\mathbf{A}_x\) be the set of all subsets \(A\) of \(X\) such that \(x \notin A\) and \(\operatorname{card} A = \nu + 2\). Define a function \(\delta \colon \mathbf{A}_x \to [0, \infty)\) by \[ \delta(A) := \max \{d(x, a_1) + \sum_{j=1}^{\nu + 1} d(a_j, a_{j+1})\}, \] where the maximum is taken over all numerations \(\{a_1, \ldots, a_{\nu + 2}\}\) of \(A \in \mathbf{A}_x\). Let \(\eta (x) := \inf \{\delta(A) \colon A \in \mathbf{A}_x\}\) and \[ \rho(x, y) := \begin{cases} 0 & \text{if } x = y\\ d(x,y) + \eta(x) + \eta(y) & \text{if } x \neq y \end{cases} \] for all \(x\), \(y \in X\). For every \(X\) with \(\operatorname{card} X \geq \nu + 3\) and every \(\nu\)-generalized metric \(d \colon X \times X \to [0, \infty)\), the author proves that \((X, \rho)\) is a metric space whose topology is strongly compatible with \(d\). It is interesting to note that there are \(\nu\)-generalized metrics which do not have any compatible topology, as was proved by the same author earlier. Moreover, it is shown that \((X, \rho)\) is complete if and only if \((X, d)\) is complete when the completeness of \((X,d)\) is understood in the sense that for every sequence \(\{x_n\} \subset X\) with \[ \lim_{n \to \infty} \sup_{m > n} d(x_n, x_m) = 0, \] there is \(x \in X\) satisfying the equality \(\lim_{n \to \infty} d(x, x_n) = 0\). Similar results are also obtained for the compactness of \((X, \rho)\) and \((X, d)\).
    0 references
    \(\nu\)-generalized metric space
    0 references
    metrizability
    0 references
    completeness
    0 references

    Identifiers