A construção dos números

Detalhes bibliográficos
Autor(a) principal: Mattos, Guylherme de Barros
Data de Publicação: 2020
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal Fluminense (RIUFF)
Texto Completo: https://app.uff.br/riuff/handle/1/22822
Resumo: Este trabalho apresenta a construção do conjunto dos números inteiros, racionais e reais, a partir da formalização do conjunto dos números naturais com os axiomas de Peano. O conjunto dos números inteiros foi construído com base no conjunto dos naturais, utilizando-se o conceito de classes de equivalência. Foram definidas as operações de soma e produto, bem como uma relação de ordem, e foram demonstradas algumas propriedades. Por fim, estabeleceu-se uma relação entre a forma dos números inteiros construídos e a notação usual de números inteiros. A construção dos racionais seguiu o mesmo raciocínio, utilizando o conjunto dos inteiros como base. O conjunto dos números reais foi construído através de dois métodos distintos: os chamados cortes de Dedekind, que são subconjuntos especiais do corpo ordenado Q, e a construção de Cantor, usando sequências racionais de Cauchy. Provou-se que ambos os métodos dão origem a um mesmo corpo ordenado completo arquimediano, que é único: o corpo dos números reais.
id UFF-2_2bd9d11f4ee8535acb3a8001624a447b
oai_identifier_str oai:app.uff.br:1/22822
network_acronym_str UFF-2
network_name_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository_id_str 2120
spelling A construção dos númerosConjuntos numéricosAxiomas de PeanoCortes de DedekindSequências de CauchyAxiomaNúmero realNumeric setPeano axiomsDedekind cutsCauchy sequencesEste trabalho apresenta a construção do conjunto dos números inteiros, racionais e reais, a partir da formalização do conjunto dos números naturais com os axiomas de Peano. O conjunto dos números inteiros foi construído com base no conjunto dos naturais, utilizando-se o conceito de classes de equivalência. Foram definidas as operações de soma e produto, bem como uma relação de ordem, e foram demonstradas algumas propriedades. Por fim, estabeleceu-se uma relação entre a forma dos números inteiros construídos e a notação usual de números inteiros. A construção dos racionais seguiu o mesmo raciocínio, utilizando o conjunto dos inteiros como base. O conjunto dos números reais foi construído através de dois métodos distintos: os chamados cortes de Dedekind, que são subconjuntos especiais do corpo ordenado Q, e a construção de Cantor, usando sequências racionais de Cauchy. Provou-se que ambos os métodos dão origem a um mesmo corpo ordenado completo arquimediano, que é único: o corpo dos números reais.This work presents an integer’s, rationals and real set construction from the formalization of the natural numbers set with Peano axioms. The set of integers were built based on the set of natural numbers, using the equivalence class concept. Sum and product operations were defined, as well as an order relationship, and some properties were exemplified. Ultimately, a relationship was established between the constructed integer numbers form and the usual integers notation. The construction of rationals followed the same thinking path, using the set of integers as a basis. The set of real numbers were constructed using two distinct methods: the so-called Dedekind cuts, which are special subsets of the ordered body Q, and the Cantor set, using rational Cauchy sequences. Both methods have proved to give rise to the same complete Archimedean ordered body, which is unique: the body of real numbers.Egea, Leandro GinesSchnoor, Miguel Adriano KoillerDias, Marina Ribeiro BarrosNascimento, Carlos Henrique Pereira doMattos, Guylherme de Barros2021-08-04T21:03:43Z2021-08-04T21:03:43Z2020info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisapplication/pdfMATTOS, Guylherme de Barros. A construção dos números. 2020. 89f. Trabalho de Conclusão de Curso (Graduação em Matemática) - Instituto de Ciências Exatas, Universidade Federal Fluminense, Volta Redonda, 2020.https://app.uff.br/riuff/handle/1/22822http://creativecommons.org/licenses/by-nc-nd/3.0/br/CC-BY-SAinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)instname:Universidade Federal Fluminense (UFF)instacron:UFF2022-06-24T20:45:37Zoai:app.uff.br:1/22822Repositório InstitucionalPUBhttps://app.uff.br/oai/requestriuff@id.uff.bropendoar:21202022-06-24T20:45:37Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)false
dc.title.none.fl_str_mv A construção dos números
title A construção dos números
spellingShingle A construção dos números
Mattos, Guylherme de Barros
Conjuntos numéricos
Axiomas de Peano
Cortes de Dedekind
Sequências de Cauchy
Axioma
Número real
Numeric set
Peano axioms
Dedekind cuts
Cauchy sequences
title_short A construção dos números
title_full A construção dos números
title_fullStr A construção dos números
title_full_unstemmed A construção dos números
title_sort A construção dos números
author Mattos, Guylherme de Barros
author_facet Mattos, Guylherme de Barros
author_role author
dc.contributor.none.fl_str_mv Egea, Leandro Gines
Schnoor, Miguel Adriano Koiller
Dias, Marina Ribeiro Barros
Nascimento, Carlos Henrique Pereira do
dc.contributor.author.fl_str_mv Mattos, Guylherme de Barros
dc.subject.por.fl_str_mv Conjuntos numéricos
Axiomas de Peano
Cortes de Dedekind
Sequências de Cauchy
Axioma
Número real
Numeric set
Peano axioms
Dedekind cuts
Cauchy sequences
topic Conjuntos numéricos
Axiomas de Peano
Cortes de Dedekind
Sequências de Cauchy
Axioma
Número real
Numeric set
Peano axioms
Dedekind cuts
Cauchy sequences
description Este trabalho apresenta a construção do conjunto dos números inteiros, racionais e reais, a partir da formalização do conjunto dos números naturais com os axiomas de Peano. O conjunto dos números inteiros foi construído com base no conjunto dos naturais, utilizando-se o conceito de classes de equivalência. Foram definidas as operações de soma e produto, bem como uma relação de ordem, e foram demonstradas algumas propriedades. Por fim, estabeleceu-se uma relação entre a forma dos números inteiros construídos e a notação usual de números inteiros. A construção dos racionais seguiu o mesmo raciocínio, utilizando o conjunto dos inteiros como base. O conjunto dos números reais foi construído através de dois métodos distintos: os chamados cortes de Dedekind, que são subconjuntos especiais do corpo ordenado Q, e a construção de Cantor, usando sequências racionais de Cauchy. Provou-se que ambos os métodos dão origem a um mesmo corpo ordenado completo arquimediano, que é único: o corpo dos números reais.
publishDate 2020
dc.date.none.fl_str_mv 2020
2021-08-04T21:03:43Z
2021-08-04T21:03:43Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv MATTOS, Guylherme de Barros. A construção dos números. 2020. 89f. Trabalho de Conclusão de Curso (Graduação em Matemática) - Instituto de Ciências Exatas, Universidade Federal Fluminense, Volta Redonda, 2020.
https://app.uff.br/riuff/handle/1/22822
identifier_str_mv MATTOS, Guylherme de Barros. A construção dos números. 2020. 89f. Trabalho de Conclusão de Curso (Graduação em Matemática) - Instituto de Ciências Exatas, Universidade Federal Fluminense, Volta Redonda, 2020.
url https://app.uff.br/riuff/handle/1/22822
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/3.0/br/
CC-BY-SA
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/3.0/br/
CC-BY-SA
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)
instname:Universidade Federal Fluminense (UFF)
instacron:UFF
instname_str Universidade Federal Fluminense (UFF)
instacron_str UFF
institution UFF
reponame_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
collection Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository.name.fl_str_mv Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)
repository.mail.fl_str_mv riuff@id.uff.br
_version_ 1802135340245319680