Professional Documents
Culture Documents
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 . . . . . . . . . . . . . . . . .
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,
(veja a Reexo da p. 5), preciso ter claro por que a verso rigorosamente correta seria
r s = {P }.
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,
ou no um elemento do conjunto
A?
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. /
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.
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
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.
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?
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),
(A B).
As propriedades e
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);
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
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,
tem-se sempre
x /
conjunto
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
Definio 1
B,
diz-se que
um subconjunto de
B,
que
est contido em
B,
ou que
parte de
B.
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
P o conjunto dos polgonos do plano. logo T P . B o conjunto dos mltiplos de 2 B . Tem-se tambm B A /
3. Tem-se pois
A B porque 2 A 3 B mas 3 A. /
unidades 1 e 2
A Relao de Incluso
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
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.
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
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.
Conjuntos
unidades 1 e 2
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
H A
A M,
logo
H M.
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
Exemplo 3
propriedade de um quadriltero ter seus lados opostos paralelos (isto , ser paralelogramo). Ento podemos escrever dos retngulos e
R P.
Neste caso,
A A B.
o conjunto
Exemplo 4
x2 + x 1 = 0
Para todo x R,
x2 + x 1 = 0 x3 2x + 1 = 0.
tambm raiz de
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
Q, P.
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
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.
mltiplo de
4 n
par
n n
par
mltiplo de
4. n
seja
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
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
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
Q.
Sejam retngulo
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
x2 x 2 = 0 ,
(P ) (Q) (R) (S )
signicam que
P Q R S.
Isto , se o nmero
satisfaz
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.
acima que se houver razes desta equao elas devem pertencer ao conjunto
10
Conjuntos
unidades 1 e 2
{2, 1}. P.
Logo,
S P.
Conclumos que
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.
x2 + 1 = 0 . x
Exemplo 9
P , Q, R
representa a
(P ) (Q) (R ) (S )
x2 + 1 = 0 x4 1 = 0 ; x4 = 1; x {1, 1}.
(multiplicando por
x2 1);
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,
{1, 1}
e nada mais.
Na verdade, a implicao
P Q
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
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,
estaremos falando somente dos elementos de elementos a serem considerados pertencero subconjuntos de
xado
U,
todos os
os conjuntos sero
U,
Definio 2
ao conjunto
UC =
C = U.
U,
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 /
xA /
verdadeiras ao mesmo tempo chama-se o Princpio da No Contradio. Desses Princpios, decorrem as regras operatrias bsicas referentes ao complementar:
A U,
tem-se
AC
= A.
(Todo conjunto
(ii) Se
AB
ento
B C AC .
12
Conjuntos
unidades 1 e 2
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
Q P .
implica
P Q (P
Q)
equivale a dizer
Q P
(a negao de
implica a negao de
P ).
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
Q.
13
unidades 1 e 2
O Complementar de um Conjunto
original.
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
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.
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
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
s r.
em
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
Formar o complementar de um conjunto um caso particular da operao de formar a diferena entre dois conjuntos dados, cuja denio damos a seguir.
denida por:
Definio 3
B \ A = {x ; x B e x A}. /
Note que em geral, essa operao entre conjuntos no comutativa, isto ,
15
unidades 1 e 2
Reunio e Interseo
Definio 4
Dados os conjuntos
B: A
ou de
(i) a reunio
AB
B; B.
(ii) a interseo
AB
e de
xA
veremos que
xB
xAB
x AB xA xA
xAB xAB
signica signica
ou e
x B; AB AB
e e
x B.
e entre conjuntos cons-
tituem a contrapartida matemtica, em linguagem de conjuntos, dos conectivos lgicos ou e e (s vezes representados pelos smbolos Assim, se
Exemplo 13
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
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.
A B = B A,
A B = B A.
(A B) C = A (B C),
(A B) C = A (B C).
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
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)
{}.
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)
B \ A = {x ; x B e x A}. /
Mostre que a) b)
B\A= B\A=B
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
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.
x + x = 2.
x + 3 = x.
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
A (B C) = (A B) C.
20
Conjuntos
unidades 1 e 2
x): x,
satisfeita a condio
Para todo
Existe algum
que satisfaz a
(a) Sendo
universo
U)
(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
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
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?
(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
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
sobrejetiva.
e considere
X = {x
A ; x f (x)}. /
23
unidades 1 e 2
Textos Complementares
1.8 Textos Complementares
Na Sala de Aula
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
{. . .}
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
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
28
Conjuntos
unidades 1 e 2
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 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
Q P
P Q
Q.
necessrio: se
no ocorrer (embora
ocorra).
x3 2x + 1 = 0 x2 + x 1 = 0; n Q
no par
no mltiplo de
4; Q
no um retngulo.
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
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
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
P Q
P.
34
Conjuntos
unidades 1 e 2
ento
Q.
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 .
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
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.
Q. Isto bem diferente de admitir que nenhum objeto com a propriedade P tem tambm a propriedade Q.
Se
a propriedade de
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
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
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
Q
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
B o x A B.
38
Conjuntos
unidades 1 e 2
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,
so
smbolos usados para designar o mesmo objeto. Em Geometria, s vezes ainda se usam expresses como os ngulos
ABC
ABC
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