You are on page 1of 6

1

Universidade Lusfona de Humanidades e Tecnologias


Matemtica Discreta - Licenciatura em Engenharia Informtica
1. Semestre 2013/2014
Teresa Almada

2 Ficha de Revises - Teoria dos Conjuntos- Resoluo

1. Sejam A e B conjuntos arbitrrios e considere as seguintes proposies.
p AeP(B) AB=; q AeP(B) #(A\B)=1; r P(AB) _P(A) P(B) A_B ou B_A.
a. Traduza cada uma das proposies em linguagem corrente.
Recordemos que:
- Os elementos do conjunto P(B) so os subconjuntos de B;
- Os subconjuntos de B so os conjuntos cujos elementos so elementos do conjunto B;
- A interseco de dois conjuntos o conjunto constitudo pelos elementos comuns aos
conjuntos intersectados;
- Conjuntos com interseco vazia dizem-se conjuntos disjuntos.

A proposio pode p AeP(B) AB= pode exprimir-se em linguagem corrente da
seguinte forma:
p Os subconjuntos de B so disjuntos de B.

Recordemos que:
- Um conjunto com exactamente um elemento diz-se um conjunto singular;
- O nmero de elementos que constitui um conjunto finito X diz-se cardinal do conjunto e
representa-se por #X.

A proposio q AeP(B) #(A\B)=1 afirma que se A subconjunto de B, ento o
conjunto constitudo pelos elementos de A com excepo dos elementos de B um
conjunto singular, ou seja que os subconjuntos de B tm exactamente um elemento que
no elemento de B.

Recordemos que:
A unio de dois conjuntos tem como elementos os elementos de cada conjunto reunido.

A proposio r P(AB) _P(A) P(B) A_B ou B_A pode exprimir-se em
linguagem corrente da seguinte forma se cada subconjunto da unio de A com B
subconjunto de um deste conjuntos, ento um destes conjuntos subconjunto do outro.
2



b. Diga, justificando as suas respostas, qual o valor lgico de cada uma da proposio.
A proposio p Os subconjuntos de B so disjuntos de B claramente falsa. Alis o
conjunto vazio, pala sua natureza, o nico subconjunto de B disjunto de B. Na verdade, a
nica condio em que a proposio verdadeira o conjunto B ser o conjunto vazio.

Se B o conjunto singular {1}, B subconjunto de B e no entanto no disjunto de B.

A proposio q afirma que se A subconjunto de B, ento o conjunto constitudo pelos
elementos de A com excepo dos elementos de B um conjunto singular, afirmao que
falsa. De facto, se A um subconjunto de B, A constitudo por alguns (eventualmente
todos) elementos de B, logo todos os elementos de A so elementos de B, pelo que se
retirarmos ao conjunto A os elementos de B, obteremos o conjunto vazio, que no um
conjunto singular.

A proposio r diz que se cada subconjunto da unio de A com B subconjunto de um
deste conjuntos, ento um destes conjuntos subconjunto do outro. Esta proposio
verdadeira- antes de demonstrarmos que r verdadeira recordemos alguns factos nossos
conhecidos que so de grande utilidade na argumentao que vamos apresentar.

Recordemos que:
A_AB, ie, cada conjunto subconjunto a sua unio com outro qualquer
conjunto.
AB _A AB=A, ou seja, se a unio de um conjunto A com outro qualquer
conjunto subconjunto de A, ento o outro conjunto subconjunto de A dando a
igualdade dos conjuntos A e da unio de A com o outro conjunto.
AB=AB_A, i e, a unio de dois conjuntos subconjunto de um dos
conjuntos reunidos, se e s se, o outro conjunto tambrm subconjunto deste
conjunto.

Estamos agora em condies de provar que a proposio verdadeira.
Por hiptese, sabemos que cada subconjunto de AB subconjunto de A ou ento
subconjunto de B, em particular podemos concluir que o conjunto AB subconjunto de
uma dos conjuntos A ou B (porqu?).
Se AB for subconjunto de A, ento, de acordo com o que dissemos antes estes conjuntos
so iguais (AB=A). Mas se assim for, tambm de acordo com o que recordamos antes,
3

podemos concluir que B subconjunto de A.
Analogamente, se AB for subconjunto de B, concluiremos que A subconjunto de B.

c. Negue cada uma das proposies.
Negao de p A
e
P(B) e A

B= . Esta proposio diz que em B h um


subconjunto disjunto de B, a saber o conjunto vazio que como sabemos o nico
subconjunto disjunto de B.

Negao de q A
e
P(B)

e #(A\B) = 1. Na verdade, o cardinal de qualquer
subconjunto de B, exceptuando os elementos de B, o conjunto vazio.

Negao de r P(A

B) _P(A)

P(B)

e A.B ou B.A. Dados dois conjuntos, a
condio de nenhum dos conjuntos ser subconjunto do outro condio necessria e
suficiente para que haja subconjuntos da unio que no sejam subconjuntos de
nenhum dos conjuntos reunidos.


2. Para cada natural n, considere o subconjunto X
n
de R definido por X
n
= [-n, n]\]-

