MA11 - Unidade 1 Conjuntos Semana de 04/04 a 10/04

A Noo de Conjunto

Toda a Matemtica atual formulada na linguagem de conjuntos. Portanto, a noo de conjuntos a mais fundamental: a partir dela, todos os conceitos matemticos podem ser expressos. Ela tambm a mais simples das ideias matemticas. Um conjunto formado por elementos. Dados um conjunto um objeto qualquer

(que pode at mesmo ser outro conjunto), a

nica pergunta cabvel em relao a ele : conjunto

ou no um elemento do

A ? No caso armativo, diz-se que a pertence ao conjunto A e escreve-se a A. Caso contrrio, pe-se a A e diz-se que a no / pertence ao conjunto A.
1

MA11 - Unidade 1

A Matemtica se ocupa primordialmente de nmeros e do espao. Portanto, os conjuntos mais frequentemente encontrados na Matemtica so os conjuntos numricos, as guras geomtricas (que so conjuntos de pontos) e os conjuntos que se derivam destes, como os conjuntos de funes, de matrizes etc. A linguagem dos conjuntos, hoje universalmente adotada na apresentao da Matemtica, ganhou esta posio porque permite dar aos conceitos e s proposies desta cincia a preciso e a generalidade que constituem sua caracterstica bsica. Os conjuntos substituem as propriedades e as condies. Assim,

P  ou o objeto y satisfaz a condio C , podemos escrever x A e y B , onde A o conjunto dos objetos que gozam da propriedade P e B o conjunto dos objetos que satisfazem a condio C . Por exemplo, sejam P a propriedade de um nmero inteiro x ser par (isto , divisvel por 2) e C a condio sobre o nmero real y
em vez de dizermos que o objeto goza da propriedade expressa por

y 2 3y + 2 = 0.
Por outro lado sejam

A = {. . . , 4, 2, 0, 2, 4, 6, . . .} e B = {1, 2}.
Ento, tanto faz dizer que condio

como armar que

x goza da propriedade P x A e y B. x

satisfaz a

Qual , porm, a vantagem que se obtm quando se prefere dizer que

xA

yB

em vez de dizer que

goza da propriedade

satisfaz a condio

C?

A vantagem de se utilizar a linguagem e a notao de conjuntos que entre estes existe uma lgebra, montada sobre as operaes de

Conjuntos

(A B) e interseo (A B), alm da relao de incluso (A B). As propriedades e regras operatrias dessa lgebra, como
reunio por exemplo

A (B C) = (A B) (A C) e A A B,
so extremamente fceis de manipular e representam um enorme ganho em simplicidade e exatido quando comparadas ao manuseio de propriedades e condies.

Recomendaes:
1.

Evite dizer teoria dos conjuntos.

Essa teoria existe mas, neste

nvel, est-se apenas introduzindo, a linguagem e a notao dos conjuntos. No h teoria alguma aqui.

2. Resista tentao de usar a expresso 

x satisfaz a propriedade P ".

uma propriedade,

Um objeto pode ou

ter uma propriedade. Pode tambm uma condio ou cumprir essa condio. Satisfazer uma propriedade to errado como
gozar de uma condio. Propriedade sinnimo de atributo; condio o mesmo que requisito.

gozar

de uma propriedade,

possuir satisfazer

3. Nunca escreva coisas como

A = {conjunto dos nmeros pares}.

Isto

incorreto. O smbolo

{. . .} signica o conjunto cujos elementos esto descritos no interior das chaves. Escreva A = conjunto dos nmeros pares, A = {nmeros pares} ou A = {2n; n Z}.

MA11 - Unidade 1

Existe um conjunto excepcional e intrigante: o conjunto vazio, designado pelo smbolo

Ele aceito como conjunto porque cumpre a

utilssima funo de simplicar as proposies, evitando uma longa e tediosa meno de excees. Qualquer propriedade contraditria serve para denir o conjunto vazio. Por exemplo,tem-se seja,

= {x; x = x},

ou

x diferente de si mesmo. Seja qual for o objeto x tem-se sempre x . Em muitas questes / matemticas importante saber que um determinado conjunto X no vazio. Para mostrar que X no vazio, deve-se simplesmente encontrar um objeto x tal que x X .
o conjunto dos objetos tais que Outros conjuntos curiosos so os conjuntos unitrios. objeto Dado um

qualquer, o conjunto unitrio {x} tem como nico elemento

esse objeto

x.

Estritamente falando,

e {x} no so a mesma coisa.

Por exemplo,

= {}

pois {} possui um elemento (tem-se

{}) x

mas

vazio. Em certas ocasies, entretanto, pode tornar-se

um pedantismo fazer essa distino. Nesses casos, admite-se escrever em vez de {x}. Um exemplo disso ocorre quando se diz que a

P (em lugar do conjunto cujo nico elemento P ) e escreve-se rs = P , em vez de rs = {P }. (Com

interseo de duas retas e o ponto experincia e bom senso, quem se ocupa da Matemtica percebe que a obedincia estrita aos rgidos padres da notao e do rigor, quando praticada ao p da letra, pode ser um obstculo clareza, elegncia e ao entendimento dos alunos).

