Let M be an n-dimensional connected differentiable manifold of class C∞ covered by a system of coordinate neighborhoods {U; xh}, where U denotes a neighborhood and xh local coordinates in U. If, from any system of coordinate neighborhoods covering the manifold M, we can choose a finite number of coordinate neighborhoods which cover the whole manifold, then M is said to be compact.
Alexander PetkovAleksandar Petkov