Изменения

Пусть <tex dpi=130> \left ( X, \rho \right ) </tex> — метрическое пространство, <tex dpi=130> K \in underset X </tex>. Покрытие <tex dpi=130> \{ G_{\alpha} \} _{\alpha \in A} </tex> множества <tex dpi=130> K </tex> называется '''компактным''', если из любого открытого покрытия <tex dpi=130> K </tex> можно извлечь конечное подпокрытие