2
de

A Relao de Incluso
A
e

Sejam

conjuntos. Se todo elemento de

for tambm elemento

B,

diz-se que

um

subconjunto

de

B,

que

est

contido

em

Conjuntos

B ou que A A B.

parte

de

B.

Para indicar este fato, usa-se a notao

Exemplo: sejam

o conjunto dos tringulos e

o conjunto dos

polgonos do plano. Todo tringulo um polgono, logo A relao de

T P.

A B chama-se relao de incluso. Quando A no um subconjunto de B , escreve-se A B . Isto signica que nem todo elemento de A pertence a B , ou seja, que existe pelo menos um objeto a tal que a A e a B . Por exemplo, sejam A o conjunto / dos nmeros pares e B o conjunto dos mltiplos de 3. Tem-se A B porque 2 A mas 2 B . Tem-se tambm B A pois 3 B mas / 3 A. /
H duas incluses extremas. A primeira obvia: para todo conjunto a

A,

vale

AA

(pois claro que todo elemento de

pertence

A, seja qual for o conjunto A. Com efeito, se quisssemos mostrar que A, teramos que obter um objeto x tal que x mas x A. Como x im/ possvel, somos levados a concluir que A, ou seja, que o conjunto A).
A outra , no mnimo, curiosa: tem-se vazio subconjunto de qualquer outro. Diz-se que com

A=

A um subconjunto prprio A = B. A, B
e

de

quando se tem

AB

A relao de incluso goza de trs propriedades fundamentais. Dados quaisquer conjunto

tem-se:

reexividade : A A; anti-simetria : transitividade :

se

AB AB

BA BC

ento

A = B; A C.

se

ento

MA11 - Unidade 1

A propriedade anti-simtrica constantemente usada nos raciocnios matemticos. Quando se deseja mostrar que os conjuntos so iguais, prova-se que de

AB

pertence a

e todo

B A, ou seja, elemento de B pertence

e

que todo elemento a

A.

Na realidade,

a propriedade anti-simtrica da relao de incluso contm, nela embutida, a condio de igualdade entre os conjuntos: os conjuntos

so iguais se, e somente se, tm os mesmos elementos.

Por sua vez, a propriedade transitiva da incluso a base do raciocnio dedutivo, sob a forma que classicamente se chama de

gismo.

silo-

Um exemplo de silogismo (tipicamente aristotlico) o seguinte:

todo ser humano um animal, todo animal mortal, logo todo ser humano do mortal. lado assim: sejam Na linguagem de conjuntos, isso seria formue

H, A

respectivamente os conjuntos dos seres

humanos, dos animais e dos mortais. Temos

H A

A M,

logo

H M.

Recomendaes:
4. Se

um elemento do conjunto

A,

a relao

aA

pode tambm

ser escrita sob a forma {a}

A.

Mas incorreto escrever

a A

{a} A.
5. Em Geometria, uma reta, um plano e o espao so conjuntos. Seus

elementos so pontos. Se

uma reta contida no plano

escreve-se

r pois,

neste caso, a reta

um subconjunto do plano

No se

Conjuntos

deve escrever

nem dizer que a reta

pertence ao plano

pois

os elementos do conjunto

so pontos e no retas.

A relao de incluso entre conjuntos est estreitamente relacionada

Q propriedades referentes a um elemento genrico de um conjunto U . Essas propriedades denem os conjuntos A, formados pelos elementos de U que gozam de P , e B , conjunto formado pelos elementos de U que tm a propriedade Q. Diz-se ento que a propriedade P implica (ou acarreta ) a propriedade Q, e escreve-se P Q, para signicar que A B .
com a implicao lgica. Vejamos como. Sejam e

U o conjunto dos quadrilteros convexos do plano. Designemos com P a propriedade de um quadriltero ter seus quatro ngulos retos e por Q a propriedade de um quadriltero ter seus lados opostos paralelos. Ento podemos escrever P Q. Com efeito, neste caso, A o conjunto dos retngulos e B o conjunto dos paralelogramos, logo A B .
Por exemplo, seja Vejamos outro exemplo. Podemos escrever a implicao

x2 + x 1 = 0 x3 2x + 1 = 0.
Ela signica que toda raiz da equao raiz de

x2 + x 1 = 0

tambm

x3 2x + 1 = 0.
H diferentes maneiras de se ler a relao  P implica

P Q.

Pode-se dizer para

Q,se P

ento

condio necessria para

Q,  P condio suciente P  ou  P somente se Q.

Q,  Q

Assim, no primeiro exemplo acima, podemos dizer: ser retngulo implica ser paralelogramo, se

x um retngulo ento x um parale-

logramo, ser retngulo condio suciente para ser paralelogramo,

MA11 - Unidade 1

ser paralelogramo condio necessria para ser retngulo, ou, nalmente, todo retngulo um paralelogramo. A implicao

QP

chama-se a

recproca

de

P Q.

Evidente-

