Fundamentos de Análise- Parte 1
Começaremos aqui a falar de uma área da matemática que requer muita formalidade, mas pode trazer resultados incríveis se aplicada corretamente. Para iniciar, vamos começar com definições para facilitar nosso trabalho e vamos em seguida partir para a luta.
Definição 1. Seja um conjunto de números reais (finito ou infinito). Dizemos que é superiormente limitado se existe um número real tal que para todo elemento de . De mesma forma, podemos definir a noção de inferiormente limitado. Se um conjunto é tanto inferiormente quanto superiormente limitado, chamaremos esse conjunto simplesmente de limitado.
Definição 2. Diremos que uma sequência de números reais converge para o limite (onde é um número real) se:
para todo número real , existe natural satisfazendo a relação lógica:
Essa última frase relacionada ao é a chave de tudo o que faremos daqui em diante. Tome cuidado para interpretar bem o que isso significa. A partir de agora, iremos representar essa definição pela notação
Definição 3. Vamos dizer também que a sequência tende a infinito se:
para todo número real , existe natural satisfazendo a relação lógica:
Novamente, iremos representar esse fenômeno pela notação
Agora podemos começar a trabalhar com coisas mais sérias.
Axiomas
Axioma do Supremo. Todo conjunto não vazio de números reais limitado superiormente possui uma menor cota superior. Em outras palavras, existe um real que chamaremos de satisfazendo as seguintes propriedades:
- Se , então
- Se , então existe com
Da mesma forma, definimos o
Axioma do Ínfimo. Todo conjunto não vazio de números reais limitado inferiormente possui uma maior cota inferior.
Chamaremos essas duas cotas de supremo e ínfimo de , representadas por e respectivamente.
Próxima aula, veremos algumas aplicações muito fortes que esses dois axiomas nos proporcionam.
Exercícios
Exercício 1. Prove o axioma do ínfimo a partir do axioma do supremo.
Exercício 2. Prove que toda sequência crescente de números reais limitada converge para algum limite.
Exercício 3. Prove que uma sequência de números reais possui no máximo um limite.