K-analytic

Last-modified: 2010-12-18 (土) 18:11:51

Definition

  • A topological space A is called K-analytic (resp. countably determined) if it is the image of a Polish space (resp. a separable metrisable space) under a compact valued upper semi-continuous map.

Reference

  • Encyclopedia of general topology, Edited by Klaas Pieter Hart, Jun-iti Nagata and Jerry E. Vaughan. Elsevier Science Publishers, B.V., Amsterdam, 2004.