Top > stably compact
HTML convert time to 0.002 sec.

stably compact

Last-modified: 2010-11-21 (日) 12:21:27

Definition Edit

  • A topological space is called stably compact if it is;
    1. T_0
    2. compact;
    3. locally compact;
    4. coherent, that is, intersections of compact saturated sets are compact;
    5. well-filtered, that is, if the intersection of a filter base imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20%28C_i%29_%7bi%5cin%20I%7d%20%5c%5d%7d%25.png of compact saturated sets is contained in an open set, then so is some C_i already.

Reference Edit

  • Achim Jung and M. Andrew Moshier, On the bitopological nature of Stone duality (2006)