9!09 % Fortale&a%C' (IC')CI*+U,* '- -*+'-.+IC* /'-IP,'/')CI*( I)+,01U230 4 *).(I/' Pro56 -arcos -elo *le7andre Fernandes *U(* 1: Con8untos Finitos e In5initos '9',C:CI0/ 1. Seja a um nmero natural. Prove que se um conjunto X tal que a X e, alm disso, n X n + 1 X , ento X contm todos os nmeros naturais a. 2. Seja X um conjunto com n elementos. Use induo para provar que o conjunto das bijees permutaes! f " X X tem n # elementos. $. Um nmero natural p c%ama&se primo quando p 1 e no se pode escrever p = m n como m < p e n < p . Prove que o conjunto dos nmeros primos in'inito. (. )ndicando com card X o nmero de elementos do conjunto 'inito X , prove" a! Se X 'inito e Y X ento card X card Y . b! Se X e Y so 'initos ento X Y 'inito e card X Y ! * card X + card Y & card X Y !. c! Se X e Y so 'initos ento X Y 'inito e card X Y ! * card X . card Y . ,. Seja X ! o conjunto cujos elementos so os subconjuntos de X . Prove por induo que se X 'inito ento card X ! * 2card -. .ada f " X Y , prove" a! Se X in'inito e f injetiva ento Y in'inito. b! Se Y in'inito e f sobrejetiva, ento X in'inito. /. Sejam X um conjunto 'inito e Y um conjunto in'inito. Prove que e0istem uma 'uno injetiva f " X Y e uma sobrejetiva g " Y X .
X!
1. Seja " N N N
subconjuntos in'initos, dois a dois disjuntos. 14. Seja Y enumer5vel e f " X Y tal que, para cada y Y , f 1 y ! enumer5vel. Prove que X enumer5vel. 11. Seja S o conjunto de todas as 'unes s " N 64,17 . .ada uma 'uno