mente, a recproca de uma implicao verdadeira pode ser falsa. Nos dois exemplos dados acima, as recprocas so falsas: nem todo paralelogramo retngulo e

x=1

raiz da equao.

x3 2x + 1 = 0
mas no da equao

x2 + x 1 = 0.
Quando so verdadeiras ambas as implicaes escreve-se

P Q

QP

e l-se  P se, somente se,

Q, P

Q P, equivalente a Q
e

ou  P necessria e suciente para

Q.

Isto signica que o conjunto

dos elementos que gozam da propriedade dos elementos que gozam de Por exemplo, sejam medem

coincide com o conjunto

Q. Q
a propriedade de valer

a propriedade de um tringulo, cujos lados

z,

ser retngulo e

z 2 = x2 + y 2 .
Ento

P Q.

Recomendaes:
6. Nunca escreva (ou diga) coisas do tipo

se

x2 + x 1 = 0

x3 2x + 1 = 0.

Conjuntos

O smbolo

no signica ento, mas sim implica. Tambm in-

correto empregar o simbolo portanto. O smbolo

com o signicado conclusivo da palavra adequado para esta palavra e no .

7. As denies matemticas consistem em atribuir nomes a ob-

jetos que gozam de certas propriedades particularmente interessantes. Elas contribuem para a clareza do discurso e a economia do pensamento. quando Por exemplo, um nmero natural e

n > 1

chama-se primo

so os nicos nmeros naturais que so seus divisores.

Embora, estritamente falando, no seja errado usar se, e somente se, numa denio, trata-se de um costume didaticamente inadequado pois d a impresso de ser um teorema, alm de ocultar o fato de que se trata de simplesmente dar um nome a um conceito. Por exemplo, se queremos denir

paralelogramo devemos dizer assim:

chama-se pa-

ralelogramo a um quadriltero no qual os lados opostos so paralelos. Alguns autores escrevem: um quadriltero um paralelogramo se, e somente se, os lados opostos so paralelos. denio. Duas observaes adicionais a respeito de proposies matemticas: A primeira que em Matemtica no h armaes absolutas ou peremptrias. ento Isto no tm cara de

Todas

as proposies matemticas so do tipo se

Q.

(Esta armao peremptria no pertence Matemtica.

Ela apenas sobre Matemtica.) Por exemplo, seja o Teorema de Pitgoras. Ele parece uma verdade absoluta mas na realidade um armao condicional:

a > b c so ento a2 = b2 + c2 .
Se

as medidas dos lados de um tringulo retngulo

10

MA11 - Unidade 1

Por isso as vezes se diz que a Matemtica a cincia das condies necessrias. Ou ento se diz como Bertrand Russel: Na Matemtica nunca sabemos do que estamos falando nem se verdade o que estamos dizendo. A segunda observao diz a respeito s armaes que so vacuamente satisfeitas. Se um professor disser sua classe que todos os

alunos que tiverem 5 metros de altura passaro com nota 10 sem precisar prestar exames, ele certamente estar falando a verdade, mesmo que corrija suas provas com o mximo de rigor. Com efeito, sejam propriedade de um aluno ter 5 metros de altura e sem prestar exames. Ento priedade

Q a de obter nota 10

P Q

pois o conjunto denido pela pro-

vazio e o conjunto vazio est contido em qualquer outro.

De um modo geral, a implicao

P Q

verdadeira (vacuamente)

sempre que no haja elementos com a propriedade P. s vezes mais natural dizer que um objeto cumpre uma certa

condio priedade.
mero

em lugar de armar que ele possui uma determinada Por exemplo, uma equao como

pro-

x x2 = 0

mais

apropriadamente vista como uma condio a que deve satisfazer o n-

do que uma propriedade desse nmero. (Estamos falando de

mais ou menos conveniente, no de  certo ou errado.) A propsito, a resoluo de uma equao um caso tpico em que se tem uma sequncia de implicaes lgicas. Vejamos. Para resolver a equao

x2 x 2 = 0
podemos seguir os passos abaixo: (P )

...... (Q) . . . . . . (R) . . . . . .

x2 x 2 = 0; (x 2)(x + 1) = 0; x = 2 ou x = 1;

Conjuntos

11

(S )

......

x {2, 1}. P, Q, R
e

Se chamarmos respectivamente de postas sobre o nmero

as condies im-

x em cada uma das linhas acima, os passos que

acabamos de seguir signicam que

P Q R S,
isto , se o nmero

satisfaz

entao satisfaz

Por transitividade, a concluso a tirar

Q e assim P S , ou seja: x {2, 1}.

por diante.

Se

x2 x 2 = 0

ento

Estritamente falando, esta armao no signica que as razes da equao

x2 x 2 = 0

so

1.

O que est dito acima

que se houver razes desta equao elas devem pertencer ao conjunto

{2, 1}.

Acontece, entretanto, que no presente caso, os passos acima

podem ser revertidos. fcil ver que valem as implicaes recprocas

S R Q P ,

logo

S P.

Portanto

P S,

ou seja,

so

de fato as (nicas) razes da equao

