You are on page 1of 41

Unidades 1 e 2

Conjuntos
Sumrio
1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 Introduo . . . . . . . . . . . . . . . . . . . . . . . 2 3 5 12 16 19 20 24 A Noo de Conjunto . . . . . . . . . . . . . . . . . A Relao de Incluso . . . . . . . . . . . . . . . . . O Complementar de um Conjunto . . . . . . . . . . Reunio e Interseo . . . . . . . . . . . . . . . . .

Exerccios Recomendados . . . . . . . . . . . . . . . Exerccios Suplementares . . . . . . . . . . . . . . .

Textos Complementares . . . . . . . . . . . . . . . .

unidades 1 e 2

Introduo
1.1 Introduo

Em muitos casos, livros didticos de Matemtica do ensino bsico introduzem determinados assuntos (tipicamente, funes) com uma linguagem fortemente baseada em conjuntos, que subitamente abandonada em seguida. Tais inconsistncias de linguagem podem atrapalhar consideravelmente a aprendizagem. Assim, fundamental para o professor saber adequar a linguagem e a

notao de conjuntos para o nvel em que est ensinando, evitando imprecises, por um lado, e exageros de formalismo, por outro.

A noo de conjunto pode ser construda por meio de um sistema de axiomas especco. Entretanto, apresentar essa construo escaparia ao escopo e aos propsitos deste contexto. O objetivo desta unidade introduzir a linguagem bsica de conjuntos, sem se aprofundar em Teoria de Conjuntos. Em particular, visamos evidenciar as relaes entre a linguagem bsica da lgebra de conjuntos com a linguagem bsica de lgica matemtica de proposies. Assim, vamos assumir o conceito conjunto como uma noo primitiva, sem denio. Podemos, neste caso, simplesmente pensar em um conjunto como estamos acostumados, a saber, como sendo formado por seus elementos. Partindo desta noo primitiva sem denio, deniremos os outros conceitos e demonstraremos os principais teoremas associados. Para aqueles que quiserem se aprofundar mais em Teoria de Conjuntos, recomendamos a leitura de [5].

Para o professor, fundamental o conhecimento da linguagem de conjuntos, uma vez que esta forma a base comum a todos os campos da Matemtica atual. Este conhecimento importante, mesmo para que se saiba adequar o

grau de formalismo da linguagem de conjuntos a cada srie da educao bsica. Por exemplo, mesmo para usar com segurana em sala de aula o abuso de notao

r s = P,

quando se fala do ponto de interseo entre duas retas

(veja a Reexo da p. 5), preciso ter claro por que a verso rigorosamente correta seria

r s = {P }.

Para isto, deve-se lidar confortavelmente com as

relaes entre conjuntos e entre elementos e conjuntos. Assim, ao estudar esta unidade, procure prestar particular ateno em como a linguagem de conjuntos pode facilitar a expresso do raciocnio dedutivo matemtico.

Conjuntos
1.2 A Noo de Conjunto

unidades 1 e 2

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. matemticas. Um conjunto formado por elementos. Na verdade, podemos dizer mais do que isso. Um conjunto denido por seus elementos (e nada mais). Este fato se reete claramente na noo de igualdade entre conjuntos: dois conjuntos so iguais se, e somente se, possuem os mesmos elementos. Isto , no pode haver dois conjuntos diferentes que tenham os mesmos elementos. Em Teoria de Conjuntos, esta propriedade corresponde ao chamado Axioma da Extenso (para saber mais, veja [5]). Dados um conjunto se Ela tambm a mais simples das ideias

e um objeto qualquer

a,

a nica pergunta cabvel

ou no um elemento do conjunto

A?

Esta pergunta s admite duas

respostas possveis: sim ou no. No caso armativo, diz-se que conjunto conjunto

pertence ao

A e escreve-se a A. A e pe-se a A. /

Caso contrrio, diz-se que

no pertence ao

Em Matemtica, qualquer armao verdadeira ou falsa, no pode haver um terceira opo, e nem as duas ao mesmo tempo. Estes fatos bsicos so conhecidos como Princpio do Terceiro Excludo e Princpio da No Contradio e esto na base da estrutura lgica da Matemtica. Diferentemente do que ocorre com outras modalidades de lgica (como as que empregamos informalmente no dia a dia), para avaliar a veracidade de uma armao matemtica, no h outras variaes possveis de respostas, tais como mais ou menos, depende ou s vezes.

Na Sala de Aula - Armaes Sempre Verdadeiras - Clique para ler


A Matemtica se ocupa primordialmente de nmeros e do espao. Portanto, os conjuntos mais frequentemente encontrados na Matemtica (especialmente na Matemtica do ensino bsico) 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

unidades 1 e 2

A Noo de Conjunto

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, em vez de dizermos que o objeto

tem a propriedade

P

ou o objeto

satisfaz a condio

Q,

podemos escrever

conjunto dos objetos que tm a propriedade que satisfazem a condio Por exemplo, sejam

x A P eB

y B,

em que

o conjunto dos objetos

Q.
a propriedade de um nmero inteiro

x ser par (isto , 2 divisvel por 2) e Q a condio sobre o nmero real y expressa por y 3y+2 = 0.
Por outro lado, sejam

A = {. . . , 4, 2, 0, 2, 4, 6, . . .}
Ento, dizer que que armar que

B = {1, 2}.

x tem a propriedade P x A e y B.

y satisfaz a condio Q o mesmo

A esse respeito, uma pergunta fundamental para entender a importncia da linguagem de conjuntos a seguinte: Qual a vantagem que se obtm quando se prefere dizer que

satisfaz a

x A e y B, condio Q?

em vez de dizer que

tem a propriedade

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

(A B)

(A B),

alm da relao de incluso

(A B).

As propriedades e

regras operatrias dessa lgebra, como por exemplo,

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

A A B,

no so difceis de manipular e representam um enorme ganho em simplicidade e exatido quando comparadas ao manuseio de propriedades e condies. Por exemplo, mostrar que um conjunto est contido em outro equivale a mostrar que a propriedade que dene o primeiro implica na propriedade que dene o segundo (P

Q);

e aplicar a propriedade antissimtrica da incluso de conjuntos

para demonstrar a igualdade entre conjuntos (se

A B

B A,

ento

A = B ) equivale a demonstrar a equivalncia entre as condies que os denem (P Q). Essa discusso ser aprofundada nas Sees 1.3, 1.4 e 1.5, a seguir.
Existe um conjunto excepcional e intrigante: o conjunto vazio, designado pelo smbolo

