Neste trabalho, mostraremos que o algoritmo que determina digito a digito a raiz quadrada de um número real positivo, corresponde a um sistema dinâmico no plano com um comportamento dinâmico complexo. Uma relação de equivalência pode ser obtida e através dela determinamos um novo sistema dinâmico definido no espaço quociente. Tal sistema dinâmico será estudado a partir de dois pontos de vista: Dinâmica Topológica e Teoria Ergódiga. Mostraremos que tal sistema dinâmico é topologicamente conjugado ao shift map no espaço de Bernoulli sobre 10 símbolos. Além disso, mostraremos que existe uma medida invariante natural a qual ergódiga para este sistema dinâmico. / In this work, we will show that the algorithm, which determines digit by digit the square root of a positive real number, corresponds to a dynamical system in the plane with complex dynamical behaviour. A relation of equivalence can be obtained and through it we determine a new dynamical system in the quotient space. Such dynamical system will be study from two points of view: Topological Dynamics and Ergodic Theory. We will show that such dynamical system is topologically conjugated to a shift map in the Bernoulli’s space on 10 symbols. Furthermore we will show that there exists a natural invariant measure which is ergodic for this dynamical system.

Neste trabalho, mostraremos que o algoritmo que determina digito a digito a raiz quadrada de um número real positivo, corresponde a um sistema dinâmico no plano com um comportamento dinâmico complexo. Uma relação de equivalência pode ser obtida e através dela determinamos um novo sistema dinâmico definido no espaço quociente. Tal sistema dinâmico será estudado a partir de dois pontos de vista: Dinâmica Topológica e Teoria Ergódiga. Mostraremos que tal sistema dinâmico é topologicamente conjugado ao shift map no espaço de Bernoulli sobre 10 símbolos. Além disso, mostraremos que existe uma medida invariante natural a qual ergódiga para este sistema dinâmico. / In this work, we will show that the algorithm, which determines digit by digit the square root of a positive real number, corresponds to a dynamical system in the plane with complex dynamical behaviour. A relation of equivalence can be obtained and through it we determine a new dynamical system in the quotient space. Such dynamical system will be study from two points of view: Topological Dynamics and Ergodic Theory. We will show that such dynamical system is topologically conjugated to a shift map in the Bernoulli’s space on 10 symbols. Furthermore we will show that there exists a natural invariant measure which is ergodic for this dynamical system.

Neste trabalho, mostraremos que o algoritmo que determina digito a digito a raiz quadrada de um número real positivo, corresponde a um sistema dinâmico no plano com um comportamento dinâmico complexo. Uma relação de equivalência pode ser obtida e através dela determinamos um novo sistema dinâmico definido no espaço quociente. Tal sistema dinâmico será estudado a partir de dois pontos de vista: Dinâmica Topológica e Teoria Ergódiga. Mostraremos que tal sistema dinâmico é topologicamente conjugado ao shift map no espaço de Bernoulli sobre 10 símbolos. Além disso, mostraremos que existe uma medida invariante natural a qual ergódiga para este sistema dinâmico. / In this work, we will show that the algorithm, which determines digit by digit the square root of a positive real number, corresponds to a dynamical system in the plane with complex dynamical behaviour. A relation of equivalence can be obtained and through it we determine a new dynamical system in the quotient space. Such dynamical system will be study from two points of view: Topological Dynamics and Ergodic Theory. We will show that such dynamical system is topologically conjugated to a shift map in the Bernoulli’s space on 10 symbols. Furthermore we will show that there exists a natural invariant measure which is ergodic for this dynamical system.

