Abstract
In this paper, we are concerned with establishing a characterization of any compact, convex set K in a normed space A in an arbitrary topos with natural number object. The characterization is geometric, not in the sense of categorical logic, but in the intuitive one, of describing any compact, convex set K in terms of simpler sets in the normed space A. It is a characterization of the compact, convex set in the sense that it provides a necessary and sufficient condition for an element of the normed space to lie within it. Having said this, we should immediately qualify our statement by stressing that this is the intuitive content of what is proved; the formal statement of the characterization is required to be in terms appropriate to the constructive context of the techniques used.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Mathematical Proceedings of the Cambridge Philosophical Society
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
