Locales in functional analysis

DOI10.1016/0022-4049(91)90013-RMaRDI QIDQ807736zbMATH OpenFDO

Authors Joan Wick Pelletier

Publication date 1991

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-4049(91)90013-R

zbMATH Keywords

Gelfand duality theoremGrothendieck toposHahn-Banach extensions of linear functionalsHahn-Banach theoremlocalesreview article

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Topoi (18B25) Methods of category theory in functional analysis (46M99)

Review text

This is a review article discussing extensions of the Hahn-Banach theorem and the Gelfand duality theorem to situations where the axiom of choice is valid only in weakened form. The results are due to Banaschewski, Mulvey, and the author. The setting for this is that of locales, the work is done within a Grothendieck topos. Examples where these results are useful, are Hahn-Banach extensions of linear functionals depending continuously or smoothly on other parameters (on Banach space bundles), or G-equivariantly with respect to an isometric action of a group G.

Recommendations

• scientific article; zbMATH DE number 2019830
• A globalization of the Hahn-Banach theorem
• scientific article; zbMATH DE number 3884352
• The Hahn--Banach theorem as a principle of choice
• scientific article; zbMATH DE number 5268935

Cites work

• A geometric characterization concerning compact, convex sets
• A globalisation of the Gelfand duality theorem
• A globalization of the Hahn-Banach theorem
• Banach sheaves
• Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
• scientific article; zbMATH DE number 3884352 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3672520 (Why is no real title available?)
• scientific article; zbMATH DE number 3672982 (Why is no real title available?)
• scientific article; zbMATH DE number 3695180 (Why is no real title available?)
• scientific article; zbMATH DE number 3745447 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• The Hahn-Banach theorem in a category of sheaves
• The point of pointless topology

Cited in

(11)

• A local functional calculus
• A globalization of the Hahn-Banach theorem
• Localization in the rings of continuous functions
• Rings and sheaves
• Perfect locales and localic real functions
• A local Hahn-Banach theorem and its applications
• scientific article; zbMATH DE number 5917178 (Why is no real title available?)
• scientific article; zbMATH DE number 3884352 (Why is no real title available?)
• scientific article; zbMATH DE number 4011241 (Why is no real title available?)
• scientific article; zbMATH DE number 2156379 (Why is no real title available?)
• On the quantisation of points

This page was built for publication: Locales in functional analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q807736)