Famílias Indexadas de Conjuntos

Conhecemos as operações 𝐴 ∪ 𝐵, 𝐴 ∩ 𝐵 e (A)' para os conjuntos A e B Isso foi usado para nos
familiarizarmos com as propriedades lógicas das palavras e, ou e não. Agora, trabalharemos com
∪, ∩ e ( )′ para famílias de conjuntos. Para tornar nossa discussão o mais acessível possível,
trabalharemos apenas com famílias finitas ou contáveis de conjuntos {𝐴1 , 𝐴2 , 𝐴3 , ⋯ }. Essas
famílias contáveis provarão ser o suficiente para expandir nossa mente.
As menores famílias contáveis de conjuntos são as famílias finitas. Assim, {ℕ, ℤ, ℚ, ℝ} é uma
família finita de conjuntos, assim como {∅, ∎}. Você sabe o que é uma família finita de conjuntos.
Quando você lista os estudantes nas salas de aula na escola primária local, você está criando
conjuntos finitos em quantidade finita. Você cria um conjunto finito para cada sala de aula. Pode
haver seis dessas salas. As listas de estudantes matriculados em uma sala de aula formam uma
família de seis conjuntos, como na lista
𝐿𝑖𝑠𝑡𝑎1 , 𝐿𝑖𝑠𝑡𝑎2 , 𝐿𝑖𝑠𝑡𝑎3 , 𝐿𝑖𝑠𝑡𝑎4 , 𝐿𝑖𝑠𝑡𝑎5 , 𝐿𝑖𝑠𝑡𝑎6
de listas. Cada lista 𝐿𝑖𝑠𝑡𝑎𝑘 é a lista de nomes dos alunos na sala de aula k. O símbolo k será um
número natural entre 1 e 6.
Nossos exemplos de famílias contáveis de conjuntos começam com
{1}, {2}, {3}, ⋯
{1}, {1, 2}, {1, 2, 3}, ⋯

Muitas vezes, a lista implícita de conjuntos será listada verticalmente, como na seguinte família
𝐴1 = {0}
𝐴2 = {0, 1}
𝐴3 = {0, 1, 2}
𝐴4 = {0, 1, 2, 3}
⋮
de conjuntos. Esta lista é infinita e consiste em conjuntos. É por isso que nós chamamos tal lista
implícita de uma família infinita de conjuntos.
Aqui está outro exemplo. Para cada 𝑚 ∈ ℕ, seja ℕ𝑚 o conjunto de números naturais divisíveis
por m. Então, a lista abaixo é uma família infinita de conjuntos:
ℕ2 = {2, 4, 6, ⋯ }
ℕ3 = {3, 6, 9, ⋯ }
⋮
ℕ𝑚 = {𝑚, 2𝑚, 3𝑚, ⋯ }
⋮
Para cada número natural m, seja
ℚ+
𝑚 o conjunto de números racionais positivos cujo numerador é m.

Podemos fazer uma lista implícita desse conjunto, já que os denominadores de uma fração positiva
podem ser apenas 1, 2, 3, 4, ...

Prof. Rubens Vilhena Fonseca/UEPA

 𝑚 𝑚 𝑚 𝑚
ℚ+
𝑚 ={ , , , ,⋯}
1 2 3 4
Observe que o denominador aumenta enquanto o numerador permanece m.
1 1 1 1
ℚ1+ = { , , , , ⋯ }
1 2 3 4
2 2 2 2
ℚ+
2 = { , , , ,⋯}
1 2 3 4
3 3 3 3
ℚ+
3 = { , , , ,⋯}
1 2 3 4
24 24 24 24
ℚ+
24 = { , , , ,⋯}
1 2 3 4
⋮

Aqui está outro exemplo. Dado um número 𝑛 ∈ ℕ, seja (𝑛, 𝑛 + 1) = {𝑥 ∈ ℝ|𝑛 < 𝑥 < 𝑛 + 1} o
conjunto de números reais estritamente entre n e n+1. Em forma de imagem, poderíamos
representar assim:

