suborthocompact

Last-modified: 2010-07-23 (金) 13:28:48

Definition

A topological space X is called suborthocompact if for each open cover U, there exists a sequence V_n of open refinements of U such that for each x in X, there exists some n such that the union of all the member of V_n containing x is a neighborhood of x.

Remark

Reference

N. Kemoto, Y. Yajima, Orthocompactness in infinite product spaces, Proc. Amer. Math. Soc. Vol.120 No.2 (1994)