O Axioma da Determinabilidade e propriedades dos números reais

Detalhes bibliográficos
Autor(a) principal: Alfaiate, José António Rodrigues
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/83410
Resumo: Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia
id RCAP_3682a6a56728a413936fa3426d3836b6
oai_identifier_str oai:estudogeral.uc.pt:10316/83410
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling O Axioma da Determinabilidade e propriedades dos números reaisThe Axiom of Determinacy and properties of real numbersDeterminabilidadeEscolhas NumeráveisHipótese do ContínuoMedida de LebesgueOrdinais numeráveisDeterminacyCountable ChoiceContinuum HypothesisLebesgue measureNumerable ordinalsDissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e TecnologiaA análise real é familiaríssima e desconhecidíssima. A familiaridade vem-lhe da física e do cálculo e da geometria e das finanças, e muita intuição que outorga números a espaço e tempo e investimento, o mais das vezes abstraindo as funções reais de fenómenos discretos; vem-lhe a estranheza de respeitar a um conjunto \mathbb{R}, encafuado numa axiomática e rico em propriedades indecidíveis. Na verdade, não há princípios bem-conhecidos que eliminem as patologias da análise e deem uma descrição completa de \mathbb{R} e dos seus subconjuntos; o usual é haver escâmbios, onde uma barbaridade contrapesa um bom expediente (como o paradoxo de Banach-Tarski e o Lema de Zorn em \mathbb{R}), e dúvidas nas condições topológicas dos conjuntos, e questões sobre o tamanho do continuum (a prevalência da propriedade de Baire, da mensurabilidade à Lebesgue, etc, depende da axiomática adotada; e as cardinalidades de subconjuntos de \mathbb{R} variam entre o universo binário da Hipótese do Contínuo e a presença de conjuntos de Dedekind cujas cardinalidades são tão diversas como o continuum; e mesmo admitindo que \mathbb{R} é bem-ordenado, o continuum pode ser igual a qualquer um dos cardinais \aleph_n, com n \qeq 1, e a Hipótese do Contínuo pode ser falsa). Estudaremos alguns axiomas que regularizam a análise real e a topologia de \mathbb{R} com um mínimo de abnormidades colaterais: o Axioma da Determinabilidade, o Axioma das Escolhas Numeráveis e a omni-mensurabilidade à Lebesgue. Também veremos algumas relações entre esses postulados e propriedades dos ordinais numeráveis.Real analysis is strange and familiar. The familiarity comes to it from physics and calculus and geometry and finance, and much intuiting of figures from space and time and investment, most of the time abstracting real-valued functions from discrete phenomena; the strangeness comes from being concerned with a set \mathbb{R}, ensconced in an axiomatic theory and having virtually undecidable predicates. There are in fact no easy principles which can be counted on to do away with the problems of real analysis and give a full description of \mathbb{R} and its subsets; one must usually rely on trade-offs wherein an axiom is shown to have a barbarous corollary (as Zorn's Lemma is to the Banach-Tarski paradox), and the understanding of one point raises other questions about topology in \mathbb{R} and the size of the continuum (the prevalence of the Baire property, Lebesgue measurability, etc, depends on the adopted theory; and the cardinalities contained in \mathbb{R} can vary between the binary dictum of the Continuum Hypothesis and Dedekind sets that assume continuum-many different sizes; and even allowing \mathbb{R} to be well-ordered, the continuum can be assumed to equal any of the alephs \aleph_n, for n \geq 1). We shall expound on axioms which give a cleaner account of real analysis (and topology and set-theoretic properties of \mathbb{R}) without producing too many abnormalities: the Axiom of Determinacy, the Axiom of Countable Choice and the full Lebesgue measurability. We shall also broach some relations between these postulates and the numerable ordinals.2017-07-259999-12-31T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://hdl.handle.net/10316/83410http://hdl.handle.net/10316/83410TID:202123863porAlfaiate, José António Rodriguesinfo:eu-repo/semantics/embargoedAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-10-27T10:49:39Zoai:estudogeral.uc.pt:10316/83410Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:05:09.853918Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv O Axioma da Determinabilidade e propriedades dos números reais
The Axiom of Determinacy and properties of real numbers
title O Axioma da Determinabilidade e propriedades dos números reais
spellingShingle O Axioma da Determinabilidade e propriedades dos números reais
Alfaiate, José António Rodrigues
Determinabilidade
Escolhas Numeráveis
Hipótese do Contínuo
Medida de Lebesgue
Ordinais numeráveis
Determinacy
Countable Choice
Continuum Hypothesis
Lebesgue measure
Numerable ordinals
title_short O Axioma da Determinabilidade e propriedades dos números reais
title_full O Axioma da Determinabilidade e propriedades dos números reais
title_fullStr O Axioma da Determinabilidade e propriedades dos números reais
title_full_unstemmed O Axioma da Determinabilidade e propriedades dos números reais
title_sort O Axioma da Determinabilidade e propriedades dos números reais
author Alfaiate, José António Rodrigues
author_facet Alfaiate, José António Rodrigues
author_role author
dc.contributor.author.fl_str_mv Alfaiate, José António Rodrigues
dc.subject.por.fl_str_mv Determinabilidade
Escolhas Numeráveis
Hipótese do Contínuo
Medida de Lebesgue
Ordinais numeráveis
Determinacy
Countable Choice
Continuum Hypothesis
Lebesgue measure
Numerable ordinals
topic Determinabilidade
Escolhas Numeráveis
Hipótese do Contínuo
Medida de Lebesgue
Ordinais numeráveis
Determinacy
Countable Choice
Continuum Hypothesis
Lebesgue measure
Numerable ordinals
description Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia
publishDate 2017
dc.date.none.fl_str_mv 2017-07-25
9999-12-31T00:00:00Z
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://hdl.handle.net/10316/83410
http://hdl.handle.net/10316/83410
TID:202123863
url http://hdl.handle.net/10316/83410
identifier_str_mv TID:202123863
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/embargoedAccess
eu_rights_str_mv embargoedAccess
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133943131275264

Registros relacionados