In mathematics, the Thom space, Thom complex, or Pontryagin–Thom construction (named after René Thom and Lev Pontryagin) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space.

One way to construct this space is as follows. Let

be a rank n real vector bundle over the paracompact space B. Then for each point b in B, the fiber ${\displaystyle E_{b}}$ is an n-dimensional real vector space. We can form an n-sphere bundle ${\displaystyle \operatorname {Sph} (E)\to B}$ by taking the one-point compactification of each fiber and gluing them together to get the total space.^{[further explanation needed]} Finally, from the total space ${\displaystyle \operatorname {Sph} (E)}$ we obtain the Thom space ${\displaystyle T(E)}$ as the quotient of ${\displaystyle \operatorname {Sph} (E)}$ by B; that is, by identifying all the new points to a single point ${\displaystyle \infty }$, which we take as the basepoint of ${\displaystyle T(E)}$. If B is compact, then ${\displaystyle T(E)}$ is the one-point compactification of E.

For example, if E is the trivial bundle ${\displaystyle B\times \mathbb {R} ^{n}}$, then ${\displaystyle \operatorname {Sph} (E)}$ is ${\displaystyle B\times S^{n}}$ and, writing ${\displaystyle B_{+}}$ for B with a disjoint basepoint, ${\displaystyle T(E)}$ is the smash product of ${\displaystyle B_{+}}$ and ${\displaystyle S^{n}}$; that is, the n-th reduced suspension of ${\displaystyle B_{+}}$.

Alternatively,^{[citation needed]} since B is paracompact, E can be given a Euclidean metric and then ${\displaystyle T(E)}$ can be defined as the quotient of the unit disk bundle of E by the unit ${\displaystyle (n-1)}$-sphere bundle of E.

The significance of this construction begins with the following result, which belongs to the subject of cohomology of fiber bundles. (We have stated the result in terms of ${\displaystyle \mathbb {Z} _{2}}$ coefficients to avoid complications arising from orientability; see also Orientation of a vector bundle#Thom space.)

Let ${\displaystyle p:E\to B}$ be a real vector bundle of rank n. Then there is an isomorphism called a Thom isomorphism

for all k greater than or equal to 0, where the right hand side is reduced cohomology.