Neste ponto, vamos definir a união (∪) e a interseção (∩) para famílias enumeráveis de conjuntos.
A ideia por trás disso é que a notação corresponda à linguagem dos quantificadores. Em particular,
teremos a oportunidade de usar frases como "para algum", "pelo menos" e "para todos". Lembre-
se de que as palavras "para algum" significam pelo menos um e, no máximo, todos.
Definição Seja {𝐴0 , 𝐴1 , 𝐴2 , ⋯ } uma família infinita de conjuntos.
1.∩ {𝐴𝑛 |𝑛 ∈ ℕ} =∩𝑛∈ℕ 𝐴𝑛 = {𝑥|𝑥 ∈ 𝐴𝑛 ∀∈ ℕ}
2.∪ {𝐴𝑛 |𝑛 ∈ ℕ} =∪𝑛∈ℕ 𝐴𝑛 = {𝑥|𝑥 ∈ 𝐴𝑛 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢𝑚 𝑛 ∈ ℕ}
De forma equivalente, 𝑥 ∈∩𝑛∈ℕ 𝐴𝑛 quando exatamente x é um elemento de 𝐴𝑛 para todo 𝑛 ∈ ℕ.
E 𝑥 ∈∪𝑛∈ℕ 𝐴𝑛 quando exatamente 𝑥 ∈ 𝐴𝑛 para algum 𝑛 ∈ ℕ.
Certamente, podemos utilizar alguns exemplos aqui. Seja
𝐴0 , 𝐴1 , 𝐴2 , 𝐴3 , ⋯
uma família infinita de conjuntos. Assim
∪𝑛∈ℕ 𝐴𝑛 = 𝐴0 ∪ 𝐴1 ∪ 𝐴2 ∪ ⋯
Exemplo 1 Seja
𝐴1 = {0}

𝐴2 = {0, 1}
𝐴3 = {0, 1, 2}
𝐴4 = {0, 1, 2, 3}
⋮

Prof. Rubens Vilhena Fonseca/UEPA

Então, 1 ∈ 𝐴2 , 3 ∈ 𝐴4 , e assim por diante. Em geral, podemos observar que
𝑛 ∈ 𝐴𝑛+1 ∀∈ ℕ.
Portanto, todo 𝑛 ∈ ℕ satisfaz o predicado 𝑛 ∈ 𝐴𝑛+1 Por outro lado,

Se 𝑘 ∈ ℕ, então 𝑘 ∈ 𝐴𝑛 para algum 𝑛 ∈ ℕ.

Concluímos, então, que 𝑘 ∈∪𝑛∈ℕ 𝐴𝑛 . Na verdade, como não há nenhuma condição adicional em
k, podemos dizer que cada 𝑘 ∈ ℕ está em ∪𝑛∈ℕ 𝐴𝑛 . Assim,
ℕ ⊂∪𝑛∈ℕ 𝐴𝑛 .
Suponha que olhemos para ∩𝑛∈ℕ 𝐴𝑛 agora. Uma vez que 0 ∈ 𝐴𝑛 ∀∈ ℕ, vemos que

0∈ ∩
⏟ 𝐴𝑛
𝑛∈ℕ

Se 𝑚 ∈ ℕ é um número natural diferente de 0, então 𝑚 ∉ 𝐴𝑚 então 𝑚 ∉ 𝐴𝑚 de modo que 𝑚 ∉

𝐴𝑛 para algum número natural n. Na verdade, 𝑚 ∉ 𝐴𝑛 para muitos números naturais n, mas
apenas uma ocorrência é suficiente para concluir que:
𝑚∉ ∩
⏟ 𝐴𝑛 .
𝑛∈ℕ

Portanto, ∩𝑛∈ℕ 𝐴𝑛 = {0}.

Exemplo 2 Vamos criar outra família infinita de conjuntos. Vamos analisar a lista de conjuntos
de dois números naturais:
𝐵0 = {0, 1 ∙ 5}

𝐵1 = {1 ∙ 5, 2 ∙ 5}
𝐵2 = {2 ∙ 5, 3 ∙ 5}
𝐵3 = {3 ∙ 5, 4 ∙ 5}
⋮
Seja
𝔽 = {5𝑛|𝑛 ∈ ℕ}
Representa o conjunto dos múltiplos de 5. Pode-se provar que
∪
⏟ 𝐵𝑛 = 𝔽.
𝑛∈ℕ

Exemplo 3 Neste exemplo, vamos definir p ≥ 2 como um número primo e ℕ𝑝 como o conjunto
de números naturais não negativos divisíveis por p. Então, ℕ2 é o conjunto de números pares
positivos = {0, 2, 4, 6, ...}, e ℕ3 é o conjunto de números não negativos divisíveis por 3. Por
padrão, definimos ℕ1 = {0,1}. Isso é apenas uma notação que estamos usando e não tem nada a
ver com a propriedade de primo. Então, temos uma família infinita de conjuntos:
ℕ1 = {0, 1}
ℕ2 = {0, 2, 4, 6, ⋯ }

