Construções dos Números Reais

Neste trabalho estudamos várias construções do sistema dos números reais. Antes porém, começamos por abordar a evolução do conceito de número, destacando três diferentes aspectos da evolução do conceito de número real. Relacionado com este tema, dedicamos dois capítulos, deste trabalho, à apresentação das teorias que consideramos assumir maior importância, nomeadamente: a construção do sistema dos números reais por cortes na recta ou secções no conjunto dos números racionais, avançada por Dedekind, e a construção do número real como classe de equivalência de sucessões fundamentais de números racionais, ideia protagonizada por Cantor. Posteriormente, e de uma forma mais sintetizada do que nas anteriores, apresentamos outras construções, onde procuramos clarificar a ideia fundamental subjacente ao conceito de número real. Finalmente utilizamos o método axiomático com o intuito de mostrar a unicidade do sistema dos números reais, isto é, concluir finalmente que existe um corpo completo e ordenado, e apenas um a menos de um isomorfismo, do conjunto dos números reais.

Um tratamento para os números reais via medição de segmentos: uma proposta, uma investigação

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Aprendizagem dos números reais : um estudo com alunos do 9.º ano

Relatório da Prática de Ensino Supervisionada, Ensino de Matemática, Universidade de Lisboa, 2013

Formalizando a existência dos números reais. -

Pós-graduação em Matemática em Rede Nacional - IBILCE

Sequências de números reais: uma abordagem no ensino médio

Pós-graduação em Matemática em Rede Nacional - IBILCE

Aspectos da história da análise matemática de Cauchy a Lebesgue

Pós-graduação em Educação Matemática - IGCE

A criação dos números e sua evolução Matemática: de escrava a rainha das ciências.

Este trabalho aborda, de maneira bem sucinta e objetiva, a história da evolução dos números desde o primeiro risco em um osso, até chegar na forma atual como os conhecemos. Ao longo de aproximadamente 30.000 anos de existência, os sistemas de numeração, suas bases e representações sofreram inúmeras modificações, adequando-se ao contexto histórico vigente. Podemos citar a mentalidade científica da época, a necessidade da conquista de territórios, religiões e crenças e necessidades básicas da vida cotidiana. Deste modo, mostramos uma corrente histórica que tenta explicar como e porque a ideia de número se modifica com o tempo, sempre tendo em vista os fatores que motivaram tais mudanças e quais benefícios (ou malefícios) trouxeram consigo. Com um capítulo dedicado a cada uma das mais importantes civilizações que contribuíram para o crescimento da matemática e, sempre que possível, em ordem cronológica de acontecimentos, o leitor consegue ter uma boa ideia de como uma civilização influencia a outra e como um povo posterior pôde apoiar-se nos conhecimentos adquiridos dos antepassados para produzir seus próprios algorítimos e teoremas.

Fundamentação numérica da Análise em Portugal em Anastácio da Cunha, Gomes Teixeira e Vicente Gonçalves

Neste trabalho estudamos a fundamentação numérica da Análise em Portugal, centrando particularmente este estudo nos trabalhos de José Anastácio da Cunha, Francisco Gomes Teixeira e Vicente Gonçalves. Num capítulo introdutório apresentamos uma perspectiva cronológica da procura de uma fundamentação rigorosa para a matemática, com o intuito de enquadrar historicamente as obras destes matemáticos Portugueses e reconhecer possíveis influências prestadas por trabalhos de outros autores. Relacionado com Anastácio da Cunha, analisamos os aspectos fundamentais da sua obra Principios Mathematicos, procurando evidenciar os resultados mais importantes avançados pelo autor, bem como as suas preocupações axiomáticas que não eram usuais no século XVIII, em que se insere a sua obra. Neste trabalho foi igualmente efectuada uma análise às quatro edições do Curso de Analyse Infinitesimal — Calculo Integral de Francisco Gomes Teixeira, particularmente centrada na definição do conceito de número irracional. Finalmente, analisamos o Curso de Álgebra Superior de Vicente Gonçalves, particularmente as duas últimas edições. A 2a edição do referido Curso foi objecto de duras críticas por parte de Neves Real e um dos objectivos deste trabalho foi o de procurar analisar essas críticas e verificar até que ponto influenciaram a reformulação de alguns aspectos da 3a edição.

Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

Teorema de Thales: uma conexão entre os aspectos geométrico e algébrico em alguns livros didáticos de matemática

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Conjuntos númericos, razão, proporção e regra de três

