## Abstract We show that the both assertions โin every vector space __B__ over a finite element field every subspace __V__ โ __B__ has a complementary subspace __S__โ and โfor every family ๐ of disjoint odd sized sets there exists a subfamily โฑ={F~j~:j ฯตฯ} with a choice functionโ together imply the
Bases, spanning sets, and the axiom of choice
โ Scribed by Paul Howard
- Publisher
- John Wiley and Sons
- Year
- 2007
- Tongue
- English
- Weight
- 171 KB
- Volume
- 53
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
โฆ Synopsis
Abstract
Two theorems are proved: First that the statement
โthere exists a field F such that for every vector space over F, every generating set contains a basisโ
implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assertion that every vector space over โค~2~ has a basis implies that every wellโordered collection of twoโelement sets has a choice function. (ยฉ 2007 WILEYโVCH Verlag GmbH & Co. KGaA, Weinheim)
๐ SIMILAR VOLUMES
## Abstract We study statements about countable and wellโordered unions and their relation to each other and to countable and wellโordered forms of the axiom of choice. Using WO as an abbreviation for โwellโorderableโ, here are two typical results: The assertion that every WO family of countable se
## Abstract We study conditions for a topological space to be metrizable, properties of metrizable spaces, and the role the axiom of choice plays in these matters.