Recently I proved the following theorem: To every positive integer m there exists a positive integer h such that the following holds: If S is a set of h elements and f a mapping of the power set q of S into q such that f(T) E T for all TE 8, then there exists a strictly increasing sequence T, c l l
Combinatorial theorems on contractive mappings in power sets
โ Scribed by Egbert Harzheim
- Publisher
- Elsevier Science
- Year
- 1982
- Tongue
- English
- Weight
- 713 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0012-365X
No coin nor oath required. For personal study only.
โฆ Synopsis
We prove that to every positive integer n there exists a positive integer h such that the following holds: If S is a set of h elements and f a mapping of the pow+:r set 13 of S into b such that f(T) E T for all TE '@, then there exists a strictly increasing sequence TI c ---c T,, oi' subsets of S such that one of the following three :~ssibilities holds: (a) all sets flITi), i = 1 ,.. .,n,are equal; (b) for all i=l,..., n, we have f(Ti) = Ti; (c) F =f(Ti+l) for all i = 1 ,-*.I n-l. This theorem generalizes theorems of the author, Rado, and Leeb. It has applications for subtrees in power sets.
๐ SIMILAR VOLUMES
Various random fixed point theorems for different classes of 1-set-contractive random operator are proved. The class of 1-set-contractive random operators includes condensing and nonexpansive random operators. It also includes semicontractive type random operators and locally almost nonexpansive ran
In this paper we present comparison theorems in semicubical homotopy theory. Topological versions are more or less well known and have been obtained amongst others by A. DOLD (IS], [7]), I. M. JAMES ([Ill), P. R. HEATH ([9]), S. P. LAM ([15]), and the first author ([Z], [3]). A partially abstract ap