In topology, two continuous functions from one topological space to another are called homotopic (from Ancient Greek: ὁμός homós 'same, similar' and τόπος tópos 'place') if one can be "continuously deformed" into the other, such a deformation being called a homotopy (/həˈmɒtəpiː/ hə-MOT-ə-pee; /ˈhoʊmoʊˌtoʊpiː/ HOH-moh-toh-pee) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.

In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra.

Formally, a homotopy between two continuous functions f and g from a topological space X to a topological space Y is defined to be a continuous function ${\displaystyle H:X\times [0,1]\to Y}$ from the product of the space X with the unit interval [0, 1] to Y such that ${\displaystyle H(x,0)=f(x)}$ and ${\displaystyle H(x,1)=g(x)}$ for all ${\displaystyle x\in X}$.

If we think of the second parameter of H as time then H describes a continuous deformation of f into g: at time 0 we have the function f and at time 1 we have the function g. We can also think of the second parameter as a "slider control" that allows us to smoothly transition from f to g as the slider moves from 0 to 1, and vice versa.

An alternative notation is to say that a homotopy between two continuous functions ${\displaystyle f,g:X\to Y}$ is a family of continuous functions ${\displaystyle h_{t}:X\to Y}$ for ${\displaystyle t\in [0,1]}$ such that ${\displaystyle h_{0}=f}$ and ${\displaystyle h_{1}=g}$, and the map ${\displaystyle (x,t)\mapsto h_{t}(x)}$ is continuous from ${\displaystyle X\times [0,1]}$ to ${\displaystyle Y}$. The two versions coincide by setting ${\displaystyle h_{t}(x)=H(x,t)}$. It is not sufficient to require each map ${\displaystyle h_{t}(x)}$ to be continuous.

The animation that is looped above right provides an example of a homotopy between two embeddings, f and g, of the torus into R³. X is the torus, Y is R³, f is some continuous function from the torus to R³ that takes the torus to the embedded surface-of-a-doughnut shape with which the animation starts; g is some continuous function that takes the torus to the embedded surface-of-a-coffee-mug shape. The animation shows the image of h_t(X) as a function of the parameter t, where t varies with time from 0 to 1 over each cycle of the animation loop. It pauses, then shows the image as t varies back from 1 to 0, pauses, and repeats this cycle.

Continuous functions f and g are said to be homotopic if and only if there is a homotopy H taking f to g as described above. Being homotopic is an equivalence relation on the set of all continuous functions from X to Y. This homotopy relation is compatible with function composition in the following sense: if f₁, g₁ : X → Y are homotopic, and f₂, g₂ : Y → Z are homotopic, then their compositions f₂ ∘ f₁ and g₂ ∘ g₁ : X → Z are also homotopic.

Given two topological spaces X and Y, a homotopy equivalence between X and Y is a pair of continuous maps f : X → Y and g : Y → X, such that g ∘ f is homotopic to the identity map id_X and f ∘ g is homotopic to id_Y. If such a pair exists, then X and Y are said to be homotopy equivalent, or of the same homotopy type. This relation of homotopy equivalence is often denoted ${\displaystyle \simeq }$. Intuitively, two spaces X and Y are homotopy equivalent if they can be transformed into one another by bending, shrinking and expanding operations. Spaces that are homotopy-equivalent to a point are called contractible.