Compact metric space

This article defines a property that can be evaluated for a metric space

Definition

A compact metric space is a metric space satisfying the following equivalent conditions:

• It is compact under the induced topology
• It is complete and totally bounded

Relation with other properties

Weaker properties

• Totally bounded metric space
• Bounded metric space
• Complete metric space