Neste trabalho, fazemos um estudo das correntes e das medidas transversas invariantes por holonomia, e mostraremos o resultado de D. Sullivan [23] sobre a correspondência biunívoca entre estes dois objetos. Em particular mostraremos um resultado conhecido de J. Plante [17] sobre a existência de medidas transversas invariantes sob a hipótese de crescimento sub-exponencial. Apresentamos também, o resultado devido a Ruelle-Sullivan [19] de que a medida de máxima entropia de um difeomorfismo topologicamente mixing pode-se expressar como o produto de duas medidas transversas invariantes para as folheações estáveis e instáveis. Por último, mostramos que os difeomorfismos de Anosov topologicamente mixing, que preservam a orientação das folhas estáveis e folhas instáveis induzem elementos da cohomologia de DeRham / In this work, we make a study of currents and holonomy invariant transverse measure, and we will show the result of D. Sullivan [23] about the biunivocal correspondence between these two objects. In particular we show a known result of J. Plante [17] about the existence of invariant transverse measures under the hypothesis of sub-exponential growth. Also we will present, the result due to Ruelle-Sullivan [19] that the maximum entropy measure of a diffeomorphism topologically mixing can be expressed as the product of two invariant transverse measures for stable and unstable foliations. Finally, we show that the Anosov diffeomorphisms topologically mixing, which preserve the orientation of the leaves stable and unstable induce elements DeRham cohomology

Neste trabalho, fazemos um estudo das correntes e das medidas transversas invariantes por holonomia, e mostraremos o resultado de D. Sullivan [23] sobre a correspondência biunívoca entre estes dois objetos. Em particular mostraremos um resultado conhecido de J. Plante [17] sobre a existência de medidas transversas invariantes sob a hipótese de crescimento sub-exponencial. Apresentamos também, o resultado devido a Ruelle-Sullivan [19] de que a medida de máxima entropia de um difeomorfismo topologicamente mixing pode-se expressar como o produto de duas medidas transversas invariantes para as folheações estáveis e instáveis. Por último, mostramos que os difeomorfismos de Anosov topologicamente mixing, que preservam a orientação das folhas estáveis e folhas instáveis induzem elementos da cohomologia de DeRham / In this work, we make a study of currents and holonomy invariant transverse measure, and we will show the result of D. Sullivan [23] about the biunivocal correspondence between these two objects. In particular we show a known result of J. Plante [17] about the existence of invariant transverse measures under the hypothesis of sub-exponential growth. Also we will present, the result due to Ruelle-Sullivan [19] that the maximum entropy measure of a diffeomorphism topologically mixing can be expressed as the product of two invariant transverse measures for stable and unstable foliations. Finally, we show that the Anosov diffeomorphisms topologically mixing, which preserve the orientation of the leaves stable and unstable induce elements DeRham cohomology

Começamos definindo a cohomologia clássica de De Rham e provamos alguns resultados que nos permitem calcular tal cohomologia de algumas variedades diferenciáveis. Com o intuito de provar o Teorema de De Rham, escolhemos fazer a demonstração utilizando a noção de feixes, que se mostra como uma generalização da ideia de cohomologia. Como a cohomologia de De Rham não é a única que se pode definir numa variedade, a questão da unicidade dá origem a teoria axiomática de feixes, que nos dará uma cohomologia para cada feixe dado. Mostraremos que a partir da teoria axiomática de feixes obtemos cohomologias, além das cohomologias clássicas de De Rham, a cohomologia clássica singular e a cohomologia clássica de Cech e mostraremos que essas cohomologias obtidas a partir da noção axiomática são isomorfas as definições clássicas. Concluiremos que se nos restringirmos a apenas variedades diferenciáveis, essas cohomologias são unicamente isomorfas e este será o teorema de De Rham. / We begin by defining De Rhams classical cohomology and we prove some results that allow us a calculation of the cohomology of some differentiable manifolds. In order to prove De Rhams Theorem, we chose to make a demonstration using a notion of sheaves, which is a generalization of the idea of cohomology. Since De Rhams cohomology is not a only one that can be made into a variety, the question of unicity gives rise to axiomatic theory of sheaves, which give us a cohomology for each sheaf given. We will show that from the axiomatic theory of sheaves we obtain cohomologies, besides the classical cohomologies of De Rham, a singular classical cohomology and a classical cohomology of Cech and we will show that cohomologies are obtained from the axiomatic notion are classic definitions. We will conclude that if we restrict ourselves to only differentiable manifolds, these cohomologies are uniquely isomorphic and this will be De Rhams theorem.

Começamos definindo a cohomologia clássica de De Rham e provamos alguns resultados que nos permitem calcular tal cohomologia de algumas variedades diferenciáveis. Com o intuito de provar o Teorema de De Rham, escolhemos fazer a demonstração utilizando a noção de feixes, que se mostra como uma generalização da ideia de cohomologia. Como a cohomologia de De Rham não é a única que se pode definir numa variedade, a questão da unicidade dá origem a teoria axiomática de feixes, que nos dará uma cohomologia para cada feixe dado. Mostraremos que a partir da teoria axiomática de feixes obtemos cohomologias, além das cohomologias clássicas de De Rham, a cohomologia clássica singular e a cohomologia clássica de Cech e mostraremos que essas cohomologias obtidas a partir da noção axiomática são isomorfas as definições clássicas. Concluiremos que se nos restringirmos a apenas variedades diferenciáveis, essas cohomologias são unicamente isomorfas e este será o teorema de De Rham. / We begin by defining De Rhams classical cohomology and we prove some results that allow us a calculation of the cohomology of some differentiable manifolds. In order to prove De Rhams Theorem, we chose to make a demonstration using a notion of sheaves, which is a generalization of the idea of cohomology. Since De Rhams cohomology is not a only one that can be made into a variety, the question of unicity gives rise to axiomatic theory of sheaves, which give us a cohomology for each sheaf given. We will show that from the axiomatic theory of sheaves we obtain cohomologies, besides the classical cohomologies of De Rham, a singular classical cohomology and a classical cohomology of Cech and we will show that cohomologies are obtained from the axiomatic notion are classic definitions. We will conclude that if we restrict ourselves to only differentiable manifolds, these cohomologies are uniquely isomorphic and this will be De Rhams theorem.