Orientador: Maria Gorete Carreira Andrade / Banca: Ermínia de Lourdes Campello Fanti / Banca: Denise de Mattos / Resumo: Neste trabalho, estudamos o Teorema clássico de Borsuk - Ulam e também outros Teoremas do tipo Borsuk - Ulam. Para isto, consideramos aplicacões contínuas f : (Cn+1 L f0g) ! Cn. Uma raíz primitiva k - ésima da unidade » nos fornece uma Zk-acão livre sobre Cn. Um teorema nos diz que a equação kL1X i=0 »if(»ix) = 0 sempre tem uma solução x 2 (Cn+1 L f0g). Este resultado produz várias aplicações. Por exemplo, se p é um número primo, f : Sn ! Rr uma aplicacão contínua, com n > r(p L 1), então alguma órbita da Zp-ação deve ser aplicada em um ponto. / Abstract: In this work, we study the Classical Borsuk-Ulam Theorem and also other Borsuk- Ulam Theorems. For that, we consider continuous maps f : (Cn+1 L f0g) ! Cn. A primitive k-root of unity » gives rise to a free Zk-action on Cn. A result states that the equation kL i=0 »if(»ix) = 0 always has a solution x 2 (Cn+1 L f0g). This result provides several aplications. For example, if p is a prime number, f : Sn ! Rr a continuous map and n > r(p L 1), then some orbit of the Zp-action must be mapped into a point. / Mestre

Orientador: Dimitar Kolev Dimitrov / Banca: Valdir Antonio Menegatto / Banca: Alagocone Sri Ranga / Resumo: Neste trabalho estudamos o Teorema de Sturm para zeros de soluções de equações diferenciais lineares de segunda ordem e suas extensões. Estes resultados clássicos são aplicados para análise de monotonicidade e convexidade de zeros de polinômios ortogonais clássicos. / Abstract: We study Sturm's theorem on zeros of solution of linear second-order differential equations as well as its extension. These classical results are applied to analyze monotonicity and convexity of zeros of classical orthogonal polynomials. / Mestre

Orientador: Simone Mazzini Bruschi / Banca: Ricardo Pereira da Silva / Banca: Vera Lúcia Carbone / Resumo: Este trabalho consistiu em coletar e desenvolver uma sequência didática para o ensino de Análise Funcional aos estudantes de iniciação científica. Neste sentido a dissertação foi escrita para ser utilizada como livro-texto, transmitindo uma introdução de Análise Funcional e com o objetivo que ao final os estudantes estejam aptos a estudar textos mais específicos / Abstract: This work suggests a didatic road map for teaching Functional Analysis to un- dergraduated students who wish to initiate a scientific carrier. The dissertation was written an introductory text book of Functional Analysis ofter which students could migrate to more specific papers / Mestre

Usando teoria de perturbação, fizemos uma análise detalhada da divergência infravermelha em 4ª ordem do processo de aniquilação do par elétron-pósitron. Mostramos que o teorema de Bloch-Nordsieck garante o cancelamento destas divergências em QED. Em seguida, consideramos um processo em QCD com duas partículas coloridas no estado inicial, somando sobre as cores destas duas partículas. O processo escolhido foi o de aniquilação do par quark-anti-quark. O processo em 4ª ordem de perturbação e mostramos neste caso que o Teorema de Block-Nordsieck não se verifica. Este resultado é consequência do fato desta teoria ter um caráter não-abeliano. O não-cancelamento das divergências infravermelhas significa que a natureza do estado ligado é fundamental para o uso consistente da teoria de perturbação na QCD. / Using pertubation theory, we made a detailed analysis of the infrared divergencies to the 4th order for the phocess of annihilation of the pair electron-positron. We showed that the Bloch-Nordsieck theorem guarantees the cancellation of these divergencies in QED. Then we considered a process in QED involving two coloured particles in the initial state, summing over the colours of these particles. The process chosen was the annihilation of the pair quark-anti-quark. We calculated the process to the 4ª order in perturbation theory, and showed that in this case the Bloch-Nordsieck theorem in not verified. This result is a consequence of the fact that this theory has a non-abelian caracter. The non-cancellation of the infrared divergencies signifies that the nature of the bound-state is fundamental for the consistent use of perturbation theory in QCD.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Polyhedra are geometric solids formed by a finite number of polygons they can be convex or non-convex, regular or not regular. This work we make three demonstrations of Eulerâs theorem for polyhedra in one plane being used graphs. We will adopt preliminary definitions of polygons, polyhedra and graphs and make a brief study of the theorem before the demonstrations analysis when the theorem is valid and what conditions exist polyhedra, since the theorem is accepted. The work brings some applications in the form of questions in the theory presented. / Os poliedros sÃo sÃlidos geomÃtricos formados por uma quantidade finita de polÃgonos. Eles podem ser convexos ou nÃo convexos, regulares ou nÃo regulares . Neste trabalho fazemos trÃs demonstraÃÃes do teorema de Euler para poliedros no plano, sendo uma utilizado grafos. Adotaremos definiÃÃes preliminares de polÃgonos, poliedros e grafos e faremos um breve estudo do teorema antes das demonstraÃÃes analisado quando o teorema à valido em quais condiÃÃes existem os poliedros, uma vez que o teorema à aceito. O trabalho traz algumas aplicaÃÃes em forma de questÃes da teoria apresentada.

