Sumários
TP 16
14 Novembro 2018, 09:00 • Fernando Ferreira
Resolução de exercícios do terceiro trabalho para casa.
Enunciados de novos exercícios: 3.10, 3.11, 3.12 e 3.16.
Exercício 3.3.
Exercício 3.3.
AULA 16
14 Novembro 2018, 08:00 • Fernando Ferreira
O teorema de Cantor-Schroeder-Bernstein.
Cardinais sucessores e cardinais limite. A definição dos aléfes.
TP 15
9 Novembro 2018, 11:30 • Fernando Ferreira
Finalização da demonstração da associatividade da some ordinal (pendente da teórica).
Demonstração da lei ordinal da distributividade à esquerda da multiplicação em relação à soma.
AULA 15
9 Novembro 2018, 10:30 • Fernando Ferreira
O número cardinal dum conjunto.
O teorema de Cantor.
Dados dois conjuntos A e B (o primeiro não vazio), as seguintes três condições são equivalentes:
(1) o número cardinal de A é menor ou igual ao número cardinal de B.
(2) existe uma injeção de A em B.
(3) existe uma sobrejeção de B em A.