A subset of a topological space is called delta-open if it is the intersection of
countably many open sets.
D. B. Gauld and others defined a topology on the set X=[0, +infinity[ by
using the sets A\cap [x, +infinity[ , where x is in X and A is a co-finite subset
of X as the basic open sets.
They stated that ever dense, delta-open subset of the space X is of the form
A cap [x, +infinity[ , where x is in X and A is a co-countable subset of X.
However, I have not been able to prove this statement, despite that they
considered it to be obvious. Therefore, I ask you to provide me a
reasonable proof.
Their statement is important. Namely, it can be used to prove that
Volterra spaces are genuine generalizations of Baire spaces.
Relevant references are:
1. D. Gauld et al, On Volterra spaces II, Ann. N. Y. Acad. Sci.
806 (1996), 169--173. ( Example 1.)
2. F. A. Ballone, Volterra Spaces, Dissertation, Youngstown State University,
2010, 74 pp. ( Example 5.3.1.)