Banca de DEFESA: RAPHAEL REICHMANN ROLIM

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: RAPHAEL REICHMANN ROLIM
DATA: 18/08/2023
HORA: 14:00
LOCAL: Videoconferência: https://meet.google.com/dtv-rsqh-tcw
TÍTULO: Fundamentos da Aritmética Formal
PALAVRAS-CHAVES: Teoria dos Números; Axiomas de Peano; Formalismo de Hilbert; Análise Harmônica abstrata; Números primos.
PÁGINAS: 137
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Matemática
SUBÁREA: Álgebra
ESPECIALIDADE: Teoria dos Números
RESUMO: Neste trabalho propus a união da axiomática de Peano à axiomática dos espaços vetoriais, através do conceito de base ordenada, culminando na definição de espaço aritmético. Esta união permitiu uma sistematização universal dos procedimentos mais comuns do estudo da teoria dos números através de funções geradoras, desenvolvendo uma linguagem compreensiva e coesa. Defini a noção de aritmética, função sucessora e gerador, operações aritméticas iterativas e endomórficas, e de monóides de operações e seus homomorfismos, assim como a noção autossimilar de meta-aritmética. Desenvolvi o conceito de álgebra de operações aritméticas, transportando completamente a teoria das operações aritméticas para dentro da teoria das transformações lineares. Mostrei como as álgebras definidas podem ser compreendidas de diversas maneiras já bem estabelecidas da Álgebra, e a relação destas estruturas com álgebras convolutivas. Estudei seus homomorfismos quando são álgebras de Banach e, em particular, o problema da inversão aritmética nestas álgebra. Provei a decomposição do grupo de seus elementos invertíveis em fatores elementares, teorema consideravelmente mais útil que o Teorema Fundamental da Álgebra. Investiguei combinatorialmente algumas relações, em especial a construção das multiplicações primas pelas naturais, a Lei das Fatorações Naturais e algumas fórmulas primitivas. Criei a noção de álgebra simetrizada de operações e a teoria vaga dos correspondentes simetrizados. Descrevi como a álgebra das operações aditivas circulares faz nascer, da maneira mais natural, o conceito da Transformada de Fourier Discreta, noção fundamental da disciplina de processamento de sinais. Obtive representações de funções aritmeticamente notáveis, como a função de Mertens de maneira abstrata, sem recorrer à função Zeta, por meio da análise harmônica aplicada aos grupos de operações invertíveis. Por fim, mostrei um argumento heurístico para a obtenção de uma assintótica intimamente ligada à hipótese de Riemann, utilizando resíduos complexos da teoria clássica.
MEMBROS DA BANCA:
Presidente - 2285557 - DANIEL MARINHO PELLEGRINO
Interno - 3048147 - WALLACE MANGUEIRA DE SOUSA
Externo à Instituição - JEAN CARLOS DE AGUIAR LELIS