The compact is a property of space. In a nutshell, if space is compact, we can treat the space be a finite because space has a finite subcover. A continuous function on a compact space is uniformly continuous.

Heine-Borel theorem describes the condition of compactness of finite dimensional space. Closed and bounded But the Heine-Borel theorem does not hold in an infinite-dimensional space. We need another condition.

Previously, the compact space can be finite by taking subcover. The infinite-dimensional space can be finite by projection to finite dimension. If we could make as small as possible (i.e. \(\epsilon > 0\) ) the norm of \((X\backslash(1-P)\), the compactness is achieved.

Jun Kang
Clinical Assistant Professor of Hospital Pathology

My research interests include pathology, oncology and statistics.