Escolar Documentos
Profissional Documentos
Cultura Documentos
LISTA DE EXERCÍCIOS
25/11/2022
1. Considere o conjunto dos números naturais definido a partir dos axiomas usuais, e suponha
que a operação de adição esteja bem definida e satisfaça as propriedades de comutatividade,
associatividade, distributividade, cancelamento e tricotomia. Dados m, n ∈ N, considere a
operação binária, que denotamos por m · n, definida por m · 1 = m para todo m e por
m · (n + 1) = m · n + m para todo m e todo n ∈ N. Demonstre os seguintes fatos.
(a) Para quaisquer n, m, p ∈ N, vale que m · (n + p) = m · n + m · p.
(b) Para quaisquer n, m, p ∈ N, vale que m · (n · p) = (m · n) · p.
(c) Para quaisquer n, m ∈ N, vale que m · n = n · m.
(d) Para quaisquer n, m ∈ N, vale a seguinte afirmação m · p ≥ n · p =⇒ m ≥ n.
2. Considere o conjunto dos números naturais definido a partir dos axiomas usuais, e suponha
que as operações de adição e multiplicação estão bem definidas e satisfazem as propriedades de
comutatividade, associatividade, distributividade e cancelamento. Dados n, p ∈ N, considere
a operação binária, que denotamos por np , definida por n1 = n para todo n e por np+1 = n · np
para todo n e todo p ∈ N. Demonstre os seguintes fatos.
(a) Para quaisquer n, m, p ∈ N, temos (m · n)p = mp · np .
(b) Para quaisquer n, m, p ∈ N, vale a afirmação [np = mp =⇒ n = m].
(c) Para quaisquer n, m ∈ N e p ∈ N \ {1}, vale a afirmação [pn = pm =⇒ n = m].
3. Dados m, n ∈ N com n ≥ m, então existe q ∈ N tal que qm ≤ n < (q + 1)m. Além disso,
tal elemento q é único.
6. Sejam X e Y conjuntos.
(a) Prove que, se X e Y são finitos, então seu produto cartesiano X × Y é finito e satisfaz
|X × Y | = |X||Y |.
(b) Mostre que o produto cartesiano X × Y de dois conjuntos enumeráveis X e Y é
enumerável. Conclua que o produto cartesiano de um número finito de conjuntos
enumeráveis é enumerável. O que podemos dizer sobre o produto cartesiano de uma
quantidade enumerável de conjuntos não-vazios?
2
9. Determine se os conjuntos abaixo são enumeráveis ou não (O objetivo dessa questão é que
vocês pensem em enumerabilidade/não-enumerabilidade em estruturas “conhecidas”, mesmo
que ainda não tenham sido definidas rigorosamente na nossa disciplina). Justifique a sua
resposta.
(a) O conjunto das partes infinitas de N, isto é, o conjunto
P ∞ (N) = {S ⊂ N : S infinito }.
(b) O conjunto dos intervalos reais abertos e limitados (a, b) tais que a, b ∈ Q.
(c) O conjunto das funções reais f : R → R.
(d) O conjunto de palavras que podem ser formadas com um dado alfabeto A de 26 letras,
onde uma palavra é uma sequência finita de símbolos em A.