Constructive existence of Minkowski functionals
Author: Hajime Ishihara
Journal: Proc. Amer. Math. Soc. 116 (1992), 79-84
MSC: Primary 46S30; Secondary 03F65
MathSciNet review: 1089409
Full-text PDF Free Access
Abstract: In Bishop’s constructive mathematics, the framework of this paper, there are many situations where we cannot easily prove the existence of functionals whose existence is a trivial consequence of classical logic. One such functional is the Minkowski functional of a convex absorbing set. We shall prove the existence of Minkowski functionals in various spaces, and apply the theorems to establish the locatedness of the kernel of linear mappings.
- Errett Bishop and Douglas Bridges, Constructive analysis, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 279, Springer-Verlag, Berlin, 1985. MR 804042
- Douglas Bridges, Allan Calder, William Julian, Ray Mines, and Fred Richman, Bounded linear mappings of finite rank, J. Functional Analysis 43 (1981), no. 2, 143–148. MR 633972, DOI https://doi.org/10.1016/0022-1236%2881%2990025-2
- Douglas Bridges and Hajime Ishihara, Linear mappings are fairly well-behaved, Arch. Math. (Basel) 54 (1990), no. 6, 558–562. MR 1052976, DOI https://doi.org/10.1007/BF01188684
- Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Mathematical Society Lecture Note Series, vol. 97, Cambridge University Press, Cambridge, 1987. MR 890955
E. Bishop and D. Bridges, Constructive analysis, Grundlehren Math. Wiss., no. 279, Springer-Verlag, Berlin, 1985.
D. Bridges, A. Calder, W. Julian, R. Mines, and F. Richman, Bounded linear mappings of finite rank, J. Funct. Anal. 43 (1981), 143-148.
D. Bridges and H. Ishihara, Linear mappings are fairly well-behaved, Arch. Math. 54 (1990), 558-562.
D. Bridges and F. Richman, Varieties of constructive mathematics, London Math. Soc. Lecture Note Ser., vol. 97, Cambridge Univ. Press, Cambridge and New York, 1987.