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
## 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
## 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 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