Nós estudaremos o comportamento de difeomorfismos do círculo, tanto do ponto de vista combinatório quanto do ponto de vista topológico e da teoria da medida, seguindo os trabalhos de Michael Herman. A cada homeomorfismo do círculo podemos associar um número real positivo, denominado número de rotação. Mostraremos que existe um conjunto de números irracionais de medida de Lebesgue total na reta tal que, se f é um difeomorfismo do círculo de classe \'C POT. r \' que preserva a orientação, com r maior ou igual a 3 e com número de rotação nesse conjunto, então f é pelo menos \'C POT. r - 2\' -conjugada a uma translação irracional. Além disso, mostraremos que dado um caminho \'f IND. t\' de classe \'C POT. 1\' definido em um intervalo [a;b] no conjunto dos difeomorfismos do círculo de classe \'C POT. r\' que preservam a orientação, com r maior ou igual a 3, o conjunto dos parâmetros em que \'f IND. t\' é \'C POT. r - 2\' -conjugada a uma translação irracional tem medida de Lebesgue positiva, desde que os números de rotação em \'f IND. a\' e \'f IND. b\' sejam distintos / We will study the generic behavior of circle diffeomorphisms, in the combinatorial, topological and measure-theoretical sense, following the work of Michael Herman. To each order preserving homeomorphism of the circle we can associate a positive real number, called rotation number, which is invariant under conjugacy. We will show that there is a set of irrational numbers with full Lebesgue measure on R such that, if f is a circle diffeomorphism of class \'C POT. r\', with r greater or equal 3 and with rotation number in that set, then f is at least \'C POT. r - 2\' -conjugated to an irrational translation. Moreover, we will show that if ft is a \'C POT. 1\' -path defined on a interval [a;b] over the set of the circle diffeomorphisms orientation preserving, with r \'> or =\' 3, then the set of parameters where \'f IND. t\' is \'C POT. r - 2\' -conjugated to a irrational translation has positive Lebesgue measure, since the rotation numbers of \'f IND. a\' and \'f IND. b\' are distinct

Nós estudaremos o comportamento de difeomorfismos do círculo, tanto do ponto de vista combinatório quanto do ponto de vista topológico e da teoria da medida, seguindo os trabalhos de Michael Herman. A cada homeomorfismo do círculo podemos associar um número real positivo, denominado número de rotação. Mostraremos que existe um conjunto de números irracionais de medida de Lebesgue total na reta tal que, se f é um difeomorfismo do círculo de classe \'C POT. r \' que preserva a orientação, com r maior ou igual a 3 e com número de rotação nesse conjunto, então f é pelo menos \'C POT. r - 2\' -conjugada a uma translação irracional. Além disso, mostraremos que dado um caminho \'f IND. t\' de classe \'C POT. 1\' definido em um intervalo [a;b] no conjunto dos difeomorfismos do círculo de classe \'C POT. r\' que preservam a orientação, com r maior ou igual a 3, o conjunto dos parâmetros em que \'f IND. t\' é \'C POT. r - 2\' -conjugada a uma translação irracional tem medida de Lebesgue positiva, desde que os números de rotação em \'f IND. a\' e \'f IND. b\' sejam distintos / We will study the generic behavior of circle diffeomorphisms, in the combinatorial, topological and measure-theoretical sense, following the work of Michael Herman. To each order preserving homeomorphism of the circle we can associate a positive real number, called rotation number, which is invariant under conjugacy. We will show that there is a set of irrational numbers with full Lebesgue measure on R such that, if f is a circle diffeomorphism of class \'C POT. r\', with r greater or equal 3 and with rotation number in that set, then f is at least \'C POT. r - 2\' -conjugated to an irrational translation. Moreover, we will show that if ft is a \'C POT. 1\' -path defined on a interval [a;b] over the set of the circle diffeomorphisms orientation preserving, with r \'> or =\' 3, then the set of parameters where \'f IND. t\' is \'C POT. r - 2\' -conjugated to a irrational translation has positive Lebesgue measure, since the rotation numbers of \'f IND. a\' and \'f IND. b\' are distinct

Cette thèse comporte deux parties, axées sur des aspects différents de la géométrie lorentzienne. La première partie porte sur les groupes d’isométries de surfaces lorentziennes globalement hyperboliques spatialement compactes, particulièrement lorsque le groupe exhibe une dynamique non triviale (action non propre). Le groupe d'isométries agit naturellement sur le cercle par difféomorphismes, et les résultats principaux portent sur la classification de ces représentations. Sous une hypothèse sur le bord conforme, on obtient une conjugaison par homéomorphisme avec l'action projective d'un sous-groupe de PSL(2,R) ou de l'un de ses revêtements finis. La différentiabilité de la conjuguante est étudiée, avec des résultats qui garantissent une conjugaison dans le groupe de difféomorphismes du cercle dans certains cas. On donne également des contre-exemples à l'existence d'une conjugaison différentiable, y compris pour des groupes ayant une dynamique riche. Ces constructions s'appuient sur l'étude de flots hyperboliques en dimension trois. Sans l'hypothèse sur le bord conforme, on obtient une semi conjugaison et un isomorphisme de groupes. On construit également des exemples pour lesquels il n'existe pas de conjugaison topologique. La seconde partie de cette thèse étudie un espace-temps vu comme un système dynamique multi-valuée : à un point on associe sont futur causal. Cette approche, déjà présente dans les travaux de Fathi et Siconolfi, permet de concrétiser le lien entre fonctions de Lyapunov en systèmes dynamiques et fonctions temps. Le résultat principal est une version lorentzienne du Théorème de Conley : on peut définir l'ensemble récurrent par chaînes d'un espace-temps, et il existe une fonction continue croissante le long de toute courbe causale orientée vers le futur, strictement croissante si le point de départ de la courbe n'est pas dans l'ensemble récurrent par chaînes. Ces techniques s'adaptent aussi dans un espace-temps stablement causal, ce qui permet de donner une nouvelle preuve d'une partie du Théorème d'Hawking. / This thesis is divided into two parts, dealing with two different aspects of Lorentzian geometry. The first part deals with isometry groups of globally hyperbolic spatially compact Lorentz surfaces, especially when it has a non trivial dynamical behavior (non proper action). The isometry group acts on circle by diffeomorphisms, and the main results of this part concern the classification of these actions. Under a hypothesis on the conformal boundary, we show that they are topologically conjugate to the projective action of a subgroup of PSL(2,R), or one of its finite covers. The differentiability of the conjugacy is studied, with some results giving a differentiable conjugacy under additional hypotheses. We also give counter examples to such a differentiable conjugacy, even for groups with rich dynamics. These constructions use hyperbolic flows on three manifolds. Without the hypothesis on the conformal boundary, we obtain a semi conjugacy and a group isomorphism. We also give examples where a topological conjugacy cannot exist. In the second part of this thesis, we see a spacetime as a multi valued dynamical system: we map a point to its causal future. This point of view was already adopted by Fathi and Siconolfi, and it gives a concrete meaning to the link between Lyapunov functions in dynamical systems and time functions. The main result is a Lorentzian version of Conley's Theorem: we define the chain recurrent set of a spacetime, and construct a continuous function that increases along future directed causal curves outside the chain recurrent set, and that is non decreasing along other future curves. These techniques also apply to the stably causal setting, and we obtain a new proof of a part of Hawking's Theorem.