MAT 8055 - Tópicos de Álgebra Ementar

Profa. Dra. Adriana Miorelli Adami

Notas Complementares

Estas notas, escritas em forma de comentários, complementam o estudo da álgebra de

conjuntos.
Além disso, apontam algumas das relações entre a Lógica Matemática e a álgebra de
conjuntos.

Estes comentários foram retirados do livro "A Matemática do Ensino Médio", volume
1, nona edição,2006, escrito por Elon Lages Lima, Paulo Cezar Pinto Carvalho, Eduardo
Wagner e Augusto Cesar Morgado.

Comentário 1)
Os conjuntos mais frequentes encontrados na Matemática são:
 os conjuntos numéricos
 as figuras geométricas (que são conjuntos de pontos)
 conjuntos de funções, de matrizes, etc.

Comentário 2)
É incorreto escrever A  {conjunto dos números pares}.
Escreva A  {números pares} ou A  {2n, n ∈ ℤ .

Comentário 3)
Seja a ∈ A :
 É errado escrever a ⊂ A e a ∈ A.
 É correto escrever a ⊂ A.

Comentário 4)
a, b, c  b, a, c  a, b, b, c, c, c
 A ordem em que os elementos são descritos não altera o conjunto.
 A repetição de elementos não é necessária.

Comentário 5)
Qualquer propriedade contraditória serve para definir o conjunto vazio:
Exemplos de conjunto vazio:
∅  x ∈ ; x ≠ x
∅  x ∈ ℤ; x é ímpar e é múltiplo de 2

1
Comentário 6)
O conjunto vazio é subconjunto de qualquer conjunto:
∅ ⊂ A, qualquer que seja A

Comentário 7)
Quando dois conjuntos A e B não posssuem elementos em comum, ou seja, quando A
∩ B  ∅, então dizemos que A e B são disjuntos.

Comentário 8)
As operações A  B e A ∩ B entre conjuntos constituem a contrapartida matemática dos
conectivos lógicos "ou" e "e ":
x ∈ A  B significa "x ∈ A ou x ∈ B "
x ∈ A ∩ B significa "x ∈ A e x ∈ B "
As operações A  B e A ∩ B são comutativas:
ABBA
A∩BB∩A
As operações A  B e A ∩ B são associativas:
A  B  C  A  B  C
A ∩ B ∩ C  A ∩ B ∩ C
Além disso, cada uma delas é distributiva em relação à outra:
A ∩ B  C  A ∩ B  A ∩ C
A  B ∩ C  A  B ∩ A  C

Comentário 9)
Dado um conjunto A, isto é, um subconjunto do conjunto universo U, chama-se
complementar de A ao conjunto C U A formado pelos elementos de U que não
pertencem a A:
C U A  x; x ∈ U e x ∉ A

Se U é o conjunto universo, entao C U U  ∅

e C U ∅  U.

Comentário 10)
Lembremos que, fixado o conjunto A, para cada elemento x em U, vale uma e somente
uma das alternativas: x ∈ A ou x ∉ A. Isto se dá devido ao princípio do terceiro
excluído da Lógica: não existe uma terceira opção além de x ∈ A ou x ∉ A.

Além disso, o fato de que as alternativas x ∈ A e x ∉ A não podem ser verdadeiras ao

mesmo tempo chama-se o princípio da não-contradição.