Solu co es da Lista de Exerc cios Unidade 2

1. Um conjunto com 1 elemento s o pode ser ordenado de 1 = 1! modo, o que mostra que a propriedade vale para n = 1. Suponhamos que ela valha para n e consideremos um conjunto {a1 , a2 , . . . , an , an+1 } com n + 1 elementos. As poss veis ordena co es desse conjunto podem ser obtidas tomando cada uma das n! ordena c oes de {a1 , a2 , . . . , an } e inserindo an+1 em uma das n + 1 posi co es poss veis, gerando assim n!(n + 1) = (n + 1)! poss veis ordena co es. Logo, a propriedade tamb em vale para n + 1. Portanto, pelo Princ pio da Indu c ao, vale para todo n natural. 2. Neste caso, conv em come car de n = 0, para o qual a propriedade vale, j a que o conjunto vazio possui 1 = 20 subconjunto. Suponhamos que a propriedade valha para n e consideremos um conjunto A = {a1 , a2 , . . . , an , an+1 } com n + 1 elementos. Cada subconjunto de A ou e um subconjunto {a1 , a2 , . . . , an } ou e a uni ao de um tal subconjunto com an+1 . Ou seja, cada subconjunto de {a1 , a2 , . . . , an } d a origem a 2 n n+1 subconjuntos de A, que tem, assim, 2.2 = 2 subconjuntos. Logo, a propriedade tamb em vale para n + 1. Portanto, pelo Princ pio da Indu ca o, vale para todo n 0. 3. Para n = 1, basta de fato uma pesagem, feita com dois dos objetos: se ela indicar um objeto mais pesado do que o outro, ele e o procurado; se os objetos tiverem pesos iguais, o objeto que cou de fora na pesagem e o mais pesado. Suponhamos agora que seja poss vel determinar qual n e mais pesado dentre 3 objetos com n pesagens e consideremos um conjunto com 3n+1 objetos. Dividimos estes objetos em tr es grupos n com 3 objetos cada e comparamos o peso de dois deles. Se um deles for mais pesado, o objeto procurado est a nele; sen ao, est a no grupo que cou de fora da pesagem. De qualquer modo, pela hip otese de indu ca o, ele pode ser encontrado em n pesagens adicionais, para um total de n +1 pesagens. Logo, a propriedade vale para conjuntos de 3n+1 objetos e, pelo Princ pio da Indu c ao, para conjuntos com 3n objetos, qualquer que seja n. 1

4. Finito, innito, nito, nito, innito 5. A sequ encia {x1 , y1 , x2 , y2 , x3 , y3 , . . .} inclui todos os elementos de X Y , que e, portanto, enumer avel. 6. Um modo de construir tal sequ encia e ordenar os pares ordenados de n umeros naturais de acordo com a soma das coordenadas: primeiro, os que t em soma 2, depois 3, e assim por diante, dando origem a ` sequ encia {(1, 1), (1, 2), (2, 1), (1, 3), (2, 2), (3, 1), . . .}, o que mostra que N N e enumer avel. Cada par (m, n) corresponde aos n umeros racionais m n e m . Logo, a partir dessa sequ e ncia podemos construir uma outra n sequ encia que inclui todos os n umeros racionais, o que mostra que o conjunto dos racionais tamb em e enumer avel. 7. Cada subconjunto X de N corresponde a uma sequ encia (xn ) em que xn = 1 se n X e xn = 0 caso contr ario. Como o conjunto de tais sequ encias e n ao enumer avel, o conjunto de todos os subconjuntos de N tamb em e n ao enumer avel.