In
mathematics, Gray's conjecture is a conjecture made by Brayton Gray in 1984 about maps between
loop space
In topology, a branch of mathematics, the loop space Ω''X'' of a pointed topological space ''X'' is the space of (based) loops in ''X'', i.e. continuous pointed maps from the pointed circle ''S''1 to ''X'', equipped with the compact-open topo ...
s of spheres. It was later proved by John Harper.
References
Algebraic topology
Conjectures that have been proved
{{topology-stub