31 |
A construção do conjunto dos números reais utilizando a teoria de cortesFernandes Junior, Valter Costa 25 July 2018 (has links)
Submitted by Renata Lopes (renatasil82@gmail.com) on 2018-11-22T18:07:56Z
No. of bitstreams: 1
valtercostafernandesjunior.pdf: 388313 bytes, checksum: 7d0cb8ba74384e6dff1ef859aa5dc984 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-11-23T12:49:37Z (GMT) No. of bitstreams: 1
valtercostafernandesjunior.pdf: 388313 bytes, checksum: 7d0cb8ba74384e6dff1ef859aa5dc984 (MD5) / Made available in DSpace on 2018-11-23T12:49:37Z (GMT). No. of bitstreams: 1
valtercostafernandesjunior.pdf: 388313 bytes, checksum: 7d0cb8ba74384e6dff1ef859aa5dc984 (MD5)
Previous issue date: 2018-07-25 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente trabalho surge de um incômodo do autor sobre a construção do conjunto dos
Números Reais, mais especificamente na parte axiomática. Sendo assim, buscou-se novas
formas de pensar tal objeto matemático com o intuito de aprofundar o conhecimento
sobre o assunto. Como objetivo principal desse trabalho, nossa ideia foi esmiuçar a teoria
dos cortes, facilitando o entendimento das demonstrações e propriedades para aqueles
que tenham o interesse em conhecer ou estudar tal teoria, podendo vir a ser um manual
para os interessados (possivelmente professores ou futuros professores de matemática).
Pesquisar ou analisar a forma como é posto e trabalhado o conjunto dos números reais
nos livros didáticos do ensino médio é o objetivo secundário de nosso trabalho. Em
relação ao objetivo principal, esmiuçamos a teoria dos cortes nos baseando quase que
na totalidade no livro A construção dos números, colocamos nosso toque pessoal nas
demonstrações, nos comentários e incluímos alguns resultados como pré requisitos. Em
relação ao objetivo secundário, foi analisada a abordagem de cinco livros didáticos sobre o
conteúdo de números reais. Para tal, criamos eixos de análise a fim de focar o nosso olhar
para alguns elementos que consideramos importantes, a saber: definição de número real;
propriedades operatórias; correspondência biunívoca entre os números reais e os pontos
de uma reta numerada e; intervalos reais. Acreditamos que, a construção do conjunto
dos números reais por meio da teoria dos cortes pode agregar mais formas de pensar o
objeto de nosso estudo. Essa construção não é muito trabalhada nos cursos de formação
de professores, assim pensamos que nosso trabalho pode ser uma oportunidade de difundir
essa teoria para docentes e futuros docentes. / The present work arises from an annoyance of the author on the construction of the set
of Real Numbers, more specifically in the axiomatic part. Thus, we sought new ways of
thinking such a mathematical object in order to deepen knowledge about the subject. As
the main objective of this work, our idea was to scrutinize the cut theory, facilitating the
understanding of the demonstrations and properties for those who have an interest in
knowing / studying such a theory and could be a manual for those interested (possibly
teachers or future teachers of math). Searching / analyzing how the set of real numbers in
high school textbooks is presented and taught is the secondary objective of our work. In
relation to the main purpose, we have broken down the theory of cuts by relying almost
entirely on the book "The construction of numbers", we have put our personal touch on
the statements, in the comments and included some results as prerequisites. In relation to
the secondary objective, the approach of five textbooks on the content of real numbers was
analyzed. To do this, we create axes of analysis in order to focus our look at some elements
that we consider important, namely: definition of real number; operations properties;
one-to-one correspondence between the real numbers and the points of a numbered line;
intervals. We believe that the construction of the set of real numbers through the theory of
cuts can add more ways of thinking the object of our study. This construction is not much
worked on teacher training courses, so we think that our work may be an opportunity to
spread this theory to teachers and teachers to be.
|
32 |
A construção ortodoxa dos números : dos números naturais aos complexosOliveira, Wesley Sidney Santos 20 April 2017 (has links)
In this work, we investigated the construction of natural, integer, rational, real, complex, quaternion
and Octonion numbers. More precisely, the set of real numbers was achieved by applying
two methods: Dedekind Cuts and Equivalence Classes of Cauchy Sequences. Our study is only
based on using Peano Axioms, which are directly related to the natural numbers, in order to get
the basic properties satis ed by these numbers. In addition, we carefully proved the elementary
results involving real numbers. This process in question was developed constructively throughout
of the concepts of the integer and rational numbers. Next, we show that it is possible to establish
the existence of complex numbers along with their more usual arithmetic properties. Finally, we
nish each chapter of our work showing some possible applications in each set worked. / No presente trabalhos, investigamos, cuidadosamente, a construção do números Naturais, inteiros, Racionais, Reais e Complexos. Sendo que, o conjunto dos números reais foi obtido através dos conhecidos métodos: Cortes de Dedekind e Classes de Equivalência por sequência de Cauchy. O estudo consistiu em utilizar os famosos Axiomas de Peano, ps quais estão relacionados aos números naturais, em ordem a obter as em conhecidas propriedades elementares, satisfeitas para todos esses números. E, a partir deste conhecimento, encontramos rigorosamente as provas dos resultados básicos envolvendo os números reais. Este processo em questão, foi desenvolvida de maneira construtiva através dos números inteiros e racionais. Em seguida, mostramos que é possível estabelecer a existência de números complexos, juntamente com suas propriedades aritméticas mais usuais. Por fim, terminamos cada capítulo do nosso trabalho, mostrando algumas possíveis aplicações em cada conjunto trabalhado.
|
33 |
L'Approximation diophantienne simultanée et l'optimisation discrèteRodriguez Caballero, José Manuel 12 1900 (has links)
Étant donnée une fonction bornée (supérieurement ou inférieurement) $f:\mathbb{N}^k \To \Real$ par une expression mathématique, le problème de trouver les points extrémaux de $f$ sur chaque ensemble fini $S \subset \mathbb{N}^k$ est bien défini du point de vu classique. Du point de vue de la théorie de la calculabilité néanmoins il faut éviter les cas pathologiques où ce problème a une complexité de Kolmogorov infinie. La principale restriction consiste à définir l'ordre, parce que la comparaison entre les nombres réels n'est pas décidable. On résout ce problème grâce à une structure qui contient deux algorithmes, un algorithme d'analyse réelle récursive pour évaluer la fonction-coût en arithmétique à précision infinie et un autre algorithme qui transforme chaque valeur de cette fonction en un vecteur d'un espace, qui en général est de dimension infinie. On développe trois cas particuliers de cette structure, un de eux correspondant à la méthode d'approximation de Rauzy. Finalement, on établit une comparaison entre les meilleures approximations diophantiennes simultanées obtenues par la méthode de Rauzy (selon l'interprétation donnée ici) et une autre méthode, appelée tétraédrique, que l'on introduit à partir de l'espace vectoriel engendré par les logarithmes de nombres premiers. / Given a (lower or upper) bounded function $f:\mathbb{N}^k \To \Real$ by a mathematical expression. The problem to find the extremal points of $f$ on any bounded set $S \subset \mathbb{N}^k$ is well-defined from a classical point of view. Nevertheless, from a computability theory perspective, it should be avoided the possibility of pathologies when this problem has infinite Kolmogorov complexity. The main constraint is that the order relationship between computable reals is not effectively solvable. We solve this problem by means of a structure containing two algorithms. The first one allows to evaluate the cost function while the second one transforms each value of the cost function in a point in an infinite dimensional vector of a space. We develop three particular cases, one of them corresponding to the Rauzy approximation method. Finally, we make a comparison between the best simultaneous Diophantine approximations obtained by the Rauzy method (our optimization-oriented version of it) and our tetrahedral method, that is one of the main achievement of this work.
|
34 |
Dos números naturais aos números reais / From natural numbers to real numbersCosta, Reinaldo Viana da 09 April 2019 (has links)
Este trabalho apresenta a construção dos conjuntos dos números naturais, inteiros, racionais e reais, buscando contemplar uma mediação entre alunos e professores do ensino médio que possa contribuir em uma abordagem facilitadora para o processo de ensino e aprendizagem. A construção dos conjuntos numéricos é feita de modo progressivo, apresentando leis e propriedades que definem cada um deles. Os capítulos apresentam teoremas que são provados de modo que o leitor possa conseguir, efetivamente, estabelecer um elo entre a teoria matemática e suas abstrações iniciais inerentes aos estudantes em formação. / This work presents the construction of the sets of natural, integer, rational and real numbers, aiming to contemplate a mediation between high school students and teachers that can contribute to an easy approach to the teaching and learning processes. The construction of the numerical sets is done progressively presenting laws and properties that define each one of them. The chapters present theorems that are proven so that the reader can effectively establish a link between mathematical theory and its initial abstractions inherent in the students in formation.
|
35 |
A theory of conditional setsJamneshan, Asgar 25 March 2014 (has links)
Diese Arbeit befasst sich mit der Entwicklung einer Theorie bedingter Mengen. Bedingte Mengenlehre ist reich genug um einen bedingten mathematischen Diskurs zu führen, dessen Möglichkeit wir durch die Konstruktion einer bedingten Topologielehre und bedingter reeller Analysis aufzeigen. Wir beweisen die bedingte Version folgender Sätze: Ultrafilterlemma, Tychonoff, Borel-Lebesgue, Heine-Borel, Bolzano-Weierstraß, und das Gaplemma von Debreu. Darüberhinaus beweisen wir die bedingte Version derjenigen Resultate der klassischen Mathematik, die in den Beweisen dieser Sätze benötigt werden, beginnend mit der Mengenlehre. Wir diskutieren die Verbindung von bedingter Mengenlehre zur Garben-, Topos- und L0-Theorie. / In this thesis, we develop a theory of conditional sets. Conditional set theory is sufficiently rich in order to allow for a conditional mathematical reasoning, the possibility of which we demonstrate by constructing a conditional general topology and a conditional real analysis. We prove the conditional version of the following theorems: Ultrafilter Lemma, Tychonoff, Borel-Lebesgue, Heine-Borel, Bolzano-Weierstraß, and Debreu’s Gap Lemma. Moreover, we prove the conditional version of those results in classical mathematics which are needed in the proofs of these theorems, starting from set theory. We discuss the connection of conditional set theory to sheaf, topos and L0-theory.
|
36 |
Ιστορική εξέλιξη, ερμηνείες και διδακτικές προσεγγίσεις της έννοιας του απειροστούΣτεργίου, Βιργινία 28 September 2009 (has links)
Στόχος της παρούσας Διατριβής είναι να ερευνήσει τη διαμόρφωση των αντιλήψεων γύρω από τα απειροστά και τις σχετικές μ’ αυτά επ’ άπειρον διαδικασίες σε δύο κατευθύνσεις:
1. Την ιστορική εξέλιξη και ερμηνεία της έννοιας του απειροστού και
2. Την ανάλυση των σχετικών αντιλήψεων των φοιτητών-αυριανών καθηγητών των μαθηματικών.
Στο πρώτο μέρος της διατριβής γίνεται ανάλυση και ερμηνεία των αντιλήψεων για τα απειροστά που εκφράστηκαν από την Αρχαία μέχρι τη σύγχρονη εποχή. Η μελέτη αυτή οδηγεί στην κατασκευή ενός ερμηνευτικού πλαισίου που διακρίνει τα ιστορικά ερμηνευτικά πρότυπα (μοντέλα) των απειροστών σε τρία αντιθετικά ζεύγη ως εξής:
Ι. Εντασιακά-Εκτασιακά πρότυπα απειροστών.
ΙΙ. Ομογενή-Μη ομογενή πρότυπα απειροστών.
ΙΙΙ. Μηδενοδύναμα-μη μηδενοδύναμα πρότυπα απειροστών.
Το παραπάνω πλαίσιο χρησιμοποιείται στο δεύτερο μέρος της διατριβής ως μεθοδολογικό εργαλείο για το σχεδιασμό διδακτικών πειραμάτων και την ανάλυση των εμπειρικών δεδομένων. Ειδικότερα, έγιναν τρία διδακτικά πειράματα με φοιτητές του Τμήματος των Μαθηματικών. Στο πρώτο πείραμα ερευνήθηκε η έννοια της ταχύτητας σύγκλισης ακολουθίας ως μια διαισθητική προσέγγιση στα απειροστά. Στο δεύτερο πείραμα, ερευνήθηκε η δυνατότητα προσέγγισης στα απειροστά μέσα από κλασσικά θέματα των διακριτών Μαθηματικών, όπως ο υπολογισμός του αθροίσματος των δυνάμεων φυσικών αριθμών. Στο τρίτο πείραμα έγινε διδασκαλία ενός συγκεκριμένου μοντέλου των υπερ-πραγματικών αριθμών και αναλύθηκαν τα αποτελέσματα.
Τα κυριότερα συμπεράσματα της διατριβής είναι:
1. Η σημασία της κατασκευής μαθηματικών οντοτήτων που ικανοποιούν τα αξιώματα της Πραγματικής Ανάλυσης,
2. Η σημασία της διαισθητικής προσέγγισης και τα όριά της και
3. Η καταλληλότητα των προτεινόμενων μοντέλων και θεμάτων, ως διδακτικού υλικού. / The aim of this Ph.D thesis is the conceptions regarding infinitesimals and infinitesimal processes in two directions:
1. The historical evolution and interpretation of the concept of infinitesimal and
2. The analysis of the conception of the students–prospective teachers of Mathematics.
The first part of the thesis contains a study and an analysis of infinitesimals that appeared in History from Antiquity to our era. This study leads to the construction of a framework of interpretation which distinguishes the interpretative models into three pairs of opposites:
I. Homogenous-Nonhomogenous, models of infinitesimals
II. Intensional-Extensional, models of infinitesimals
III. Nilpotent-Non nilpotent, models of infinitesimals
The above framework is applied in the second part of the thesis, as a methodological tool for the design of didactical experiments with students of Mathematics. The first experiment concerns a research study on the notion of the rate of convergence, as an intuitive approach to infinitesimals. The second experiment is referred to the emergence of infinitesimals through classical themes (issues) of discrete mathematics, such as the computation of sums of powers of integers. The third experiment concerns the teaching of a specific model of Hyper-Real numbers and the analysis of its empirical outcomes.
The main conclusions of this thesis are:
1. The significance of the construction of mathematical entities, which satisfy the axioms of Real Analysis.
2. The significance of the intuitive approach, as well with a focus on its foreseen limitations.
3. The relevance of the proposed models and themes as potential didactical material.
|
37 |
A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real / The computable category of the coherence spaces generated by basic sets with an application in real analysisReiser, Renata Hax Sander January 1997 (has links)
Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, topológica e lógica. Estes espaços, denotados por , constituem uma subcategoria dos Espaços Coerentes, cujos objetos, ordenados pela inclusão, são conjuntos coerentes constituídos por subconjuntos do conjunto básico, os quais estão relacionados pela relação de coerência induzida, que estrutura a teia deste espaço. Os morfismos desta categoria são as funções de objetos geradas por funções básicas. As propriedades algébricas e relacionais destas funções básicas, externas ao processo de construção, ao se propagarem, passam a influenciar na verificação das propriedades internas das funções de objetos. Contudo, este trabalho não é um estudo categórico. A metodologia adotada utiliza a linguagem simples e intuitiva da Teoria dos Conjuntos, que possibilita a visualização e a análise dos relacionamentos existentes, não apenas entre os morfismos que envolvem os objetos totais ou parciais desta categoria, mas também das estruturas ou pré-estruturas externas que os formam, representados pelas funções de tokens e funções básicas. Mostra-se que as funções de objetos são totais e bem definidas, alem de serem monótonas e continuas neste espaço. Entretanto a análise da estabilidade, e consequentemente da linearidade esta associada a injetividade das funções básicas. Uma das características mais importantes da construção proposta e o desenvolvimento de um sistema de representação linear para funções localmente lineares, com a definição do espaço coerente A* gerado pelo produto de subteias. Neste espaço, as funções de objetos são lineares e coincidem com os morfismo da categoria dos espaços coerentes. Além disso, mostra-se que A* e isomorfo ao espaço coerente gerado pelo produto direto dos sub-espaços, ПĄ. Desta forma, toda transformação definida para um tipo de dado estruturado a partir de um conjunto básico enumerável tem uma representação linear, constituída pelos morfismos da categoria dos espaços coerentes. A existência da representação linear para as funções elementares garante a existência da representação linear para outras funções derivadas destas. Apresenta-se ainda uma especificação desta construção, introduzindo-se o Espaço Coerente de Intervalos Racionais, IIQ. Na busca de uma aplicação compatível com uma abordagem computacional, em especial para Análise Real, mostra-se que, em IIQ, cada função real elementar esta identificada com uma função de objetos linear, definida a partir da correspondente função elementar racional. Dentre as funções que foram analisadas destacam-se: a exponencial, a logarítmica, a potência, a potência estendida, a raiz n-ésima, as funções trigonométricas como seno, cosseno e tangente e suas correspondentes funções inversas, como também a função polinomial. Verificou-se que todas estas funções de objetos são totais, bem definidas, ou pertencem ou possuem uma representação linear na categoria COSP-LIN dos espaços coerentes, alem de serem fechadas para os objetos totais e quasi-totais deste espaço, sendo possível estabelecer o correspondente par-projeção para cada uma delas. / In this work the Coherence Spaces Generated by Basic Sets with additional structure are studied. By additional structure one means an algebraic, topological and logical structure with a punctual order and a measure system. These spaces, indicated by A, are a subcategory of the category of Coherence Spaces, whose objects, ordered by inclusion, are coherent sets formed by the induced web coherence relation. The morphisms of this category are the functions of objects generated by basic functions. The algebraic and relational properties of these basic functions - external to the construction process - are propagated and cause important influences in the verification of the internal properties of the functions of objects However, this research is not a categorical study. The methodology uses the simple and intuitive language of the Set Theory, which allows the visualization and the analysis of the existing relationships, not only among, the morphisms of the total and partial objects of this category, but also among their structures or pre-structures, represented by the functions of tokens and basic functions. It is shown that the functions of objects are total and well defined. They are also monotone and continuous. However the stability and the linearity of the functions of objects depend on the fact if the basic functions are injective or not. One of the most important features of this construction is the development of a linear representation system for the local linear functions, by the definition of a coherence space A*, which is generated by the subweb product. In this space the functions of objects are linear and therefore they are the morphisms of the category of Coherence Spaces. Moreover, it is proved that A* is isomorphic to the coherence space generated by the directed product of the subspaces, denoted by ПĄ . Then, for each transformation defined for a structured data type considering a denumerable basic set there exists its related linear representation. The existence of a linear representation for elementary functions guarantees the existence of a linear representation for others derived functions. As an application of this construction, the Coherence Space of Rational Intervals, denoted by IIQ, is introduced. In order to show an application which is compatible to a computational approach, specially for the real analysis, each elementary real function is identified with a linear function of objects, defined considering the related elementary rational function. Some of the analyzed functions are the exponential, the logarithmic, the power , the extended power, the root, the trigonometric (sine, cosine and tangent and their relates inverses), and the polynomial functions. It is proved that all of these functions of objects are total and well defined. Moreover, either they belong to the category COPS-LIN of the coherence spaces or they have a linear representation in the same category. It is also possible to define a related projection pair for each one of them.
|
38 |
Olhares sobre o currículo e o ensino dos números reais nos cursos de licenciatura em matemática : desvelando limites e possibilidadesRuano, Marcos Antonio January 2016 (has links)
Orientador: Prof. Dr. Francisco José Brabo Bezerra / Dissertação (mestrado) - Universidade Federal do ABC, Programa De Pós-Graduação em Ensino, História, Filosofia das Ciências e Matemática, 2016. / O objetivo deste estudo foi identificar os limites e as possibilidades observadas nos processos de ensino dos números reais, em cursos de Licenciatura em Matemática. As reflexões sobre a formação de professores, números reais e currículo foram produzidas a partir das contribuições de vários teóricos e pesquisadores da área relacionados ao ensino dos números reais, especificamente sobre a concepção de estudantes ou professores sobre o conceito destes números, assim reforçando que esse conteúdo é de fundamental importância para a construção de relações numéricas por eles estabelecidas. A metodologia pautou-se numa abordagem qualitativa, nas modalidades exploratória e comparativa. Participaram da pesquisa quatro professores que atuam em cursos de Licenciatura em Matemática, sendo que uma instituição de ensino superior (IES) pertence à rede pública, uma de caráter público e de direito privado e duas são privadas. A coleta de dados foi realizada nas IES dentro do período letivo de março a agosto de 2015, totalizando 52 encontros. Para coletar os dados, tomaram-se por base três instrumentos: questionário com questões fechadas, entrevistas semiestruturadas com questões abertas e notas de campo do pesquisador. A estratégia adotada neste estudo para a análise dos dados coletados foi a técnica de análise de conteúdo com base na abordagem do método indutivo. Como principais resultados, destaca-se não apenas o currículo oculto, que se manifestou nas mais diversas situações das relações entre professor e estudante, bem como as interferências observadas na sala de aula, quando da abordagem dos conteúdos de números reais, sejam do ponto de vista de quem ensina ou de quem aprende. Dentre os limites, podem-se destacar as disciplinas específicas totalmente desarticuladas tanto com as demais disciplinas nos cursos de licenciatura em Matemática como com a prática docente do futuro professor, o que apresenta um grande desafio na Educação Matemática. Em relação às possibilidades, observou-se que a formação do professor de Matemática deve não só ser continuada, mas também garantir a aprendizagem por meio de procedimentos didáticos adequados que possibilitem a aprendizagem e a inserção numa rede de significados, de grande valia para a prática docente. / In the last years of the twentieth century, issues about deaf education have made possible to question approaches based on clinical-therapeutic deafness discourses and models to construct a perspective about cultural, linguistic and social identity of deaf people as belonging to communities who share visual cues. In this sense, this research has allowed a dialogue with the discursive interactions (Mortimer and Scott, 2002), resulting from the meanings making in chemistry classes inserted in a bilingual educational of deaf people. To enlarge our view on the interactions established in this classroom investigated, it was necessary a verbal transcription of Brazilian Sing Language enunciations combined with the resources or/and visual aspects of Brazilian Sing Language to enhance linguistic and sociocultural characteristics occurring in the construction and negotiation of meanings, as an important role in the deaf teaching and learning process. The analytical framework proposed by Mortimer and Scott (2002), a reference framework adopted for this class analysis, allowed the identification of elements of visual meanings in the pedagogical relationship.
|
39 |
A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real / The computable category of the coherence spaces generated by basic sets with an application in real analysisReiser, Renata Hax Sander January 1997 (has links)
Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, topológica e lógica. Estes espaços, denotados por , constituem uma subcategoria dos Espaços Coerentes, cujos objetos, ordenados pela inclusão, são conjuntos coerentes constituídos por subconjuntos do conjunto básico, os quais estão relacionados pela relação de coerência induzida, que estrutura a teia deste espaço. Os morfismos desta categoria são as funções de objetos geradas por funções básicas. As propriedades algébricas e relacionais destas funções básicas, externas ao processo de construção, ao se propagarem, passam a influenciar na verificação das propriedades internas das funções de objetos. Contudo, este trabalho não é um estudo categórico. A metodologia adotada utiliza a linguagem simples e intuitiva da Teoria dos Conjuntos, que possibilita a visualização e a análise dos relacionamentos existentes, não apenas entre os morfismos que envolvem os objetos totais ou parciais desta categoria, mas também das estruturas ou pré-estruturas externas que os formam, representados pelas funções de tokens e funções básicas. Mostra-se que as funções de objetos são totais e bem definidas, alem de serem monótonas e continuas neste espaço. Entretanto a análise da estabilidade, e consequentemente da linearidade esta associada a injetividade das funções básicas. Uma das características mais importantes da construção proposta e o desenvolvimento de um sistema de representação linear para funções localmente lineares, com a definição do espaço coerente A* gerado pelo produto de subteias. Neste espaço, as funções de objetos são lineares e coincidem com os morfismo da categoria dos espaços coerentes. Além disso, mostra-se que A* e isomorfo ao espaço coerente gerado pelo produto direto dos sub-espaços, ПĄ. Desta forma, toda transformação definida para um tipo de dado estruturado a partir de um conjunto básico enumerável tem uma representação linear, constituída pelos morfismos da categoria dos espaços coerentes. A existência da representação linear para as funções elementares garante a existência da representação linear para outras funções derivadas destas. Apresenta-se ainda uma especificação desta construção, introduzindo-se o Espaço Coerente de Intervalos Racionais, IIQ. Na busca de uma aplicação compatível com uma abordagem computacional, em especial para Análise Real, mostra-se que, em IIQ, cada função real elementar esta identificada com uma função de objetos linear, definida a partir da correspondente função elementar racional. Dentre as funções que foram analisadas destacam-se: a exponencial, a logarítmica, a potência, a potência estendida, a raiz n-ésima, as funções trigonométricas como seno, cosseno e tangente e suas correspondentes funções inversas, como também a função polinomial. Verificou-se que todas estas funções de objetos são totais, bem definidas, ou pertencem ou possuem uma representação linear na categoria COSP-LIN dos espaços coerentes, alem de serem fechadas para os objetos totais e quasi-totais deste espaço, sendo possível estabelecer o correspondente par-projeção para cada uma delas. / In this work the Coherence Spaces Generated by Basic Sets with additional structure are studied. By additional structure one means an algebraic, topological and logical structure with a punctual order and a measure system. These spaces, indicated by A, are a subcategory of the category of Coherence Spaces, whose objects, ordered by inclusion, are coherent sets formed by the induced web coherence relation. The morphisms of this category are the functions of objects generated by basic functions. The algebraic and relational properties of these basic functions - external to the construction process - are propagated and cause important influences in the verification of the internal properties of the functions of objects However, this research is not a categorical study. The methodology uses the simple and intuitive language of the Set Theory, which allows the visualization and the analysis of the existing relationships, not only among, the morphisms of the total and partial objects of this category, but also among their structures or pre-structures, represented by the functions of tokens and basic functions. It is shown that the functions of objects are total and well defined. They are also monotone and continuous. However the stability and the linearity of the functions of objects depend on the fact if the basic functions are injective or not. One of the most important features of this construction is the development of a linear representation system for the local linear functions, by the definition of a coherence space A*, which is generated by the subweb product. In this space the functions of objects are linear and therefore they are the morphisms of the category of Coherence Spaces. Moreover, it is proved that A* is isomorphic to the coherence space generated by the directed product of the subspaces, denoted by ПĄ . Then, for each transformation defined for a structured data type considering a denumerable basic set there exists its related linear representation. The existence of a linear representation for elementary functions guarantees the existence of a linear representation for others derived functions. As an application of this construction, the Coherence Space of Rational Intervals, denoted by IIQ, is introduced. In order to show an application which is compatible to a computational approach, specially for the real analysis, each elementary real function is identified with a linear function of objects, defined considering the related elementary rational function. Some of the analyzed functions are the exponential, the logarithmic, the power , the extended power, the root, the trigonometric (sine, cosine and tangent and their relates inverses), and the polynomial functions. It is proved that all of these functions of objects are total and well defined. Moreover, either they belong to the category COPS-LIN of the coherence spaces or they have a linear representation in the same category. It is also possible to define a related projection pair for each one of them.
|
40 |
Conjuntos num?ricosDuarte, Carlos Eduardo de Lima 15 March 2013 (has links)
Made available in DSpace on 2014-12-17T15:27:44Z (GMT). No. of bitstreams: 1
CarlosELD_DISSERT.pdf: 699872 bytes, checksum: f940eba1822577b96cbd189eefe2a0d9 (MD5)
Previous issue date: 2013-03-15 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / In this work, we present a text on the Sets Numerical using the human social needs as
a tool for construction new numbers. This material is intended to present a text that
reconciles the correct teaching of mathmatics and clarity needed for a good learning / Neste trabalho, elaboramos um texto sobre os Conjuntos Num?ricos, utilizando as necessidades
sociais humanas como ferramenta para constru??o de novos n?meros. O presente
material visa apresentar um texto que concilie o ensino correto da matem?tica e a clareza
necess?ria para um bom aprendizado
|
Page generated in 0.0266 seconds