𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fixed points of increasing functions

✍ Scribed by C.A.R. Hoare


Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
160 KB
Volume
34
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Smallest and greatest fixed points of qu
✍ Roland Uhl πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 140 KB

## Abstract In a Banach space __E__ (pre)ordered by a cone we consider a mapping __f__ : [__v,w__] β†’ __E__ (__v,w__ ∈ __E__, __v__ ≀ __w__) which satisfies __v__ ≀ __f__(__v__) and __f__(__w__) ≀ __w__. We show that __f__ has a smallest and a greatest fixed point, if it is continuous, quasimonotone

Quasi-completeness and functions without
✍ Ilnur I. Batyrshin πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 131 KB

## Abstract We prove a completeness criterion for quasi‐reducibility and generalize it to higher levels of the arithmetical hierarchy. As an application of the criterion we obtain Q‐completeness of the set of all pairs (__x__, __n__) such that the prefix‐free Kolmogorov complexity of __x__ is less

Fixed point properties of the binomial f
✍ Douglas N. Green πŸ“‚ Article πŸ“… 1983 πŸ› Elsevier Science 🌐 English βš– 594 KB

Fixed point properties of the binomial function N N T#P) i C 0 p"(1 -py-" n=L n are deoeloped. It is shown thatjtir any 1 < L < N, Tk has a uniquefixed point p in (0, l), and that ,for large N, thejixed point is L/N. This has application to signal detection schemes commonly used in communication sys