x2 x 2 = 0.
importante, quando se resolve uma equao, ter em mente que cada passo do processo adotado representa uma implicao lgica. s vezes essa implicao no pode ser revertida (isto , sua recproca no verdadeira). Nesses casos, o conjunto obtido no nal apenas contm (mas no igual a) o conjunto das razes, este ltimo podendo at mesmo ser vazio. Ilustremos esta possibilidade com um exemplo. Seja a equao

x2 + 1 = 0.

Sabemos que ela no possui solues

reais. Na sequncia abaixo, cada uma das letras

P, Q, R e S

representa

12

MA11 - Unidade 1

a condio sobre o nmero

expressa na igualdade ao lado. Assim,

signica

x + 1 = 0, etc. 2 (P ) x + 1 = 0. (multiplicando 4 (Q) x 1 = 0; 4 (R) x = 1; (S ) x {1, 1}.

por

x2 1)

Evidentemente, tem-se toda raiz real da

P Q R S , logo P S , ou seja, 2 equao x + 1 = 0 pertence ao conjunto {1, 1}.

A concluso

O raciocnio absolutamente correto, mas apenas ilustra o fato de que o conjunto vazio est contido em qualquer outro.

que se pode tirar que se houver razes reais da equao elas pertencero ao conjunto {-1,1}. implicao Nada mais.

x2 + 1 = 0

O fato que a

P Q

no pode ser revertida:

sua recproca falsa.

Este fenmeno ocorre frequentemente quando se estudam as chamadas equaes irracionais, mas s vezes ele se manifesta de forma sutil, provocando perplexidade. (Veja Exerccio 6.)

Observao:
No raro que pessoas confundam necessrio com suciente. A. C. M. notou que os alunos tm mais facilidade de usar corretamente est ltima palavra do que a anterior, j que suciente sinnimo de bastante. Talvez isso tenha a ver com o fato de que uma condio suciente geralmente mais forte do que a concluso que se quer chegar. Por exemplo, para que um nmero seja par suciente que seja mltiplo de 4. (Ou basta ser mltiplo de 4 para ser par.) Por outro lado, uma condio necessria , em geral mais fraca do que a concluso

Conjuntos

13

desejada. Assim, por exemplo, para que um quadriltero convexo

seja um retngulo necessrio que seus lados opostos sejam paralelos, mas esta propriedade apenas no assegura que

Q tenha ngulos todos

retos. claro que um conjunto completo de condies necessria para que seja vlida uma propriedade para

constitui uma condio suciente

P.

O Complementar de um conjunto
U,
chamado o

A noo de complementar de um conjunto s faz pleno sentido quando se xa um conjunto

universo. U

universo do discurso, ou conjuntoU. U , ou deriva-

poderia ser chamado o assunto da discusso ou o tema

em pauta: estaremos falando somente dos elementos de Uma vez xado tencero a

U,

todos os elementos a serem considerados per-

e todos os conjuntos sero subconjuntos de

dos destes. Por exemplo: na Geometria Plana, aritmtica da divisibilidade,

o plano. Na teoria

U o conjunto dos nmeros inteiros. Ento, dado um conjunto A (isto , um subconjunto de U ), chamac se complementar de A ao conjunto A formado pelos objetos de U que no pertencem a A. Lembramos que xado o conjunto A, para cada elemento x em U , vale uma, e somente uma, das alternativas: x A, ou x A. / O fato de que, para todo x U , no existe uma outra opo alm de x A ou x A conhecido em Lgica como o princpio do terceiro / excludo, e o fato de que as alternativas x A e x A no podem ser /
verdadeiras ao mesmo tempo chama-se o

princpio da no-contradio.

Seguem-se dos princpios acima enunciados as seguintes regras operatrias referentes ao complementar:

14

MA11 - Unidade 1

(1) Para todo conjunto

A U,

tem-se

(Ac )c = A.

(Todo conjunto

complementar do seu complementar.) (2) Se

A B ento B c Ac .

(Se um conjunto est contido noutro,

seu complementar contm esse outro.) A regra (2) pode ser escrita com notao seguinte

assumindo a forma

AB

B c Ac .

Na realidade, na presena da regra (1), a regra (2) pode ser reforada, valendo a equivalncia abaixo (3)

AB

B c Ac . P
e

Esta equivalncia pode ser olhada sob o ponto de vista lgico,

Q que denem respectivamente os conjuntos A e B . Ento o conjunto A formado pelos elementos de U que gozam da propriedade P , enquanto que os elementos de B so todos os que (pertencem a U ) e gozam da propriedade Q. As propriedades c c que denem os conjuntos A e B so respectivamente a negao de P , representada por P , e a negao de Q, representada por Q . Assim, dizer que um objeto x goza da propriedade P signica (por denio) armar que x no goza da propriedade P (e analogamente, para Q).
usando-se as propriedades Com estas convenes, a relao(3) acima l-se assim:

