AULA 23

16 Dezembro 2022, 12:00 • Fernando Ferreira

Discussão (sem grandes detalhes) sobre os números reais. Os reais são, a menos de isomorfismo, o único corpo ordenado completo: Aqui, "completo" significa que satisfaz o princípio do supremo (todo o subconjunto não vazio e majorado tem supremo). Esboço da construção dos reais através de cortes de Dedekind, enfatizando o facto de que a satisfação do princípio do supremo é, nesta construção, muito fácil de verificar.