1-varyant super kengaytma funktori

teorema. Topologik fazo sanoqli-kompaktli bo‘lishi uchun uning ixtiyoriy cheksiz to‘plamostisi limit nuqtaga ega bo‘lishi zarur va yetarlidir.

misol. Quyidagi fazolarning xar biri bikompakt fazolar:

a) – sfera; – tor;

b) – proektiv fazo;

d) – linza fazosi;

e) – kub;

f) – Miyobius varag‘i.

Haqiqatan ham, – sfera, – tor, – kub, – Miyobius varag‘i yopiq va chegaralangan bo‘lganligi uchun kompaktdir. proektiv fazo esa, ning syurektiv obrazi bo‘lgani uchun bikompaktdir. Linza fazosi ham ning faktor fazosi bo‘lganligi tufayli bikompaktdir.