In metric space, for any fixed point outside the compact set, we can always find a point within the compact set that minimizes the distance between two points. Whether it still has the same property in the constructive metric space is the focus of this paper. Based on the constructive real number and constructive metric space, this paper discusses this property in constructive metric space, and we explore the distance function between a point and a compact set in the constructive metric space. Then we constructed an example of constructive metric space 𝑋 such that no algorithm can always choose one point 𝑐 of compact set 𝐶 𝑖𝑛 𝑋 which is the closest point to a given point 𝑥 ∈ 𝑋. Eventually, the conclusion of constructive metric space is different from that in metric space, which shows the difference between metric space and constructive metric space.
Access to the requested content is limited to institutions that have purchased or subscribe to SPIE eBooks.
You are receiving this notice because your organization may not have SPIE eBooks access.*
*Shibboleth/Open Athens users─please
sign in
to access your institution's subscriptions.
To obtain this item, you may purchase the complete book in print or electronic format on
SPIE.org.
INSTITUTIONAL Select your institution to access the SPIE Digital Library.
PERSONAL Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.