ℕ3 = {0, 3, 6, 9, ⋯ }

Prof. Rubens Vilhena Fonseca/UEPA

 ℕ5 = {0, 5, 10, 15, ⋯ }
⋮

Além disso, temos uma família infinita indexada por 1 e pelo conjunto de números primos ℙ.
ℕ1 , ℕ2 , ℕ3 , ℕ5 , ⋯
Assim, ℕ7 é um membro da família, mas ℕ9 não está incluído na família.

Exemplo 4 Seja
∪𝑛∈ℙ ℕ𝑛 = ℕ2 ∪ ℕ3 ∪ ℕ5 ∪ ⋯
a união de conjuntos, e seja 𝔻 = o conjunto de números naturais divisíveis por algum número
primo. Como desafio, prove que:
𝔻 =∪𝑝∈ℙ ℕ𝑝 .

Exemplo 5 Usando a notação do exemplo anterior, vamos examinar o conjunto

𝑋 = ℕ2 ∩ ℕ3 ∩ ℕ5 ∩ ⋯ = ∩
⏟ ℕ𝑝
𝑝∈ℙ

1. Observamos que 0 ∈ X, pois 0 = p0 ∈ Np para todos os primos p. Suponha, para os fins de uma
prova por contradição, que assumimos que existe um elemento x ≠ 0 ∈ X. Então x ∈ Np para cada
p ∈ ℙ, de modo que x é divisível por cada p ∈ ℙ. O que são os números naturais não nulos
divisíveis por todos os números primos? Você está familiarizada com a resposta toda vez que você
fatora um número natural não nulo. Números naturais não nulos são divisíveis por apenas um
número finito de números primos. Essa contradição (que x ≠ 0 é divisível por todos os primos e
que x pode ser divisível por apenas um número finito de primos) mostra-nos que nossa suposição
está incorreta. Portanto, X = ∅, e assim
ℕ2 ∩ ℕ3 ∩ ℕ5 ∩ ⋯ = ∅
2. Vamos mostrar que a intersecção de qualquer dois desses conjuntos é não vazia. Sejam p, q ∈
ℙ números primos. Então, 𝑝𝑞 ∈ ℕ𝑝 ∩ ℕ𝑞 , pois pq é um múltiplo de p e um múltiplo de q de modo
que ℕ𝑝 ∩ ℕ𝑞 ≠ ∅.

Exemplo 6 Seja 𝐴0 , 𝐴1 , 𝐴2 , 𝐴3 , ⋯ uma família infinita de conjuntos. A seguinte negação das

definições de ∩ e ∪ é um bom exercício no uso correto de quantificadores universais e
existenciais.
𝑥 ∉∩𝑛∈ℕ 𝐴𝑁 𝑒𝑥𝑎𝑡𝑎𝑚𝑒𝑛𝑡𝑒 𝑞𝑢𝑎𝑛𝑑𝑜 ∃𝑛 ∈ ℕ, 𝑥 ∉ 𝐴𝑛 .
Observe a mudança na formulação. Passamos de "para todos" para sua negação lógica "existe".
A afirmação "todas as cores são impressionantes" é negada por "algumas cores não são
impressionantes". Tente negar 𝑥 ∈ 𝑆 para todos os conjuntos S antes de ler o resto. Você estaria
correto se sua negação lesse 𝑥 ∉ 𝑆 para algum conjunto S. Também poderia ler ∃𝑥, 𝑥 ∉ 𝑆. Sua
escolha dependeria do português que cerca a matemática.
A afirmação n < n + 1, ∀n ∈ ℕ é negada ao se escrever n ≥ n + 1 para algum n ∈ ℕ Dito de outra
forma, essa negação lê-se como
∃𝑛 ∈ ℕ, 𝑛 ≥ 𝑛 + 1.

Prof. Rubens Vilhena Fonseca/UEPA

