Constructive notes on uniform and locally convex spaces
Some elementary notions in the constructive theory of uniform and locally convex spaces are introduced, and a number of basic results established. In particular, it is shown that if the unit ball of a locally convex space X is totally bounded, then so is the intersection of that ball with the kernel of any nonzero continuous linear functional on X.
Unable to display preview. Download preview PDF.
- Bishop, E., Bridges, D.: Constructive Analysis. Grundlehren der math. Wissenschaften 279 Springer-Verlag (1985)Google Scholar
- Bridges, D.: Constructive Mathematics—its Set Theory and Practice. D.Phil. Thesis, Oxford University (1975)Google Scholar
- Bridges, D., Dediu, L.: Constructing Extensions of Ultraweakly Continuous Linear Functionals. University of Canterbury New Zealand (preprint)Google Scholar
- Bridges, D., Richman, F.: Varieties of Constructive Mathematics. Cambridge University Press (1987)Google Scholar
- Hajime Ishihara, Normability and Compactness of Constructive Linear Mappings. Ph.D. Thesis, Tokyo Institute of Technology (1990)Google Scholar
- Kushner, B. A.: Lectures on Constructive Mathematical Analysis. Amer. Math. Soc. Providence RI (1985)Google Scholar
- Troelstra, A. S.: Comparing the theory of representations and constructive mathematics. In Computer Science Logic: Proceedings of the 5th Workshop, CSL’91, Berne Switzerland (E. Börger, G. Jäger, H. Kleine Büning, and M.M. Richter, eds), Lecture Notes in Computer Science 626 Springer-Verlag Berlin (1992) 382–395Google Scholar
- Troelstra, A. S., van Dalen, D.: Constructivity in Mathematics: An Introduction (two volumes). North Holland 5Amsterdam (1988)Google Scholar