Orientador : Mario Carvalho de Matos / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T00:46:54Z (GMT). No. of bitstreams: 1 Souza_MarcelaLucianoVilelade_D.pdf: 699947 bytes, checksum: a087d1a4654b677def08d8e048c7d43a (MD5) Previous issue date: 2003 / Doutorado / Doutor em Matemática

Orientador : Paulo R. Brumatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T08:47:20Z (GMT). No. of bitstreams: 1 Takatsuka_Paula_M.pdf: 2626345 bytes, checksum: 95831fb5d9c692cd5bb397fdaa771d74 (MD5) Previous issue date: 2003 / Resumo: Neste trabalho, introduzimos os conceitos básicos e fundamentais da álgebra comutativa e da geometria algébrica a fim de que se faça um estudo inicial e detalhado dos operadores diferenciais no contexto da Conjectura de Nakai. Apresentamos resultados a respeito da veracidade da conjectura para curvas planas, cones em espaço tridimensional e k-álgebras afins definidas por ideais monomiais, onde k é um corpo de característica zero. Por fim, usando o conceito de D-simplicidade, apresentamos uma prova simples, e independente da característica, da Conjectura de Nakai para curvas / Abstract: In this work, we introduce some general concepts of commutative algebra and algebraic geometry to give an initial and careful treatment of differential operators on an affine algebraic variety in the context of Nakai's Conjecture. We present some results concerning the veracity of the conjecture for plane curves, cones in 3-space and affine k-algebras defined by monomial ideals where k is a field of characteristic zero. Finally, using the notion of D-simplicity, we present a simple characteristic-independent proof of Nakai's Conjecture for curves / Mestrado / Mestre em Matemática