Ele aceito como conjunto porque cumpre a utilssima funo

Conjuntos

unidades 1 e 2

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

= {x ; x = x},

ou seja,

o conjunto dos objetos

diferente de si mesmo. Seja qual for o objeto

tem-se sempre

x /

Em muitas questes matemticas importante saber que um determinado

conjunto

no vazio. Para mostrar que

no vazio, deve-se simplesmente

x X . Outros conjuntos curiosos so os conjuntos unitrios. Dado um objeto x qualquer, o conjunto unitrio {x} tem como nico elemento esse objeto x. Estritamente falando, x e {x} no so a
encontrar um objeto

tal que

mesma coisa.

Na Sala de Aula - Clareza e Rigor - Clique para ler Na Sala de Aula - O Conjunto Vazio - Clique para ler
1.3 A Relao de Incluso

Sejam

conjuntos. Se todo elemento de

for tambm elemento de

Definio 1

B,

diz-se que

um subconjunto de

B,

que

est contido em

B,

ou que

parte de

B.

Para indicar este fato, usa-se a notao

A B.

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. /
A relao de

Exemplo 1
(a) Sejam

T A

o conjunto dos tringulos e

Todo tringulo um polgono, (b) Sejam

P o conjunto dos polgonos do plano. logo T P . B o conjunto dos mltiplos de 2 B . Tem-se tambm B A /

o conjunto dos nmeros pares e mas

3. Tem-se pois

A B porque 2 A 3 B mas 3 A. /

unidades 1 e 2

A Relao de Incluso

Para Saber Mais - A Relao de um Elemento Pertencer a um Conjunto


e a Incluso -

Clique para ler

Exemplo 2

Em Geometria, uma reta, um plano e o espao so conjuntos. Seus elementos so pontos. Quando dizemos que uma reta

est no plano

estamos armando que

est contida em

ou equivalentemente, que

um subconjunto de

pois

r pertencem tambm a . Neste caso, deve-se escrever r . Porm, no correto dizer que r pertence a , nem escrever r . Os elementos do conjunto so pontos e
todos os pontos que pertencem a no retas.

H duas incluses extremas. vale

A primeira obvia: para todo conjunto

A,

