Partição de um Conjunto

🧩 partição de um conjunto · dividir sem sobrepor

Em teoria dos conjuntos, uma partição de um conjunto \(A\) é uma maneira de dividir \(A\) em subconjuntos menores, chamados de partes ou blocos, que não se sobrepõem e cuja união reconstitui exatamente \(A\). Esse conceito aparece em diversas áreas: relações de equivalência, combinatória, probabilidade e até na organização de dados.

📌 definição formal

Seja \(A\) um conjunto não vazio. Uma partição de \(A\), denotada \( \text{part}(A) \), é um subconjunto do conjunto das partes \( \mathcal{P}(A) \) (conjunto de todos os subconjuntos de \(A\)) que satisfaz três condições:

1. Nenhum dos elementos da partição é o conjunto vazio: \(\forall X \in \text{part}(A),\; X \neq \varnothing\).
2. Os elementos da partição são mutuamente disjuntos: \(\forall X,Y \in \text{part}(A),\; X \neq Y \Rightarrow X \cap Y = \varnothing\).
3. A união de todos os elementos da partição é o próprio \(A\): \(\bigcup_{X \in \text{part}(A)} X = A\).

Em outras palavras: cada elemento de \(A\) pertence a exatamente um dos blocos da partição.

📦 exemplo: partição de \(A = \{2,3,5\}\)

Primeiro, listamos todos os subconjuntos de \(A\) (conjunto das partes):

\(\mathcal{P}(A) = \{\emptyset, \{2\}, \{3\}, \{5\}, \{2,3\}, \{2,5\}, \{3,5\}, \{2,3,5\}\}\)

Agora, escolhamos um subconjunto de \(\mathcal{P}(A)\) que respeite as três condições. Por exemplo:

\(X = \{\{2\}, \{3,5\}\}\)

Verificando:

• Nenhum elemento de \(X\) é vazio (✓).
• \(\{2\} \cap \{3,5\} = \emptyset\) (✓).
• \(\{2\} \cup \{3,5\} = \{2,3,5\} = A\) (✓).

Portanto, \(X\) é uma partição de \(A\). Outras partições válidas:

• \(Y = \{\{2,5\}, \{3\}\}\)
• \(W = \{\{5\}, \{2\}, \{3\}\}\) (todos os elementos isolados)
• \(S = \{\{2,3\}, \{5\}\}\)

Note que a ordem dos blocos não importa: \(\{\{2\},\{3,5\}\}\) é a mesma partição que \(\{\{3,5\},\{2\}\}\).

🔢 exemplo com conjunto infinito

Considere o conjunto dos números inteiros \(\mathbb{Z}\). A divisão em pares e ímpares forma uma partição:

\(\text{part}(\mathbb{Z}) = \{\ \{0, 2, 4, 6, \dots\},\ \{1, 3, 5, 7, \dots\} \ \}\)

Verificamos:

• Ambos os blocos são não vazios.
• Não há interseção: nenhum número é par e ímpar ao mesmo tempo.
• A união cobre todos os inteiros.

🔗 partições e classes de equivalência

Um fato fundamental: toda relação de equivalência sobre um conjunto induz uma partição (as classes de equivalência), e toda partição define uma relação de equivalência (dois elementos são equivalentes se pertencem ao mesmo bloco). Portanto, partições e relações de equivalência são duas faces da mesma moeda.

\[ a \sim b \;\Longleftrightarrow\; a \text{ e } b \text{ estão no mesmo bloco da partição} \]

🌟 importância e aplicações

Partições são fundamentais em:

• Combinatória: contagem de partições (números de Bell, números de Stirling).
• Probabilidade: partições do espaço amostral em eventos mutuamente exclusivos.
• Álgebra: classes laterais, grupos quocientes.
• Ciência da computação: hashing, organização de bancos de dados, algoritmos de agrupamento (clustering).

\[ \text{Número de partições de um conjunto com } n \text{ elementos: } B_n \text{ (números de Bell)} \]

✦ “Dividir para conquistar, mas sem deixar restos.” ✦ partições com \(\LaTeX\)