A primeira parte deste trabalho é dedicada ao estudo de sistemas dinâmicos contínuos e discretos bidimensionais com um único ponto de equillíbrio que é do tipo sela hiperbólica. No caso contínuo, obtemos condições sufiientes para que um campo vetorial planar seja topologicamente equivalente à sela linear L(x; y) = (-x; y). No caso em que o campo vetorial é um difeomorfismo local, a injetividade do campo jogará um papel fundamental na obtenção de tal equivalência topológica. Além disto, apresentamos uma descrição das folheações do plano associadas a campos de vetores com uma única singularidade do tipo sela hiperbólica. No âmbito dos sistemas discretos, apresentamos condições para que um difeomorfismo, possuindo uma sela hiperbólica como único ponto fixo, satisfaça as propriedades básicas de um sistema linear com um ponto fixo que é do tipo sela hiperbólica: as quatro separatrizes do ponto fixo se acumulam só no infinito e os iterados dos pontos que não estão nas variedades invariantes deste ponto fixo se acumulam no infinito tanto no passado quanto no futuro. A segunda parte deste texto, se dedica a problemas de injetividade de difeomorfismos locais em \'R POT. n\'. Mais especificamente, obtemos versões fracas da Conjetura Jacobiana Real de Jelonek e de uma Conjetura apresentada por Nollet e Xavier. Ambos problemas estão intimamente ligados à famosa Conjetura Jacobiana, que foi considerada por Smale em 1998 como um dos dezoito problemas matemáticos mais relevantes ainda em aberto / The first part of this work is dedicated to the study of continuous and discrete twodimensional dynamical systems with a unique equilibrium point which is a hyperbolic saddle. In the continuous case, we obtain sufficient conditions for a planar vector field be topologically equivalent to the linear saddle L(x; y) = (-x; y). In the case where the vector field is a local diffeomorphism, the injectivity of the field will play a key role in obtaining such a topological equivalence. Furthermore, we provide a description of foliations of the plane vector fields associated with a unique singularity of hyperbolic saddle type. In the context of discrete systems, we present conditions for a diffeomorphism, possessing a hyperbolic saddle as the single fixed point, to satisfy the basic properties of a linear system with a fixed point of saddle type which is hyperbolic: the four separatrices of the fixed point accumulate only at infinity and iterated the points that are not in invariant manifolds of this fixed point accumulate in infinity in both the past and future. The second part of this text is devoted to problems of injectivity of local diffeomorphisms on \'R POT. n\'. More specifically, we obtain weaker versions of the Jelonek\'s Real Jacobian Conjecture and a Conjecture given by Nollet and Xavier. Both problems are closely linked to the famous Jacobian Conjecture, which was considered by Smale in 1998 as one of eighteen mathematical problems even more important in open

