Made available in DSpace on 2015-04-22T22:16:05Z (GMT). No. of bitstreams: 1 Celia Maria Nogueira Batista.pdf: 1926587 bytes, checksum: f61cde4e613a60695c9ce389a0eba8b1 (MD5) Previous issue date: 2007-12-26 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / This thesis presents a new demonstration of the result FOR Plato not the fourth century BC in Ancient Greece, to que There hum Finite number of classes Poliedro Regular congruent, using a basic theory of spherical geometry, of the agreement with the work " The solid platonicos " make Dr. John Lucas Marques Barbosa University of Ceará, presented in Manaus. / Esta dissertação apresenta uma nova demostração do resultado obtido por Platão no século IV a.C, na Grécia antiga, de que existe um número finito de classes de Poliedro regulares congruentes, usando a teoria básica da Geometria Esférica, de acordo com o trabalho "Os sólidos Platônicos", do Dr. joão Lucas Marques Barbosa da Universidade do Céara, apresentado em Manaus.

Made available in DSpace on 2015-04-22T22:16:08Z (GMT). No. of bitstreams: 1 Flavio Cunde Dias.pdf: 3009735 bytes, checksum: a8e017e8eccc9a9e331b524bea4fc74a (MD5) Previous issue date: 2014-03-31 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, theories about resolutions and ratings of linear systems with two equations and two variables and with three equations and three variables will be presented. The ways of solving systems outlined in this document are scaling Gaussian and Cramer s rule. Will also be exposed, comparisons of these systems with analytic geometry in the plane, for the case of having two variables and space when you have three unknowns. Because much of this content be worked in high school, the math program known as winplot and all its roadmap to assist teachers in this step to make buildings resolutions of systems will be used, allowing your students to visualize all the possible situations of these types of linear systems of equations. / Neste trabalho, serão apresentadas as teorias sobre resoluções e classificações dos sistemas lineares com duas equações e duas variáveis e também com três equações e três variáveis. As formas de resolução de sistemas, destacadas neste documento, são o escalonamento de Gauss e a regra de Cramer. Também serão expostas, comparações destes sistemas com a geometria analítica no plano, para o caso de termos duas variáveis e no espaço quando se tem três incógnitas. Devido boa parte deste conteúdo ser trabalhado no ensino médio, será usado o programa matemático conhecido como winplot e todo seu roteiro para auxiliar professores desta etapa a realizar as construções das resoluções de sistemas, permitindo a seus alunos a visualização de todas as situações possíveis desses tipos de sistemas lineares de equações.

Made available in DSpace on 2015-04-22T22:16:09Z (GMT). No. of bitstreams: 1 Dissertacao Final Elzimar.pdf: 671791 bytes, checksum: b10524617f6d8ff31634733bb2038494 (MD5) Previous issue date: 2009-02-20 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / This work mainly aims to demonstrate of the controllability at uniform time of a invariant system P in G, under the LARC condition, where G is a connected, compact and semisimple Lie group. This result was firtly proved by Jurdjevic and Sussmann. But the proof is given here with professor Ayala use another argument coming directly from the semisimple Lie group definition. / Este trabalho tem como objetivo principal dar uma demonstração da controlabilidade em tempo uniforme de um sistema de controle invariante P em G, satisfazendo a condição LARC, onde G é um grupo de Lie conexo, compacto e semisimples. Esse resultado é provado primeiramente por Jurdjevic e Sussmann. Porém a prova que será dada aqui (tenha como referência o tutor dessa dissertação) usa outro argumento que provém diretamente da definição de grupo de Lie semisimples.

Made available in DSpace on 2015-04-22T22:16:10Z (GMT). No. of bitstreams: 1 Dissertacao Emerson.pdf: 472372 bytes, checksum: b1387fdd4ad0f12364da1d92da05f5e5 (MD5) Previous issue date: 2009-12-09 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / In this work, we presented a new demonstration obtained by J.K. Martins in 1999, of the Theorem of Rigidity of hypersurfaces in CPn, resulted firstly proven by Y.W. Choe, H. S. Kim, I.B. Kim and R. Takagi, in 1996, using the method of Cartan. We will show that the hipersuperfícies Rigidity in CPn only depends, in general, of the invariance of the Hopf vector field, that is, if g is an isometric immersion of M in CPn and if g takes Hopf vector field of M in Hopf vector field of g(M), then g is the restriction of a holomorphic isometry of CPn. / Neste trabalho, apresentamos uma nova demonstração obtida por J.K. Martins em 1999, do Teorema de Rigidez de Hipersuperfícies em CPn, resultado primeiramente provado por Y.W. Choe, H. S. Kim, I.B. Kim e R. Takagi em 1996, usando o método de Cartan. Mostraremos que a Rigidez de hipersuperfícies em CPn só depende, em geral, da invariância do campo de Hopf, isto é, se g é uma imersão isométrica de M em CPn e se g leva campos de Hopf de M em campos de Hopf de g(M), então g é a restrição de uma isometria holomorfa de CPn.