Esta é obviamente uma afirmação FALSA, o que deveríamos esperar, pois estamos negando a
afirmação VERDADEIRA n < n + 1, ∀n ∈ ℕ.
Lembrando que "para alguns" significa pelo menos um e no máximo todos. Seu significado será
reforçado com vários exemplos.
A afirmação "algumas crianças têm olhos azuis" significa que há uma criança ou talvez várias
crianças que têm olhos azuis. Uma rápida verificação de crianças europeias verificará que muitas
crianças têm olhos azuis, portanto, logicamente, algumas crianças têm olhos azuis. A afirmação
"x ∈ An para algum n ∈ ℕ" significa que existe pelo menos um, e possivelmente mais do que isso,
número natural n tal que 𝑥 ∈ 𝐴𝑛 . A afirmação 3𝑥 = 0 para algum 𝑥 ∈ ℝ significa que existe um,
e possivelmente mais do que isso, um número real x tal que 3𝑥 = 0. A Álgebra nos mostra
imediatamente que, neste caso, existe exatamente 1 número x tal que 3x = 0. Mas ainda é correto
dizer que existem alguns números reais x tais que 3x = 0.
Se tivermos um predicado P e escrevermos P é satisfeito por pelo menos um número natural,
então queremos dizer que existe um número natural n que satisfaz P, e que pode haver mais
números naturais m que satisfazem P. Não descartamos a possibilidade de que todos os números
naturais n possam satisfazer P. Por exemplo, vamos definir:
P = há n músicos em uma banda de rock and roll.
Então P é satisfeito pelo menos pelo número natural 4. Na verdade, P também é satisfeito por 3,
5 e 7. Bandas de rock and roll não chegam a milhares de músicos, então existem alguns números
naturais que não satisfazem P. Deixo para você nomear as bandas que têm 3, 4 ou 7 pessoas,
lembrando que o gosto musical deste professor de Análise Real, é limitado ao rock and roll dos
anos 1960, 1970 e 1980.
Exemplo 7 Seja uma família infinita de conjuntos.
𝐴0 = {0}
𝐴1 = {0, 1}
𝐴2 = {0, 1, 2}
⋮

Então 2∉ 𝐴1 , 3∉ 𝐴2 , e em geral, 𝑛 ∉ 𝐴𝑛−1 . Portanto, dado 𝑚 ∈ ℕ,

2, 3, ⋯ , 𝑚 ∉ ∩
⏟ 𝐴𝑛
𝑛∈ℕ

porque 𝑚 ∉ 𝐴𝑚 está nesta família infinita de conjuntos. Desde que 0 ∈ 𝐴𝑛 para todos os 𝑛 ∈ ℕ,
{0} = ∩
⏟ 𝐴𝑛 .
𝑛∈ℕ

Se 𝑥 ∈ 𝐴𝑛 para algum 𝑛 ∈ ℕ, então 𝑥 ∈∪𝑛∈ℕ 𝐴𝑛 . A declaração define a união de uma família

infinita de conjuntos {𝐴𝑛 |𝑛 ∈ ℕ}. A negação desta declaração pode ser escrita como
𝑥 ∉∪𝑛∈ℕ 𝐴𝑛 𝑒𝑥𝑎𝑡𝑎𝑚𝑒𝑛𝑡𝑒 𝑞𝑢𝑎𝑛𝑑𝑜 𝑥 ∉ 𝐴𝑛 ∀𝑛 ∈ ℕ.

Prof. Rubens Vilhena Fonseca/UEPA

O leitor deve mostrar que
{0, 1, 2, ⋯ } = ∪
⏟ 𝐴𝑛 .
𝑛∈ℕ

Investigações Seja {𝐴𝑛 |𝑛 ∈ ℕ} uma família infinita de conjuntos contidos em algum conjunto
universal 𝒰.
1. Expresse em termos de quantificadores o que 𝑥 ∈∪𝑛∈ℕ 𝐴𝑛 significa.
2. Expresse em termos de quantificadores o que 𝑥 ∉∪𝑛∈ℕ 𝐴𝑛 significa.
3. Expresse em termos de quantificadores o que 𝑥 ∈∩𝑛∈ℕ 𝐴𝑛 significa.
4. Expresse em termos de quantificadores o que 𝑥 ∉∩𝑛∈ℕ 𝐴𝑛 significa.
5. Mostre que (∩𝑛∈ℕ 𝐴𝑛 )′ =∪𝑛∈ℕ 𝐴′𝑛
6. Mostre que (∪𝑛∈ℕ 𝐴𝑛 )′ =∩𝑛∈ℕ 𝐴′𝑛

Prof. Rubens Vilhena Fonseca/UEPA