Teorema de Cantor, Dedekind e Bernstein

Com este vídeo iniciamos a série sobre o teorema de Cantor-Schröder-Bernstein e, neste vídeo, contextualizamos o problema, apresentamos algumas notas históricas e apresentamos a estrutura da série.

Neste vídeo discutimos os conceitos de infinito potencial e infinito real, além da noção de contar e comparar conjuntos infinitos para, no final, apresentar o enunciado do teorema de Cantor-Dedekin-Bernstein.

Lista de exercícios aqui (em breve)

Neste vídeo retomamos a discussão sobre comparação de tamanho de conjuntos e apresentamos uma primeira demonstração do teorema de Cantor-Dedekind-Bernstein. Esse argumento está próximo do "espírito" da prova do Cantor e emprega de modo explícito o Axioma da Escolha.

Lista de exercícios aqui (em breve).
Link para a discussão citada em vídeo aqui (veja a resposta de Joel David Hamkins e os comentários à resposta).