Q P . Noutras palavras, a implicao P Q (P implica Q) equivale a dizer que Q P (a negao de Q implica a negao de P ). Vejamos um exemplo. Seja U o conjunto dos quadrilteros convexos, R a propriedade que tem um quadriltero x de ser um retngulo e P a propriedade de ser um paralelogramo. Ento P a propriedade que tem um quadriltero convexo de no ser um paralelogramo e R a de no ser um retngulo. As implicaes R P e P R se lem,
(4) se, e somente se,

P Q

Conjuntos

15

neste caso, assim: (a) Se (b) Se

x x

um retngulo ento

um paralelogramo;

no um paralelogramo ento

no um retngulo.

Evidentemente, as armaes (a) e (b) so equivalentes, ou seja, elas so apenas duas maneiras diferentes de dizer a mesma coisa. A implicao

Q P

chama-se a

contrapositiva

da implicao

P Q.
Sob o ponto de vista pragmtico, a contrapositiva de uma implicao nada mais do que a mesma implicao dita com outras palavras, ou vista de um ngulo diferente. Assim por exemplo, a armao de que todo nmero primo maior do que 2 mpar e a armao de que um nmero par maior do que 2 no primo dizem exatamente a mesma coisa, ou seja, exprimem a mesma ideia, s que com diferentes termos. No dia-a-dia da Matemtica frequente, e muitas vezes til, substituir uma implicao por sua contrapositiva, a m de tornar seu signicado mais claro ou mais manejvel. Por isso extremamente importante entender que

P Q

Q P

so armaes equivalentes.

A equivalncia entre uma implicao e sua contrapositiva a base das

demonstraes por absurdo.

Vejamos um exemplo. No plano

consideremos as retas perpendiculares

s.

Seja

propriedade que tem uma reta de

x,

nesse mesmo plano de ser diferente

e perpendicular a

r.

Por outro lado, seja

a propriedade de

uma reta de

