В математике теорема Доусона–Гертнера является результатом теории больших отклонений . Эвристически говоря, теорема Доусона–Гертнера позволяет перенести принцип больших отклонений из «меньшего» топологического пространства в «большее».
Пусть ( Y j ) j ∈ J — проективная система топологических пространств Хаусдорфа с отображениями p ij : Y j → Y i . Пусть X — проективный предел (также известный как обратный предел) системы ( Y j , p ij ) i , j ∈ J , т.е.
Пусть ( μ ε ) ε >0 — семейство вероятностных мер на X . Предположим, что для каждого j ∈ J меры push-forward ( p j ∗ μ ε ) ε >0 на Y j удовлетворяют принципу больших отклонений с хорошей функцией скорости I j : Y j → R ∪ {+∞}. Тогда семейство ( μ ε ) ε >0 удовлетворяет принципу больших отклонений на X с хорошей функцией скорости I : X → R ∪ {+∞}, заданному формулой