Soluc oes da Lista de Exerccios

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 {a
1
, a
2
, . . . , a
n
, a
n+1
} com n+
1 elementos. As possveis ordenac oes desse conjunto podem ser obtidas
tomando cada uma das n! ordenacoes de {a
1
, a
2
, . . . , a
n
} e inserindo
a
n+1
em uma das n + 1 posic oes possveis, gerando assim n!(n + 1) =
(n + 1)! possveis ordenac oes. Logo, a propriedade tambem vale para
n + 1. Portanto, pelo Princpio da Indu cao, vale para todo n natural.
2. Neste caso, convem come car de n = 0, para o qual a propriedade
vale, ja que o conjunto vazio possui 1 = 2
0
subconjunto. Suponha-
mos que a propriedade valha para n e consideremos um conjunto A =
{a
1
, a
2
, . . . , a
n
, a
n+1
} com n + 1 elementos. Cada subconjunto de A ou
e um subconjunto {a
1
, a
2
, . . . , a
n
} ou e a uni ao de um tal subconjunto
com a
n+1
. Ou seja, cada subconjunto de {a
1
, a
2
, . . . , a
n
} d a origem a 2
subconjuntos de A, que tem, assim, 2.2
n
= 2
n+1
subconjuntos. Logo,
a propriedade tambem vale para n + 1. Portanto, pelo Princpio da
Induc ao, 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 possvel determinar qual
e mais pesado dentre 3
n
objetos com n pesagens e consideremos um
conjunto com 3
n+1
objetos. Dividimos estes objetos em tres grupos
com 3
n
objetos cada e comparamos o peso de dois deles. Se um deles
for mais pesado, o objeto procurado esta nele; sen ao, est a no grupo
que cou de fora da pesagem. De qualquer modo, pela hip otese de
induc ao, ele pode ser encontrado em n pesagens adicionais, para um
total de n+1 pesagens. Logo, a propriedade vale para conjuntos de 3
n+1
objetos e, pelo Princpio da Inducao, para conjuntos com 3
n
objetos,
qualquer que seja n.
1
4. Finito, innito, nito, nito, innito
5. A sequencia {x
1
, y
1
, x
2
, y
2
, x
3
, y
3
, . . .} inclui todos os elementos de X
Y , que e, portanto, enumeravel.
6. Um modo de construir tal sequencia e ordenar os pares ordenados de
n umeros naturais de acordo com a soma das coordenadas: primeiro, os
que tem soma 2, depois 3, e assim por diante, dando origem ` a sequencia
{(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
n
. Logo, a partir dessa sequencia podemos construir uma outra
sequencia que inclui todos os n umeros racionais, o que mostra que o
conjunto dos racionais tambem e enumeravel.
7. Cada subconjunto X de N corresponde a uma sequencia (x
n
) em que
x
n
= 1 se n X e x
n
= 0 caso contr ario. Como o conjunto de tais
sequencias e nao enumer avel, o conjunto de todos os subconjuntos de
N tambem e nao enumer avel.
2