A). A outra , no mnimo, curiosa: tem-se 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 impossvel, somos levados a concluir que / A, ou seja, que o conjunto vazio subconjunto de qualquer outro. Diz-se que A um subconjunto prprio de B quando A subconjunto de B e a incluso no corresponde a nenhum desses dois casos extremos, isto , quando se tem A B com A = e A = B .
(pois claro que todo elemento de pertence a A relao de incluso tem trs propriedades fundamentais. Dados quaisquer conjunto

AA

A, B

tem-se:

(i) reexividade:

A A; AB AB
e e

(ii) antissimetria: se (iii) transitividade: se

B A,

ento

A = B; A C.

B C,

ento

A propriedade antissimtrica constantemente usada nos raciocnios matemticos. Quando se deseja mostrar que os conjuntos que

AB

elemento de

B A, ou seja, B pertence a A.

que todo elemento

A e B so iguais, prova-se de A pertence a B e todo

Na realidade, a propriedade antissimtrica da

relao de incluso contm, nela embutida, a condio de igualdade entre os

Conjuntos

unidades 1 e 2

conjuntos: os conjuntos elementos.

so iguais se, e somente se, tm os mesmos

Por sua vez, a propriedade transitiva da incluso a base do raciocnio dedutivo, sob a forma que classicamente se chama de silogismo. Um exemplo de silogismo (tipicamente aristotlico) o seguinte: todo ser humano um

animal, todo animal mortal, logo todo ser humano mortal. Na linguagem de conjuntos, isso seria formulado assim: sejam

H, A

respectivamente

os conjuntos dos seres humanos, dos animais e dos mortais. Temos

H A

A M,

logo

H M.

Voltaremos a esse assunto mais a diante (p. 10).

A relao de incluso entre conjuntos est estreitamente relacionada com a implicao lgica. Vejamos como. Sejam

propriedades aplicveis a

U . Essas propriedades denem os conjuntos A, formado pelos elementos de U que gozam de P ; e B , formado pelos elementos de U que tm a propriedade Q. Se todos os elementos que possuem a propriedade P tambm tm a propriedade Q, dizemos que a propriedade P implica (ou acarreta) a propriedade Q e escrevemos P Q. Isto equivalente a dizer que todo elemento que pertence a A tambm pertence a B , isto , que A B .
elementos de um conjunto Seja

o conjunto dos quadrilteros convexos do plano. Designemos com

Exemplo 3

a propriedade de um quadriltero ter seus quatro ngulos retos e por

propriedade de um quadriltero ter seus lados opostos paralelos (isto , ser paralelogramo). Ento podemos escrever dos retngulos e

R P.

Neste caso,

o conjunto dos paralelogramos, logo

A A B.

o conjunto

Podemos escrever a implicao

Exemplo 4
x2 + x 1 = 0

Para todo x R,

x2 + x 1 = 0 x3 2x + 1 = 0.
tambm raiz de

Ela signica que toda raiz da equao

x3 2x + 1 = 0.

P Q. Pode-se dizer P implica Q, se P ento Q, P condio suciente para Q, Q condio necessria para P ou P somente se Q.
H diferentes maneiras de se ler a relao

unidades 1 e 2

A Relao de Incluso

Assim, a relao do Exemplo 3 pode ser expressa de diversas formas equivalentes: ser retngulo implica ser paralelogramo, se

um retngulo ento

um paralelogramo, ser retngulo condio suciente para ser paralelogramo, ser paralelogramo condio necessria para ser retngulo, ou, nalmente, todo retngulo um paralelogramo. A compreenso dos signicados do termo necessrio e do termo suciente em Matemtica de fundamental importncia. Em uma implicao:

P Q
dizemos que a condio valente, que a condio

P suciente Q necessria

para a condio para a condio

Q, P.

ou, de forma equi-

No incomum confundir esses signicados. Os termos necessrio e suciente em Matemtica tm signicados especcos, que podem diferir da forma como os entendemos em linguagem cotidiana. Isto pode se constituir em um obstculo para a aprendizagem. Entender o que signica suciente pode ser relativamente mais fcil, uma vez que este termo sinnimo de bastante. Talvez isso tenha a ver com o fato de que uma condio suciente geralmente mais forte do que a concluso a que se quer chegar. Por outro lado, uma condio necessria , em geral mais fraca do que a concluso. Observe atentamente os exemplos a seguir.

Exemplo 5

Sabemos que o conjunto dos nmeros

nZ

que so mltiplos de

est

contido no conjunto dos nmeros pares. Isto , todo mltiplo de outro lado, nem todo par mltiplo de na forma de implicaes lgicas:

par. Por

4.

Podemos expressar essas armaes

mltiplo de

4 n

par

n n

par

mltiplo de

4. n
seja

Em outras palavras, para que um nmero mltiplo de

seja par suciente que

4 para ser par. Por outro lado, um nmero pode ser par sem ser mltiplo de 4, isto , no necessrio ser mltiplo de 4 para ser par. Assim, ser mltiplo de 4 suciente,
Ou, de forma equivalente, basta ser mltiplo de mas no necessrio para ser par. Podemos ainda expressar esta armao de outra forma equivalente: ser par necessrio, mas no suciente para ser mltiplo de

4.

4.

Conjuntos

unidades 1 e 2

Todo retngulo possui lados opostos paralelos. Porm, existem quadrilteros convexos com lados opostos paralelos que no so retngulos. para que um quadriltero convexo Assim,

Exemplo 6

seja um retngulo necessrio que seus

lados opostos sejam paralelos, mas esta propriedade apenas no assegura que

tenha ngulos todos retos. Portanto, ter lados opostos paralelos uma condio necessria, mas no

suciente, para que um quadriltero seja retngulo. Equivalentemente, ser retngulo uma condio suciente, mas no necessria, para que um quadriltero tenha lados opostos paralelos. Ou ainda,

Q
e

retngulo

tem lados opostos paralelos,

tem lados opostos paralelos

retngulo.

A implicao

QP

chama-se a recproca de

P Q.

Evidentemente, a

recproca de uma implicao verdadeira pode ser falsa. Como j observamos, este o caso dos Exemplos 5 e 6. No Exemplo 4, a recproca da implicao tambm falsa. De fato, raiz da equao para

x=1

x 2x + 1 = 0, mas no da equao x + x 1 = 0. x3 2x + 1 = 0 x2 + x 1 = 0.

Portanto,

x R,

Q P , dizemos P se, somente se, Q, ou que P equivalente a Q ou, ainda, que P necessrio e suciente para Q. Neste caso, escreve-se
Quando so verdadeiras ambas as implicaes e

P Q

P Q.
Em linguagem de conjuntos, isto signica que o conjunto dos elementos que tm a propriedade

igual o conjunto dos elementos que tm a propriedade

Q.
Sejam retngulo

P a propriedade de um tringulo, cujos 2 2 2 e Q a propriedade de valer z = x + y .

lados medem Ento

x, y < z , P Q.

ser

Exemplo 7

unidades 1 e 2

A Relao de Incluso

Para Saber Mais - Provas por Contrapositiva - Clique para ler Para Saber Mais - Denies - Clique para ler Na Sala de Aula - Denies - Clique para ler
Como j comentamos (p. 7), a propriedade transitiva da incluso de conjuntos constitui a base do raciocnio dedutivo em Matemtica. De fato, esta propriedade pode ser expressa em termos de implicaes lgicas. Se so trs armaes, temos: Se

P, Q

P Q

Q R,

ento

P R.

A propsito, a resoluo de uma equao um caso tpico em que se tem uma sequncia de implicaes lgicas.

Exemplo 8

Para resolver a equao

x2 x 2 = 0 ,

podemos seguir os passos abaixo:

(P ) (Q) (R) (S )

x2 x 2 = 0 ; (x 2)(x + 1) = 0; x = 2 ou x = 1; x {2, 1}. P , Q, R e S


as condies impostas sobre

Se chamarmos respectivamente de o nmero

em cada uma das linhas acima, os passos que acabamos de seguir

signicam que

P Q R S.
Isto , se o nmero

satisfaz

transitividade, a concluso a tirar Se

P ento satisfaz Q P S , ou seja,


ento

e assim por diante. Por

x2 x 2 = 0,

x {2, 1}.

No exemplo acima, estritamente falando, a armao a que chegamos 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

10

Conjuntos

unidades 1 e 2

{2, 1}. P.
Logo,

No caso desse exemplo, no difcil ver que todos os passos acima

podem ser revertidos. Isto , valem as implicaes recprocas

S P.

Conclumos que

(nicas) razes da equao

P S, x x 2 = 0.
2

ou seja,

SRQ 1 so de fato as

Quando se resolve uma equao, importante ter em mente que cada passo do processo representa uma implicao lgica. Pode acontecer dessas implicaes no poderem ser revertidas, isto , de suas recprocas no serem verdadeiras. 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.

Considere a equao reais.

x2 + 1 = 0 . x

Sabemos que ela no possui solues

Exemplo 9

Na sequncia abaixo, cada uma das letras

P , Q, R

representa a

condio sobre o nmero

expressa na igualdade ao lado:

(P ) (Q) (R ) (S )

x2 + 1 = 0 x4 1 = 0 ; x4 = 1; x {1, 1}.

(multiplicando por

x2 1);

Evidentemente, tem-se raiz real da equao

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


2

Ou seja, toda

O raciocnio absolutamente correto. Porm, a concluso que se pode tirar que, se houver razes reais da equao conjunto

x2 + 1 = 0,

ento elas pertencero ao

{1, 1}

 e nada mais.

Na verdade, a implicao

P Q

no pode ser revertida: sua recproca

falsa. Sabemos que o conjunto das solues reais da equao vazio. Assim, a deduo acima apenas ilustra o fato de que

{1, 1}.

Como sabemos, o

conjunto vazio est contido em qualquer outro!

Clique para ler

Na Sala de Aula - Implicaes Lgicas e Resoluo de Equaes -

11

unidades 1 e 2

O Complementar de um Conjunto

Para Saber Mais - Provas por Vacuidade - Clique para ler Para Saber Mais - A Cincia das Condies Necessrias - Clique para ler
1.4 O Complementar de um Conjunto

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

U,

chamado o universo do discurso, ou conjunto-universo. O

pode ser visto como o assunto da discusso ou o tema em pauta:

estaremos falando somente dos elementos de elementos a serem considerados pertencero subconjuntos de

U . Uma vez a U e todos U

xado

U,

todos os

os conjuntos sero

U,

ou derivados destes. Por exemplo, na Geometria Plana,

o plano; na teoria aritmtica da divisibilidade, inteiros.

o conjunto dos nmeros

Definio 2

Dado um conjunto tar de

ao conjunto

A (isto , um subconjunto de U ), chama-se complemenAC formado pelos objetos de U que no pertencem a A.

Uma propriedade imediata do complementar a seguinte:

UC =

C = U.

Lembramos que, uma vez xado o conjunto

U,

vale uma, e somente uma, das

j observamos, o fato de que, para alm de

A, para cada elemento x em alternativas: x A, ou x A. Como / todo x U , no existe uma outra opo xA
e

xA

ou

xA /

conhecido em lgica como o Princpio do Terceiro

Excludo; e o fato de que as alternativas

xA /

no podem ser ambas

verdadeiras ao mesmo tempo chama-se o Princpio da No Contradio. Desses Princpios, decorrem as regras operatrias bsicas referentes ao complementar:

(i) Para todo conjunto

A U,

tem-se

AC

= A.

(Todo conjunto

complementar do seu complementar.)

(ii) Se

AB

ento

B C AC .

(Se um conjunto est contido em outro, seu

complementar contm esse outro.)

12

Conjuntos

unidades 1 e 2

A regra (ii) pode ser escrita com notao

assumindo a forma seguinte:

A B B C AC .
Na realidade, na presena da regra (i), a regra (ii) pode ser reforada, valendo a equivalncia abaixo

A B B C AC .
Esta equivalncia pode ser olhada sob o ponto de vista lgico, usando-se as

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

P Q

se, e somente se,

Q P .
implica

Em outras palavras, a implicao que

P Q (P

Q)

equivale a dizer

Q P

(a negao de

implica a negao de

P ).

Voltemos ao Exemplo 3. Sendo consideremos

o conjunto dos quadrilteros convexos,

Exemplo 10

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. Neste caso, as implicaes R P e P R lem-se,
a propriedade que tem um quadriltero respectivamente, assim: Se Se

X X

um retngulo, ento

um paralelogramo;

no um paralelogramo, ento

no um retngulo.

Desta forma, as duas armaes acima 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

Q.

Como j vimos, a contrapositiva um equivalente lgico da implicao

13

unidades 1 e 2

O Complementar de um Conjunto

original.

Isto , a contrapositiva de uma implicao nada mais do que a

mesma implicao dita com outras palavras.

Exemplo 11

Observe as armaes abaixo: Todo nmero primo maior do que Todo nmero par maior do que

mpar;

composto.

Estas armaes dizem exatamente a mesma coisa, ou seja, exprimem a mesma ideia, s que com diferentes termos. Podemos reescrev-las na forma de implicaes, aplicadas a contrapositiva da outra: Dado Dado Dado

n N, n > 2,
primo

vendo claramente que uma a

n N, n > 2: n n N, n > 2: n

mpar; primo);

