Fine topology on function spaces.
A space is functionally countable (FC) if for every continuous , . The class of FC spaces includes ordinals, some trees, compact scattered spaces, Lindelöf P-spaces, -products in , and some L-spaces. We consider the following three versions of functional separability: is 1-FS if it has a dense FC subspace; is 2-FS if there is a dense subspace such that for every continuous , ; is 3-FS if for every continuous , there is a dense subspace such that . We give examples distinguishing...