No label defined (Q4028563)

[For the entire collection see Zbl 0746.00080.] The main results are for a space \(X\), the following are equivalent: (a) \(X\) is metalindelöf. (b) Every open cover of \(X\) has an open refinement which is point countable outside closed sets. (c) Every open cover of \(X\) has an open refinement which is point countable outside closed discrete sets. For a space \(X\), the following are equivalent: (a) \(X\) is paralindelöf. (b) Every open cover of \(X\) has an open refinement which is locally countable outside closed sets. (c) Every open cover of \(X\) has an open refinement which is locally countable outside closed discrete sets. Analogous results are shown for paracompactness and metacompactness. Definition: Let \(X\) be a space and let \(\mathcal U\) be a family of subsets of \(X\). Then: (a) For each subset \(A\) of \(X\), we put \({\mathcal U}(A)=\{U\in{\mathcal U}\mid U\cap A\neq\emptyset\}\). (b) \(\mathcal U\) is said to be locally countable outside closed (closed discrete) sets if for each closed (closed discrete) set \(F\) in \(X\) and for each \(x\in X-F\) there exists an open neighborhood \(U\) of \(x\) intersecting at most countably many members of \({\mathcal U}(F)\). (c) \(\mathcal U\) is said to be point countable outside closed (closed discrete) sets if for each closed (closed discrete) set \(F\) in \(X\), a point \(x\in X-F\) is contained in at most countably many members of \({\mathcal U}(F)\).