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
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.
