Sumários

TP 21

30 Novembro 2018, 11:30 Fernando Ferreira

Exercícios 3.17 e 4.12(1)(2).


AULA 21

30 Novembro 2018, 10:30 Fernando Ferreira

O princípio do supremo. Cortes de Dedekind à esquerda. Começo da demonstração de que toda a ordem linear densa sem extermos se mergulha densamente numa ordem linear densa sem extremos que satisfaz o princípio do supremo.


TP 20

28 Novembro 2018, 09:00 Fernando Ferreira

Nota sobre o TPC #4. Enunciado e resolução do exercicio 4.7. Enunciado dum exercício extra para a feitura do exercício 4.5 (ainda não enunciado).



AULA 20

28 Novembro 2018, 08:00 Fernando Ferreira

O teorema de Cantor que diz que ordens lineares densas sem extremos numeráveis são isomorfas (argumento de vai-vem).


TP 19

23 Novembro 2018, 11:30 Fernando Ferreira

Mais exemplos de ordens lineares densas, isomorfas e não isomorfas (dando a resulução, entre outras coisas, dos exercícios 6.2 e 6.5).

Finalização da resolução do exercício 3.12.