Top > monotonically countably compact
HTML convert time to 0.173 sec.


monotonically countably compact

Last-modified: 2010-09-20 (月) 13:01:42

Definition Edit

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

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

Remark Edit

Reference Edit