Made available in DSpace on 2015-04-22T22:16:10Z (GMT). No. of bitstreams: 1 Dissertacao Final Silvia Dias.pdf: 294701 bytes, checksum: 3db88088cfefa1d409aff942086bdf0e (MD5) Previous issue date: 2008-12-02 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / In this work, we bring a statement of detailed results obtained IN Kiwiel and Murty. Hum show strong results Convergence Descent Method paragraph continuously differentiable functions and quaseconvexas, we discussions and comparisons with other research lines. / Neste trabalho, trazemos uma demonstração detalhada dos resultados obtido por Kiwiel e Murty. Mostraremos um forte resultado de convergência do método de descida para funções continuamente diferenciáveis e quaseconvexas, faremos discussões e comparações com outras linhas de pesquisas.

Made available in DSpace on 2015-04-22T22:16:10Z (GMT). No. of bitstreams: 1 Dissertacao Jeanne Moreira.pdf: 447774 bytes, checksum: 635ca33ffaf3746929571ab0aabcfd32 (MD5) Previous issue date: 2008-12-29 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / In this work we use the gradient method to minimize, without restrictions, convex and pseudoconvex continuously differentiable functions. An important theme considered is the path length determination. We have that, when minimizing pseudoconvex functions, the linear search is exact. In this case, we present the first algorithm to obtain the path length, where will be included a quadratic regularization term, in the proximal point method sense. When dealing with the minimization of convex functions case, we have that the linear search is not exact. To obtain the path length, two algorithms are presented: the former needs that the gradient of the objective function satisfies a Lipschitz condition with a known constant L > 0. The latter is based on the work of Dennis-Schnabel (see [4]). The three process are based on the quasi-Fejér convergence principle. Although these descent methods need that the objective functions to be minimized have bounded level sets, in order to establish that the limit points are stationary, this approach guarantees the complete convergence of every sequence to a minimizer of the function without the hypothesis of bounded level sets. / Neste trabalho utilizamos o método do gradiente para minimizar, sem restrições, funções continuamente diferenciáveis pseudo-convexas e convexas. Um termo considerado importante é o cálculo do comprimento do passo. Na minimização de funções pseudo-convexas a busca linear é exata. Neste caso, apresentamos o primeiro algoritmo para o cálculo do comprimento do passo, onde é acrescentado um termo de regularização quadrático no sentido do método do ponto proximal. Posteriormente, na minimização de funções convexas, a busca linear é inexata. Para o cálculo do comprimento do passo apresentamos dois algoritmos: um necessita que o gradiente da função objetivo satisfaça uma condição de Lipschitz com constante L > 0 conhecida, e o outro é baseado no trabalho desenvolvido por Dennis-Schnabel (ver [4]). Os três processos baseiam-se na noção da quase-Fejér convergência. Embora os métodos de descida necessitem que a função objetivo a ser minimizada possua conjuntos de níveis limitados a fim de estabelecer que os pontos de acumulação sejam estacionários, nesta abordagem é garantida a convergência completa de toda sequência para um minimizador da função sem a hipótese de limitação do conjunto de nível.

Made available in DSpace on 2015-04-22T22:16:11Z (GMT). No. of bitstreams: 1 Dissertacao Walter Lucas Pinto.pdf: 3826919 bytes, checksum: 2d46d1c5f92ab885832ed054b123f3f5 (MD5) Previous issue date: 2009-02-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this paper we will study about Ribaucour Transformations and we will use the definition proposed by K.Tenenblat in [1]. We will study concerning the geometric aspects of such transformations and we will obtain as applications some Dupin surfaces in the R3 that are associated by a such Transformation. We will also present the visualization of those surfaces using resources of graphic computation. / Neste trabalho faremos um estudo acerca de Transformações de Ribaucour e usaremos a definição proposta por K.Tenenblat em [1]. Estudaremos acerca dos aspectos geométricos de tais transformações e obteremos como aplicações algumas superfícies de Dupin no R3 que estão associadas por uma tal Transformação. Apresentaremos também a visualização dessas superfícies usando recursos de computação gráfica.

