## Abstract A version of Birkhoff's theorem is proved by constructive, predicative, methods. The version we prove has two conditions more than the classical one. First, the class considered is assumed to contain a generic family, which is defined to be a setโindexed family of algebras such that if
A constructive version of Sperner's lemma and Brouwer's fixed point theorem
โ Scribed by A. K. Khalifa
- Publisher
- John Wiley and Sons
- Year
- 1990
- Tongue
- English
- Weight
- 268 KB
- Volume
- 36
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
One of the most widely used applications of block theory to the U w x structure theory of finite groups is Glauberman's Z -theorem 2 , which asserts that if t is an involution of a finite group G which is not conjugate in G to any other involution of a Sylow 2-subgroup containing t, then ลฝ . ลฝ .
In this paper we focus on three fixed point theorems and an integral equation. Schaefer's fixed point theorem will yield a Tperiodic solution of z(t) = a(t) + D(t, s)g(s, z(s)) ds 6, if D and g satisfy certain sign conditions independent of their magnitude. A combination of the contraction mapping t