A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem (Q288181): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1186/s13663-015-0431-1 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1186/s13663-015-0431-1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1867670316 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functional Analysis in Asymmetric Normed Spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4546500 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cauchy sequences in quasi-pseudo-metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Yoneda completion of a quasi-metric space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Domain theoretic characterisations of quasi-metric completeness in terms of formal balls / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4371050 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applications of the complexity space to the general probabilistic divide and conquer algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Properties of Quasi-Uniform Spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fixed Point Theorems for Mappings Satisfying Inwardness Conditions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Caristi's fixed point theorem and metric convexity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasicone metric spaces and generalizations of Caristi Kirk's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some generalizations of Caristi type fixed point theorem on partial metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2871094 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on `Modified proof of Caristi's fixed point theorem on partial metric spaces' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness in quasi-metric spaces and Ekeland variational principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalizations of Caristi-Kirk's theorem on partial metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Kirk type characterization of completeness for partial metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: On generalizations of the Ekeland-type variational principles. / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on Caristi-type cyclic maps: related results and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: The space of formal balls and models of quasi-metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasi-metric properties of complexity spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a lemma of Bishop and Phelps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Shorter Notes: Fixed Points and Partial Orders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Difference Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Smyth Completion / rank
 
Normal rank
Property / cites work
 
Property / cites work: The average running time of an algorithm as a midpoint between fuzzy sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: An extension of the dual complexity space and an application to computer science / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity space of partial functions: a connection between complexity analysis and denotational semantics / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1186/S13663-015-0431-1 / rank
 
Normal rank

Latest revision as of 13:30, 9 December 2024

scientific article
Language Label Description Also known as
English
A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem
scientific article

    Statements

    A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem (English)
    0 references
    0 references
    0 references
    25 May 2016
    0 references
    From the abstract: `We obtain a quasi-metric generalization of Caristi's fixed point theorem for a kind of complete quasi-metric spaces. With the help of a suitable modification of its proof, we deduce a characterization of Smyth complete quasi-metric spaces which provides a quasi-metric generalization of the well-known characterization of metric completeness due to Kirk.' It is known that Smyth complete quasi-metric spaces are complete, and complete quasi-metric spaces are sequentially complete. Therefore, the discussion provided by the authors is valuable. They prove that: every \(d\)-Caristi mapping on a complete quasi metric space has a fixed point (\(d\) is a quasi-metric), and compare this result with \textit{S. Cobzaş}'s result [Topology Appl. 158, No. 8, 1073--1084 (2011; Zbl 1217.54026)] where a space was only sequentially complete but \(T_1\). Moreover, some examples comparing \(d\)-Caristi and \(d^s\)-Caristi mappings are given, where \(d^s\) is a metric given by \(d^s(x,y)=\max\{d(x,y),d(y,x)\}\). The result quoted above is not a full characterization of sequential completeness. The authors show that the full characterization is possible for Smyth complete spaces via \(d^s\)-Caristi mappings: A quasi-metric space \((X,d)\) is Smyth complete if and only if every \(d^s\)-Caristi mapping on \((X,d)\) has a fixed point in \(X\). The authors illustrate the abstract results in the complexity space of functions \(f:\{1,2,\ldots\}\to (0,\infty]\) with \(\sum_{n=1}^\infty 2^{-n}\frac{1}{f(n)} <\infty\). Several recurrence equations (Hanoi, Largetwo and Quicksort) are checked to have a solution.
    0 references
    fixed point
    0 references
    Caristi theorem
    0 references
    quasi-metric
    0 references
    complete
    0 references
    Smyth complete
    0 references
    recurrence equation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references