Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-02Bitstream added on 2014-06-13T18:55:32Z : No. of bitstreams: 1 alves_mo_me_sjrp.pdf: 609574 bytes, checksum: 7280f95db92aacc87fc1116bf82914da (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Neste trabalho apresentamos um estudo dos campos de vetores lineares reversíveis e equivariantes. Tal estudo tem como base a Teoria de Representações de grupos de Lie compactos. Usaremos o fato de que a ascensão de um grupo de Lie compacto pode ser decomposta como soma direta de representações irredutíveis e de acordo com o Lema de Schur tais representações poderão ser de três tipos: R; C ou H. Daremos uma classificação das possíveis estruturas dos sistemas lineares reversíveis equivariantes baseado na teoria de representações citada acima e faremos um estudo dos autovalores para uma classe particular de funções Lreversíveis. Dessa forma temos um cenário bem claro da dinâmica de tais sistemas em cada uma dessas classes. / In this work we present a study of the linear equivariant reversible vector fields. This study is based on the Theory of Representation of compact Lie groups. We use the fact that an action of a compact Lie group can be decomposed as a direct sum of irreducible representations, and according to Schur's Lemma these representations can be only of three types: R; C ou H. We give a classification of the possible structures of the linear equivariant reversible systems based on the Theory of Representations mentioned above and we study of the eigenvalues for a particular classes of Lreversible maps. In this way we have a very clear scenario about the dynamics of such systems in each one of these classes.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-19T12:44:14Z No. of bitstreams: 1 arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5) / Approved for entry into archive by Maria Suzana Diniz (msuzanad@hotmail.com) on 2015-10-19T12:44:52Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5) / Made available in DSpace on 2015-10-19T12:44:52Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5) Previous issue date: 2014-08-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The main objective of this work is showing the importance of systems axiomatic in mathematics. We will study some classic axioms, their equivalence and we will see some applications of them. / Este trabalho tem como objetivo fazer uma abordagem sobre a importância de sistemas axiomáticos na Matemática. Estudaremos alguns axiomas clássicos, suas equivalências e veremos algumas aplicações dos mesmos.

A teoria de conjuntos por vezes deixada de lado em algumas escolas de ensino mÃdio, constitui-se em um elemento primordial para o entendimento das funÃÃes, em especial. A nÃo abordagem, ou a sua abordagem superficial, deixa no estudante uma lacuna difÃcil de ser suprida em estudos posteriores. AliÃs, a lacuna deixada pode dificultar o desempenho do estudante no ensino superior. Diante desta constataÃÃo, à objetivo principal desta dissertaÃÃo fazer uma leitura dos principais tÃpicos ligados à Teoria de Conjuntos do ensino mÃdio, ao mesmo tempo em que faz uma ponte entre estes e outros pontos nÃo menos importantes, tratando conjuntos em uma linguagem mais acadÃmica. SerÃo abordados desde as propriedades e teoremas relacionados a conjuntos finitos, atà a sua generalizaÃÃo para conjuntos infinitos, culminando com o teorema de Cantor-Schroeder-Bernstein, o Axioma da Escolha, e o Lema de Zorn. Para tantos, realizaram-se pesquisas bibliogrÃficas em fontes variadas. / The set theory sometimes left out in some high schools, is in a key element for understanding the functions in particular. Failure to address this issue or its superficial approach leaves the student a difficult gap to be filled in later studies. Incidentally, the left gap may hinder student performance in higher education. If this is so, is the main objective of this work to a reinterpretation of the main topics linked to the high school set theory, while making a bridge between these and other equally important points dealing with sets in a more academic language. Will be covered from the properties and theorems related to finite sets up its generalization to infinite sets, culminating in the Cantor-Schroeder-Bernstein theorem, the Axiom of Choice and Zornâs Lemma. To this end, there were literature searches in various sources.

Submitted by Natalia de Souza Gonçalves (natalia.goncalves@ufpe.br) on 2015-05-08T13:12:46Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertation.pdf: 1398032 bytes, checksum: ba6c27cf093110dd1dcf9fea1b529c41 (MD5) / Made available in DSpace on 2015-05-08T13:12:46Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertation.pdf: 1398032 bytes, checksum: ba6c27cf093110dd1dcf9fea1b529c41 (MD5) Previous issue date: 2014-02-27 / CNPq / Em abril de 2013, o Programa de Fundamentos Univalentes do IAS, Princeton, lançou o primeiro livro em teoria homotópica de tipos, apresentando várias provas de resultados da teoria da homotopia em “um novo estilo de ‘teoria de tipos informal’ que pode ser lida e entendida por um ser humano, como um complemento à prova formal que pode ser checada por uma máquina”. O objetivo desta dissertação é dar uma abordagem mais detalhada e acessível a algumas dessas provas. Escolhemos como leitmotiv uma versão tipoteórica (originalmente proposta por Michael Shulman) de uma prova padrão de 1(S1) = Z usando espaços de recobrimento. Um ponto crucial dela é o uso do “lema do achatamento” (flattening lemma), primeiramente formulado em generalidade por Guillaume Brunerie, cujo enunciado é bem complicado e cuja a prova é difícil, muito técnica e extensa. Enunciamos e provamos um caso particular desse lema, restringindo-o à mínima generalidade exigida pela demonstração de 1(S1) = Z. Também simplificamos outros resultados auxiliares, adicionamos detalhes a algumas provas e incluímos algumas provas originais de lemas simples como “composição de mapas preserva homotopia”, “contrabilidade é uma invariante homotópica”, “todo mapa entre tipos contráteis é uma equivalência”, etc.

Este trabalho aborda principalmente dois tópicos em Análise Funcional. No primeiro tópico, estudamos zeros de polinômios em espaços de Banach reais. Apresentamos resultados devidos a J. Ferrer, estabelecendo que todo polinômio fracamente contínuo sobre os subconjuntos limitados de um espaço de Banach, de dual não separável na topologia fraca estrela, admite um subespaço linear fechado de dual não separável na topologia fraca estrela, no qual o polinômio se anula. No segundo tópico, exibimos a versão multilinear do Lema de Phelps devido a R. Aron, A. Cardwell., D. García e I. Zalzuendo. / We study two topics in Functional Analysis. In the first topic, we study zeros of polynomials on real Banach spaces. We present results due to J. Ferrer, stating that every polynomial weakly continuous on bounded subsets of a Banach space, whose dual is not separable in the weak-star topology, admits a closed linear subspace whose dual is not separable in the weak- star topology either, where the polynomial vanishes. In the second topic, we show a multilinear version for the Phelps\' Lemma by R. Aron, A. Cardwell., D. García and I. Zalzuendo.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-10-17T15:52:46Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação Valdenildo Alves de Araújo.PDF: 2285927 bytes, checksum: d9b15f3d010205d5d0cac3514733f5d8 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-10-17T15:53:00Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação Valdenildo Alves de Araújo.PDF: 2285927 bytes, checksum: d9b15f3d010205d5d0cac3514733f5d8 (MD5) / Made available in DSpace on 2018-10-17T15:53:00Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação Valdenildo Alves de Araújo.PDF: 2285927 bytes, checksum: d9b15f3d010205d5d0cac3514733f5d8 (MD5) Previous issue date: 2012-12-04 / This work has as aim to demosntrate two classical results from the Fixed Point Theory, namely the theorems of Brouwer and Schauder-Tychonoff, to present some recent progress in this reseach line, as well as to explore some of its applications. / Este trabalho tem por objetivos demonstrar dois resultados da Teoria dos Pontos Fixos, a saber os teoremas de Brouwer e Schauder-Tychonoff, apresentar alguns recentes progressos na linha de pesquisa bem como explorar algumas de suas aplicações

<p>H-mere i H-distribucije su mikrolokalni objekti koji se koriste za ispitivanje jake konvergencije slabo konvergentnog niza u prostorima Lebega i prostorima Soboljeva. H-mere su uveli Tartar i&nbsp; Zerar (koji ih zove mikrolokalne mere defekta), u radovima [34] i [19]. H-mere su Radonove mere koje daju informacije o mogu &acute; cim oblastima jake konvergencije slabo konvergentnog<em> L</em>² niza. Da bismo mogli da posmatramo i slabo konvergentne<em> L</em>^p nizove za 1 &lt; p &lt; &infin;, Antonić&nbsp; i Mitrović u radu [11] uvode H-distribucije.</p><p>U disertaciji dajemo konstrukciju H-distribucija za slabo konvergentne nizove u <em>W</em>^-k,p prostorima, kad je 1 &lt; p &lt; &infin;, k &isin; ℕ&nbsp;i pokazujemo da kada je H-distribucija pridružena slabo konvergetnim nizovima jednaka nuli za sve test funkcije, onda imamo lokalno jaku konverenciju datog niza.</p><p>Takođe je pokazan i lokalizacijski princip, koji nam daje oblast u kojoj imamo lokalno jaku&nbsp; konvergenciju slabo konvergentnog niza. H-mere i H-distribucije deluju na test funkcije &phi;&nbsp;i &psi;&nbsp;(odgovarajuće regularnosti) koje su definisane na ℝ^d i S^d-1 (jedinična sfera u ℝ^d), pri&nbsp; čemu je funkcija &psi;, koju zovemo množilac, ograničena. U disertaciji uvodimo i H-distribucije sa neograničenim simbolom, pri čemu posmatramo slabo&nbsp; konvergentne nizove u Beselovim H^p_-s prostorima, gde je 1 &lt; p &lt; &infin;; s &isin; ℝ. U ovom delu koristimo teoriju pseudo-diferencijalnih operatora i dokazujemo kompaktnost komutatora [<i>A</i>_&psi;, T_&phi;] za razne klase množioca &psi;,&nbsp; &scaron;to je potrebno za dokaz postojanja H-distribucija. Takođe pokazujemo odgovarajuću verziju lokalizacijskog principa.</p> / <p>H-measures and H-distributions are microlocal tools that can be used to investigate strong conver-gence of weakly convergent sequences in the Lebesgue and Sobolev spaces.</p><p>H-measures are introduced by Tartar and G&eacute;rard (as microlocal defect measures) in papers [34] and [19]. H-measures are Radon measures and they provide information about the set of points where given weakly convergent sequence in <em>L</em>² converges strongly. In paper [11], Antonić and Mitrović introduced&nbsp; H-distributions in order to work with weakly convergent <em>L</em>^p sequences.</p><p>In this thesis we give construction of H-distributions for weakly convergent <em>W^-</em>^k,p sequences, where 1 &lt; p &lt; &infin;; k &isin;&nbsp;N. We show that if the H-distribution corresponding to given weakly convergent sequence is equal to zero, then we have locally strong convergence of the sequence. We also prove localization principle.</p><p>H-measures and H-distributions act on test functions &phi; and &psi;&nbsp;(regular enough) which are defined on ℝ^d and ^d-1 (unit sphere in ℝ^d ) and the function &psi;, which is called multiplier, is bounded. We also introduce H-distributions with unboundedmultipliers and in this&nbsp; case we assume that weakly convergent sequences are in Bessel potential spaces H^p_-s , where 1 &lt; p &lt; &infin;, s &isin; ℝ. Theory of pseudo-differential operators is used in construction of H-distributions with unbounded multipliers. We prove compactness of the commutator [<em>A</em>_{<em>&psi;</em>},T_&phi; ] for different classes of multipliers y and appropriate version of localization principle.</p>

Neste trabalho, seguindo a abordagem de Weierstrass, temos o objetivo de responder a seguinte questão: conhecida a equivalência entre holomorfia e analiticidade no caso complexo, quais propriedades das funções analíticas podem ser obtidas sem assumir tal equivalência? Analisando esta situação, resultados interessantes serão obtidos sem o uso de qualquer teorema de integração complexa e, para alcançar tal objetivo, nossas principais ferramentas serão a teoria de somas não ordenadas de famílias em C e propriedades do índice de caminhos fechados. Entre os resultados apresentados estão os conhecidos Teorema Fundamental da Álgebra, Lema de Schwarz, Teorema de Montel, Teorema da Série Dupla de Weierstrass, Princípio do Argumento, Teorema de Rouché, Teorema da Fatoração de Weierstrass, Pequeno Teorema de Picard e o Teorema da Aplicação de Riemann. / In this work, following the Weierstrass\'s approach, we aim to answer the following question: knowing the equivalence between holomorphy and analyticity in the complex case, which properties of analytic functions can be obtained without assuming such equivalence? Through analyzing this situation, interesting results will be obtained without employing of any complex integration theorem and in order to achieve this goal, our main tools will be the theory of unordered sums in C and properties of winding numbers of closed paths. Among the proven results are the well known Fundamental Theorem of Algebra, Schwarz\'s Lemma, Montel\'s Theorem, Weierstrass\'s Double Series Theorem, Argument Principle, Rouché\'s Theorem, Weierstrass\'s Factorization Theorem, Picard\'s Little Theorem and the Riemann\'s Mapping Theorem.

Nesta tese, introduzimos o conceito de sequência convergente de permutações e provamos a existência de um objeto limite para tais sequências. Introduzimos ainda um novo modelo de permutação aleatória baseado em tais objetos e introduzimos um conceito novo de distância entre permutações. Provamos então que sequências de permutações aleatórias são convergentes e provamos a equivalência entre esta noção de convergência e convergência nesta nova distância. Obtemos ainda resultados de amostragem e quase-aleatoriedade para permutações. Provamos também uma caracterização para parâmetros testáveis de permutações. / We introduce the concept of convergent sequence of permutations and we prove the existence of a limit object for these sequences. We also introduce a new and more general model of random permutation based on these limit objects and we introduce a new metric for permutations. We also prove that sequences of random permutations are convergent and we prove the equivalence between this notion of convergence and convergence in this new metric. We also show some applications for samplig and quasirandomness. We also prove a characterization for testable parameters of permutations.

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-04-12Bitstream added on 2014-06-13T19:55:23Z : No. of bitstreams: 1 santos_ap_me_sjrp.pdf: 749833 bytes, checksum: 8be58c6f81e3ac600ff8f26430348533 (MD5) / Para todo grupo G infinito, finitamente gerado, pode-se obter para o invariante algébrico end, mais precisamente o número de ends e(G), uma fórmula cohomológica 1-dimensional. O principal objetivo deste trabalho é apresentar, sob certas hipóteses, uma fórmula cohomológica 1-dimensional para o invariante algébrico e(G,H), definido por Scott e Houghton, onde H é um subgrupo de G (Teorema de Swarup). Para tanto, o conceito de subconjunto H-quase invariante de G e resultados como a interpretação do grupo de cohomologia H1(G,M) em termos de derivações (à direita), onde M é um ZG-módulo, e o Lema de Shapiro, são resultados imprescindíveis. Algumas relações desses invariantes com ends de espaços são também apresentadas. / For all infinite group G, finitely generated, one can obtain for the algebric invariant end, more precisely the number of ends e(G), a cohomological 1-dimensional formula. The main objective of this work is to present, under certain hypotheses, a cohomological 1-dimensional formula for the algebric invariant e(G,H), defined by Scott and Houghton, where H is a subgroup of G (Swarup's Theorem). In order to do so, the concept of subset H-almost invariant of G and results like the interpretation of the cohomological group H1(G,M) in terms of derivations (to the right), where M is a ZG-module, and the Shapiro's Lemma, are fundamental results. Some relations of these invariants with space ends are also presented.