Теорема о сфере — классическое утверждение трёхмерной топологии, доказанное Христосом Папакирьякопулосом в 1956 году вместе с леммой Дена и теоремой о петле.
Пусть — ориентируемое трёхмерное многообразие с нетривиальной второй гомотопической группой . Тогда существует ненулевой элемент в , представляющийся вложенной сферой .