T12

25 Outubro 2019, 10:30 • Mário Jorge Edmundo

Continuação da demonstração do facto de o conjunto dos números reais não ser equipotente ao conjunto do números racionais: (iv) os intervalos ]0,1], [0,1[ e [0,1] são equipotentes ao intervalo [0,1]; (v) conclusão. Teorema de Cantor: um conjunto não é equipotente ao conjunto das suas partes; O conjunto de Cantor é equipotente ao intervalo [0,1] (usando expansão na base 3); O conjunto dos números irracionais é equipotente ao conjunto dos números reais; [0,1]x[0,1] é equipotente a [0,1] (usando entrelaçamento de blocos de dígitos na expansão decimal).