Made available in DSpace on 2014-06-12T15:52:36Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Devido á grande demanda por softwares cada vez mais robustos, complexos e flexíveis, e, sobretudo, pelo curtíssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provém do uso de uma metodologia baseada em agentes que se comunicam e com isso, ao invés dos programas serem estritamente programados, o comportamento destes sistemas de software emerge da interação de agentes, robôs, ou subsistemas aut onomos, independentes, além de declarativamente especificados. Isto provê a habilidade para automaticamente configurá -los, otimizá-los, monitorá-los, adaptá-los, diagnosticá-los, repará-los e protegê-los dentro do ambiente. Contudo, um grande problema das linguagens declarativas é a falta de mecanismos que permitem a melhor estruturação de dados, facilitando portanto, o reuso. Portanto, esta dissertação explica o desenvolvimento de nova linguagem lógica declarativa para programar sistemas de raciocínio automático de uma forma modularizada: C2HR∨. A linguagem base escolhida para a extensão com componentes lógicos foi CHR. Os motivos para essa escolha são definidos ao longo da dissertação. Duas abordagens, portanto, são apresentadas: a primeira, conhecida como CHRat, foi desenvolvida numa parceria juntamente com o grupo de pesquisas CONTRAINTES do INRIA/Rocquencourt-Paris, onde o programador ´e o responsável direto por definir os componentes CHR, permitindo o seu reuso por outros componentes; a segunda aplicação, CHRtp, visa atender prioritariamente requisitos de completude e, por isso, se baseia em procedimentos lógicos de inferência como: o raciocínio para frente, o raciocínio para trás, e a resolução/factoring. A dissertação mostra também alguns exemplos práticos, onde uso de componentes facilita radicalmente sua implementação. As contribuições almejadas com essa dissertação são: a definição de uma família bem formalizada de provadores de teoremas automáticos, que podem trabalhar com sentenças especificadas em lógica horn ou em lógica de primeira ordem, a extensão de CHR como uma linguagem modular de propósito geral, a melhor estruturação de bases conhecimentos e até o uso em conjunto de bases heterogêneas, a definição de uma linguagem para a fácil e direta estruturação de dados por meio de componentes, dentre outras

Orientador: Francesco Mercuri / Dissertação (mestrado) - Universidade Estadual de Campinas, Intituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-05T13:33:06Z (GMT). No. of bitstreams: 1 Min_LienKuan_M.pdf: 1157875 bytes, checksum: 65f63453a02a7c1365c0a9b3524a1602 (MD5) Previous issue date: 2006 / Resumo: O teorema de Bernstein é um marco importante na teoria das superfícies mínimas. Nesta dissertação apresentaremos três demonstrações deste teorema, cada uma levando a generalizações em diferentes direções / Abstract: The Bernstein's theorem is an important landmark in the theory of the minimal surfaces. In this dissertation we will present three demonstrations of this theorem, each one leading to generalizations in different directions / Mestrado / Geometria Diferencial / Mestre em Matemática

Neste trabalho, introduzimos uma nova classe de formas multilineares alternadas e de formas diferenciais, chamadas de formas polilagrangeanas (no caso de formas a valores vetoriais) ou multilagrangeanas (no caso de formas parcialmente horizontais em relação a um subespaço ou subfibrado dado), que são caracterizadas pela existência de um tipo especial de subespaço ou subfibrado maximal isotrópico chamado, respectivamente, de polilagrangeano ou multilagrangeano. Revela-se que estas constituem o arcabouço adequado para a formulação de um teorema de Darboux em nível algébrico. Combinando esta nova estrutura algébrica com propriedades padrão de integrabilidade (d! = 0) nos permite deduzir o teorema de Darboux no contexto geométrico (existência de coordenadas locais canônicas). Estruturas polissimpléticas e multissimpléticas, inclusive todas aquelas que aparecem no formalismo hamiltoniano covariante da teoria clássica dos campos, são contidas como caso especial. / In this thesis, we introduce a new class of multilinear alternating forms and of differential forms called polylagrangean (in the case of vector-valued forms) or multilagrangean (in the csae of forms that are partially horizontal with respect to a given subspace or subbundle), characterized by the existence of a special type of maximal isotropic subspace or subbundle called polylagrangean or multilagrangean, respectively. As it turns out, these constitute the adequate framework for the formulation of an algebraic Darboux theorem. Combining this new algebraic structure with standard integrability conditions (d! = 0) allows us to derive a geometric Darboux theorem (existence of canonical local coordinates). Polysymplectic and multisymplectic structures, including all those that appear in the covariant hamiltonian formalism of classical field theory, are contained as a special case.

