Definition
A Tychonoff space X is called wa-realcompact if for every , there is a decreasing sequence of closed subsets in X which satisfies and .
Remark
Let . For , ( ) denotes the set of all free closed (resp. open) ultrafilters on X converging to p.
Similarly, we introduce the following devision;
(cf. ccip).
Then generalization of realcompactness is characterized as following;
- X is almost realcompact iff ;
- X is c-realcompact iff ;
- X is a-realcompact iff .
WA-realcompactness is introduced from this results so that
See [Isikawa] for details.
Reference
T. Isiwata, Closed ultrafilters and realcompactness, Pacific J. Math. 94 (1981) 68-71.