n N, n > 2: (n
par

mpar)

(n

composto.

Em Matemtica frequente, e muitas vezes til, substituir uma implicao por sua contrapositiva, a m de tornar seu signicado mais claro ou mais manipulvel. Por isso, extremamente importante entender que

P Q

Q P
o.

so armaes equivalentes. Em particular, a equivalncia entre

uma implicao e sua contrapositiva a base das demonstraes por contradi-

Exemplo 12

, tomado como conjunto universo, consideremos duas retas perpendiculares r e s. Consideremos P a propriedade que tem uma reta x em de ser diferente de s e perpendicular a r ; e Q a propriedade de uma reta x em ser paralela a s. Ento P , negao de P , a propriedade de uma reta em coincidir com s ou no ser perpendicular a r; e Q, negao de Q, a propriedade que tem uma reta do plano de no ser paralela a s.
Em um plano A implicao

P Q s

se l, em linguagem comum, assim:

Se duas retas distintas

so perpendiculares a uma terceira reta

r,

ento

s
A contrapositiva

so paralelas.

Q P

signica:

14

Conjuntos

unidades 1 e 2

Se duas retas distintas no so paralelas, ento elas no so perpendiculares a uma terceira. Acontece que neste caso mais fcil (e mais natural) provar a implicao

Q P

do que

P Q. P Q por contradio. s reta r


O raciocnio bem

Noutras palavras, prova-se que simples: se as retas distintas

s r.

no so paralelas elas tm um ponto pelo ponto

em

comum. Ento, como nica a perpendicular que

A, segue-se

no perpendicular a

Para provar que duas retas so paralelas, em geral, usa-se a demonstrao por contradio pois a denio de retas paralelas baseada numa negao: retas paralelas so retas coplanares que no possuem pontos em comum.

t s x

Figura 1.1: Retas no plano.

Formar o complementar de um conjunto um caso particular da operao de formar a diferena entre dois conjuntos dados, cuja denio damos a seguir.

A diferena entre dois conjunos

denida por:

Definio 3

B \ A = {x ; x B e x A}. /
Note que em geral, essa operao entre conjuntos no comutativa, isto ,

B \ A = A \ B (d um exemplo). A formao do complementar AC de um conjunto A se obtm com a diferena U \ A, em que U o conjunto


nem sempre universo. Para mais propriedades dessa operao, veja Exerccio 6.

15

unidades 1 e 2

Reunio e Interseo

Para Saber Mais - Negao, Contrapositiva, Recproca - Clique para ler


1.5 Reunio e Interseo

Definio 4

Dados os conjuntos

B: A
ou de

(i) a reunio

AB

o conjunto formado pelos elementos de

B; B.

(ii) a interseo

AB

o conjunto formado pelos elementos de

e de

Portanto, se considerarmos as armaes

xA
veremos que

xB

xAB

quando pelo menos uma dessas armaes for verda-

deira e, por outro lado,

x AB xA xA

quando ambas as armaes acima forem

verdadeiras. Mais concisamente:

xAB xAB

signica signica

ou e

x B; AB AB
e e

x B.
e entre conjuntos cons-

Nota-se, deste modo, que as operaes

tituem a contrapartida matemtica, em linguagem de conjuntos, dos conectivos lgicos ou e e (s vezes representados pelos smbolos Assim, se

a propriedade que dene o conjunto

, respectivamente). Q a propriedade que

dene o conjunto propriedades

B , ento, A B e A B so os  P ou Q e  P e Q, respectivamente. x R tem a propriedade P x2 5x + 6 = 0.


se

conjuntos denidos pelas

Exemplo 13

Diremos que propriedade

x2 3x + 2 = 0, P

e tem a

se

A = {1, 2} e o 2 conjunto dos nmeros que tm Q B = {2, 3}. Assim, a armao  x 3x + 2 = 0 ou x2 5x + 6 = 0 equivale a  x {1, 2, 3}; e a armao 2 2  x 3x + 2 = 0 e x 5x + 6 = 0 equivale a  x {2} ou x = 2. Noutras
O conjunto dos nmeros que possuem a propriedade palavras,

A B = {1, 2, 3}

A B = {2}.

16

Conjuntos

unidades 1 e 2

Para Saber Mais - Menino ou Menina?

Clique para ler

As propriedades relacionadas com as operaes de unio e interseo constituem teoremas cujas demonstraes, em geral, no so difceis (veja os Exerccios 2, 3 e 4). A comutatividade e associatividade decorrem diretamente das denies, e a distributividade de vericao um pouco menos imediata.

(i) Comutatividade da unio e da interseo:

A B = B A,

A B = B A.

(ii) Associatividade da unio e da interseo:

(A B) C = A (B C),

(A B) C = A (B C).

(iii) Distributividade, de cada uma em relao outra:

A (B C) = (A B) (A C),

A (B C) = (A B) (A C).

Estas propriedades constituem, na realidade, regras que regem o uso combinado dos conectivos lgicos ou e e. A conexo entre as operaes de unio e interseo e a relao de incluso dada pelas seguintes equivalncias:

A B = B A B A B = A.
E, nalmente, se

so subconjuntos do universo

U,

tem-se

(A B)C = AC B C

(A B)C = AC B C .


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

Q

Q

e a negao de  P

Q

ou

Q.

Terminamos esta unidade apresentando um resumo do que estudamos. Exploramos as relaes fundamentais entre a linguagem da lgebra de conjuntos

17

unidades 1 e 2

Reunio e Interseo

e a linguagem das implicaes lgicas. Chamamos ateno para as vantagens, em certas situaes, de expressar implicaes lgicas em termos de conjuntos.

Q duas condies, aplicveis aos elementos de um conjunto U . Consideremos A e B subconjuntos de U , cujos elementos satisfazem P e Q,
Consideremos e respectivamente. As principais equivalncias entre a linguagem de implicaes e a linguagem de conjuntos podem ser resumidas no quadro a seguir:

A=B P Q AB P Q AC P AB P Q AB P Q

Para Saber Mais - Sobre a Noo de Igualdade - Clique para ler


Clique para ler

Na Sala de Aula - Comentrio Histrico e Didtico quanto Linguagem

18

Conjuntos
1.6 Exerccios Recomendados

unidades 1 e 2

1. Decida quais das armaes a seguir esto corretas. Justique suas respostas.

(a)

(b)

(c)

{}

(d)

{}.

2. Demonstre as propriedades de distributividade:


(a) a operao de unio em relao interseo; (b) a interseo em relao unio.

3. Demonstre que 4. Dados


(a) (b)

A B = B A B A B = A.
demonstre as relaes de De Morgan:

A, B U ,

(A B)C = AC B C ; (A B)C = AC B C .

5. Considere

P , Q e R condies, aplicveis aos elementos de um conjunto U ; e A, B e C os subconjuntos de U dos elementos que satisfazem P , Q e R, respectivamente. Expresse, em termos de implicaes entre P , Q e R, as seguintes relaes entre os conjuntos A, B e C . A BC C ; AC B C C ;
(b)

(a)

AC B C C ; A BC C C .

(c)

AC B C C ;

(d)

(e)

6. Recorde que a denio da diferena entre conjuntos:

B \ A = {x ; x B e x A}. /
Mostre que a) b)

