Conjuntos: O Que São e Como Definir Precisamente

Toda vez que agrupamos objetos com algum critério em comum — os números pares menores que 10, os usuários cadastrados em um sistema, os nós de um grafo — estamos trabalhando com conjuntos. O conceito parece trivial, mas há um detalhe fundamental que separa um agrupamento matemático rigoroso de uma lista vaga: o critério precisa ser preciso o suficiente para que qualquer objeto do mundo possa ser testado.

Por que conjuntos?

#

A teoria dos conjuntos ganhou forma rigorosa no final do século XIX, principalmente com Georg Cantor. Na matemática discreta — e na ciência da computação — conjuntos aparecem em todo lugar:

• Lógica proposicional: o conjunto de valorações que satisfazem uma fórmula.
• Combinatória: contar subconjuntos de tamanho \(k\) de um conjunto de \(n\) elementos.
• Grafos: um grafo é um par \((V, E)\) onde \(V\) é o conjunto de vértices e \(E \subseteq V \times V\) é o conjunto de arestas.
• Programação: coleções, filtros, buscas — operações de conjunto disfarçadas de código.

Este artigo apresenta os conceitos fundamentais da teoria dos conjuntos: o que é um conjunto, como descrevê-lo, as relações entre conjuntos e o poderoso objeto chamado conjunto das partes. Tudo isso forma a linguagem que usaremos em todos os outros artigos desta série.

O Que É um Conjunto

#

A expressão bem definida é o coração da definição. Ela significa que, dado qualquer objeto, devemos conseguir decidir sem ambiguidade se ele pertence ou não ao conjunto. Sem essa precisão, o agrupamento não é matematicamente útil.

Por convenção, conjuntos são representados por letras maiúsculas — \(A, B, C, \ldots\) — e seus elementos por letras minúsculas — \(a, b, x, \ldots\). A relação entre um objeto e um conjunto é chamada de relação de pertinência:

• \(x \in A\) — “\(x\) pertence a \(A\)”
• \(x \notin A\) — “\(x\) não pertence a \(A\)”

Coleções bem definidas e coleções ambíguas

#

Considere a coleção \(C\) formada pelas pessoas altas.

• Se uma pessoa mede \(1{,}95\) m, intuitivamente ela pertence a \(C\).
• Se mede \(1{,}50\) m, intuitivamente ela não pertence.
• Se mede \(1{,}75\) m — a resposta já fica ambígua.

Essa coleção não está bem definida porque o critério de pertinência não foi especificado com precisão. A forma correta de resolver isso é substituir a descrição vaga por uma propriedade objetiva:

Agora sim: para qualquer pessoa do mundo, podemos decidir se ela pertence ou não a \(C\).

O fluxograma abaixo resume o raciocínio para verificar se uma coleção é bem definida:

flowchart TD
  A["Critério de pertinência"] --> B{"Qualquer objeto
pode ser
testado sem
ambiguidade?"}
  B -- "Sim" --> C["Conjunto bem definido ✓"]
  B -- "Não / Depende" --> D["Coleção ambígua ✗"]
  D --> E["Reescrever com
propriedade objetiva"]
  E --> A

Os conjuntos numéricos clássicos

#

Antes de prosseguir, é útil ter em mente os conjuntos numéricos que aparecem com frequência:

Esses conjuntos estão encadeados uns dentro dos outros: \(\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}\). O significado preciso do símbolo \(\subset\) será formalizado na seção Igualdade e Inclusão, onde uma figura ilustra essa hierarquia.

Formas de Descrever um Conjunto

#

Existem duas maneiras de especificar um conjunto:

Descrição por extensão — lista explicitamente todos os elementos:

Descrição por compreensão — define uma propriedade \(P(x)\) que caracteriza os elementos:

Na notação por compreensão, o símbolo \(\mid\) se lê “tal que”. Podemos também restringir o universo de busca:

O conjunto vazio

#

Um caso especial importante é o conjunto vazio: o conjunto que não contém nenhum elemento, denotado \(\emptyset\).

Uma propriedade fundamental: \(\emptyset\) é subconjunto de qualquer conjunto — veremos por quê na próxima seção.

Igualdade e Inclusão

#

Dois dos conceitos mais importantes da teoria dos conjuntos são a igualdade e a inclusão.

Note que conjuntos não têm ordem nem repetição: \(\{1, 2, 3\} = \{3, 1, 2\} = \{1, 1, 2, 3\}\). O que importa é quais elementos estão presentes.

Leituras equivalentes para \(A \subseteq B\): “\(A\) está contido em \(B\)”, “\(A\) é subconjunto de \(B\)”, “\(B\) contém \(A\)”, “\(B\) é superconjunto de \(A\)”.

Propriedades da inclusão:

A propriedade \(\emptyset \subseteq A\) decorre diretamente da definição: para que \(\emptyset \not\subseteq A\), precisaria existir algum elemento de \(\emptyset\) que não está em \(A\) — mas \(\emptyset\) não tem nenhum elemento, então essa situação nunca ocorre.

Os conjuntos numéricos clássicos são um exemplo direto dessas relações: \(\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}\). A figura abaixo ilustra essa hierarquia de inclusões:

O Conjunto das Partes

#

Dado um conjunto \(A\), podemos construir um novo conjunto cujos elementos são todos os subconjuntos possíveis de \(A\).

Exemplo: Seja \(A = \{1, 2, 3\}\).

O diagrama abaixo é um Diagrama de Hasse que representa o reticulado booleano de P(A) (ordenado pela relação de inclusão ⊆): cada aresta sobe de um subconjunto para o imediatamente maior (aquele que acrescenta exatamente um elemento).

Ler o diagrama de baixo para cima revela visualmente como esses subconjuntos se encaixam uns dentro dos outros.

flowchart BT
  E["∅"]
  A1["{1}"]
  A2["{2}"]
  A3["{3}"]
  B12["{1,2}"]
  B13["{1,3}"]
  B23["{2,3}"]
  C["{1,2,3}"]

  E --> A1
  E --> A2
  E --> A3
  A1 --> B12
  A2 --> B12
  A1 --> B13
  A3 --> B13
  A2 --> B23
  A3 --> B23
  B12 --> C
  B13 --> C
  B23 --> C

A cardinalidade (número de elementos) do conjunto das partes tem uma fórmula elegante:

Aqui as barras verticais indicam cardinalidade (número de elementos do conjunto), não valor absoluto — notação que será aprofundada no artigo futuro sobre cardinalidade.

Para \(A = \{1, 2, 3\}\): \(|\mathcal{P}(A)| = 2^3 = 8\) subconjuntos.

Isso faz sentido combinatoriamente: para cada elemento de \(A\), temos exatamente duas escolhas — incluí-lo ou não no subconjunto. Com \(n\) elementos e 2 escolhas por elemento, há \(2^n\) subconjuntos possíveis.

A árvore abaixo torna isso concreto para \(A = \{1, 2, 3\}\): cada nível representa a decisão sobre um elemento, e as 8 folhas são exatamente os subconjuntos de \(\mathcal{P}(A)\).

flowchart TD
  R["A = {1, 2, 3}"]
  R -->|"1 ∈ S"| Y1["{1, ?, ?}"]
  R -->|"1 ∉ S"| N1["{_, ?, ?}"]
  Y1 -->|"2 ∈ S"| Y12["{1, 2, ?}"]
  Y1 -->|"2 ∉ S"| N12["{1, _, ?}"]
  N1 -->|"2 ∈ S"| Y02["{_, 2, ?}"]
  N1 -->|"2 ∉ S"| N02["{_, _, ?}"]
  Y12 -->|"3 ∈ S"| L123["{1, 2, 3}"]
  Y12 -->|"3 ∉ S"| L12["{1, 2}"]
  N12 -->|"3 ∈ S"| L13["{1, 3}"]
  N12 -->|"3 ∉ S"| L1["{1}"]
  Y02 -->|"3 ∈ S"| L23["{2, 3}"]
  Y02 -->|"3 ∉ S"| L2["{2}"]
  N02 -->|"3 ∈ S"| L3["{3}"]
  N02 -->|"3 ∉ S"| LE["∅"]

Atenção: elementos de \(\mathcal{P}(A)\) são conjuntos

#

Uma fonte comum de confusão é misturar pertinência (\(\in\)) com inclusão (\(\subseteq\)) ao trabalhar com \(\mathcal{P}(A)\). Se \(A = \{1, 2, 3\}\):

• \( \{1 \} \in \mathcal{P}(A)\) — o conjunto \(\{1\}\) pertence a \(\mathcal{P}(A)\) (é um de seus elementos)
• \(1 \notin \mathcal{P}(A)\) — o número \(1\) não pertence a \(\mathcal{P}(A)\) (o número não é um conjunto)
• \(\emptyset \in \mathcal{P}(A)\) — o conjunto vazio sempre pertence
• \(\{\{1\}\} \subseteq \mathcal{P}(A)\) — o conjunto \(\{\{1\}\}\) está incluído em \(\mathcal{P}(A)\) porque seu único elemento, \(\{1\}\), pertence a \(\mathcal{P}(A)\)

Exercícios

#

Próximos passos

#

Com a noção de conjunto, pertinência e inclusão estabelecidas, o próximo passo natural é aprender a operar sobre conjuntos: como combinar dois conjuntos em um só, como encontrar o que eles têm em comum, como remover elementos de um em relação a outro. Isso é o assunto do próximo artigo, onde também veremos os diagramas de Venn — uma ferramenta visual poderosa para raciocinar sobre conjuntos.

Mais adiante na série, toda essa teoria ganha uma dimensão prática: veremos como os conceitos de conjunto, pertinência, inclusão e operações se traduzem diretamente em código Python, com o tipo set e frozenset da linguagem.

Para uma visão geral de matemática discreta e do roadmap desta série, veja Matemática Discreta: Apresentação e Roadmap.

Até a próxima!