.
a. Represente na recta real os conjuntos X
0
, X
1
e X
2
.
Atendendo definio , temos
X
0
= [0, 0]\]-1, 1[ = {0}\]-1, 1[= ;
X
1
= [-1, 1]\]-1/2,1/2[ = [-1, -1/2] [1/2, 1];
X
2
= [-2, 2]\]-1/2,1/3[ = [-2, -1/3] [1/3, 2].
Na figura abaixo esto representados na recta real os conjuntos X
1
e X
2
, a azul e a
encarnado respectivamente.

-2 -1 -

1 2

b. Existe alguma relao entre os conjuntos X
n
e X
1 + n
? Justifique a sua resposta.
Os conjuntos X
n
, com n natural, so definidos por
X
n
= [-n, -1/(n+1)] [1/n+1, n].
Vejamos que X
n
_ X
1 + n
. Para isso precisamos mostrar que os elementos do conjunto X
n

so elementos do conjunto X
1 + n
.
Seja x um elemento do conjunto X
n
. Ento -n x -1/(n+1) ou 1/n+1 x n. Como
4

-n-1 < -n e -1/(n+1) < -1/(n+1+1), logo se n x -1/(n+1), ento x elemento de
[-n-1, -1/n+2)] ou seja x elemento de X
1 + n
= [-n-1, -1/(n+2)] [1/n+2, n+1]. Se for
1/n+1 x n, ento 1/(n+2) x n+1, donde x elemento de X
1 + n
e consequentemente
X
n
_ X
1 + n
.
c.
d. Determine os seguintes conjuntos
i.

o n
n
X
>
.
O conjunto

o n
n
X
>
o conjunto vazio, j que este conjunto resulta da interseco
de uma famlia de conjuntos em que um dos conjuntos, o X
0
, o conjunto vazio e
como sabemos a interseco do conjunto vazio com qualquer conjunto o conjunto
vazio.

ii.

o n
n
X
>
.
O conjunto

o n
n
X
>
o conjunto dos nmeros reais no nulos, isto

o n
n
X
>
=R\{0}.
De facto, a sucesso n tende para - e a sucesso -1/(n+1) tende para zero o que
garante que a unio dos intervalos [-n, -1/(n+1)] o conjuntos dos reais negativos.
Analogamente, a unio dos intervalos [1/n+1, n] o conjunto dos reais positivos. A
unio destes dois conjuntos a unio dos conjuntos X
n
, logo

o n
n
X
>
=R\{0}.

iii. (

o n
n
X
>
)\]-1, 1[.
deixado ao cuidado do aluno.

3. Sejam A, B, X e Y
n
, com neN , conjuntos. Prove que
a. Se AB = B, ento AeP(B).
Suponhamos que AB = B. Ento A subconjunto de B, j que os elementos de A so
elementos da unio e portanto de B. Assim, AeP(B).

b. Se P(

o n
n
Y
>
) = P(A), ento Y
n
_,A para cada natural n.
Suponhamos que P(

o n
n
Y
>
) = P(A). Ento todos os subconjuntos de

o n
n
Y
>
so subconjuntos
5

de A, em particular o conjunto

o n
n
Y
>
subconjunto de A. Como sabemos, para cada n, o
conjunto Y
n
subconjunto da unio

o n
n
Y
>
que como j dissemos subconjunto de A,
portanto, para cada n, Y
n
_

o n
n
Y
>
_A, ou seja
Y
n
_,A para cada natural n.

c. Se P(

o n
n
Y
>
) = P(A) e A um conjunto finito, ento Y
n
= Y
m
, para alguns naturais n e m
distintos.
De acordo com a alnea anterior, para cada n, o conjunto Y
n
subconjunto de A ou seja
cada Y
n
elemento do conjunto potncia P(A). Como por hiptese o conjunto A finito,
ento o conjunto P(A) tambm finito, o que obriga a que os conjuntos Y
n
, com n natural,
no possam ser distintos dois a dois, pelo que alguns destes conjuntos tm de coincidir, ou
seja tero de existir naturais n e m tais que Y
n
= Y
m
.

d. X\(AB)= X\A X\B.
Recordemos que se Y e C so conjuntos, o conjunto Y\C constitudo pelos elementos de
Y com excepo dos elementos de C.A imagem seguinte sugere um modelo para o
conjunto Y\C.



O conjunto Y\C representado apenas pela superfcie representada a azul.
Seja x um elemento do conjunto X\(AB). Ento x elemento de A mas no elemento
da interseco AB. Para que x no seja um elemento desta interseco, ento xno
elemento de A, caso contrrio x no elemento de B.
Se xeA, ento xeX\A e consequentemente xe X\A X\B. Analogamente, Se xeB,
ento xeX\B e consequentemente xe X\A X\B.
Conclumos assim que o conjunto X\(AB) subconjunto do conjunto X\A X\B. Para
concluirmos a igualdade destes conjuntos, vejamos que o conjunto X\A X\B
subconjunto do conjunto X\(AB).
Seja x um elemento X\A X\B. Ento x elemento de um dos conjuntos X\A ou X\B.
Se x elemento de X\A, ento x elemento de x e no elemento de A. Se x no
elemento de A no pode ser comum a A e a B, logo no elemento de AB. Assim x
Y
6

elemento de X\(AB). Analogamente, se x elemento de X\B, ento x elemento de
X\(AB).

a. Exprima o conjunto X\(AB) como interseco de conjuntos. Justifique a sua resposta.
A resposta fica a cargo do aluno. Deixamos no entanto uma sugesto: tenha em ateno a
resoluo do exerccio anterior.

b. Prove que os conjuntos X\(AB) e B\A so disjuntos.
Provar que dois conjuntos so disjuntos garantirem que esses conjuntos no tm qualquer
elemento em comum o que equivale a garantir que um elemento que pertena a um dos
conjuntos no pode pertencer ao outro conjunto.
Se x um elemento do conjunto B\A, ento x elemento do conjunto B, logo elemento
do conjunto AB, portanto x no pode ser elemento do conjunto X\(AB).

c. Diga justificando a sua resposta se X_A x B, ento existem conjuntos X
1
e X
2
tais que
X = X
1
x X
2
.
Pretendemos saber se os subconjuntos de um produto cartesiano tm de ser produtos
cartesianos.
Deixamos a questo para o aluno pensar sobre ela.