Reflexivity and approximate fixed points
نویسندگان
چکیده
منابع مشابه
Digital Fixed Points, Approximate Fixed Points, and Universal Functions
A. Rosenfeld [23] introduced the notion of a digitally continuous function between digital images, and showed that although digital images need not have fixed point properties analogous to those of the Euclidean spaces modeled by the images, there often are approximate fixed point properties of such images. In the current paper, we obtain additional results concerning fixed points and approxima...
متن کاملApproximate Fixed Points in Abstract Interpretation
Much of the earlier development of abstract interpretation, and its application to imperative programming languages, has concerned techniques for finding fixed points in large (often infinite) lattices. The standard approach in the abstract interpretation of functional languages has been to work with small, finite lattices and this supposedly circumvents the need for such techniques. However, p...
متن کاملContinuity properties and sensitivity analysis of parameterized fixed points and approximate fixed points
In this paper we consider continuity of the set of fixed points and approximate fixed points for parameterized set-valued mappings. Continuity properties are provided for the fixed points of general multivalued mappings, with additional results shown for contraction mappings. Further analysis is provided for the continuity of the approximate fixed points of set-valued functions. Additional resu...
متن کاملDiagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملApproximate fixed points of nonexpansive functions in product spaces
1 Department of Mathematics, Darmstadt University of Technology Schlossgartenstrasse 7, D-64289 Darmstadt, Germany [email protected] 2 Institute of Mathematics ”Simion Stoilow” of the Romanian Academy P.O. Box 1-462, Bucharest, Romania Currently: Department of Mathematics, Darmstadt University of Technology Schlossgartenstrasse 7, D-64289 Darmstadt, Germany leustean@mathemat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Mathematica
سال: 2003
ISSN: 0039-3223,1730-6337
DOI: 10.4064/sm159-3-5