Introdução à análise não standard
Autor(a) principal: | |
---|---|
Data de Publicação: | 2018 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | http://www.teses.usp.br/teses/disponiveis/45/45131/tde-18022019-171451/ |
Resumo: | A área conhecida como Análise Não Standard consiste na aplicação dos métodos da Teoria dos Modelos e da Teoria dos Ultrafiltros para a obtenção de extensões peculiares de sistemas matemáticos infinitos. As novas estruturas construídas segundo esse procedimento satisfazem ao Princípio da Transferência, uma propriedade de suma importância e influência a qual afirma que as mesmas sentenças de primeira ordem com quantificadores limitados são verdadeiras para o sistema original e a sua extensão. Concebida em 1961 por Abraham Robinson e aprimorada por vários matemáticos nos anos subsequentes, tal área de pesquisa provou ser bastante proveitosa e esclarecedora para diversas outras partes da Matemática, como a Topologia, a Teoria das Probabilidades, a Análise Funcional e a Análise Complexa. Manifesta-se uma reavaliação da Teoria dos Domínios Ordenados seguida de um tratamento completo e gradual das fundações da Análise Não Standard assumindo a perspectiva dos Monomorfismos Não Standard, onde adota-se como metateoria a teoria dos conjuntos de Neumann-Bernays-Gödel com o Axioma da Escolha. A fim de impulsionar a assimilação da metodologia abordada, o estudo explora as propriedades do corpo não arquimediano dos números hiper-reais de maneira intuitiva e informal, utilizando-se destas para revelar demonstrações alternativas e relativamente diretas de alguns dos principais resultados do Cálculo Diferencial e Integral, como o Teorema do Valor Intermediário, o Teorema de Bolzano-Weierstrass, o Teorema do Ponto Crítico, o Teorema da Função Inversa e o Teorema Fundamental do Cálculo. |
id |
USP_d3d64c54bc5da1dcb687c2dbf001fe7a |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-18022019-171451 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Introdução à análise não standardIntroduction to non-standard analysisAnálise não standardCálculo diferencial e integralCorpos não arquimedianosDifferential and integral calculusDomínios ordenadosHyperreal numbersNon-archimedean fieldsNon-standard analysisNúmeros hiper-reaisOrdered domainsUltrafiltersUltrafiltrosA área conhecida como Análise Não Standard consiste na aplicação dos métodos da Teoria dos Modelos e da Teoria dos Ultrafiltros para a obtenção de extensões peculiares de sistemas matemáticos infinitos. As novas estruturas construídas segundo esse procedimento satisfazem ao Princípio da Transferência, uma propriedade de suma importância e influência a qual afirma que as mesmas sentenças de primeira ordem com quantificadores limitados são verdadeiras para o sistema original e a sua extensão. Concebida em 1961 por Abraham Robinson e aprimorada por vários matemáticos nos anos subsequentes, tal área de pesquisa provou ser bastante proveitosa e esclarecedora para diversas outras partes da Matemática, como a Topologia, a Teoria das Probabilidades, a Análise Funcional e a Análise Complexa. Manifesta-se uma reavaliação da Teoria dos Domínios Ordenados seguida de um tratamento completo e gradual das fundações da Análise Não Standard assumindo a perspectiva dos Monomorfismos Não Standard, onde adota-se como metateoria a teoria dos conjuntos de Neumann-Bernays-Gödel com o Axioma da Escolha. A fim de impulsionar a assimilação da metodologia abordada, o estudo explora as propriedades do corpo não arquimediano dos números hiper-reais de maneira intuitiva e informal, utilizando-se destas para revelar demonstrações alternativas e relativamente diretas de alguns dos principais resultados do Cálculo Diferencial e Integral, como o Teorema do Valor Intermediário, o Teorema de Bolzano-Weierstrass, o Teorema do Ponto Crítico, o Teorema da Função Inversa e o Teorema Fundamental do Cálculo.The field known as Non-standard Analysis consists in the application of the methods of Model Theory and Ultrafilter Theory to the attainment of peculiar extensions of infinite mathematical systems. The new structures produced under that procedure satisfy the Transfer Principle, a property of the utmost importance and influence which states that the same first-order sentences with bounded quantifiers are true for the original system and its extension. Conceived in 1961 by Abraham Robinson and improved by a number of mathematicians in the following years, such area of research has proved to be very fruitful and illuminating to many other parts of Mathematics, such as Topology, Probability Theory, Functional Analysis and Complex Analysis. The work presents a reexamination of the Theory of Ordered Domains followed by a thorough and gradual treatment of the foundations of Non-standard Analysis under the perspective of Non-standard Monomorphisms, where Neumann-Bernays-Gödels set theory with the Axiom of Choice is adopted as metatheory. In order to boost the assimilation of the methodology put forward, the study explores the properties of the non-archimedean field of hyperreal numbers in an intuitive and informal fashion, employing them to reveal alternative and relatively direct proofs of some of the main results of Differential and Integral Calculus, such as the Intermediate Value Theorem, the Bolzano-Weierstrass Theorem, the Extreme Value Theorem, the Inverse Function Theorem and the Fundamental Theorem of Calculus.Biblioteca Digitais de Teses e Dissertações da USPFajardo, Rogerio Augusto dos SantosMachado, Geovani Pereira2018-12-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45131/tde-18022019-171451/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2019-04-09T23:21:59Zoai:teses.usp.br:tde-18022019-171451Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212019-04-09T23:21:59Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Introdução à análise não standard Introduction to non-standard analysis |
title |
Introdução à análise não standard |
spellingShingle |
Introdução à análise não standard Machado, Geovani Pereira Análise não standard Cálculo diferencial e integral Corpos não arquimedianos Differential and integral calculus Domínios ordenados Hyperreal numbers Non-archimedean fields Non-standard analysis Números hiper-reais Ordered domains Ultrafilters Ultrafiltros |
title_short |
Introdução à análise não standard |
title_full |
Introdução à análise não standard |
title_fullStr |
Introdução à análise não standard |
title_full_unstemmed |
Introdução à análise não standard |
title_sort |
Introdução à análise não standard |
author |
Machado, Geovani Pereira |
author_facet |
Machado, Geovani Pereira |
author_role |
author |
dc.contributor.none.fl_str_mv |
Fajardo, Rogerio Augusto dos Santos |
dc.contributor.author.fl_str_mv |
Machado, Geovani Pereira |
dc.subject.por.fl_str_mv |
Análise não standard Cálculo diferencial e integral Corpos não arquimedianos Differential and integral calculus Domínios ordenados Hyperreal numbers Non-archimedean fields Non-standard analysis Números hiper-reais Ordered domains Ultrafilters Ultrafiltros |
topic |
Análise não standard Cálculo diferencial e integral Corpos não arquimedianos Differential and integral calculus Domínios ordenados Hyperreal numbers Non-archimedean fields Non-standard analysis Números hiper-reais Ordered domains Ultrafilters Ultrafiltros |
description |
A área conhecida como Análise Não Standard consiste na aplicação dos métodos da Teoria dos Modelos e da Teoria dos Ultrafiltros para a obtenção de extensões peculiares de sistemas matemáticos infinitos. As novas estruturas construídas segundo esse procedimento satisfazem ao Princípio da Transferência, uma propriedade de suma importância e influência a qual afirma que as mesmas sentenças de primeira ordem com quantificadores limitados são verdadeiras para o sistema original e a sua extensão. Concebida em 1961 por Abraham Robinson e aprimorada por vários matemáticos nos anos subsequentes, tal área de pesquisa provou ser bastante proveitosa e esclarecedora para diversas outras partes da Matemática, como a Topologia, a Teoria das Probabilidades, a Análise Funcional e a Análise Complexa. Manifesta-se uma reavaliação da Teoria dos Domínios Ordenados seguida de um tratamento completo e gradual das fundações da Análise Não Standard assumindo a perspectiva dos Monomorfismos Não Standard, onde adota-se como metateoria a teoria dos conjuntos de Neumann-Bernays-Gödel com o Axioma da Escolha. A fim de impulsionar a assimilação da metodologia abordada, o estudo explora as propriedades do corpo não arquimediano dos números hiper-reais de maneira intuitiva e informal, utilizando-se destas para revelar demonstrações alternativas e relativamente diretas de alguns dos principais resultados do Cálculo Diferencial e Integral, como o Teorema do Valor Intermediário, o Teorema de Bolzano-Weierstrass, o Teorema do Ponto Crítico, o Teorema da Função Inversa e o Teorema Fundamental do Cálculo. |
publishDate |
2018 |
dc.date.none.fl_str_mv |
2018-12-07 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://www.teses.usp.br/teses/disponiveis/45/45131/tde-18022019-171451/ |
url |
http://www.teses.usp.br/teses/disponiveis/45/45131/tde-18022019-171451/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1809090823120224256 |