# Homotopic maps are close

From Topospaces

## Statement

Suppose is a compact space and is a metric space. Suppose and are homotopic maps from to . Then, there exists an and a sequence of maps such that for every :

A related fact is that close maps are homotopic: the condition of compactness is now on instead of on .