[Never my finest moments: discovering flaws in what I tried so hard to create as a perfect piece of work…:-)]
I’m rereading the second edition of Natural Topology (available at http://www.fwaaldijk.nl/natural-topology.pdf, as well as on arXiv), and naturally I am spotting some omissions, typos and even errors.
I will make a list of these in this post, and I will update this list until I replace the second edition with a third (which then in turn I fear will still be in need of a similar list, but one hopes for improvement along the line).
The most important change to be made is related to theorem 1.2.2. The given proof in A.3.1 of this (beautiful) theorem is partly deficient, because it fails to take into account the strict requirement (i) in definition 1.1.2. of `morphism’. At the time I saw no need to relax this requirement, since everything seemed to work smoothly, and in all `regular’ situations this requirement is fulfilled. So I opted for some form of aesthetic optimality.
In hindsight, I should have noted that the requirement (i), which is phrased for dots, is too restrictive in a pointwise setting. Thankfully the remedy is easy: simply replace this with the slightly less restrictive pointwise phrasing (see below), and all is well. No need even to change any other wordings, in proofs or elsewhere.
But in almost all relevant situations, the requirement (i) is easily met. I would like to mention this in an elegant way, without making a separate distinctive definition of say `morfism’ (to be pondered on). The other addenda and errata are all very minor, so far.
(X) Definition 1.1.2. should read:
“Let and be two natural spaces, with corresponding pre-natural spaces and . Let be a function from to Then is called a refinement morphism (notation: -morphism) from to iff for all and all :
(i) is in (`points go to points’)
(ii) implies .
(iii) implies (this is an immediate consequence of (i))
(O)(in the terminology of erratum (X) above):
If , then by (ii) we know that for all in . Therefore, if necessary we could `update’ the apartness to ensure …but we cannot guarantee that this is simultaneously possible for all similar pairs of dots in .
However, most spaces naturally carry an apartness on dots such that if for all in , then . In this situation, (ii) of the definition becomes equivalent with (ii’): implies for all . (This (ii’) is part of the original definition 1.2.2., which should be replaced by the above definition.)
(OO) It should be noted that is -isomorphic to . This means that it always suffices to look at .
(OOO) It should be noted that all natural spaces ‘are’ spreads already, when looking at their set of points. This is another (perhaps easier) way of seeing that any natural space is spreadlike. Let be a natural space with corresponding pre-natural spaces . Assume is an enumeration of . To create a point in , one can start with any basic dot as . Then, one chooses , and for the next values of one is free to choose basic dots , but at stage we must choose for a basic dot such that is apart from at least one of the constituents of . Then one chooses , etc. Therefore we see that, if one disregards the partial order, we did not create any new structure outside of Baire space. And there is no problem whether our point are sets (contrasting to formal topology, where there seems to be a problem in general whether the points of a formal space form a set).