---
tag: 1HDH716Z24
kind: concept
name: Universal bundle
msc: [55R15, 55R35]
specializes: [8E37E74XVP]
sources:
  - url: https://en.wikipedia.org/wiki/Universal_bundle
same_as:
  wikidata: Q7894108
  wikipedia: Universal bundle
---

## Summary

A universal bundle for a topological group $G$ is a [[principal $G$-bundle|8E37E74XVP]] $EG \to BG$ with a classifying property.
Every principal $G$-bundle over a CW complex is its pullback along a map, unique up to homotopy.
Its base $BG$ is the [[classifying space|WSZ40H5E4T]] of $G$.
A principal bundle with contractible total space has this property under mild conditions, which gives a practical way to recognize universal bundles.
Universal bundles turn the classification of bundles into the computation of homotopy classes of maps.

## Explanations

### L1 human

A universal bundle is a master bundle that contains every other bundle with the same group.
To get a bundle over a space $X$, one maps $X$ into the base of the master bundle and pulls the master bundle back.
Homotopic maps give the same bundle, so bundles over $X$ correspond to maps up to deformation.
For the group $\Z/2\Z$, the double cover $S^\infty \to \R P^\infty$ is a universal bundle, and it classifies the double covers of a CW complex.