Orientador: Geraldo Nunes Silva / Banca: Weldon A. Lodwick / Banca: Yurilev Chalco Cano / Banca: Ulcilea Alves Severino Leal / Banca: Valeriano Antunes de Oliveira / Resumo: Esta Tese trabalha com alguns conceitos fundamentais da analise intervalar e suas aplicações. Em primeiro lugar, a Tese aborda a álgebra de funções de valor intervalar gH diferenciáveis. Especificamente, damos condições para a gH- diferenciabilidade da soma e gH-diferença de duas funções de valor intervalar gH-diferenciáveis; também para o pro duto e composição de uma função real diferenciável e uma função de valor intervalar gH diferenciável. Em segundo lugar, a Tese e dedicada a obtenção de condições necessárias e suficientes para problemas de otimização com funções objetivas de valor intervalar. Essas funções objetivas são obtidas a partir de funções contínuas usando aritmética intervalar restrita. Damos um conceito de derivada para esta classe de funções de valor intervalar e, em seguida, introduzimos o conceito de ponto estacionário. Encontramos as condições necessárias com base na definição dos pontos estacionários e provamos que essas condições também são suficientes nas noções de convexidade generalizada. Obtemos também condições necessárias e suficientes para o problema de otimização intervalar com restrições. E, finalmente, lidamos com o espaço quociente de intervalos I em relação a família de intervalos simétricos e dado um conceito de diferenciabilidade para funções de classes de equivalência, fazemos uma comparação com outros conceitos de diferenciabilidade. Alguns exemplos e contraexemplos ilustram os resultados obtidos / Abstract: This Thesis works with some fundamentals concepts of interval analysis and it applica tions. First of all, the thesis deals with the algebra of gH-diferentiable interval-valued functions. Specifically, we give conditions for the gH-diferentiability of the sum and gH-diference of two gH-diferentiable interval-valued functions; also for the product and composition of a diferentiable real function and a gH-diferentiable interval-valued func tion. Second, the thesis is devoted to obtaining necessary and sucient conditions for optimization problems with interval-valued objective functions. These objective func tions are obtained from continuous functions by using constrained interval arithmetic. We give a concept of derivative for this class of interval-valued functions and then we introduce the concept of stationary point. We find necessary conditions based on the stationary points definition and we prove that these conditions are also sucient under generalized convexity notions. We obtain the necessary and sucient conditions for con strained interval-valued optimization problem. And finally, we deal with the quotient space of intervals I with respect to the family of symmetric intervals and given a concept of di↵erentiability for equivalence classes-valued functions, we make a comparison with other concepts of diferentiability. Some examples and counterexamples illustrates the obtained results. / Doutor

