Can someone point me to any substitutes for the partition of unity in Bishop's constructive mathematics?

In particular, under what circumstances can we construct a partition of unity subordinate to some open cover of a compact set in Euclidean space?


In my PhD thesis modern intuitionistic topology in chapter 3 there is a comprehensive treatment of partitions of unity within BISH.

In essence the main theorem is that per-enumerable open covers of a metric space admit a subordinate partition of unity. An open cover is per-enumerable iff it is an enumerable collection of open sets which themselves are an enumerable union of basic open metric balls (where the base point comes from a fixed enumerable dense set.)

  • $\begingroup$ sorry the link was defective... but should work now. $\endgroup$ – Frank Waaldijk Jun 25 '18 at 17:03
  • $\begingroup$ Can your result be related to complete regularity (every open set is the inverse image of $(0, 1)$)? $\endgroup$ – Andrej Bauer Jun 25 '18 at 19:03

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.