Orientador: Jorge Tulio Mujica Ascui / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-25T10:54:30Z (GMT). No. of bitstreams: 1 Nicolau_JaquelineBorges_M.pdf: 1208983 bytes, checksum: b95dbbe16d602e7ee6149a3cdb899867 (MD5) Previous issue date: 1999 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Alfredo Miguel Ozorio de Almeida / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin / Made available in DSpace on 2018-07-14T01:05:27Z (GMT). No. of bitstreams: 1 Carvalho_RicardoEgydiode_D.pdf: 3695529 bytes, checksum: 1bbf1e519fe89b8dd4b9816f522b105e (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Física / Doutor em Ciências

Orientador: Odelar Leite Linhares / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-07-17T01:45:26Z (GMT). No. of bitstreams: 1 JoseFilho_SebastiaoAntonio_M.pdf: 5144215 bytes, checksum: 04e351efc6ee4573a8358a8acf4e7c5e (MD5) Previous issue date: 1972 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Estudia un sistema de Bresse con dos realimentaciones distribuidas localmente, que se emplean en la mecánica de solidos deformables. En el presente estudio se obtiene la existencia, unicidad de solución y el decaimiento exponencial y polinomial de la energía asociada al Sistema de Bresse Amortiguados por dos realimentaciones localmente distribuidas. Utilizaremos la teoría de semigrupos y del resolvente de un generador infinitesimal para analizar la existencia y unicidad de la solución, además cuando las velocidades de onda sean iguales se demostrará la estabilidad exponencial y si son distintas no será exponencialmente estable, pero será polinomialmente estable. / Tesis

Esta tesis tiene dos objetivos fundamentales. El primer objetivo es presentar y desa- rrollar una representación y dualidad topológica para variedades de álgebras que corres- ponden a los reductos {→} y {→, ∨} de la variedad de las álgebras de Heyting. Estas representaciones están basadas en un clase particular de espacios topológicos conocidos como espacios sober. Es un hecho bien conocido que toda álgebra de Heyting es repre- sentable como subálgebra del álgebra de Heyting de todos los subconjuntos crecientes de un conjunto ordenado. También es sabido que un álgebra de Heyting es representa- ble como una subálgebra del conjunto de todos los abiertos de un espacio topológico T0. Estas representaciones tienen muchas aplicaciones tanto en el estudio algebraico de es- tas estructuras como en las aplicaciones de la l ógica intuicionista Int y algunas de sus extensiones. Además, estas representaciones son la base para las conocidas dualidades topológicas de Priestley y de Stone para las álgebras de Heyting. Cuando miramos algún subreducto de las álgebras de Heyting, como por ejemplo, en las álgebras que correspon- den al fragmento implicativo, conocidas como álgebras de Hilbert, la teoría de represen- tación y dualidad desarrollada para las álgebras de Heyting no es directamente aplicable a estos fragmentos. El primer resultado que conocemos sobre representación de un álgebra de Hilbert se encuentra en la tesis de A. Diego [29]. En dicha tesis aparece un teorema de representación tipo Stone, pero este resultado no tuvo un impacto muy significativo ya que es insuficiente para desarrollar una dualidad categórica. El primer objetivo de esta tesis es, justamente, presentar una dualidad topológica completa para las álgebras de Hil- bert y extender esta dualidad a la variedad de las álgebras de Hilbert con supremo. Estos resultados están basados en los espacios topológicos conocidos como espacios sober y extienden a los dados por M. Stone [67]. Primero probamos que la categor´ıa formada por álgebras de Hilbert con semi-homomorfismos como morfismos es dualmente equivalente a la categoría de espacios de Hilbert con ciertas relaciones binarias. También obtenemos una dualidad para las álgebras de Hilbert con homomorfismos. Aplicamos estos resulta- dos para demostrar que el retículo de sistemas deductivos de un álgebra de Hilbert y el ret´ıculo de subconjuntos abiertos de su espacio de Hilbert dual, son isomorfos. Explo- ramos cómo esta dualidad está relacionada con la dada en [18] para álgebras de Hilbert finitas, y con la dualidad topológica desarrollada en [19] para álgebras de Tarski. Todos estos resultados son presentados en el Capítulo 3. La otra variedad asociada a un fragmento de la lógica Int que estudiamos es la va- riedad de las álgebras de Hilbert con supremo, i.e., álgebras de Hilbert donde el orden asociado es un supremo-semiret´ıculo. Extendemos la dualidad encontrada para las álge- bras de Hilbert al caso de las álgebras de Hilbert con supremo. Probamos que el conjunto ordenado de todos los ideales de un álgebra de Hilbert con supremo tiene estructura de retículo. Demostramos que en este retículo es posible definir una implicación, pero la estructura resultante no es un álgebra de Heyting ni tampoco es un semiretículo implica- tivo. Damos una descripción dual para el retículo de ideales de un álgebra de Hilbert con supremo. Estos resultados son presentados en el Capítulo 5. El segundo objetivo fundamental de esta memoria está centrado en estudiar algunas extensiones modales de las álgebras de Hilbert y de las álgebras de Hilbert con supre- mo. Estas extensiones corresponden a fragmentos de algunas extensiones modales de la l ógica intuicionista Int. En esta memoria nos hemos centrado únicamente en dos frag- mentos. Primero introducimos la variedad de álgebras de Hilbert con un operador mo- dal , llamadas H -álgebras. La variedad de H -álgebras es la contraparte algebraica del {→, }-fragmento de la lógica modal intuicionista IntK , al cual denotamos con IntK→. Estudiamos la teoría de representación y damos una dualidad topológica para la variedad de H -álgebras. Aplicamos estos resultados para probar que la l ógica modal implicativa IntK→ es canónica y por lo tanto es completa. Determinamos las álgebras simples y subdirectamente irreducibles en algunas subvariedades de H -álgebras. Tam- bien estudiamos una interesante variedad de álgebras, llamadas álgebras de Hilbert Lax. Todos estos resultados son presentados en el Caíıtulo 4. El otro fragmento que investigamos es el fragmento {→, ∨, ♦} de la lógica modal in- tuicionista IntK♦. Introducimos y estudiamos la variedad de H∨ ♦ -álgebras, las cuales son álgebras de Hilbert con supremo enriquecidas con un operador modal ♦. Damos una re- presentación topológica para estas álgebras usando la representación topológica obtenida para las álgebras de Hilbert con supremo. Consideramos algunas subvariedades particula- res de H∨ ♦ -álgebras. Estas variedades son la contraparte algebraica de algunas extensiones del fragmento implicativo de la l ógica modal intuicionista IntK♦. Usamos la representa- ción topológica obtenida para lasH∨ ♦ -álgebras para probar que la l ógica modal implicativa IntK→ ♦ es canónica, y en consecuencia la lógica IntK→ ♦ es completa. Tambi´en determi- namos las congruencias de las H∨ ♦ -álgebras en términos de ciertos subconjuntos cerrados del espacio asociado, y en términos de una clase particular de sistemas deductivos. Es- tos resultados nos permitieron caracterizar las H∨ ♦ -álgebras simples y subdirectamente irreducibles. Estos resultados son presentados en el Capítulo 6. / This thesis has two main objectives. The first objective is to present and develop a representation and a topological duality for some varieties of algebras corresponding to the reducts {→} and {→, ∨} of the variety of Heyting algebras. These representations are based on a particular class of topological spaces known as sober spaces. It is well- known that every Heyting algebra is representable as a subalgebra of Heyting algebra of all increasing subsets of a poset. Also, a Heyting algebra is representable as a subalgebra of the set of all open subsets of a topological space T0. These representations have many applications the algebraic study of these structures and applications of intuitionistic lo- gic Int and some of its extensions. Moreover, these representations are the basis for the known topological dualities of Priestley and Stone for Heyting algebras. When we look at some subreduct of Heyting algebras, for example, algebras corresponding to the implica- tive fragment, known as Hilbert algebras, representation theory and duality developed for Heyting algebras is not directly applicable to these fragments. The first result we know about representation of a Hilbert algebra is the thesis of A. Diego [29]. In this thesis a theorem of Stone representation type appears, but this result did not have a significant impact because this theorem is insufficient to develop a categorical duality. The first ob- jective of this thesis is precisely present a complete topological duality for Hilbert algebras and extend this duality to the variety of Hilbert algebras with supremum. These results are based on topological spaces known as sober spaces and extend those given by M. Stone [67]. First we prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations.We also obtained a duality for Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic.We explore how this duality is related to the duality given in [18] for finite Hilbert algebras, and with the topological duality developed in [19] for Tarski algebras. All these results are presented in Chapter 3. The other variety associated to a fragment of the logic Int that we study is the variety of Hilbert algebras with supremum, i.e., Hilbert algebras where the associated order is a join-semilattice. We extend the duality for Hilbert algebras to the case of Hilbert algebras with supremum. We prove that the ordered set of all ideals of a Hilbert algebra with supremum has a lattice structure. We also see that in this lattice it is possible to define an implication, but the resulting structure is neither a Heyting algebra nor an implicative semilattice. We give a dual description of the lattice of ideals of a Hilbert algebra with supremum. These results are presented in Chapter 5. The second main objective of this memory is centered on studying some modal exten- sions of Hilbert algebras and Hilbert algebras with supremum. These extensions corres- pond to fragments of some modal extensions of intuitionistic logic Int. In this memory we have focused on only two fragments. First we introduce the variety of Hilbert algebras with a modal operator , called H -algebras. The variety of H -algebras is the alge- braic counterpart of the {→, }-fragment of the intuitionitic modal logic IntK , which we denoted by IntK→ . We study the theory of representation and we give a topological duality for the variety of H -algebras. We use these results to prove that the basic impli- cative modal logic IntK→ is canonical and therefore is complete. We also determine the simple and subdirectly irreducible algebras in some subvarieties of H -algebras. These results are presented in Chapter 4. The other fragment investigated is the fragment {→, ∨, ♦} of intuitionistic modal lo- gic IntK♦.We introduce and study the variety ofH∨ ♦ -algebras, which are Hilbert algebras with supremum endowed with a modal operator ♦. We give a topological representation for these algebras using the topological spectral-like representation for Hilbert algebras with supremum given in [22].We consider some particular varieties of H∨ ♦ -algebras. The- se varieties are the algebraic counterpart of extensions of the implicative fragment of the intuitionistic modal logic IntK♦. We use the topological representation for H∨ ♦ -algebras to prove that the implicative modal logic IntK→ ♦ is canonical, and consequently the logic IntK→ ♦ is complete. We also determine the congruences of H∨ ♦ -algebras in terms of cer- tain closed subsets of the associated space, and in terms of a particular class of deductive systems. These results enable us to characterize the simple and subdirectly irreducible H∨ ♦ -algebras. These results are presented in Chapter 6.

Em Morfologia Matemática diversos operadores são definidos pela diferença entre outros dois operadores, como por exemplo, o gradiente morfológico, definido como a diferença entre a dilatação e a erosão. Estes operadores são denominados operadores residuais, sendo alguns deles definidos por valores residuais extraídos de famílias indexadas de operadores, como por exemplo, o esqueleto por discos maximais e a última abertura. Neste sentido, visa-se neste trabalho investigar a extração de informações residuais em famílias indexadas de operadores. Mais precisamente, em famílias de operadores conexos conhecidos como levelings. Os levelings são operadores que não criam novas estruturas (contornos e extremos regionais) e seus valores são limitados pelos valores da imagem de referência. Assim, é apresentada nesta tese uma classe de operadores residuais denominada últimos levelings, a qual consiste de poderosos operadores residuais definidos a partir de resíduos gerados por operadores consecutivos de um espaço de escala baseado em levelings. Dessa forma, objetos contrastantes podem ser detectados se relevantes resíduos são gerados quando eles são filtrados por um desses levelings. Os valores residuais revelam importantes informações sobre contrastes presentes em uma imagem. Além dos valores residuais, outras informações associadas com eles podem ser obtidas no momento da extração residual, tais como os índices dos operadores que produziram os valores residuais. Com base nessas considerações, as principais contribuições originais desta pesquisa, incluem: (i) demonstrar que árvores construídas a partir de conjuntos de níveis representam espaços de escalas baseados em levelings; (ii) introduzir a classe dos últimos levelings, passando por definições, conceitos, algoritmos, propriedades e relações com outros operadores conhecidos na literatura; (iii) apresentar estratégias para construção de operadores últimos levelings. Por fim, são apresentadas aplicações dos últimos levelings em problemas de análise e processamento de imagens. / In Mathematical Morphology several operators are defined by the difference between two operators, such as morphological gradient, defined as the difference between the dilation and erosion. These operators are called residual operators, being that some are defined by the extracted residual values from of an indexed family of operators, for example, the skeleton by maximal discs and the ultimate opening. In this sense, we intend to investigate the extraction of residual information in families of operators. More precisely, in families of connected operators known as levelings. The levelings are operators that do not create new structures (contours and regional extremes) and their values are limited by the values of the reference image. Thus, we present in this thesis a class of residual operators named ultimate levelings, which consist of powerful residual operators defined from a scale space based on levelings. With a multi-scale approach, these operators analyze an image under a series of levelings. Thus, contrasted objects can be detected if a relevant residue is generated when they are filtered out by one of these levelings. The residual values reveal important informations about contrasts present in an image. In addition of residual values, other information associated with them can be obtained at the time of extraction residual, such as the indexes of operators who produced the residual values. Based on these considerations, the main original contributions of this research include: (i) demonstrate that the trees constructed from level sets represent an scale space based on levelings; (ii) introduce the class of levelings ultimate, passing by definitions, concepts, algorithms, properties and relationships with other known operators in the literature; (iii) show some strategies for building levelings ultimate operators. Finally, we present applications of levelings ultimate in problem of image processing and analysis.

Dado E um espaço vetorial topológico e T um operador linear contínuo em E, diremos que T é hipercíclico se, para algum elemento x pertencente a E, a órbita de x sob T, Orb(x,T)={x, Tx, T^2 x,...}, for densa em E. Nosso objetivo será apresentar alguns resultados sobre hiperciclicidade e observar como alguns espaços comportam-se diante dessa classe de operadores. \\\\ / Let E be a topological vector space and T a continuous linear operator on E. We say that T is hypercyclic if, for some x in E, the orbit of x on T, Orb(x,T)={x, Tx, T^2 x,...}, is dense in E. Our aim will be to study some results about hypercyclicity and to observe how some spaces behave regarding this class of operators.

Dado E um espaço vetorial topológico e T um operador linear contínuo em E, diremos que T é hipercíclico se, para algum elemento x pertencente a E, a órbita de x sob T, Orb(x,T)={x, Tx, T^2 x,...}, for densa em E. Nosso objetivo será apresentar alguns resultados sobre hiperciclicidade e observar como alguns espaços comportam-se diante dessa classe de operadores. \\\\ / Let E be a topological vector space and T a continuous linear operator on E. We say that T is hypercyclic if, for some x in E, the orbit of x on T, Orb(x,T)={x, Tx, T^2 x,...}, is dense in E. Our aim will be to study some results about hypercyclicity and to observe how some spaces behave regarding this class of operators.