Compact metric space

From Topospaces
Jump to: navigation, search

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:

Relation with other properties

Weaker properties