[pt] O objetivo deste trabalho é o estudo das condições para a estabilidade de sistemas lineares discretos de dimensão infinita invariantes no tempo, evoluindo em um espaço de Hilbert. Apresentaremos uma vasta coleção de resultados sobre estabilidade assintótica uniforme, incluindo uma condição espectral equivalente. Em relação à estabilidade assintótica fraca, analisaremos tanto a dificuldade de se estabelecer uma condição necessária e suficiente sobre o espectro do operador, como também sua relação com similaridade a contração. Por último, apresentaremos alguns resultados disponíveis sobre estabilidade assintótica forte para algumas classes específicas de operadores. / [en] The purpose of this work is to analyse stability conditions for infinity-dimensional linear discrete systems operating in a Hilbert space. Whe shall present a wide collections of results on uniform asymptotic stability, incluiding an equivalent spectral condition. Concerning the weak asymptotic stability, we shall analyse the dificulty associated to the problem of attempting to establish a necessary and sufficient condition involving the spectral of the system operator. The relation between weak asymptotic stability and similarity to a contraction will be analysed as well. Finally, we shall present some of the available results concerning strong asymptotic stability for particular classes of operators.

Pretendemos entender a filosofia de Espinosa, em especial, a sua Ética ordine geometrico demonstrata, a partir de uma operação conflituosa bem específica entre, por um lado, a perspectiva do transcendente (ou a teologia racional) e, por outro, um desejo de salvação mundana; entre o projeto da filosofia imanentista de Espinosa e um mundo submetido ao poder teológico-político; e entre o texto teológico e o método da escrita da filosofia de Espinosa. Tais operações estruturam o cerne de nosso trabalho, no qual visamos entender o nexo causal na passagem de um Deus sive natura absolutamente infinito para nós, os modos finitos desta mesma natureza, de maneira a chegarmos a um entendimento que possa nos garantir não apenas ser, mas tomar parte ativamente neste absolutamente infinito. Não só procuraremos caminhar neste solo conflituoso, mas ainda proporemos tratá-lo com um procedimento que em si enfatiza conflitos, pois visamos responder às nossas questões acerca da filosofia da imanência, de Deus, da passagem do infinito ao finito a partir de uma aproximação entre a obra de Espinosa e o complexo universo artístico da literatura, das artes plásticas e da música do século XVII barroco. Além disto, procuramos demonstrar a hipótese de que a singularidade da Ética enquanto texto, expressa por uma forma textual filosófica sem precedentes, produz uma questão conceitual extremamente complexa que se funde à própria idéia do absolutamente infinito. Pois se a síntese da geometria dos indivisíveis, do século XVII, fornece-nos uma nova idéia de infinito (como amplamente discutiremos) e se a ordem geométrica da demonstração da Ética é fruto desta mesma síntese, então o livro deve necessariamente trazer, já, em sua fartura textual esta idéia de infinito. (Continua) / We intended to understand Espinosa\'s philosophy, especially, his Ethics ordine geometrico demonstrata, starting from a very specific conflicting operation against, on one side, the perspective of the transcendent (or the rational theology) and, on other, a desire for a mundane salvation; between the project of Espinosa\'s immanentist philosophy and a world submitted to the theological-political power; and between the theological text and the method of writing of Espinosa\'s philosophy. Such operations structure the core of our work, in which we seek to understand the causal connection in the passage from a God sive natura, absolutely infinite, to us, the finite manners of his same nature, in way that we can arrive to an understanding that can guarantee to us not to be a part, but to take part actively in this absolutely infinite. Not only we will try to walk in this conflicting path, but we intend to treat it with a procedure that emphasizes conflicts in itself, for we aim to answer our subjects - concerning the philosophy of the immanence, God, and the passage from the infinite to the finite - dealing with an approach between Espinosa\'s work and the complex artistic universe of literature, visual arts and music from the Baroque XVII century. Farther, we intend to demonstrate the hypothesis that the singularity of the Ethics while a text, expressed by an unprecedented philosophical textual form, produces an extremely complex conceptual subject that merges to the same idea of the absolutely infinite present in the Ethics. For if the synthesis from the geometry of the indivisibles, of the XVII century, provide us a new idea of the infinite (as we will extensively discuss) and if the geometric order on the demonstration of the Ethics is a fruit of this same synthesis, then the book should necessarily bring, already, in its textual profusion 7 this idea of the infinite. In other words, the idea of the geometric-synthetic order, key to the formulation of the absolutely infinite, already takes place in the textual structure ordine geometric demonstrata of the Ethics. Thus, we look forward to demonstrate that the order of exposition of the text in the Ethics operates with the same idea expressed by its ontology (the idea that is also expressed in mathematics by the geometrical synthesis). Farther on, we will insist that the formal articulation of the Ethics renders to us patent the fruition of the infinite, because we believe that such work while a text and as text, already expresses to its reader the experience of this new synthesis of an indivisible absolutely infinite.