B\A= B\A=B

se, e somente se, se, e somente se,

B A; A B = ;
se, e somente se,

c) vale a igualdade

B\A=A\B

A = B.

19

unidades 1 e 2

Exerccios Suplementares

d) Determine uma condio necessria e suciente para que se tenha

A \ (B \ C) = (A \ B) \ C.
7. D exemplos de implicaes, envolvendo contedos do ensino mdio, que
sejam: verdadeiras, com recproca verdadeira; verdadeiras, com recproca falsa; falsas, com recproca verdadeira; falsas, com recproca falsa.

8. Escreva as implicaes lgicas que correspondem resoluo da equao

x + x = 2.

Verique quais so reversveis e explique o aparecimento de

razes estranhas. Faa o mesmo com a equao

x + 3 = x.

9. Considere as seguintes (aparentes) equivalncias lgicas:

x=1
Concluso(?):

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

x = 1 x = 1.

10. Escreva as recprocas, contrapositivas e negaes matemticas das seguintes armaes: (a) Todos os gatos tm rabo; (b) Sempre que chove, eu saio de guarda-chuva ou co em casa; (c) Todas as bolas de ping pong so redondas e brancas; (d) Sempre que tera feira e o dia do ms um nmero primo, eu vou ao cinema; (e) Todas as camisas amarelas ou vermelhas tm manga comprida; (f ) Todas as coisas quadradas ou redondas so amarelas e vermelhas.

1.7

Exerccios Suplementares

1. Sejam

A, B

conjuntos. Determine uma condio necessria e suci-

ente para que se tenha

A (B C) = (A B) C.

20

Conjuntos

unidades 1 e 2

2. Expresses tais como para todo e existe so chamadas de quanticadores e


aparecem em sentenas dos tipos (sendo a varivel (1) (2)

P (x) uma condio envolvendo

x): x,
satisfeita a condio

Para todo

Existe algum

que satisfaz a

P (x); condio P (x). x (de um certo conjunto P (x), escreva as sentenas

(a) Sendo

o conjunto de todos os objetos

universo

U)

que satisfazem a condio

