Teorema 1.18 Negac¸ ˜ao da implicac¸ ˜ao
2.2 relac ¸˜ oes elementares Subconjuntos e superconjuntos
Seja dado um conjunto A. Dizemos que um conjunto B ´e um sub-
conjuntodo conjunto A (ou, equivalentemente, que B est´a contido em A) se todo elemento de B ´e tamb´em elemento de A. Denota-se tal situac¸˜ao por B⊂ A. Em s´ımbolos,
B⊂ A se, e somente se,
x∈ B ⇒ x ∈ A.
A mesma situac¸˜ao pode ser descrita dizendo que A ´e um supercon-
junto de B ou, mais comumente, que A cont´em B, denotando-se tal relac¸˜ao por A⊃ B.
Exemplos 2.5 Para os exemplos que se seguem, denote por P o conjunto dos n ´umeros naturais pares (note que tal conjunto in- clui o zero), por I o conjunto dos n ´umeros naturais ´ımpares e seja S = {n ∈ N | n + 1 ∈ P} o conjunto dos n ´umeros naturais que s˜ao sucessores de algum n ´umero natural par. Denote ainda por Z o conjunto dos n ´umeros inteiros.
1. P⊂ N, uma vez que todo n ´umero natural par ´e, obviamente, um n ´umero natural.
2. Todo n ´umero natural ´e um n ´umero inteiro, logo Z ⊃ N. 3. Todo n ´umero natural ´ımpar ´e o sucessor de algum n ´umero
Vers
˜ao
Pr
elim
inar
4. Se um n ´umero natural ´e o sucessor de um n ´umero par, ent˜ao tal n ´umero ´e necessariamente ´ımpar, ou seja, I⊃ S.
Os dois ´ultimos exemplos acima traduzem o simples fato de que os conjuntos S e I coincidem1. Temos, de fato, a seguinte
Definic¸˜ao 2.6 Se dois conjuntos A e B satisfazem as relac¸˜oes A⊂ B e B ⊂ A simultaneamente, ent˜ao dizemos que tais conjuntos s˜ao
iguais, isto ´e, A = B. Em s´ımbolos,
A = B
se, e somente se,
x∈ A ⇔ x ∈ B.
Vale destacar, portanto, que uma igualdade entre conjuntos ´e a s´ıntese de duas inclus ˜oes. Tal interpretac¸˜ao ´e ´util, particularmente, em demonstrac¸ ˜oes envolvendo igualdade de conjuntos. Por exem- plo, consideremos o conjunto A constitu´ıdo pelos n ´umeros natu- rais cuja metade tamb´em ´e um n ´umero natural e comparemos o conjunto A com o conjunto P dos exemplos acima, isto ´e, o con- junto dos n ´umeros naturais pares. Poder´ıamos simplesmente dizer que, evidentemente, tais conjuntos s˜ao iguais. Entretanto, descon- fiando das evidˆencias (o que ´e um h´abito saud´avel), vejamos como
1 Note, em particular, que o s´ımbolo⊂, ou mesmo ⊃, n˜ao exclui a possibilidade da igualdade entre os conjuntos
Vers
˜ao
Pr
elim
inar
demonstrar a igualdade A = P.
Tendo em mente que tal igualdade traduz as duas afirmac¸ ˜oes A ⊂ P e A ⊃ P, precisamos trabalhar com cada uma separada- mente. Para provar a primeira, devemos mostrar que todo ele- mento de A ´e tamb´em elemento de P. Assim, tomemos um ele- mento a ∈ A. Tal elemento deve possuir, portanto, a propriedade de que a/2 ´e um n ´umero natural, isto ´e
a 2 = n
para um certo n ∈ N. Logo, a = 2n, ou seja, a ´e divis´ıvel por 2. Conclu´ımos que a ´e par, isto ´e, a∈ P. Provamos, desse modo, que todo elemento de A ´e tamb´em elemento de P, ou seja, A⊂ P. Para provar a outra inclus˜ao, devemos verificar que todo elemento de P ´e tamb´em elemento de A. Seja ent˜ao n ∈ P um elemento qualquer. Como n ´e par (condic¸˜ao para pertencer ao conjunto P), ele ´e divis´ıvel por 2. Assim, existe algum n ´umero natural m tal que
n = 2m
Dividindo ambos os membros da equac¸˜ao acima por 2, obtemos n
2 = m
isto ´e, a metade de n ´e um n ´umero natural. Desse modo, n ∈ A, donde conclu´ımos que P⊂ A.
Tendo verificado que valem as inclus ˜oes A⊂ P e A ⊃ P, podemos concluir que vale a igualdade desejada, isto ´e, A = P.
Vers
˜ao
Pr
elim
inar
Uma vez que a relac¸˜ao de inclus˜ao do tipo B⊂ A inclui a possibi- lidade que os conjuntos A e B sejam iguais (em outras palavras, a relac¸˜ao X ⊂ X ´e sempre v´alida, para qualquer conjunto X), preci- samos de outra notac¸˜ao e nomenclatura para os casos em que que- remos evitar tal possibilidade. Nesses casos, falamos em inclus˜ao pr´opria (ou estrita), denotando por B ( A. Em s´ımbolos,
B ( A⇔ B ⊂ A e B , A.
Assim, quando dizemos que B est´a contido propriamente em A (ou que B ´e um subconjunto pr´oprio de A), estamos afirmando duas coi- sas: i) todo elemento de B ´e elemento de A; ii) existe ao menos um elemento de A que n˜ao pertence a B. Evidentemente, uma observac¸˜ao an´aloga cabe para a inclus˜ao pr ´opria A ) B.
Sobre notac¸˜oes. ´E comum encontrar um uso diferente para o s´ımbolo ⊂ (ou ⊃) na literatura. Em alguns textos ou artigos, de fato, o s´ımbolo ⊂ (ou ⊃) ´e usado com o mesmo significado que demos ao s´ımbolo ( (respectivamente, )). Nesse caso, para indicar a in- clus˜ao gen´erica (i.e. n˜ao pr ´opria), tais textos usam o s´ımbolo ⊆ (respectivamente ⊇). Assim, ao se consultar outras referˆencias bi- bliogr´aficas, ´e salutar verificar qual o significado ali adotado para os s´ımbolos de inclus˜ao.
Conjunto vazio. Assumimos a existˆencia de um conjunto que n˜ao possui nenhum elemento. Tal conjunto ´e chamado de conjunto
Vers
˜ao
Pr
elim
inar
vazioe denotado por ∅. Dado qualquer conjunto A, vale sempre a relac¸˜ao de inclus˜ao
∅⊂ A.
A afirmac¸˜ao acima equivale `a proposic¸˜ao x∈ ∅ ⇒ x ∈ A. Como vi- mos no cap´ıtulo anterior, uma implicac¸˜ao ´e falsa somente quando sua premissa ´e verdadeira e sua conclus˜ao falsa. Em particular, vimos o argumento de vacuidade: uma implicac¸˜ao cuja premissa ´e falsa ´e sempre uma implicac¸˜ao verdadeira, independentemente do valor verdade de sua conclus˜ao. ´E esse exatamente o caso acima: a premissa x ∈ ∅ ´e falsa, enquanto que a conclus˜ao x ∈ A tem valor de verdade indeterminado.
Outro modo de justificar a mesma implicac¸˜ao ´e atrav´es de sua contra-positiva: x < A ⇒ x < ∅. Nesse caso, a premissa pode ser verdadeira ou falsa, sendo imposs´ıvel determinar o valor verdade a priori (afinal, sequer sabemos qual conjunto ´e A). Entretanto, a conclus˜ao x < ∅ ´e evidentemente verdadeira. Assim, a implicac¸˜ao ´e verdadeira, qualquer que seja o valor verdade da premissa.
Exerc´ıcios.
Ex. 2.1 — Determine se as afirmac¸ ˜oes abaixo s˜ao verdadeiras ou falsas:
a) ∅ ⊂ {∅} b) ∅∈ {∅} c) ∅ = {∅}
Vers
˜ao
Pr
elim
inar
Conjunto potˆencia. Seja dado um conjunto A. O conjunto de todos os subconjuntos de A ´e chamado de conjunto potˆencia de A (ou tamb´em conjunto das partes de A) e ´e denotado por ℘(A). Note que, qualquer que seja o conjunto A, o conjunto potˆencia ℘(A) sempre cont´em, pelo menos, os elementos ∅ e A.
Exemplos 2.7. Sejam dados os conjuntos A = {1, 2} e B = {x, y, z}. Ent˜ao:
• ℘(A) = {∅, {1}, {2}, {1, 2}}
• ℘(B) = {∅, {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}}
´E importante destacar um erro comum quando se fala em conjunto das partes. Tomemos o conjunto A do exemplo acima. ´E falso afir- mar que 1 ∈ ℘(A) (ou pior, que 1 ⊂ A). O correto ´e {1} ∈ ℘(A) (o que equivale a dizer que {1}⊂ A). Em suma, vale a relac¸˜ao
X∈ ℘(A) ⇔ X ⊂ A.
A melhor maneira de evitar erros como o ilustrado acima ´e ter sempre em mente o significado das relac¸ ˜oes de pertinˆencia e de inclus˜ao. A primeira ´e uma relac¸˜ao entre elemento e conjunto, en- quanto a segunda ´e uma relac¸˜ao entre conjunto e conjunto. Assim, os elementos de ℘(A) s˜ao subconjuntos de A. J´a os elementos de A, estes n˜ao s˜ao, em geral, elementos de ℘(A).
Vers
˜ao
Pr
elim
inar
Ex. 2.2 — Na ´ultima observac¸˜ao, dissemos que os elementos de um conjunto A n˜ao s˜ao, em geral, elementos de ℘(A). Dˆe um exem- plo de conjunto A tal que A∩ ℘(A) , ∅.
Ex. 2.3 — Se A ´e um conjunto com n elementos, quantos elemen- tos possui o conjunto potˆencia ℘(A)? (Veremos, mais adiante, duas soluc¸ ˜oes para este exerc´ıcio: uma no contexto do Princ´ıpio de Induc¸˜ao, outra no contexto de Combinat ´oria).