Apresenta a revisão de tópicos de matemática elementar do ensino fundamental com visão do ensino superior. Na subunidade 1 são abordados os conceitos de conjuntos numéricos e algumas das propriedades inerentes à suas estruturas: números naturais, números inteiros, números racionais, números irracionais, números reais, intervalos reais e números complexos. A subunidade 2 engloba a definição dos conceitos de grandezas proporcionais: números direta e inversamente proporcionais, grandezas direta e inversamente proporcionais, regra de três simples, regra de três composta com resolução de problemas ilustrativos. Os exemplos resolvidos englobam a aplicação da regra de três simples e composta para grandezas direta e inversamente proporcionais.

Equações algébricas

Jorge Nuno Silva

Aprendizagem cooperativa e colaborativa em matemática no espaço facebook

O programa de matemática do ensino básico revela que a escola exige uma formação sólida em Matemática para que os alunos, ao longo do seu percurso escolar, possam compreendê-la e utilizá-la, mas o façam igualmente depois da escolaridade, na sua vida pessoal, profissional e social. A investigação feita visa compreender como é que a Educação Matemática Crítica e a rede social Facebook potenciam a aprendizagem crítica da Matemática. A utilização mais frequente desta rede social, possibilita chegar a um maior fluxo de informação/publicidade. Sob a égide da Educação Matemática Crítica, com o objetivo de observar que alterações ocorriam na forma como os alunos aprendiam determinados conceitos matemáticos em situações rotineiras da nossa sociedade. Esta aprendizagem pode ocorrer cooperativamente e/ou colaborativamente conforme as atividades e os alunos que realizam o estudo. O estudo realizado foi de natureza qualitativa de caráter interpretativo. Os alunos realizaram três atividades. A primeira denominada “Atmosfera Terrestre” para introduzir o capítulo de intervalos de números reais e para os discentes se familiarizarem com as ferramentas do Facebook. As outras duas foram uma publicidade de uma empresa e uma notícia sobre as tabelas de IRS para o ano de 2013. Depois de concluído esse estudo, verificou-se que os alunos não tiveram qualquer problema ao nível do manuseamento das ferramentas proporcionadas pelo Facebook. Na atividade introdutória para o capítulo de intervalo de números reais, os alunos conseguiram transpor o que tinha sido discutido em espaço Facebook para a sala de aula, apresentando exemplos da referida atividade. Conseguiram retirar, através da matemática, conclusões e resultados muito pertinentes para uma melhor perceção do que estava implicitamente presente em cada uma das atividades. As conclusões evidenciadas pelos alunos aludem que após várias discussões, argumentos e mesmo algum cálculo matemático conseguiram observar e justificar criticamente que algumas informações estavam camufladas nas distintas atividades. Os alunos constaram que após estas atividades estão mais alertas para situações similares, o que constitui uma conquista do papel da Matemática na sua vida.

Uma fundamentação para sinais e sistemas intervalares

In this work we use Interval Mathematics to establish interval counterparts for the main tools used in digital signal processing. More specifically, the approach developed here is oriented to signals, systems, sampling, quantization, coding and Fourier transforms. A detailed study for some interval arithmetics which handle with complex numbers is provided; they are: complex interval arithmetic (or rectangular), circular complex arithmetic, and interval arithmetic for polar sectors. This lead us to investigate some properties that are relevant for the development of a theory of interval digital signal processing. It is shown that the sets IR and R(C) endowed with any correct arithmetic is not an algebraic field, meaning that those sets do not behave like real and complex numbers. An alternative to the notion of interval complex width is also provided and the Kulisch- Miranker order is used in order to write complex numbers in the interval form enabling operations on endpoints. The use of interval signals and systems is possible thanks to the representation of complex values into floating point systems. That is, if a number x 2 R is not representable in a floating point system F then it is mapped to an interval [x;x], such that x is the largest number in F which is smaller than x and x is the smallest one in F which is greater than x. This interval representation is the starting point for definitions like interval signals and systems which take real or complex values. It provides the extension for notions like: causality, stability, time invariance, homogeneity, additivity and linearity to interval systems. The process of quantization is extended to its interval counterpart. Thereafter the interval versions for: quantization levels, quantization error and encoded signal are provided. It is shown that the interval levels of quantization represent complex quantization levels and the classical quantization error ranges over the interval quantization error. An estimation for the interval quantization error and an interval version for Z-transform (and hence Fourier transform) is provided. Finally, the results of an Matlab implementation is given