(ainda no plano

ser paralela a

s.

Ento

P,

a propriedade de uma reta em

coincidir com

P , negao s ou no ser

perpendicular a reta do plano

r.

A negao de

a propriedade

que tem uma

de no ser paralela a

s.

16

MA11 - Unidade 1

P Q se l, em linguagem comum, assim: se duas retas distintas (s e x) so perpendiculares a uma terceira ( a saber, r ) ento elas (s e x) so paralelas.
A implicao A contrapositiva

Q P

signica: se duas retas distintas no so

paralelas ento elas no so perpendiculares a uma terceira. (Nos dois pargrafos acima estamos tratando de retas do mesmo plano.) Acontece que mais facil (e mais natural) prova a implicao

Q P

do que

P Q.

Noutras palavras, prova-se que

por absurdo. O raciocnio bem simples: se as retas no so paralelas elas tm um ponto nica a perpendicular perpendicular a

P Q distintas s e x x
no

em comum.

Ento, como

reta

pelo ponto A, segue-se que

r.

Figura 1:

Conjuntos

17

Observao:
Para provar que duas retas so paralelas, em geral se usa a demonstrao por absurdo pois a denio de retas paralelas baseada numa negao. (Retas paralelas so retas coplanares que tos em comum.) Observemos que se

no
e

possuem pon-

o universo entao

Uc =

c = U .

Recomendao:
8. Muitas vezes (principalmente nos raciocnios por absurdo) neces-

srio negar uma implicao isto.

P Q.

preciso ter cuidado ao fazer

A negao de todo homem mortal no nenhum homem

mortal mas existe (pelo menos) um homem imortal. Mais geralmente, negar

P Q

signica admitir que existe (pelo menos) um

objeto que tem a propriedade

mas no tem a propriedade

Q.

Isto

bem diferente de admitir que nenhum objeto com propriedade tambm propriedade

tem

Q.

Por exemplo, se

a propriedade que tem

um tringulo de ser issceles e implicao

a propriedade de ser equiltero, a

P Q signicaria que todo tringulo issceles equiltero (o que falso). A negao de P Q a armao de que existe (pelo
menos) um tringulo issceles no-equiltero. Neste contexto, convm fazer uma distino cuidadosa entre a ideia matemtica de

negao

e a noo (no-matemtica) de

contrrio,

ou

oposto. Se um conceito expresso por uma palavra, o conceito contrrio expresso pelo antnimo daquela palavra. Por exemplo, o contrrio de gigantesco minsculo, mas a negao de gigantesco inclui outras gradaes de tamanho alm de minsculo.

18

MA11 - Unidade 1

Reunio e Interseo
A e B, a reunio A B
o conjunto formado pelos

Dados os conjuntos elementos de

mais os elementos de B, enquanto que a

interseo
elementos

A B o conjunto dos objetos que so ao mesmo tempo de A e de B . Portanto se consideramos as armaes x A,

veremos que

x B,
dessas armaes for

x AB

quando

pelo menos uma

quando

verdadeira e, por outro lado, acima forem verdadeiras. Mais concisamente:

xAB

ambas

as armaes

x A B signica  x A ou x B ; x A B signica  x A e x B  .
Nota-se, deste modo, que as operaes

AB e AB entre conjuntos

constituem a contrapartida matemtica dos conectivos lgicos ou e e. Assim, quando o conjunto

formado pelos elementos que

gozam da propriedadeP e

pelos que gozam da propriedade

Q ento

a propriedade que dene o conjunto

AB

denido pela propriedade

AB  P e Q.

 P ou

Q

e o conjunto

Por exemplo, convencionemos dizer que um nmero priedade

x goza da pro-

quando valer a igualdade

x2 3x + 2 = 0.
Digamos ainda que

tem a propriedade

quando for

x2 5x + 6 = 0.

Conjuntos

19

O conjunto dos nmeros que possuem a propriedade e o conjunto dos nmeros que gozam de armao x equivale a x e a armao x equivale a x Noutras palavras,

P A = {1, 2} B = {2, 3}. Assim, a

3x + 2 = 0

ou

x2 5x + 6 = 0

{1, 2, 3},

3x + 2 = 0

x2 5x + 6 = 0

{2}

ou

x = 2.

A B = {1, 2, 3}

A B = {2}.

importante ressaltar que a palavra ou em Matemtica tem um signicado especco um tanto diferente daquele que lhe atribudo na linguagem comum. No dia-a-dia, ou quase sempre liga duas alternativas incompatveis (vamos de nibus ou de trem?). Em Matemtica, a armao  P ou ou

Q

signica que pelo menos uma das alternativas

vlida, podendo perfeitamente ocorrer que ambas sejam. Por

exemplo, correta a armao todo nmero inteiro maior do que 10 ou menor do que 20. Noutras palavras, se

A = {x Z; x > 10}

20

MA11 - Unidade 1

B = {x Z; x < 20}
ento

A B = Z.

A diferena entre o uso comum e o uso matemtico do conectivo ou ilustrada pela anedota do obstetra que tambm era matemtico. Ao sair da sala onde acabara de realizar um parto, foi abordado pelo pai da criana, que lhe perguntou: `Foi menino ou menina, doutor?. Resposta do mdico: Sim. (Com efeito se nas,

o conjunto das meni-

B o conjunto dos meninos e x o recm-nascido, certamente tem-se x A B .)

As operaes de reunio e interseco so obviamente comutativas

AB =BA
e associativas

AB =BA

(A B) C = A (B C)
e

(A B) C = A (B C).
Alm disso, cada uma delas distributiva em relao outra:

A (B C) = (A B) (A C)
e

A (B C) = (A B) (A C).
Estas igualdades que podem ser vericadas mediante a considerao dos casos possveis, constituem, na realidade, regras que regem o uso combinado dos conectivos lgicos ou e e.

Conjuntos

21

A conexo entre as operaes

e a relao de incluso

dada pelas seguintes equivalncias:

AB =B
Alm disso

AB

A B = A. AC BC
para todo

AB AC BC A
e

C.
E, nalmente, se

so subconjuntos do universo

U,

tem-se:

(A B)c = Ac B c

(A B)c = Ac B c

Estas relaes, atribudas ao matemtico ingls Augustus de Morgan, signicam que a negao de  P ou de  P e

Q

nem

nem

Q

e a negao

Q

no

ou no

Q.

Comentrio Sobre a Noo de Igualdade

Quando se escreve

Uma coisa s igual a si prpria.

a = b,

isto signica que

so smbolos

usados para designar o mesmo objeto. Por exemplo, se

a reta perpendicular ao segmento AB, levan-

tada a partir do seu ponto mdio e que so equidistantes de

b o conjunto dos pontos do plano B ento a = b. ABC

e

Em Geometria, s vezes ainda se usam expresses como os ngulos

so iguais ou os tringulos

ABC

so iguais

para signicar que so guras que podem ser superpostas exatamente uma sobre a outra. A rigor, porm, esta terminologia inadequada. Duas guras geomtricas que coincidem por superposio devem ser chamadas

congruentes.

22

MA11 - Unidade 1

Talvez valha a pena observar que a palavra igual em Geometria j foi usada num sentido at bem mais amplo. Euclides, que viveu h 2300 anos, chamava iguais a dois segmentos de reta com o mesmo comprimento, a dois polgonos com a mesma rea e a dois slidos com o mesmo volume. Na linguagem corrente, s vezes se diz que duas pessoas ou objetos so iguais quando um certo atributo, ao qual se refere o discurso naquele momento, possudo igualmente pelas pessoas ou objetos em questo. Assim, por exemplo, quando dizemos que todos so iguais perante a lei, isto signica que dois cidados quaisquer tm os mesmos direitos e deveres legais. A relao  a igual a propriedades:

b,

que se escreve

a = b,

goza das seguintes

Reexividade : a = a; Simetria :
se

a=b

ento

b = a;

Transitividade :

se

a=b

b=c

ento

a = c.

Diante da simetria, a transitividade tambm se exprime assim: se

a=b

c=b

ento

a = c.

Em palavras: dois objetos (a e

c)

iguais

a um terceiro (b) so iguais entre si.

Formulada deste modo, esta

propriedade era uma das noes comuns (ou axiomas) que Euclides enunciou nas primeiras pginas do seu famoso livro Os Elementos.

Conjuntos

23

Recomendaes Gerais

A adoo da linguagem e da notao de conjuntos em Matemtica s se tornou uma prtica universal a partir da terceira ou quarta dcada do sculo vinte. Esse uso, responsvel pelos elevados graus de preciso, generalidade e clareza nos enunciados, raciocnios e denies, provocou uma grande revoluo nos mtodos, no alcance e na profundidade dos resultados matemticos. No nal do sculo 19, muitos matemticos ilustres viam com sria desconana as novas ideias lanadas nos trabalhos pioneiros de G. Cantor. Mas, lenta e seguramente, esse

ponto de vista se imps e, no dizer de D. Hilbert, com sua extraordinria autoridade, ningum nos expulsar desse paraso que Cantor nos doou. Portanto, se queremos iniciar os jovens em Matemtica, necessrio que os familiarizemos com os rudimentos da linguagem e da notao dos conjuntos. Isto, inclusive, vai facilitar nosso prprio trabalho, pois a preciso dos conceitos uma ajuda indispensvel para a clareza das ideias. Mas, na sala de aula, h alguns cuidados a tomar. O principal deles refere-se ao comedimento, ao equilbrio, moderao. Isto consiste em evitar o pedantismo e os exageros que conduziram ao descrdito da onda de Matemtica Moderna. No convm insistir em questes do tipo dado acima. Procure, sempre que possvel, ilustrar seus conceitos com exemplos de conjuntos dentro da Matemtica. Alm de contribuir para

{} = {{}}

ou mesmo naquele exemplo

= {}

implantar a linguagem de conjuntos, este procedimento pode tambm ajudar a relembrar, ou at mesmo aprender, fatos interessantes sobre Geometria, Aritmtica, etc.

24

MA11 - Unidade 1

Seja cuidadoso, a m de evitar cometer erros. o maior aliado do bom professor.

A auto-crtica

Em cada aula, trate a si mesmo

como um aluno cujo trabalho est sendo examinado. Pense antes no que vai dizer mas critique-se tambm depois: ser que falei bobagem? Se achar que falou, no hesite em corrigir-se em pblico. Longe de

desprestigiar, esse hbito fortalecer a conana dos alunos no seu mestre. Esteja atento tambm correo gramatical. Linguagem correta essencial para a limpidez do raciocnio. Muitos dos nossos colegas professores de Matemtica, at mesmo autores de livros, so um tanto descuidados a esse respeito. Dizem, por exemplo que a reta cepta o plano

inter-

no ponto

P ",

quando deveriam dizer intersecta (ou

interseta) j que o ponto interceptao de

a interseo (ou interseco) mas no a

com

Eis aqui outros erros comuns de linguagem que devem ser evitados: Maior ou igual a. O correto : maior do que ou igual a. (Tente

dizer igual ou maior a e veja como soa mal.) Euclideano. O correto euclidiano. Assumir, no lugar de supor (vamos assumir que as retas

sejam paralelas). Isto correto em ingls mas no em portugus. No diga completude, diga completeza. (Belo riqueza; nobre

beleza; rico

nobreza; completo

completeza.)

No diga Espao de tempo. Espao e tempo so conceitos fsicos fundamentais e independentes. intervalo de tempo. No se deve mistur-los. Diga

Conjuntos

25

Exerccios
P1 , P2 , Q1 , Q2 propriedades referentes a elementos de um conjunto-universo U . Suponha que P1 e P2 esgotam todos os casos possveis (ou seja, um elemento qualquer de U ou tem a propriedade P1 ou tem P2 ). Suponha ainda que Q1 e Q2 so incompatveis (isto , excluem-se mutuamente). Suponha, nalmente, que P1 Q1 e P2 Q2 . Prove que valem as recprocas: Q1 P1 e Q2 P2 .
1. Sejam 2.

Enquadre no contexto do exerccio anterior o seguinte fato ge-

Duas oblquas que se afastam igualmente do p da perpendicular so iguais. Se se afastam desigualmente ento so desiguais e a maior a que mais se afasta.
omtrico:

X1 , X2 , Y1 , Y2 subconjuntos do conjunto-universo U . Suponha que X1 X2 = U e Y1 Y2 = , que X1 Y1 e que X2 Y2 . Prove que X1 = Y1 e X2 = Y2 .

3.

Sejam

4. Compare o exerccio anterior com o primeiro em termos de clareza

e simplicidade dos enunciados.

Mostre que qualquer um deles pode

ser resolvido usando o outro. Estabelea resultados anlogos com propriedades ou

subconjuntos em vez de 2. Veja no livro Coorde-

nadas no Espao, (Coleo do Professor de Matemtica, S.B.M.) pg. 83 uma utilizao deste fato com

n = 8.

5.

Ainda no tema do primeiro exerccio, seria vlido substituir as

implicaes

Q1 P1

P1 Q1 Q2 P2 ?

P2 Q2

na hipteses por suas recprocas

26

MA11 - Unidade 1

6.

Escreva as implicaes lgicas que correspondem resoluo da

equao

x + 2 = 2,

veja quais so reversveis e explique o apareci-

mento de razes estranhas. Faa o mesmo com a equao

x + 3 = x.

7. Mostre que, para todo

m > 0,

a equao

x+m = x

tem exata-

mente uma raiz.

8. Considere as seguintes (aparentes) equivalncias lgicas:

x=1

x2 2x + 1 = 0 x2 2 1 + 1 = 0 x2 1 = 0 x = 1.
Onde est o erro?

Concluso(?):

x = 1 x = 1.

9. As razes do polinmios

titua, nesse polinmio, o

x3 6x2 + 11x 6 = 0 so termo 11x por 11 2 = 22,

1, 2 e 3. Subsobtendo ento

x 6x + 16, que ainda tem 2 como raiz mas no se anula para x = 1 nem x = 3. Enuncie um resultado geral que explique este fato e o
relacione com o exerccio anterior.

10. Expresses tais como para todo e qualquer que seja so cha-

madas de quanticadores e aparecem em sentenas dos tipos:

P (x) (2) Existe algum x que satisfaz a condio P (x), onde P (x) uma condio envolvendo a varivel x. a) Sendo A o conjunto de todos os objetos x (de um
(1) Para todo satisfeita a condio

x,

certo conjunto

Conjuntos

27

universo

U)

que satisfazem a condio

P (x),

escreva as sentenas (1)

e (2) acima, usando a linguagem de conjuntos. b) Quais so as negaes de (1) e (2)? Escreva cada uma destas

negaes usando conjuntos e compare com as sentenas obtidas em a). c) Para cada sentena abaixo, diga se ela verdadeira ou falsa e forme sua negao:

Existe um nmero real

tal que

x2 = 1. n2 > n. x>1
ou

Para todo nmero inteiro Para todo nmero real Para todo nmero real

n,

vale

, tem-se

x2 < 1. n
tal que

existe um nmero natural

n > x.
Existe um nmero natural tem-se

tal que, para todo nmero real

x,

n > x.

11. Considere os conjuntos abaixo:

F = conjunto de todos os lsofos M = conjunto de todos os matemticos C = conjunto de todos os cientistas P = conjunto de todos os professores
a) Exprima cada uma das armativas abaixo usando a linguagem de conjuntos: 1) Todos os matemticos so cientistas. 2) Alguns matemticos so professores. 3) Alguns cientistas so lsofos.

28

MA11 - Unidade 1

4) Todos os lsofos so cientistas ou professores. 5) Nem todo professor cientista.

b) Faa o mesmo com as armativas abaixo: 6) Alguns matemticos so lsofos. 7) Nem todo lsofo cientista. 8) Alguns lsofos so professores. 9) Se um lsofo no matemtico, ele professor. 10) Alguns lsofos so matemticos. c) Tomando as cinco primeiras armativas como hipteses, verique quais das armativas do segundo grupo so necessariamente verdadeiras.

12. O artigo 34 da Constituio Brasileira de 1988 diz o seguinte:

A Unio no intervir nos Estados nem no Distrito Federal, exceto para: I. Manter a integridade nacional; II. Repelir invaso estrangeira ou de unidade da Federao em outra III. ....; a) Suponhamos que o estado do Rio de Janeiro seja invadido por tropas do estado de So Paulo. O texto acima obriga a Unio a intervir no estado? caso? b) Reescreva o texto do artigo 34 de modo a torn-lo mais preciso. Na sua opinio, qual era a inteno dos legisladores nesse

13. Prove que

x2 + x 1 = 0 x3 2x + 1 = 0.

Conjuntos

29

14. Prove que, para

x. y , k inteiros, tem-se x + 4y = 13k 4x + 3y = 13(4k y). Conclua que 4x + 3y e x + 4y so divisveis por 13 para os mesmos valores inteiros de x e y .
15. O diagrama de Venn para os conjuntos

X, Y, Z

decompe o plano

em oito regies. Numere essas regies e exprima cada um dos conjuntos abaixo como reunio de algumas dessas regies. (Por exemplo: a) c)

X Y = 1 2.)
b)

(X Y )

(X c Y ) Z c ;
d)(X

(X c Y ) (X Z c );

Y )c Z .

16.

Exprimindo cada membro como reunio de regies numeradas,

prove as igualdades: a) b)

(X Y ) Z = (X Z) (Y Z); X (Y Z)c = X Y c Z c . A, B
e

17. Sejam

conjuntos. Determine uma condio necessria e

suciente para que se tenha

A (B C) = (A B) C . A B = {x|x A
e

18. A diferena entre conjuntos denida por

x B}. Determine uma condio necessria / tenha A (B C) = (A B) C .

e suciente para que se

19. Prove que se um quadrado perfeito par ento sua raiz quadrada

par e que se um quadrado perfeito mpar ento sua raiz quadrada mpar.

20.

Prove o teorema de Cantor:

se

um conjunto e

P (A)

30

MA11 - Unidade 1

conjunto das partes de seja sobrejetiva.

A,

no existe uma funo

f : A P (A)

que

Sugesto:

Suponha que exista uma tal funo

e considere

X = {x

A : x f (x)}. /