The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem (Q5945526)
From MaRDI portal
scientific article; zbMATH DE number 1657100
Language | Label | Description | Also known as |
---|---|---|---|
English | The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem |
scientific article; zbMATH DE number 1657100 |
Statements
The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem (English)
0 references
15 October 2002
0 references
The paper studies the relevance of some axioms in set theory for the proofs of Hahn-Banach extension theorem (HB) and of other fundamental results in analysis and topology. It is known that Zermelo-Frenkel's set theory (ZF) plus the axiom of choice (AC) has some strong implications in measure theory and functional analysis (existence of non-measurable sets, Banach-Tarski paradox, etc.). For this reason, weaker forms of it, as the axiom of dependent choices (DC), the prime ideal theorem (PI), and HB (taken as an axiom), were considered. It is known that AC \(\Rightarrow\) PI \(\Rightarrow\) HB and no one of these implications can be reversed. The aim of the present paper is to show that HB can not be proved in ZF \(+\) DC. More exactly, if \(S\) is a locally compact Hausdorff space with a \(\sigma\)-finite Radon measure then there is no non-trivial linear bounded functional on the space \(L_\infty (S)/C_0(S)\). In its turn, this property is equivalent to HB, in the sense that if on each non-trivial Banach space there exists a non-trivial bounded linear functional then HB holds. The paper discusses also relations of HB with other general properties as Baire property (every subset of \(\mathbb{R}\) have the Baire property), existence of non-measurable sets and Solovay's axiom (every subset of \(\mathbb{R}\) is Lebesgue measurable).
0 references
power of Hahn-Banach theorem
0 references
axiom of choice
0 references
axiom of dependent choices
0 references
Shelah's model
0 references
non-measurable sets
0 references
Hahn-Banach extension theorem
0 references
0 references