July 24, 2014

1 Ex. 36
Prove que se B e um conjunto innito e A e um subconjunto de B tal que
|A| < |B|, entao |B \ A| = |B|.
Solucao:
Como B \ A B, temos que |B \ A| |B|. Para mostrar que |B| |B \ A|,
vamos considerar as seguintes consequencias do Axioma da Escolha:
1. Se X e Y sao conjuntos, entao |X| |Y | ou |Y | |X|.
2. Se S e um conjunto innito, entao |S| +|S| = |S|.
Temos B = (B \ A) A e como (B \ A) A = , segue que:
|B| = |B \ A| +|A|
Aplicando a consequencia (1.) acima temos |B \ A| |A| ou |A| |B \ A|.
Se |B \ A| |A|, temos |B| = |B \ A| + |A| |A| + |A|. Se A e nito,
entao esta desigualdade implica que B e nito e isso contradiz a hipotese de B
ser innito. Por outro lado, se A e innito, entao aplicando a consequencia (2.)
acima temos que |B| |A| + |A| = |A| e isso contradiz a hipotese |A| < |B|.
Logo temos que |A| |B \ A|.
Temos entao |B| = |B \ A| + |A| |B \ A| + |B \ A|. Como B e innito
temos que B \ A e innito e portanto uma aplicacao da consequencia (2.) leva
a concluir que |B| |B \ A| +|B \ A| = |B \ A|.
Para concluir que |B| = |B\A| basta aplicar o teorema de Cantor-Bernstein.
1