(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. i. Existe um nmero real ii. iii. iv.

v.

x2 = 1. 2 Para todo nmero inteiro n, vale n > n. 2 Para todo nmero real x, tem-se x > 1 ou x < 1. Para todo nmero real x existe um nmero natural n tal que n > x. Existe um nmero natural n tal que, para todo nmero real x, tem-se n > x. x
tal que

3. 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. i. Todos os matemticos so cientistas. ii. Alguns matemticos so professores. iii. Alguns cientistas so lsofos. iv. Todos os lsofos so cientistas ou professores.

21

unidades 1 e 2

Exerccios Suplementares

v. Nem todo professor cientista. (b) Faa o mesmo com as armativas abaixo. vi. Alguns matemticos so lsofos; vii. Nem todo lsofo cientista; viii. Alguns lsofos so professores; ix. Se um lsofo no matemtico, ele professor; x. Alguns lsofos so matemticos. (c) Tomando as cinco primeiras armativas como hipteses, verique quais das armativas do segundo grupo so necessariamente verdadeiras.

4. Considere um grupo de

cartes, que possuem uma letra escrita em um Suponha que seja feita, sobre esses

dos lados e um nmero do outro.

cartes, a seguinte armao: Todo carto com uma vogal de um lado tem um nmero mpar do outro. Quais do cartes abaixo voc precisaria virar para vericar se esse armativa verdadeira ou falsa?

5. 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? Na sua opinio, qual era a inteno dos legisladores nesse caso? (b) Reescreva o texto do artigo 34 de modo a torn-lo mais preciso.

22

Conjuntos

unidades 1 e 2

6. O conjunto das partes


todos os Se

P (A) de um conjunto A o conjunto formado por subconjuntos do conjunto A. Prove o teorema de Cantor: f : A P (A) f
que seja

um conjunto, no existe uma funo

sobrejetiva.

Sugesto: Suponha que exista uma tal funo

e considere

X = {x

A ; x f (x)}. /

23

unidades 1 e 2

Textos Complementares
1.8 Textos Complementares

Na Sala de Aula

Armaes Sempre Verdadeiras


Em livros didticos do ensino bsico, s vezes encontramos atividades em que se pede aos alunos que classiquem armaes como: sempre verdadeiras, s vezes verdadeiras ou sempre falsas. Neste caso, a armao em questo

estabelece uma propriedade, que se aplica aos elementos de certo conjunto. Evidentemente, a inteno que os alunos descubram se tal propriedade satisfeita por todos os elementos desse conjunto, por parte deles, ou por nenhum deles. Por si s, este pode ser um exerccio matemtico interessante. Entretanto, a linguagem est matematicamente incorreta. Como observamos acima, matematicamente falando, uma armao que no seja sempre verdadeira falsa. Esta uma distino fundamental entre a linguagem corrente usada no dia a dia e a linguagem da lgica matemtica, cuja compreenso um passo importante no processo de aprendizagem de Matemtica no ensino bsico. No o caso de discutir se a linguagem matemtica melhor que a linguagem corrente, mas sim de reconhecer que esta tem especicidades adequadas aos seus objetivos, e que se expressar matematicamente no o mesmo que falar coloquialmente.

24

Conjuntos

unidades 1 e 2

Clareza e Rigor
Com 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. Evidentemente, a linguagem matemtica formal dos cursos universitrios no pode ser a mesma utilizada no ensino mdio, que tambm no pode ser a mesma que aquela empregada nas sries iniciais do ensino fundamental. Como j comentamos, ter clara a importncia da linguagem de conjuntos importante para que saibamos dosar o grau de formalismo matemtico de forma adequada a cada nvel do ensino bsico  sem cometer imprecises de linguagem, que possam confundir os alunos, nem exageros, que possam se constituir em obstculos de aprendizagem, valorizando mais (e prematuramente) a prpria linguagem que os prprios contedos matemticos. Neste sentido, no ensino bsico, s vezes permitimo-nos abusos de linguagem, para no cometer exageros de formalismo. Por exemplo, em certas ocasies, pode tornar-se um pedantismo fazer a distino entre ocorre quando se lugar do conjunto

Na Sala de Aula

{x}. Isto diz que a interseo de duas retas r e s o ponto P (em cujo nico elemento P ) e se escreve r s = P , em vez de x
e

r s = {P }.
Por outro lado, certas imprecises so desnecessrias e podem atrapalhar o prprio desenvolvimento da capacidade do aluno de se expressar adequadamente em Matemtica. Por exemplo, evite escrever coisas como nmeros pares}. Isto incorreto. O smbolo

