В алгебраической геометрии теорема о качелях или принцип качелей грубо утверждает, что предел тривиальных линейных расслоений над полными многообразиями является тривиальным линейным расслоением. Она была введена Андре Вейлем в курсе Чикагского университета в 1954–1955 годах и связана с теорией соответствий Севери.
Теорема о качелях доказывается с помощью правильной замены основания. Ее можно использовать для доказательства теоремы о кубе .
Лэнг (1959, стр. 241) изначально сформулировал принцип качелей в терминах делителей. Сейчас его чаще формулируют в терминах линейных расслоений следующим образом (Мамфорд 2008, следствие 6, раздел 5). Предположим, что L — линейное расслоение над X × T , где X — полное многообразие, а T — алгебраическое множество. Тогда множество точек t из T, таких что L тривиально на X × t , замкнуто. Более того, если это множество — все T , то L — обратный образ линейного расслоения на T . Мамфорд (2008, раздел 10) также дал более точную версию, показав, что существует наибольшая замкнутая подсхема T , такая что L — обратный образ линейного расслоения на подсхеме.