Teoria elementar dos conjuntos

Toda representação de um conjunto é apenas uma forma de nomear seus elementos, e a escolha da representação depende do que se quer destacar. Na enumeração, você lista explicitamente cada elemento entre chaves, o que só é viável para conjuntos finitos e pequenos, como $B=\{0,1,4,9\}$. Na propriedade característica, você descreve uma condição que todos os elementos satisfazem e que nenhum elemento de fora satisfaz, como $B=\{x \in \mathbb{Z} \mid x \text{ é quadrado perfeito e } |x|<10\}$ — note que aqui foi preciso fixar o universo $\mathbb{Z}$, pois sem ele a propriedade “quadrado perfeito” poderia incluir números racionais não inteiros. Já o diagrama de Venn representa conjuntos por regiões fechadas, sendo insubstituível para visualizar relações de inclusão, interseção e união, especialmente quando há três ou mais conjuntos.

No ENEM, a cobrança é mais direta: identificar que a ordem dos elementos e repetições não alteram o conjunto, como em $\{2,2,3,1,3\}=\{1,2,3\}$.

Em resumo, dominar as três representações e saber alternar entre elas conforme a conveniência é o que permite resolver desde questões simples de pertinência até problemas complexos de contagem e inclusão-exclusão.

A relação de pertinência é o vínculo mais primitivo da linguagem dos conjuntos: ela diz se um objeto é ou não membro de uma coleção, e sua natureza é ontológica, não comparativa. Enquanto a inclusão ($\subset$) confronta dois conjuntos verificando se todo elemento de um está no outro, a pertinência ($\in$) responde a uma pergunta binária sobre um único candidato: este objeto pertence a este conjunto? Por isso, escrever $A\in B$ só faz sentido se $A$ for tratado como elemento de $B$; se $A$ e $B$ forem ambos conjuntos de "mesmo nível", o correto seria $A\subset B$ ou $A\not\subset B$. A sutileza central é que um mesmo objeto pode ser elemento e conjunto simultaneamente, dependendo do papel que desempenha na expressão.

Tome $X=\{1,\{2\},\{3,4\}\}$. Aqui $1\in X$; $\{2\}\in X$ (é um elemento, isto é, uma "caixa" dentro de $X$); e $\{3,4\}\in X$. Já $3\notin X$, pois o número $3$ não aparece sozinho — ele está dentro do elemento $\{3,4\}$. Além disso, $\{1\}\subset X$, porque o conjunto que contém apenas $1$ tem seu único elemento também em $X$; mas $\{1\}\notin X$, pois $X$ não lista $\{1\}$ entre seus membros.

A contagem de subconjuntos nasce de uma pergunta simples: para cada elemento de $A$, temos duas decisões independentes — incluí-lo ou deixá-lo de fora. Se $A$ tem $n$ elementos, o princípio multiplicativo nos dá $2\cdot2\cdot\ldots\cdot2=2^{n}$ escolhas possíveis, que é exatamente o número de subconjuntos de $A$. Esse raciocínio é mais poderoso que a mera fórmula: ele explica por que a soma $\binom{n}{0}+\binom{n}{1}+\ldots+\binom{n}{n}$ também vale $2^{n}$, já que cada termo $\binom{n}{k}$ conta os subconjuntos de tamanho $k$. A igualdade entre as duas expressões é um caso particular do binômio de Newton com $x=y=1$, e essa conexão aparece o tempo todo em questões que pedem somas alternadas ou identidades combinatórias.

Vale notar ainda que os subconjuntos podem ser classificados: próprios (excluindo o próprio $A$), não vazios (excluindo $\varnothing$) e as partes de cardinalidade fixa.

A relação de inclusão não deve ser confundida com a pertinência: enquanto $\in$ liga elemento a conjunto ($2\in\{1,2,3\}$), o símbolo $\subset$ liga conjunto a conjunto, e essa distinção é fonte clássica de erro em prova — trocar $\in$ por $\subset$ é escorregão quase garantido de candidato desatento. Vale também separar inclusão ampla ($A\subset B$, que admite $A=B$) de inclusão própria ($A\subsetneq B$ ou $A\subset B$ com $A\neq B$), pois algumas bancas usam $\subset$ apenas no sentido próprio, exigindo atenção à notação adotada no enunciado.

A antissimetria merece destaque: ela é a espinha dorsal do método de dupla inclusão, padrão para provar $A=B$ — suponha $x\in A$, conclua $x\in B$, e reciprocamente; esse roteiro resolve desde igualdades entre conjuntos definidos por condições até identidades com uniões e interseções, como $A\cap(B\cup C)=(A\cap B)\cup(A\cap C)$; a transitividade ($A\subset B$ e $B\subset C$ implicam $A\subset C$) encadeia inclusões e é útil em problemas com famílias de conjuntos, como $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$.

Mais do que decorar símbolos, o que a Fuvest, a Unicamp e o ITA realmente cobram é a leitura lógica por trás de cada operação: quando você escreve $x\in A\cap B$, está afirmando duas condições simultâneas ($x\in A$ e $x\in B$), enquanto $x\in A\cup B$ traduz uma disjunção ($x\in A$ ou $x\in B$), e o complementar $\complement_{B}^{A}$ apenas restringe o universo ao conjunto $B$, exigindo que o elemento pertença a $B$ e não a $A$ — detalhe que derruba muita gente quando o enunciado usa o complementar em relação ao universo $U$ em vez de um subconjunto próprio. Vale dominar as propriedades algébricas: comutatividade e associatividade de $\cup$ e $\cap$, distributividade de $\cap$ sobre $\cup$ (e vice-versa), idempotência, absorção, além das relações com o complementar, como $A\cup \overline{A}=U$ e $A\cap \overline{A}=\varnothing$.