Escolar Documentos
Profissional Documentos
Cultura Documentos
Teoria de conjuntos
1.1. Definição. Dado um conjunto A, escreveremos x ∈ A se x é um
elemento de A, ou seja se x pertence a A. Escreveremos x 6∈ A se x não
pertence a A.
Dados dois conjuntos A e B, diremos que A é subconjunto de B, e escrever-
emos A ⊂ B, se cada elemento de A é elemento de B, ou seja se x ∈ A implica
x ∈ B.
Diremos que A é igual a B, e escreveremos A = B, se A e B tem os mesmos
elementos, ou seja se A ⊂ B e B ⊂ A.
Denotaremos por ∅ o conjunto vazio.
1.2. Definição. A união, a interseção, e a diferença de dois conjuntos A e
B são definidas por
A ∪ B = {x : x ∈ A ou x ∈ B},
A ∩ B = {x : x ∈ A e x ∈ B},
A \ B = {x : x ∈ A e x ∈
/ B}.
O produto cartesiano A × B de dois conjuntos A e B é o conjunto dos pares
ordenados (x, y) tais que x ∈ A e y ∈ B, ou seja
A × B = {(x, y) : x ∈ A, y ∈ B}.
Gf = {(x, y) ∈ X × Y : y = f (x)}.
1
Dados A ⊂ X e B ⊂ Y , a imagem de A e a imagem inversa de B são os
conjuntos
f (A) = {y ∈ Y : y = f (x) para algum x ∈ A},
f −1 (B) = {x ∈ X : f (x) ∈ B}.
Dadas duas aplicações f : X → Y e g : Y → Z, a aplicação composta
g ◦ f : X → Z é definida por g ◦ f (x) = g(f (x)) para todo x ∈ X.
Dada uma aplicação f : X → X, definimos f 2 = f ◦ f : X → X, f 3 =
f ◦ f 2 : X → X, etc.
1.4. Definição. Uma relação R em um conjunto X é um subconjunto R
de X × X. Escreveremos xRy se (x, y) ∈ R.
Uma relação R em X é dita reflexiva se xRx para todo x ∈ X. R é dita
simétrica se xRy implica yRx. R é dita antisimétrica se xRy e yRx implica
x = y. R é dita transitiva se xRy e yRz implica xRz.
Diremos que R é uma relação de equivalência em X se R é reflexiva, simétrica
e transitiva.
Diremos que R é uma relação de ordem parcial em X se R é reflexiva,
antisimétrica e transitiva.
Diremos que R é uma relação de ordem total em X se R é uma relação de
ordem parcial em X tal que, dados x, y ∈ X, tem-se que xRy ou yRx.
Exercı́cios
1.A. Se Ai ⊂ X para cada i ∈ I, prove as leis de De Morgan:
[ \
(a) X\ Ai = (X \ Ai ).
i∈I i∈I
\ [
(b) X\ Ai = (X \ Ai ).
i∈I i∈I
2
\ \
(b) f( Ai ) ⊂ f (Ai ), com igualdade se f for injetiva.
i∈I i∈I