Orientadores: Itala Loffredo D'Ottaviano, Jairo Jose da Silva / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-11T05:11:27Z (GMT). No. of bitstreams: 1 Santos_EberthEleuteriodos_D.pdf: 1563979 bytes, checksum: 4ce7cd812f548d70c8712c18785b0178 (MD5) Previous issue date: 2008 / Resumo: Georg Cantor foi um dos mais importantes matemáticos do final do século XIX. A idealização de sua teoria de conjuntos representa um marco no desenvolvimento da matemática. De fato, o aparecimento e o desenvolvimento dessa teoria tiveram profundas conseqüências que não se limitaram ao círculo da matemática. O debate científico que se seguiu a certos resultados como, por exemplo, a apresentação dos números transfinitos, reavivou uma discussão que remonta a antigas disputas ontológicas da filosofia présocrática, exatamente àquelas discussões que se voltavam para a afirmação do Ser como infinito. Essa discussão nasce na Grécia antiga e perpassa toda a história do pensamento ocidental. Conhecemo-la por meio de nomes como Anaximandro, Pitágoras, Parmênides, Platão, Aristóteles. Atravessando os séculos, essas idéias povoaram a mente de personagens como Bruno, Galileu, Leibniz, Kant e muitos outros. Nos séculos XIX e XX, os trabalhos de Cantor reavivaram e deram novo impulso ao tema. Esforçamo-nos em mostrar que estes trabalhos são absolutamente revolucionários. Motivados pelo filósofo da ciência Thomas Kuhn, concluímos que o aparecimento da Teoria de Conjuntos de Cantor representa a revisão de um antigo paradigma filosófico-matemático. Paradigma este que teve sua primeira elaboração lógica e filosófica com Aristóteles e que se desenvolveu como a maneira dominante de pensar a idéia de infinito. Destacamos que alguns dos aspectos apontados por Kuhn como sintomáticos de uma revolução científica estão presentes no trabalho de Cantor e que há, possivelmente, outras maneiras de argumentar em favor da qualidade revolucionária deste trabalho. Em um sentido mais amplo, foi-nos possível vislumbrar que o desenvolvimento da matemática também pode ser lido através do enfoque das revoluções, e o mais recente exemplo disto é representado pelo esforço intelectual de Cantor / Abstract: Georg Cantor is one of the most important mathematicians of the end of the 19th century. The idealization of the set theory represents a landmark in the development of mathematics. In fact, the creation and development of this theory had deep consequences not restricted only to the circle of mathematics. The scientific debate that followed some of the results, as for instance the presentation of the transfinite numbers, revived a quarrel that retraced old ontological disputes of the pre-Socratic philosophy, accurately topics like the being of the infinite. This quarrel is born in old Greece and crosses all the history of the occidental philosophical think. We know it through names like Anaximander, Pitagore, Parmmenides, Plato, Aristotle among others. Crossing the centuries, such ideas fill the mind of characters like Bruno, Galileo, Leibniz, Kant and others. In the 19th and 20th centuries, Cantor¿s works give a new life and color to the subject. In this thesis, we argue that these works are absolutely revolutionary. Based on Thomas Kuhn¿s conception, we conclude that the appearance of Cantor¿s set theory represents the disruption of one old philosophical-mathematical paradigm. Such a paradigm, that had its first logical and philosophical elaboration by Aristotle, had characterized the dominant way of thinking the concept of infinite. We have succeeded in detaching that some aspects pointed by Kuhn as symptomatic of a scientific revolution are present in Cantor¿s work and we also propose other ways to argue in favour of the revolutionary aspect of this work. In a more ample sense, we glimpse that the development of mathematics can also be understood by means of revolutions, whose more recent example seems to be the intellectual effort of Cantor / Doutorado / Doutor em Filosofia

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-12-19T17:24:21Z No. of bitstreams: 1 franciscodealmeidabessa.pdf: 740907 bytes, checksum: cc826235c4dedba90ec2bb1c09c5543e (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-12-22T12:31:03Z (GMT) No. of bitstreams: 1 franciscodealmeidabessa.pdf: 740907 bytes, checksum: cc826235c4dedba90ec2bb1c09c5543e (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-07T12:35:48Z (GMT) No. of bitstreams: 1 franciscodealmeidabessa.pdf: 740907 bytes, checksum: cc826235c4dedba90ec2bb1c09c5543e (MD5) / Made available in DSpace on 2017-02-07T12:35:49Z (GMT). No. of bitstreams: 1 franciscodealmeidabessa.pdf: 740907 bytes, checksum: cc826235c4dedba90ec2bb1c09c5543e (MD5) Previous issue date: 2011-09-06 / O infinito matemático, objeto altamente abstrato, é motivo de estudos, discussões, e por que não dizer temores? Desde Zenão, na Grécia antiga, até os livros didáticos do ensino básico nos dias de hoje, constitui um dos entes matemáticos mais importantes na compreensão de fenômenos que estejam ligados, de certa forma, à Matemática. Pretende-se, como principal objetivo deste trabalho, com olhar na cardinalidade dos conjuntos, tentar aproximar esse árido campo da Matemática, em uma linguagem mais simples que possa envolver professores dessa disciplina do ensino básico, não só para utilizar esses conceitos, adaptando-os aos respectivos conteúdos de cada série, mas também, principalmente, enriquecer o próprio conhecimento, pelo fato de a Análise Real, âncora de uma Matemática avançada, estar estruturada nos conceitos de limite que, obrigatoriamente, passam pelo infinito. / The extremely abstract object, matemathical infinite is the motivation for studies, discussions and why could not say fears? Since Zenon, in ancient Greece, until the recent books for basic teaching, the infinite is one of the most important mathematician entity in the comprehension of the phenomenon that is to a certain extent connected to Mathematics. The main object of this work is to try to convert his hard aspect of Mathematics in a simple language that could evolve teachers, not only to use these concepts in the classroom, adapting to each grade; but also and mainly to enrich their own knowledge. Taking into consideration that the Real Analysis, which is the base of an Advanced Math, is structured in the concepts of limits that goes through infinite.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Esta dissertaÃÃo apresenta resultados sobre coberturas de grupos por sub-grupos abelianos, subgrupos de Sylow e subgrupos normais. O Teorema de Neumann à indispensÃvel no estudo das coberturas por subgrupos. Apresentamos no apÃndice C uma prova elementar de um resultado muito importante nas coberturas p-Sylow. / The paper results on the Coverage groups by abelian subgroups, subgroups of Sylow and normal subgroups. We present in appendix C an elementary proof a very important result in the coverage p-Sylow.

[pt] Apresentamos, nesta dissertação, a teoria dos modos de Espinosa, tendo como pano de fundo a P.8 da Parte II da Ética, onde surge uma aparente ruptura na simetria entre os nexos causais dos modos infinitos e finitos dos atributos pensamento e extensão, imposta pela tese do paralelismo universal, principal tese do sistema espinosista. Esta assimetria comprometeria a aplicabilidade da tese paralelista à teoria dos modos tal como formulada na Parte I da Ética. Por isso buscamos, no decorrer deste trabalho, apresentar uma interpretação da teoria dos modos que possa dissolver esta aparente contradição, garantindo a aplicabilidade da tese paralelista à teoria dos modos e mostrando que a questão levantada a partir da P.8 da Parte II da Ética não deve ser considerada uma dificuldade real. / [en] In this work, we present Spinoza´s theory of modes, against the background of proposition 8 of the Book II of the Ethics. This proposition seems to break the symmetry between the causal nexus of the infinite and finite modes of the attributes of thought and extension, wich follows from the doctrine of universal parallelism, core thesis of Spinoza’s system. This asymmetry seems to compromise the applicability of the parallelist thesis to the theory of modes, as it is presented in Ethics, Book I. Therefore we try to offer an account of the theory of modes, that would solve this seeming contradiction, assuring the applicability of the parallelist thesis to the theory of modes and showing that the question that arises from proposition 8 in Ethics Book II should not be considered a true difficulty.

This thesis is a survey of the field of languages over infinite sequences. There is active research going on in this field, during the last year several new results where published. We investigate the language containment problem for infinite sequences, with focus on complementation of Büchi automata. Our main focus is on the approach with alternating automata by Kupferman&Vardi. The language containment problem has been proved to be in EXPSPACE. We identify some cases when we can avoid the exponential blow-up by taking advantage of properties of the input automaton. Some of the algorithms we explain are also implemented in a Sicstus Prolog library.

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

In this thesis, we explore some asymptotic results in heavy-tailed theory. There are many empirical and compelling evidence in statistics that require modeling with heavy tailed observations. This thesis is divided into three parts. First, we consider a robust estimation of the mean vector for a sequence of independent and identically distributed observations in the domain of attraction of a stable law with possibly different indices of stability between 1 and 2. The suggested estimator is asymptotically normal with unknown parameters. We apply an asymptotically valid bootstrap to construct a confidence region for the mean vector. Furthermore, a simulation study is performed to show that the estimation method is efficient for conducting inference about the mean vector for multivariate heavy-tailed observations. In the second part, we present the asymptotic distribution of M-estimators for parameters in an unstable AR(p) process. The innovations are assumed to be in the domain of attraction of a stable law with index 0 < α ≤ 2. In particular, when the model involves repeated unit roots or conjugate complex unit roots, M- estimators have a higher asymptotic rate of convergence compared to the least square estimators. Moreover, we show that the asymptotic results can be written as Ito stochastic integrals. Finally, the preceding methodologies lead to develop the asymptotic theory of M-estimators for parameters in unstable AR(p) processes with nonzero location parameter. Similar to the preceding cases, we assume that the process is driven by innovations in the domain of attraction of a stable law with index 0 < α ≤ 2. In this thesis, for all models, we also cover the finite variance case (α = 2).

In this thesis the author presents a history of non-convergent series which, in the past, played an important role in mathematics. Euler's formula, Stirling's series and Poincare's theory are examined to show the development of asymptotic series, a subdivision of divergent series.