Made available in DSpace on 2015-04-22T22:16:13Z (GMT). No. of bitstreams: 1 Francisco Eteval da Silva Feitosa.pdf: 212887 bytes, checksum: e8aec2d3b5fcc99646bc7f05c844ccd8 (MD5) Previous issue date: 2003-01-22 / The purpose of this essay is to make a clear and detailed exposition of the work of Robert L. Bryant on the class of Weingarten Surfaces immersed in the Euclidean tree-space, E3, that satisfy the equation (formula), where H and K denote the mean and the Gaussian curvatures respectively and f is a smooth function. The surfaces with constant mean curvature and those with constant Gaussian curvature clearly belong to this class and if they have genus zero, the Hopf`s and the Liebermann`s theorems respectively state that they are standard spheres of E3. The main result of this work characterizes the standard spheres as the only Wein-garten surface of genus zero in the mentioned class. / Esta dissertação tem como finalidade apresentar uma exposição clara e detalhada de um trabalho de Robert L. Bryant intitulado Análise Complexa e uma Classe de Superfícies de Weingarten, superfícies essas, imersas em E3, que satisfazem a equação (formula) onde H e K são as curvaturas média e gaussiana, respectivamente, e f é uma função real diferenciável. As superfícies com curvaturas média e gaussiana constante, pertencem claramente a esta classe e se elas têm gênero zero os teoremas de Hopf e de Liebermann, respectivamente, asseguram que elas são esferas usuais de E3. O principal resultado deste trabalho caracteriza as esferas usuais como as únicas superfícies de Weingarten de gênero zero pertencentes à classe mencionada.

Made available in DSpace on 2015-04-22T22:16:13Z (GMT). No. of bitstreams: 1 Ana Acacia Pereira Valente.pdf: 221896 bytes, checksum: f7a5ffc2646f76d06002549f557bd363 (MD5) Previous issue date: 2003-12-19 / The work of this essay is to make a clear on detailed exposition of the two theorems of the article of Lúcio Rodriguez and Renato Tribuzy on the Reduction of Codimension of Regular Immersions in the space of constant curvature c. We show that if M is a compact and connected manifold, of dimension n, and is an immersion (formula) regular, that is, when the first normal space N generated by image of the second fundamental form has constant dimension 1, then we can reduce the codimension of the immersion to 1. Other result important in the work show that if M is complete, connected with non-negative Ricci curvature, then f is a cylinder over a curve our we can reduce the codimension to 1 and f(M) is the boundary of a convex set in an a±ne subspace of (formula). / Este trabalho tem como finalidade apresentar uma exposição clara e detalhada de dois dos teoremas apresentados no artigo de Lúcio Rodriguez e Renato Tribuzy sobre Redução de Codimensão de Imersões Regulares em Espaços de Curvatura Constante c. Mostra-se que se tivermos uma variedade compacta e conexa M, de dimensão n, e uma imersão (formula) regular, isto é, quando a dimensão do primeiro espaço normal N gerado pelas imagens da segunda forma fundamental tem dimensão constante igual a 1, então podemos reduzir a codimensão da imersão para 1. Outro resultado importante neste trabalho é o fato de que se a variedade é apenas completa, conexa e com curvatura de Ricci não-negativa, então a imersão será um cilindro sobre uma curva, do contrário, podemos reduzir a codimensão para 1 e nossa imersão será o bordo de um corpo convexo em um subespaço (formula).

Made available in DSpace on 2015-04-22T22:16:14Z (GMT). No. of bitstreams: 1 Andrea Freitas Fragata.pdf: 328937 bytes, checksum: eaf5f22018331e8d3fc583a6174a86b3 (MD5) Previous issue date: 2007-03-30 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Many problems in Physics, Engineering, Economics and other sciences are modeled by suitable nonlinear systems. In these models, we can use Newton s iterative method for approximating solutions, starting from an initial approximation which is assumed to be sufficiently good. The goal of this work is to give a proof that, under the assumptions of Smale s theorem, the method converges Qquadratically. The proof presented is based on some results proved by João Xavier e Orizon Ferreira, which improve previous results giving only the R-quadratic convergence of the method. / Muitos problemas de física, engenharia, ecomomia e outras ciências são modelados de maneira muito conveniente por sistemas não lineares. Nestes casos, podemos usar o método de Newton, que é um método iterativo, no sentido de garantir a convergência a uma solução, supondo que o ponto inicial usado como aproximação da mesma é suficientemente bom. O objetivo deste trabalho é dar uma demonstração, baseada nos resultados obtidos por João Xavier e Orizon Ferreira, que o Método de Newton sob as hipóteses do Teorema de Smale converge Q-quadraticamente e como conseqüência esses autores deduziram um erro estimado, o que configura um resultado novo, uma vez que, apenas a convergência R-quadrática foi obtida.