A primeira parte deste trabalho é dedicada ao estudo de sistemas dinâmicos contínuos e discretos bidimensionais com um único ponto de equillíbrio que é do tipo sela hiperbólica. No caso contínuo, obtemos condições sufiientes para que um campo vetorial planar seja topologicamente equivalente à sela linear L(x; y) = (-x; y). No caso em que o campo vetorial é um difeomorfismo local, a injetividade do campo jogará um papel fundamental na obtenção de tal equivalência topológica. Além disto, apresentamos uma descrição das folheações do plano associadas a campos de vetores com uma única singularidade do tipo sela hiperbólica. No âmbito dos sistemas discretos, apresentamos condições para que um difeomorfismo, possuindo uma sela hiperbólica como único ponto fixo, satisfaça as propriedades básicas de um sistema linear com um ponto fixo que é do tipo sela hiperbólica: as quatro separatrizes do ponto fixo se acumulam só no infinito e os iterados dos pontos que não estão nas variedades invariantes deste ponto fixo se acumulam no infinito tanto no passado quanto no futuro. A segunda parte deste texto, se dedica a problemas de injetividade de difeomorfismos locais em \'R POT. n\'. Mais especificamente, obtemos versões fracas da Conjetura Jacobiana Real de Jelonek e de uma Conjetura apresentada por Nollet e Xavier. Ambos problemas estão intimamente ligados à famosa Conjetura Jacobiana, que foi considerada por Smale em 1998 como um dos dezoito problemas matemáticos mais relevantes ainda em aberto / The first part of this work is dedicated to the study of continuous and discrete twodimensional dynamical systems with a unique equilibrium point which is a hyperbolic saddle. In the continuous case, we obtain sufficient conditions for a planar vector field be topologically equivalent to the linear saddle L(x; y) = (-x; y). In the case where the vector field is a local diffeomorphism, the injectivity of the field will play a key role in obtaining such a topological equivalence. Furthermore, we provide a description of foliations of the plane vector fields associated with a unique singularity of hyperbolic saddle type. In the context of discrete systems, we present conditions for a diffeomorphism, possessing a hyperbolic saddle as the single fixed point, to satisfy the basic properties of a linear system with a fixed point of saddle type which is hyperbolic: the four separatrices of the fixed point accumulate only at infinity and iterated the points that are not in invariant manifolds of this fixed point accumulate in infinity in both the past and future. The second part of this text is devoted to problems of injectivity of local diffeomorphisms on \'R POT. n\'. More specifically, we obtain weaker versions of the Jelonek\'s Real Jacobian Conjecture and a Conjecture given by Nollet and Xavier. Both problems are closely linked to the famous Jacobian Conjecture, which was considered by Smale in 1998 as one of eighteen mathematical problems even more important in open

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work we consider two sufficient conditions for the global injectivity of local diffeomorphisms X : R2 → R2 of class C1. The first is based on the spectrum of X, in this case it is enough to consider X differentiable, and the second is known as Palais-Smale Condition. In fact, these conditions ensure the triviality of the foliations in R2 induced by the coordinated functions of X and this guarantees the global injectivity of the map X. Besides discussing the proofs of this results, we exhibit a collection of examples showing that such conditions provide different classes of globally injective maps. / Neste trabalho consideramos duas condições suficientes para que um difeomorfismo local X : R2 → R2, de classe C1, seja globalmente injetivo. A primeira baseada no espectro da aplicação X, neste caso basta considerar X diferenciável, e a segunda é a condição de Palais-Smale. De fato, tais condições garantem a trivialidade das folheações em R2 induzidas pelas funções coordenadas de X e isto garante a injetividade global da aplicação X. Além de apresentar as demonstrações destes resultados, exibimos uma coleção de exemplos que permitem concluir que tais condições estabelecem classes distintas de aplicações globalmente injetivas. / Mestre em Matemática

Neste texto é feita uma discussão sobre alguns resultados que fornecem condições suficientes para que um difeomorfismo local, do espaço euclideano n-dimensional nele próprio, seja injetivo. Dentro deste cenário, são exploradas as contribuições destes resultados na tentativa de solucionar conhecidas conjecturas no meio científico como a Conjectura Jacobiana e a Conjectura de Ponto Fixo. Do ponto de vista dinâmico, existem relações entre injetividade global e estabilidade assintótica global. Neste sentido, os resultados também são contextualizados com respeito a importantes conjecturas de estabilidade assintótica: Conjectura de Markus-Yamabe e o Problema de LaSalle / We present some results which give suficient conditions for a local diffeomorphism from the n-dimensional Euclidean space into itself be globally injective. Within this context, we consider some partial results addressed to solve the well known Fixed Point Conjecture and Jacobian Conjecture. From the dynamical point of view, there are connections between global injectivity and global asymptotic stability. In this way, we present a solution of the Markus-Yamabe Conjecture and of the LaSalle Problem

Neste texto é feita uma discussão sobre alguns resultados que fornecem condições suficientes para que um difeomorfismo local, do espaço euclideano n-dimensional nele próprio, seja injetivo. Dentro deste cenário, são exploradas as contribuições destes resultados na tentativa de solucionar conhecidas conjecturas no meio científico como a Conjectura Jacobiana e a Conjectura de Ponto Fixo. Do ponto de vista dinâmico, existem relações entre injetividade global e estabilidade assintótica global. Neste sentido, os resultados também são contextualizados com respeito a importantes conjecturas de estabilidade assintótica: Conjectura de Markus-Yamabe e o Problema de LaSalle / We present some results which give suficient conditions for a local diffeomorphism from the n-dimensional Euclidean space into itself be globally injective. Within this context, we consider some partial results addressed to solve the well known Fixed Point Conjecture and Jacobian Conjecture. From the dynamical point of view, there are connections between global injectivity and global asymptotic stability. In this way, we present a solution of the Markus-Yamabe Conjecture and of the LaSalle Problem