Escolar Documentos
Profissional Documentos
Cultura Documentos
Anlise I 2012-1
Soluo da 1 Lista de Exerccios
1. ATENO: O enunciado correto : Seja X um subconjunto no vazio
tal que n, m X n + m X. Prove que existe k tal que X o conjunto
dos mltiplos de k.
Soluo: Pelo Princpio da Boa Ordenao, X tem um menor elemento k,
ou seja, existe kX tal que k x para todo xX. Vamos mostrar por
induo que nkX para todo n: de fato, 1k = kX e, se nkX, ento (n +
1)k = nk + k X. Portanto, {nk|n} X. Vamos mostrar que vale a
igualdade. Suponha, por absurdo, que existe xX que no mltiplo de k.
Ento x k, logo, como k o menor elemento, k < x. Pelo algoritmo de
Euclides, existe um inteiro positivo q e um inteiro r tal que 0 r < k tal que
x = qk + r. Mas xX, o que significa que qk + rX e, portanto, rX, o que
contradiz o fato de que k o menor elemento de X. Isto mostra que X o
conjunto dos mltiplos de k.
2. Vamos mostrar o resultado por induo no nmero de elementos do
conjunto X. Suponha que X um conjunto finito com n elementos. Se n =
0, ento X o conjunto vazio e seu nico subconjunto ele mesmo, ou
seja, (X) = {}, o que significa que |(X)| = 1 = 20 = 2|X|. Se n = 1, digamos
X = {x1}, ento (X) = {, {x1}}, logo |(X)| = 2 = 21 = 2|X|. Suponha que o
resultado vlido para um conjunto de n elementos, n 1, e seja X = {x1,
, xn, xn+1} um conjunto com n + 1 elementos. Ento (X) pode ser escrito
como a unio de dois conjuntos disjuntos 1 = {S X| xn+1S } e 2 = {S
X| xn+1S }. Note que 1 = ({x1, , xn}) tem 2n elementos pela hiptese de
induo. Alm disso, se S2, ento S {xn+1} ({x1, , xn}) e,
reciprocamente, se T({x1, , xn}), ento S = T {xn+1} 2. Ento temos
uma bijeo entre 2 e ({x1, , xn}), o que significa que|2| = |({x1, ,
xn})| = 2n. Como 1 e 2 so disjuntos, obtemos: |(X)| = |1| + |2| = 2n
+ 2n = 2n(1 + 1) = 22n = 2n+1 = 2|X|. Isso prova o resultado.
3. Defina a funo : {mpares positivos} por (n) = 2n 1. Ento
sobrejetora, pois todo nmero mpar positivo da forma 2n 1 para algum
n natural. E tambm injetora, pois (n) = (m) 2n 1 = 2m 1 n =
m. Logo uma bijeo.
4. Defina a funo : {quadrados perfeitos} por (n) = n2. Ento
sobrejetora, pois todo quadrado perfeito n2 para algum n natural. E
tambm injetora, pois (n) = (m) n2 = m2 n = m, j que ambos so
nmeros positivos. Logo uma bijeo.
5. Defina a funo : {m|m n} por (k) = n + k 1. Como k 1,
claro que n + k 1 n. Ento sobrejetora, pois todo m n m n 0
m n + 1 1 m n + 1 = k (k) = n + k 1 = n + m n + 1 1 =
Anlise I
2012-2
Anlise I
2012-2
y
x
1
x
/2
/4
/4
/2
4
/2
/2
/4
/4
/2
/2
4
Anlise I
2012-2
Anlise I
2012-2