= {conjunto dos

{. . .}

signica o conjunto cujos

elementos esto descritos no interior das chaves. Em lugar disso, escreva conjunto dos nmeros pares,

A=

{nmeros pares}, ou

A= A = {2n ; n Z}.

25

unidades 1 e 2

Textos Complementares

Na Sala de Aula

O Conjunto Vazio
s vezes vemos em livros do ensino bsico armaes que sugerem a existncia de mais de um conjunto vazio, como ser vazio fosse uma propriedade que pudesse valer para diferentes conjuntos. Em Matemtica, o conjunto vazio nico. De fato, como j observamos, dois conjuntos so iguais se, e somente, se possuem os mesmos elementos. existir mais de um conjunto vazio. situados estritamente entre Em particular, decorre da que no pode Assim, o conjunto dos nmeros naturais

o mesmo conjunto dos polgonos regulares

com exatamente uma diagonal, por exemplo.

26

Conjuntos

unidades 1 e 2

Denies
Embora, estritamente falando, no seja errado usar o termo se, e somente se em uma denio, isto desnecessrio, pois como comentamos acima, este termo j est implcito em toda denio. Alm disso, esse costume pode ser didaticamente inadequado, pois pode ocultar o fato de se estar simplesmente dando um nome a um conceito, causando a impresso de se tratar de um teorema. Por exemplo, se queremos denir paralelogramo devemos dizer assim:

Na Sala de Aula

chama-se paralelogramo a um quadriltero no qual os lados opostos so paralelos. Alguns autores escrevem, em lugar disso: um quadriltero um paralelogramo se, e somente se, os lados opostos so paralelos. Aos olhos dos alunos, isso pode parecer mais um teorema que uma denio.

27

unidades 1 e 2

Textos Complementares

Na Sala de Aula

Implicaes Lgicas e Resoluo de Equaes


Releia os Exemplos 4, 8 e 9, procurando reetir sobre os passos comumente feitos na manipulao de expresses algbricas, particularmente na resoluo de equaes. Alguns destes correspondem a equivalncias lgicas, e outros, apenas a implicaes cuja recproca no verdadeira. Este fenmeno ocorre frequentemente quando se estudam as chamadas equaes irracionais, mas s vezes ele se manifesta de forma sutil, provocando perplexidade (veja o Exerccio 8). A clareza dessas questes fundamental para o ensino da simbologia algbrica no m do Ensino Fundamental e no Ensino Mdio.

28

Conjuntos

unidades 1 e 2

Comentrio Histrico e Didtico quanto Linguagem


Hoje, no contexto do ensino bsico de Matemtica, estamos acostumados a pensar em alguns conceitos matemticos como estando intrinsecamente atrelados ideia de conjunto. Quando pensamos em nmeros, por exemplo, quase que automaticamente nos lembramos dos conjuntos numricos, como esto organizados hoje:

Na Sala de Aula

N Z Q R C.
No entanto, do ponto de vista histrico, nem sempre foi assim. Por exemplo, os nmeros racionais positivos j eram conhecidos vrios sculos antes de que fosse conferido aos inteiros negativos o estatuto de nmero. Alm disso, o

conceito de conjunto muito mais recente que a ideia de nmero e grande parte dos desenvolvimentos tericos envolvendo nmeros (especialmente os naturais) deram-se sem a estrutura de conjunto como conhecemos hoje. 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, que permitiu 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 defendemos que a ordem do desenvolvimento histrico dos conceitos matemticos seja reproduzida em sala de aula  isto no seria factvel nem produtivo para os objetivos do ensino. Entretanto, a reexo sobre esse desenvolvimento  especialmente os obstculos enfrentados  pode ajudar o professor a entender certas diculdades vivenciadas hoje pelos alunos com os conceitos e a linguagem matemtica. Para saber mais, veja, por exemplo, [2]. Se queremos iniciar nossos alunos 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. Por outro lado, 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 exageros

que conduziram ao descrdito da onda que cou conhecida como Matemtica Moderna. Devemos estimular o desenvolvimento gradual do formalismo e da linguagem matemtica pelos alunos, mas sempre em grau compatvel com cada

29

unidades 1 e 2

Textos Complementares

nvel escolar, sem exageros. Procure, sempre que possvel, ilustrar conceitos com exemplos de conjuntos dentro da Matemtica. Alm de contribuir para implantar a linguagem de

conjuntos, este procedimento pode tambm ajudar a relembrar, ou at mesmo aprender, fatos interessantes sobre Aritmtica, Geometria, Funes, etc. 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. Seja cuidadoso, a m de evitar cometer erros. A auto-crtica o maior

aliado do bom professor. 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. No hesite em corrigir-se em pblico, nem em admitir que no sabe a resposta de uma pergunta  demonstre-se sempre disposto a pesquisar e a aprender mais. Longe de desprestigiar, esse hbito fortalecer a conana dos alunos no seu mestre.

30

Conjuntos

unidades 1 e 2

A Relao de um Elemento Pertencer a um Conjunto e a Incluso


A incluso uma relao entre conjuntos, que no deve ser confundida com a relao de um elemento pertencer a um conjunto. A relao elemento

Para Saber Mais

a A,

de um

a pertencer a um conjunto A, pode ser escrita de forma equivalente como {a} A. Mas incorreto escrever a A ou {a} A. Observe que podemos enunciar uma denio para a relao A subconjunto de B , porm no h uma denio para a relao a elemento de A. No
comeo da Seo 1.2, observamos que um conjunto totalmente denido por seus elementos. Assim, a relao de um elemento pertencer a um conjunto est na base do prprio conceito de conjunto, que estamos assumindo como uma noo primitiva, sem denio.

31

unidades 1 e 2

Textos Complementares

Para Saber Mais

Provas por Contrapositiva


A contrapositiva

Q P

logicamente equivalente implicao

P Q

Q.

Essa equivalncia tambm pode ajudar a entender o signicado do termo

necessrio: se

no ocorre, ento certamente

no ocorrer (embora

possa ocorrer sem que

ocorra).

As implicaes dos Exemplos 4 a 6 tambm podem ser expressas como contra-positivas:

x3 2x + 1 = 0 x2 + x 1 = 0; n Q
no par

no mltiplo de

4; Q
no um retngulo.

no tem lados opostos paralelos

Para entender melhor o termo necessrio, procure pensar em outras situaes familiares. Por exemplo, quando dizemos que armando que mente, que

n N n Z,

estamos

n ser natural suciente para que n seja inteiro, ou equivalenten ser inteiro necessrio para que n seja natural (embora n possa

ser inteiro sem ser natural). Discutiremos em maiores detalhes da noo de contra-positiva na Seo 1.4 a seguir.

32

Conjuntos

unidades 1 e 2

Denies
As denies matemticas consistem em atribuir nomes a objetos que tm certas propriedades particularmente interessantes. natural Por exemplo, um nmero

Para Saber Mais

n > 1 chama-se primo quando 1 e n so os nicos nmeros naturais que

so seus divisores. Esta propriedade merece ser rotulada por um nome especial pois muito importante na teoria matemtica sobre os nmeros inteiros (neste caso, um papel importante tambm em outros campos). Toda denio matemtica uma equivalncia lgica. Isto , quando enunciamos uma denio matemtica, estamos atribuindo um nome aos objetos matemticos que tm certas propriedades  o que signica que sero chamados pelo nome escolhido todos os objetos com essas propriedades, e nenhum alm destes.

33

unidades 1 e 2

Textos Complementares

Para Saber Mais

Provas por Vacuidade


Um tipo de armaes que podem soar particularmente estranhas so as satisfeitas por vacuidade. 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

a propriedade de um aluno ter 5 metros de altura e

a de obter nota 10 sem prestar exames. Ento pela propriedade

P Q, pois o conjunto denido

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.

34

Conjuntos

unidades 1 e 2

A Cincia das Condies Necessrias


Em Matemtica, no h armaes absolutas ou peremptrias. Todas as proposies matemticas so do tipo se

Para Saber Mais

ento

Q.

(Esta armao peremp-

tria que acabamos de fazer no pertence Matemtica. Ela apenas sobre Matemtica.) Considere, por exemplo, o Teorema de Pitgoras. Ele parece uma verdade absoluta mas na realidade um armao condicional:

Se

a > b c so as 2 2 2 ento a = b + c .

medidas dos lados de um tringulo retngulo

Por isso, s 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.

35

unidades 1 e 2

Textos Complementares

Para Saber Mais

Negao, Contrapositiva, Recproca


Como vimos, muitas vezes, em raciocnios dedutivos matemticos, lidamos com as ideias de negao, contrapositiva e recproca de uma implicao

P Q.

preciso ter cuidado para entender bem essas noes distintas  sem confundilas. Neste sentido, cabem algumas observaes importantes. Para ilustrar

nossas ideias considere, por exemplo, as seguintes armaes: Todo matemtico lsofo. Todo tringulo issceles equiltero. Sabemos, claro, que a segunda armao acima falsa. No entanto, a veracidade das armaes irrelevante para essa discusso.

1. importante no confundir a ideia matemtica de negao com a ideia


(no matemtica) de contrrio, ou oposto. A negao da armao todo matemtico lsofo no nenhum matemtico lsofo, e sim existe (pelo menos) um matemtico no lsofo. Mais geralmente, negar menos) um objeto que tem a