The purpose of this paper is to explore certain properties of Banach spaces. The first chapter begins with basic definitions, includes examples of Banach spaces, and concludes with some properties of continuous linear functionals. In the second chapter, dimension is discussed; then one version of the Hahn-Banach Theorem is presented. The third chapter focuses on dual spaces and includes an example using co, RI, and e'. The role of locally convex spaces is also explored in this chapter. In the fourth chapter, several more theorems concerning dual spaces and related topologies are presented. The final chapter focuses on reflexive spaces. In the main theorem, the relation between compactness and reflexivity is examined. The paper concludes with an example of a non-reflexive space.

Le théorème de Gauss sur les sommes de 3 carrés relie le nombre de points entiers primitifs sur la sphère de rayon la racine carrée de n au nombre de classes d'un ordre quadratique imaginaire. En 2011, Edixhoven a esquissée une preuve du théorème de Gauss en utilisant une approche de la géométrie arithmétique. Il a utilisé l'action du groupe orthogonal spécial sur la sphère et a donné une bijection entre l'ensemble des SO3(Z)-orbites de tels points, si non vide, avec l'ensemble des classes d'isomorphisme de torseurs sous le stabilisateur. Ce dernier ensemble est un groupe, isomorphe au groupe des classes d'isomorphisme de modules projectifs de rang 1 sur l'anneau Z[1/2, √- n], ce qui donne une structure d'espace affine sur l'ensemble des SO3(Z)-orbites sur la sphère. Au chapitre 3 de cette thèse, nous donnons une démonstration complète du théorème de Gauss suivant les travaux d'Edixhoven. Nous donnons aussi une nouvelle preuve du théorème de Legendre sur l'existence d'une solution entière primitive de l'équation x2 + y2 + z2 = n en utilisant la théorie des faisceaux. Nous montrons au chapitre 4 comment obtenir explicitement l'action, donnée par la méthode des faisceaux, du groupe des classes sur l'ensemble des SO3(Z)-orbites sur la sphère en termes de SO3(Q). / Gauss's theorem on sums of 3 squares relates the number of primitive integer points on the sphere of radius the square root of n with the class number of some quadratic imaginary order. In 2011, Edixhoven sketched a different proof of Gauss's theorem by using an approach from arithmetic geometry. He used the action of the special orthogonal group on the sphere and gave a bijection between the set of SO3(Z)-orbits of such points, if non-empty, with the set of isomorphism classes of torsors under the stabilizer group. This last set is a group, isomorphic to the group of isomorphism classes of projective rank one modules over the ring Z[1/2, √- n]. This gives an affine space structure on the set of SO3(Z)-orbits on the sphere. In Chapter 3 we give a complete proof of Gauss's theorem following Edixhoven's work and a new proof of Legendre's theorem on the existence of a primitive integer solution of the equation x2 + y2 + z2 = n by sheaf theory. In Chapter 4 we make the action given by the sheaf method of the Picard group on the set of SO3(Z)-orbits on the sphere explicit, in terms of SO3(Q). / De stelling van Gauss over sommen van 3 kwadraten relateert het aantal primitieve gehele punten op de bol van straal de vierkantswortel van n aan het klassengetal van een bepaalde imaginaire kwadratisch orde. In 2011 schetste Edixhoven een ander bewijs van deze stelling van Gauss metbehulp van aritmetische meetkunde. Hij gebruikte de actie van de special orthogonale groep op de bol en gaf een bijectie tussen de verzameling van SO3(Z)-banen van dergelijke punten, als die niet leeg is, met de verzameling van isomor_e klassen van torsors onder de stabilisator groep. Deze laatste verzameling is een groep, isomorf met de groep van isomor_e klassen van projectieve rang _e_en modulen over de ring Z[1/2, √- n]. Dit geeft een a_ene ruimte structuur op de verzameling van SO3(Z)-banen op de bol. In Hoofdstuk 3 geven we een volledig bewijs van de stelling van Gauss zoals geschetst door Edixhoven, en een nieuw bewijs van Legendre's stelling over het bestaan van een primitieve gehele oplossing van de vergelijking x2 +y2 +z2 = n met schoven theorie. In hoofdstuk 4 maken we de werking gegeven door de schoven theorie van de Picard groep op de verzameling van SO3(Z)-banen op de bol expliciet, in termen van SO3(Q).