A globalization of the Hahn-Banach theorem (Q1177237): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SHEAVES OF BANACH SPEACES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3927875 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stone-Čech compactification of locales. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Toposes without points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3682648 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3803111 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4184832 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3869847 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hahn-Banach theorem in a category of sheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Champs continus d'espaces hilbertiens et de $C^*$-algèbres / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quotient Frames and Subspaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gattungen von lokalen Strukturen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3322099 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3863865 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bundles of topological vector spaces and their duality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3247612 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3942026 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Atomless Parts of Spaces. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3889051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3901650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Gleason cover of a topos. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Gleason cover of a topos. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tychonoff's theorem without the axiom of choice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3711309 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5676377 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean topoi and the theory of sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5182330 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A condition for a ringed space to be a generator in its category of modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Banach sheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3931592 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4117991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Independence of the prime ideal theorem from the Hahn Banach theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559220 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3311151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Constructive Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3213287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logic and structure. / rank | |||
Normal rank |
Latest revision as of 11:27, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A globalization of the Hahn-Banach theorem |
scientific article |
Statements
A globalization of the Hahn-Banach theorem (English)
0 references
26 June 1992
0 references
The aim of this paper is to reformulate the Hahn-Banach theorem in order to avoid the effects of its dependence on the Axiom of Choice, which is a non-constructive principle. A new form of the theorem is proved in any Grothendieck topos. It provides a result which applies equally to situations involving continuity in parameters and equivalence with respect to a group action. This definition, when applied to the topos of sets, yields precisely the classical version of the Hahn-Banach theorem.
0 references
Hahn-Banach theorem
0 references
Grothendieck topos
0 references