En matemáticas , el teorema de Dawson-Gärtner es un resultado de la teoría de grandes desviaciones . Heurísticamente hablando, el teorema de Dawson-Gärtner permite trasladar un principio de gran desviación de un espacio topológico “más pequeño” a uno “más grande”.
Sea ( Y j ) j ∈ J un sistema proyectivo de espacios topológicos de Hausdorff con funciones p ij : Y j → Y i . Sea X el límite proyectivo (también conocido como límite inverso) del sistema ( Y j , p ij ) i , j ∈ J , es decir
Sea ( μ ε ) ε >0 una familia de medidas de probabilidad en X . Supóngase que, para cada j ∈ J , las medidas de empuje hacia adelante ( p j ∗ μ ε ) ε >0 en Y j satisfacen el principio de gran desviación con una buena función de tasa I j : Y j → R ∪ {+∞}. Entonces la familia ( μ ε ) ε >0 satisface el principio de gran desviación en X con una buena función de tasa I : X → R ∪ {+∞} dada por