P Q signica admitir que existe (pelo propriedade P , mas no tem a propriedade

Q. Isto bem diferente de admitir que nenhum objeto com a propriedade P tem tambm a propriedade Q.
Se

a propriedade de um tringulo ser issceles e

a propriedade de

ser equiltero, a negao da implicao

P Q

(enunciada acima) a

armao (verdadeira) de que existe (pelo menos) um tringulo issceles no equiltero. Por outro lado, se uma ideia expressa por uma palavra, a ideia contrria expressa pelo antnimo daquela palavra. Por exemplo, o contrrio de gigantesco minsculo, mas a negao de gigantesco inclui outras gradaes de tamanho alm de minsculo.

2. Tambm importante no confundir as ideias de negao e contrapositiva. A contrapositiva de uma armao equivalente a esta; enquanto a negao, como o nome est dizendo, contradiz a armao original. Como observamos acima, a negao de todo matemtico lsofo existe (pelo menos) um matemtico no lsofo. J a contrapositiva

36

Conjuntos

unidades 1 e 2

dessa armao a armao equivalente: ento no matemtico.

se algum no lsofo,

A negao de todo tringulo issceles equiltero existe um tringulo issceles no equiltero. Sua contrapositiva : se um tringulo

no equiltero, ento no issceles. Neste caso, observe que, como a armao original falsa, temos que sua negao necessariamente verdadeira, pois contradiz a armao original; sua contrapositiva necessariamente falsa, pois equivale armao original.

3. Finalmente, importante no confundir a ideia de recproca, com negao, nem com contrapositiva. Tratam-se de trs noes bem diferentes! No caso dos exemplos acima, as recprocas so: todo lsofo matemtico e todo tringulo equiltero issceles. Observe que a armao todo tringulo issceles equiltero falsa, enquanto sua recproca verdadeira. No entanto, este um caso particular. No h nenhuma relao a priori entre a veracidade de uma armao e a veracidade de sua recproca. armaes: Todo tringulo equiltero issceles; Todo tringulo equiltero equingulo; Todo tringulo issceles retngulo. Temos que a primeira armao verdadeira mas sua recproca falsa (como acabamos de observar); a segunda armao verdadeira e sua recproca tambm verdadeira (neste caso, as armaes so equivalentes); a terceira armao falsa e sua recproca tambm falsa. Considere, por exemplo, as seguintes

Para entender melhor essas ideias, procure pensar em outros exemplos familiares.

37

unidades 1 e 2

Textos Complementares

Para Saber Mais

Menino ou Menina?
O conectivo ou mais um exemplo de um termo cujo signicado especco em Matemtica um tanto diferente daquele que lhe atribudo na linguagem corrente. No dia-a-dia, ou quase sempre refere duas alternativas mutuamente excludentes (vamos de nibus ou de trem?). Em Matemtica, por outro

lado, o conectivo ou nunca tem um sentido excludente. A armao  P ou

Q

signica que pelo menos uma das alternativas

ou

vlida, podendo

perfeitamente ocorrer que ambas sejam. Por exemplo, correta a armao todo nmero inteiro maior do que 10 ou menor do que 20. De fato, se

A = {x Z ; x > 10}
ento

B = {x Z ; x < 20},

A B = Z.
Ao sair da

A diferena entre o uso comum e o uso matemtico do conectivo ou ilustrada pela anedota do obstetra que tambm era matemtico.

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. De fato, se

o conjunto das meninas,

recm-nascido, certamente tem-se

B o x A B.

conjunto dos meninos e

38

Conjuntos

unidades 1 e 2

Sobre a Noo de Igualdade


Nesta unidade, comentamos sobre vrios termos cujos signicados matemticos precisos diferem signicativamente de seus usos em linguagem corrente. Os nomes escolhidos para os conceitos matemticos so, em geral, inspirados na linguagem corrente. Porm, para entender corretamente seu signicado

Para Saber Mais

matemtico, preciso esquecer seu sentido na linguagem corrente. Talvez o exemplo mais importante  e um dos que menos nos damos conta  seja a prpria noo matemtica de igualdade. Em Matemtica uma coisa s igual a si prpria. Quando se escreve

a = b,

isto signica que

so

smbolos usados para designar o mesmo objeto. Em Geometria, s vezes ainda se usam expresses como os ngulos

so iguais ou os tringulos

ABC

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. 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.

39

unidades 1 e 2

Textos Complementares

40

Referncias Bibliogrcas

[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitombeira, Joo Bosco. Trigonometria e Nmeros Complexos. Rio de Janeiro: SBM, Coleo Professor de Matemtica. [2] Eves, Howard. An Introduction to the History of Mathematics. New York: Holt, Rinehart and Winston, 1964. 29 [3] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996. [4] Figueiredo, Djairo G. Nmeros Irracionais e Transcedentes Rio de Janeiro: SBM, Coleo Iniciao Cientca. [5] Halmos, Paul. Naive Set Theory. New York: Springer, 1974. 2, 3 [6] Hefez, Abramo e Fernandez, Ceclia de Souza. Introduo lgebra Linear. Rio de Janeiro: SBM, Coleo PROFMAT, 2012. [7] Lima, Elon Lages. Coordenadas no Espao. Rio de Janeiro: SBM, Coleo Professor de Matemtica. [8] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM, Projeto Euclides, 1976. [9] Lima, Elon Lages. Logaritmos. Rio de Janeiro: SBM, Coleo Professor de Matemtica. [10] Lima, Elon Lages. Meu Professor de Matemtica e Outras Histrias. Rio de Janeiro: SBM, Coleo Professor de Matemtica. [11] Lima, Elon Lages. Anlise Real, Vol. 1. Rio de Janeiro: IMPA, Coleo Matemtica Universitria.

41

You might also like