A questão de como sistemas quânticos correspondem a sistemas clássicos existe desde o surgimento da mecânica quântica e parece ser algo natural de se perguntar. E também desde o principio da mecânica quântica estados coerentes são usados para responder esse tipo de questão, já que eles são, em certo sentido, os estados quânticos mais próximos a estados que descrevem sistemas clássicos. Seguindo os resultados de Hepp, que mostrou a correspondência tantopara o caso da mecânica quântica não relativística quanto para o caso de camposBosônicos relativísticos, mostramos a correspondência entre sistemas Bosônicos livres em um espaço-tempo de de Sitter e soluções da equação de Klein-Gordon neste mesmo espaço.Após introduzir os conceitos relevantes e construir a álgebra que descreve sistemas Bosônicos livres em um espaço globalmente hiperbólico, construímos estados coerentes para álgebras CCR na forma de Weyl e provamos o limite semi-clássico para uma região próxima à origem (ou, para um tempo fixo, em todo espaço de de Sitter). Além disso provamos que este limite independe do estado de vácuo---que, em geral, não é único.

The question of the correspondence between quantum and classical systems is an issue since the beginnings of quantum mechanics and it seems like a natural question. Also since the start of quantum mechanics coherent states were used to answer this sort of question, since they are, in a sense, the quantum states closest to states that describe classical systems. Following the results of Hepp, who showed the correspondence for the case of non-relativistic quantum mechanics as well as for relativistic Bosonic fields, we show the correspondence between free Bosonic field in a de Sitter space-time and the solutions of the Klein-Gordon equation in that same space-time. After introducing the relevant concepts and the construction of the algebra that describes free Bosonic systems in a globally hyperbolic space-time, we construct coherent states for CCR algebras in Weyls form, and we prove the semi-classical limit for a region close to the origin (or, for a fixed time, in the whole de Sitter space-time). We also prove that this limit is independent of the vacuum statewhich might not be unique.