monotonically metacompact

Last-modified: 2010-09-20 (月) 13:02:05

Definition

A topological space X is said to be monotonically metacompact if there is a function m on the set of open covers of X (which is called a monotone metacompactness operator) such that:

  1. if U is an open cover of X, then m(U) is a point-finite open cover of X which refines U;
  2. if U and V are open covers of X with U refining V, then m(U) refines m(V).

Remark

Reference