errata

[Vinicius Cifu Lopes <vclopes@linux.ime.usp.br>]

Oi Pessoal,
  Houve dois pequenos erros de tipografia na primeira lista de exercícios
(nada que torne os problemas mais difícies). Na questão 5, consta um
símbolo => que deve ser trocado por <=>; na questão 17, a união dos X^n é
feita sobre os n naturais, e não em um N comum.
  Avisem-me se mais alguma coisa parecer muito estranha.
  Quanto a infinitos, talvez ajudem duas idéias: a primeira é de que todo
conjunto infinito pode ser colocado em correspondência biunívoca com um
subconjunto próprio (como é o caso dos inteiros com os naturais); a
segunda é que há vários "tamanhos" de infinito, mas em todos cabe o
infinito dos números naturais. Diz-se que cardIN é o primeiro cardinal
infinito, por isso tem o nome "aleph"_0.
  Não se apressem em absorver todo esse conhecimento de infinitos, porque
precisaremos deles aos poucos. Vou dar uma introudção calma amanhã.
  Até amanhã,
 Vinicius  <vclopes@linux.ime.usp.br>