Bounded set

Compact sets in a metric space are bounded

Let be a metric space and be compact. Then is bounded. #m/thm/anal

Proof

The set forms an open cover of , so it has a finite subcover . Let

Then for any , and for some , hence

therefore is bounded.

#state/tidy | #lang/en | #SemBr