FROTA, M. B. Relação de equivalência, conjunto quociente e aplicações. 2017. 94 f.Dissertação (Mestrado em Matemática em Rede Nacional) - Departamento de Matemática, Universidade Federal do Ceará, Fortaleza, 2017 / Submitted by Jessyca Silva (jessyca@mat.ufc.br) on 2017-07-18T18:48:42Z No. of bitstreams: 1 2017_dis_mbfrota.pdf: 1705952 bytes, checksum: e6627661f34b5b55d718b5ce2d30aa38 (MD5) / Rejected by Rocilda Sales (rocilda@ufc.br), reason: Bom dia, Revisei a Dissertação de MARCELO BRISENO FROTA e encontrei alguns erros de formatação que devem ser corrigidos pelo autor. Tais erros estão listados a seguir: 1- CAPA (o quarto elemento da capa deve ser alterado para: PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA EM REDE NACIONAL) 2- FOLHA DE ROSTO ( A formatação deste elemento do trabalho deve seguir o padrão constante no GUIA DE NORMALIZAÇÃO DE TRABALHOS ACADÊMICOS DA UFC, o mesmo encontra-se disponível no endereço eletrônico: http://www.biblioteca.ufc.br/images/arquivos/documentos_tecnicos/guia_normalizacao_trabalhos_ufc_2013.pdf 3- EPÍGRAFE (a formatação da epígrafe também deve seguir o padrão do GUIA DE NORMALIZAÇÃO) 4- RESUMO E ABSTRACT (retire o recuo de parágrafo da primeira linha do RESUMO e do ABSTRACT. Retire o sublinhado presente no termo KEYWORDS 5- SUMÁRIO (consulte o GUIA DE NORMALIZAÇÃO e verifique a formatação adequada para os títulos de capítulos, seções e subseções) OBS.: revise os títulos dos capítulos e das seções ao longo do trabalho, pois a formatação desses elementos deve ser a mesma do sumário. Retire também o último ponto final que existe na numeração de algumas seções e subseções, ficando da seguinte forma: “2.2.1”, no caso de dúvidas consulte o GUIA. 6- Espaço entre seções (insira um espaço duplo entre o final de uma seção e o título de outra, com um espaço simples entre o título e o primeiro parágrafo) 7- REFERÊNCIAS (este item do trabalho deve seguir o padrão ABNT, caso tenha dúvidas você poderá encontrar as referências na forma correta na página de pesquisa de livros da Biblioteca Universitária, clicando no item “Referências”, após encontrar o exemplar desejado. Segue o link: https://pergamum.ufc.br/pergamum/biblioteca/index.php Atenciosamente, on 2017-07-19T15:38:17Z (GMT) / Submitted by Jessyca Silva (jessyca@mat.ufc.br) on 2017-07-21T19:24:34Z No. of bitstreams: 1 2017_dis_mbfrota.pdf: 1707590 bytes, checksum: 8a489a3e84535cf0e3023a7f57ddbc65 (MD5) / Rejected by Rocilda Sales (rocilda@ufc.br), reason: Boa tarde, Estou reenviando a Dissertação de MARCELO BRISENO FROTA, pois há erros de preenchimento no Repositório Institucional, que devem ser corrigidos quem faz o depósito no sistema e erros em algumas partes do trabalho que devem ser alterados pelo autor do texto. Erros no repositório: 1- Deve ser inserido o título do trabalho em inglês no Repositório Institucional. 2- Devem ser inseridas as Keywords abaixo das palavras chaves na ficha do Repositório. Erros na Dissertação: 1- FICHA CATALOGRÁFICA (está faltando a ficha catalográfica da Dissertação, a mesma pode ser elaborada no sistema CATALOG, disponível no endereço eletrônico: http://fichacatalografica.ufc.br/ 2- FOLHA DE APROVAÇÃO (deve ser inserida a folha de aprovação do trabalho após a ficha catalográfica; ressaltamos que, para resguardar as assinaturas dos membros da banca examinadora, a folha de aprovação não deve estar assinada) 3- INVERSÃO DE PARTES (a página com a epígrafe e com os agradecimentos estão invertidas: primeiro deve-se colocar a página dos agradecimentos e em seguida a da epígrafe) 4- SUMÁRIO (sumário apresenta erros de digitação e formatação. Assim, deve ser retirado o último ponto final que aparece depois de alguns números. Ex.: “2.2.1.” retire o último ponto, ficando “2.2.1” Com relação aos erros de formatação, os títulos de todas as seções primarias (2.1 Construção do ...) devem estar com a formatação “CAIXA BAIXA e NEGRITO”. As seções secundárias (Ex.: 2.2.1 Adição de ...) devem apresentar a formatação “CAIXA BAIXA, SEM NEGRITO” OBS.: os títulos dos capítulos e seções ao longo do trabalho apresentam os mesmos erros citados no item 4. Por isso, recomendo que revise o texto e corrija tais erros. Em caso de dúvidas consulte o Guia de Normalização de Trabalhos Acadêmicos da UFC, disponível no endereço eletrônico: http://www.biblioteca.ufc.br/images/arquivos/documentos_tecnicos/guia_normalizacao_trabalhos_ufc_2013.pdf Atenciosamente, on 2017-07-24T16:02:50Z (GMT) / Submitted by Jessyca Silva (jessyca@mat.ufc.br) on 2017-07-26T14:32:42Z No. of bitstreams: 1 2017_dis_mbfrota.pdf: 1744589 bytes, checksum: ccb31928aa020b878ac4880006c8c513 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2017-07-26T15:18:47Z (GMT) No. of bitstreams: 1 2017_dis_mbfrota.pdf: 1744589 bytes, checksum: ccb31928aa020b878ac4880006c8c513 (MD5) / Made available in DSpace on 2017-07-26T15:18:48Z (GMT). No. of bitstreams: 1 2017_dis_mbfrota.pdf: 1744589 bytes, checksum: ccb31928aa020b878ac4880006c8c513 (MD5) Previous issue date: 2017-07 / This work initially aims at presenting the construction of integers, rational and real, as well as their equivalence relations. We will also analyze the equivalence classes in a quotient space, the theorem of the nucleus and the image, form of Jordan and finalizing with the study of surfaces quotients: projective plane, torus and bottle of Klein. / Este trabalho visa inicialmente apresentar a construção dos números inteiros, racionais e reais, bem como suas relações de equivalência. Serão também analisadas as classes de equivalências em um espaço quociente, o teorema do núcleo e da imagem, forma de Jordan e finalizando com o estudo das superfícies quocientes: plano projetivo, toro e garrafa de Klein.

O objetivo central desta dissertação é apresentar as folheações infinitesimalmente polares, fornecendo uma demonstração para o teorema que as caracteriza. Seguimos a abordagem original encontrada em Lytchak e Thorbergsson [25], de 2010. Diretamente da definição e do teorema principal obtem-se dois exemplos: folheações polares e folheações riemannianas singulares de codimensão 1 ou 2. Dedicamos especial atenção a um terceiro exemplo: folheações sem pontos horizontalmente conjugados. A demonstração deste resultado utiliza resultados obtidos anteriormente pelos mesmos autores em 2007, Lytchak e Thorbergsson [24]. Abordamos também, brevemente, as implicações do teorema caracterizador (que é um resultado local) sobre o quociente global de uma folheação infinitesimalmente polar. Variedades com folheações infinitesimalmente polares podem ser encaradas como um objeto que apresenta aspectos clássicos do teorema do toro maximal para grupos de Lie compactos, em um contexto mais amplo. / The present work aims at introducing infinitesimally polar foliations -- as defined by Lytchak and Thorbergsson [25] -- providing a proof for the classification theorem. Polar foliations and low codimension singular Riemannian foliations are two immediate examples. A third example is given by foliations without horizontally conjugate points. The proof of this assertion relies on previous results established by the same authors in Lytchak and Thorbergsson [24]. The classification theorem for infinitesimally polar foliations is a local result; we also derive from it some global consequences on the quotient space of such foliations. Infinitesimally polar foliations may be regarded as a generalised setting where one can find characteristic features from the maximal torus theorem for compact Lie groups.

O objetivo central desta dissertação é apresentar as folheações infinitesimalmente polares, fornecendo uma demonstração para o teorema que as caracteriza. Seguimos a abordagem original encontrada em Lytchak e Thorbergsson [25], de 2010. Diretamente da definição e do teorema principal obtem-se dois exemplos: folheações polares e folheações riemannianas singulares de codimensão 1 ou 2. Dedicamos especial atenção a um terceiro exemplo: folheações sem pontos horizontalmente conjugados. A demonstração deste resultado utiliza resultados obtidos anteriormente pelos mesmos autores em 2007, Lytchak e Thorbergsson [24]. Abordamos também, brevemente, as implicações do teorema caracterizador (que é um resultado local) sobre o quociente global de uma folheação infinitesimalmente polar. Variedades com folheações infinitesimalmente polares podem ser encaradas como um objeto que apresenta aspectos clássicos do teorema do toro maximal para grupos de Lie compactos, em um contexto mais amplo. / The present work aims at introducing infinitesimally polar foliations -- as defined by Lytchak and Thorbergsson [25] -- providing a proof for the classification theorem. Polar foliations and low codimension singular Riemannian foliations are two immediate examples. A third example is given by foliations without horizontally conjugate points. The proof of this assertion relies on previous results established by the same authors in Lytchak and Thorbergsson [24]. The classification theorem for infinitesimally polar foliations is a local result; we also derive from it some global consequences on the quotient space of such foliations. Infinitesimally polar foliations may be regarded as a generalised setting where one can find characteristic features from the maximal torus theorem for compact Lie groups.