Sunteți pe pagina 1din 69

UNIVERSIDADE DO ESTADO DA BAHIA UNEB

PROGRAD DCET
CAMPUS I SALVADOR
CURSO DE LICENCIATURA EM MATEMTICA

CONJUNTOS, NMEROS REAIS E RELAES

Georg Cantor (18451918)

NOTAS DE AULAS
Eron

Salvador, fevereiro de 2011.


PARTEIICONJUNTOS

APRESENTAO

Estas notas complementam os contedos da disciplina Lgica.


PARTE II CONJUNTOS
PARTE III CONJUNTO DOS NMEROS REAIS
PARTE IV RELAES E DEFINIO DE FUNO
Desde j, assumo total responsabilidade por todos os erros que possa conter este material,
ainda incompleto, e agradeo a quem indicar as correes, crticas e sugerir melhorias.
No final, h uma lista com a bibliografia utilizada para confeccionar este material, voc
deve procurar obter pelo menos uma delas que verse sobre o contedo pretendido. Observo
tambm que este material no substitui a consulta, leitura e estudo de textos e livros citados na
bibliografia, deve servir como um material de auxlio, principalmente no momento em que se
realizam a aulas.

Salvador, fevereiro de 2011.


Eron
eronsouza@gmail.com

PARTEIICONJUNTOS

Figura da capa Georg Cantor


Georg Ferdinand Ludwig Philip Cantor nasceu na cidade de So Petersburgo em 3 de maro de
1845 e faleceu no hospital de doenas mentais de Halle em 1918. Passou a maior parte de sua
vida na Alemanha. Seus pais eram cristos de ascendncia judia, e Georg logo se interessou pelos
conceitos de continuidade e infinito da Teologia medieval.
Estudou em Zurich, Gttingen e Berlim, concentrando-se em Filosofia, Fsica e Matemtica,
possuindo grande imaginao, em 1867 obteve o grau de doutor em Berlim, com uma tese sobre
Teoria dos Nmeros.
Muito atrado pela Anlise, sua preocupao estava voltada para a idia do infinito, que at
1872 foi muito discutida tanto em Teologia como em Matemtica, mas sem se chegar a uma
concluso precisa. Em 1874, Cantor publicou no Journal de Crelle o mais revolucionrio artigo
que at mesmo seus editores hesitaram em aceitar. Havia reconhecido a propriedade fundamental
dos conjuntos infinitos e, ao contrrio de Dedekind (18311916), percebeu que nem todos eram
iguais, passando a construir uma hierarquia destes conjuntos conforme suas potncias.
Mostrou que o conjunto dos quadrados perfeitos tem a mesma potncia que o dos inteiros
positivos, pois podem ser postos em correspondncia biunvoca; provou que o conjunto de todas
as fraes contvel (enumervel) e que a potncia, do conjunto dos pontos de um segmento de
reta unitrio igual potncia do conjunto dos pontos de um quadrado de lado unitrio. Alguns
destes resultados eram to paradoxais que o prprio Cantor, certa vez escrevendo a Dedekind,
disse: Eu vejo isso, mas no acredito, e pediu ao seu amigo que verificasse a demonstrao. Seus
incrveis resultados levaram ao estabelecimento da Teoria dos Conjuntos como uma disciplina
matemtica completamente desenvolvida, de profundos efeitos no ensino. Os matemticos da
poca duvidavam da teoria da infinidade completa de Cantor, mas este, juntando as provas,
construiu toda uma aritmtica transfinita.
Cantor passou a maior parte de sua carreira na Universidade de Halle, de pouca importncia,
nunca conseguindo realizar uma de suas grandes aspiraes que era a de ser professor na
Universidade de Berlim, devido perseguio de Kronecker (18231891).
O reconhecimento de suas realizaes mereceu a exclamao de Hilbert (18621943):
Ningum nos expulsar do paraso que Cantor criou para ns.

PARTEIICONJUNTOS

PARTE II CONJUNTOS
4

Toda a Matemtica atual formulada na linguagem de conjuntos. Portanto, a noo de


conjunto a mais fundamental: a partir dela, todos os conceitos matemticos podem ser
expressos. Ela tambm a mais simples das idias matemticas.
A Matemtica se ocupa primordialmente de nmeros e do espao. Portanto, os conjuntos
mais freqentemente encontrados na Matemtica so os conjuntos numricos, as figuras
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.

Contedos
1. Conjuntos um pouco de histria
2. Conjunto, elemento e pertinncia
3. Relao de incluso e igualdade de conjuntos
4. Diagramas de Venn
5. Interseco e unio de conjuntos
6. Diferena simtrica e complementar
7. Quantidade de elementos de conjunto finito
8. Conjuntos nos argumentos lgicos
9. Exerccios de Aprendizagem e Fixao

PARTEIICONJUNTOS

Conjuntos
A Teoria dos conjuntos se reporta aos primrdios da Matemtica. Os conceitos da teoria dos
conjuntos, tais como funes e relaes, aparecem explcita ou implicitamente em cada ramo da
Matemtica. Aqui, trataremos de um resumo dos conceitos de conjuntos de modo informal sem
discusso axiomtica detalhada, que pode ser encontrada em livros da referncia.
Conceitos primitivos: conjunto, elemento e relao de pertinncia.
Georg Cantor: agrupamento em um todo de objetos bem definidos da nossa intuio ou do nosso
pensamento.
Um conjunto pode ser determinado pela
i) designao dos seus elementos;
ii) propriedade dos elementos.

Relao de pertinncia. Usamos o smbolo a A para indicar que o elemento a pertence ao


conjunto A . Usamos o smbolo a A para indicar que o elemento a no pertence ao conjunto A .
Notao: a A e a A .

Exemplos

A = {1, 0,1}
B = {x

; x + 1 = 3} = {2}

C = x ;x 2 < 0 = {

D = {x

}=

; x par} = {0,2, 4, 6,...}

Relao de incluso (subconjunto). Um conjunto A dito um subconjunto de um conjunto B ou

A est contido em B (denotamos A B ) ou B contm A se e somente se todo elemento que


pertence a A pertence tambm a B . Resumindo, A B

( x A

x B).
PARTEIICONJUNTOS

Exemplos
a) A = {1, 3, 5} subconjunto de B = {1,2, 3, 4, 5, 6} .

b) M = {x

; x par} {x

; x multiplo de 6} .

c) Qualquer que seja o conjunto A cumpre-se: A e A A .

Observaes

1) Se A B e existe um elemento em B que no est em A dizemos que A subconjunto


prprio de B .

2) Se A B dizemos tambm que a uma parte de B .

Proposio. Para qualquer conjunto A , temos que A .


Dem] Para mostrar que A temos que tomar um elemento x qualquer e mostrar que
x x A ( x x A verdade). Como x falso temos que a condicional

x x A verdadeira, logo a implicao x x A vale para todo conjunto A .

Propriedades da incluso. Dados quaisquer conjuntos A, B e C tem-se:

i) Reflexividade: A A

ii) Anti-simtrica: se A B e B A ento A = B .


iii) Transitividade: se A B e B C ento A C .

Demonstrao de iii) Se A B e B C ento A C .


Hipteses: A B e B C

Tese: A C .

Dem] Seja x A , por hiptese A B , logo, x B . Como, por hiptese, B C temos que

x C . Logo, se todo elemento x A deduzimos que x C , temos que A C .

PARTEIICONJUNTOS

Igualdade de conjuntos. Dados dois conjuntos A e B , dizemos que A = B se e somente se

A B e B A . De outro modo, A = B A B e B A .

Exemplo Algumas igualdades entre conjuntos


a) A = {1, 3, 5, 7} e B = {7, 5, 3,1} .
b) M = {2, 4,2, 6} e N = {4,2, 6} .

c) E = x

; x 2 3x + 2 = 0 , F = {2,1} e G = {1,2,2,1} .

Conjunto das partes. Dado um conjunto A o conjunto de todos os subconjuntos de A chamado


de conjunto das partes de A indicado por P (A) = {X ; X A} .

Exemplos

a) Seja A = {4, 5} , ento P (A) = , {4}, {5}, {4, 5}

b) Seja B = {a, b, c } , ento P (B ) = , {a }, {b }, {c }, {a, b }, {a, c }, {b, c }, {a, b, c } .

Observao. Em a), {4} P (A) , assim como {4, 5} P (A) .

Diagramas de VennEuler. De modo simples podemos ilustrar as relaes entre conjuntos


mediante os chamados diagramas de VennEuler ou simplesmente diagramas de Venn, que
representam um conjunto em uma regio plana, limitada geralmente por crculos, quadrados,
retngulos, losangos.

PARTEIICONJUNTOS

Operaes entre conjuntos


Dados dois conjuntos A e B (subconjuntos de um determinado conjunto universo U ) definimos:

Unio. A reunio (ou unio) de A e B , indicamos por A B , o conjunto de todos os elementos


que pertencem a A ou a B ou a ambos.

A B = {x ; x A ou x B }
O conectivo lgico ou no sentido inclusivo de fato, quando dizemos que x est em A ou x
est em B , queremos dizer que x est em pelo menos um dois conjuntos com a possibilidade de
estar em ambos.
Graficamente podemos indicar a unio de dois conjuntos A e B pela figura abaixo.

Propriedades da unio de conjuntos


U1) Comutativa

AB = B A

U2) Associativa

(A B ) C = A (B C )

U3) Idempotente

AA= A

U4) Identidade

A = A

U5)

A U = U

U6)

AB AB = B

U7)

A, B C (A B ) C

U8)

A (A B ) e B (A B )
PARTEIICONJUNTOS

Interseco. A interseco de A e B , indicamos por A B , o conjunto de todos os elementos


que pertencem a A e a B simultaneamente.

A B = {x ; x A e x B }
Graficamente podemos indicar a interseco de dois conjuntos A e B pela figura abaixo.

Propriedades da interseco de conjuntos


I1) Comutativa

AB = B A

I2) Associativa

(A B ) C = A (B C )

I3) Idempotente

AA= A

I4) Identidade

A =

I5)

A U = A

I6)

AB AB = A

I7)

AB A e AB B

Observao. Se A B = dizemos que A e B so conjuntos disjuntos.

Propriedades adicionais
1) a) = F

b) U = V

2) a) A (B C ) = (A B ) (A C )

b) A (B C ) = (A B ) (A C )
PARTEIICONJUNTOS

Exemplos Demonstre as seguintes propriedades citadas anteriormente:


10

U8) A (A B ) e B (A B )

I7) A B A e A B B

U6) A B = B A B
Como a demonstrao envolve uma equivalncia, temos que mostrar (a) ida e (b) volta:

a) A B = B A B
Ex 1)

hip

Dem] x A x A B x B .
b) A B A B = B
Dem] Como a tese ( A B = B ) envolve uma igualdade de conjuntos, temos que mostrar que
i) A B B
Dem] Seja x A B , ento x A ou x B . Se x B temos A B B . Se x A , por

hiptese A B tambm conclumos que x B , logo, A B B .


ii) B A B (j foi feito, veja demonstrao do exerccio 2)

Portanto, de a) e b) A B = B A B .

I6) A B = A A B

A definio abaixo s faz sentido para conjuntos A e B subconjuntos de um determinado


conjunto universo U . Assim,
Diferena. A diferena entre dois conjuntos A e B , indicamos por A B , o conjunto dos

elementos que pertencem a A e no pertencem a B .


A B = {x ; x A e x B }
PARTEIICONJUNTOS

Observao. Outras notaes para diferena: A B , A / B .


11

Graficamente, representa-se pela figura abaixo.

Propriedade da diferena de conjuntos. Para todos os subconjuntos A e B de um conjunto

universal U tem-se:
D1) A A =
D2) A = A
D3) (A B ) A
D4) Se A B ento A B = .
D5) A =
D6) Se A B ento A (B A) = B .
D7) Os conjuntos A B , A B e B A so disjuntos dois a dois.

Observao. Em geral, A B B A .

Demonstrao de algumas propriedades


D1) A A =

Dem] Suponhamos, por absurdo, que A A . Ento, existe x A A , ou seja, que

x A e x A , que representa uma contradio. Logo, s podemos ter A A = .

PARTEIICONJUNTOS

D3) (A B ) A
12

Dem] x (A B ) x A e x B x A .

Diferena simtrica. A diferena simtrica (ou soma booleana) entre dois conjuntos A e B (nessa
ordem), denotada por AB , definida como o conjunto

AB = (A B ) (B A) .
A parte sombreada mostrada na figura representa a diferena simtrica.

Complementar. Dados dois conjuntos A e B , se A B , ento a diferena B A chamada


complementar de A em relao a B e indicamos por C BA = B A .
Se considerarmos o complementar de A em relao a um conjunto universo U , indicamos CUA ou

A ou A . Outra maneira de representar CUA = {x U ; x A} , desse modo, podemos identificar


o complementar como a negao (lgica).

Propriedades do complementar de um conjunto


C1) A = A
C2) a) A B = A B

b) A B = A B

C3) a) A A = U

b) A A =

C4) a) = U

b) U =

C5) A = B A = B
PARTEIICONJUNTOS

C6) A B B A
13

C7) A B = A B
C8) AB = (A B ) (B A)

Demonstraes de algumas propriedades


C2) a) A B = A B

Dem] A B = {x U ; x (A B )} = {x U ; x A e x B )} = A B .

C2) b) A B = A B

Dem] x A B x (A B ) x A ou x B x A B .

C3) a) A A = U

Dem] Supondo A A U , temos que existe x U tal que x A A x A ou x A

x A ou x A que uma contradio, logo, A A = U .

C3) b) A A =

Dem]

5) A = B A = B
Dem]

C6) A B B A
i) A B B A
PARTEIICONJUNTOS

Dem] Seja x B , isto , x B . Como A B , conclumos que x A , ou seja, x A .


14

ii) B A A B
Dem] Seja x A , isto , x A . Como B A , temos que x B , logo, x B .

De i) e ii) conclumos que A B B A .

C7) A B = A B
Dem] A B = {x ; x A x B } = {x ; x A x B } = A B .

Exemplos Resolvidos Mostre que


1) B (A B ) =
Dem] Supondo B (A B ) existe x B (A B ) ento x B x A x B , isto implica

em x B x B que uma contradio. Portanto, B (A B ) = .

2) A (A B ) B (A B ) =

Dem] Supondo A (A B ) B (A B ) existe x A (A B ) B (A B ) ento


x A (A B ) x B (A B ) , ou seja, x A x (A B ) x B x (A B ) , da

deduzimos que x A x B , que significa x (A B ) o que uma contradio.

3) Se B A ento B (A B ) = A .
Dem] Hiptese: B A

Tese: B (A B ) = A

a) B (A B ) A
x B (A B ) x B (x A x B ) (x B x A) (x B x B )
x (B A) x U x (B A) U x (A U ) x A.

PARTEIICONJUNTOS

b) A B (A B )
15

Seja x A , como B A , temos duas alternativas a considerar


i) x B . Logo, x B (A B ) .
ii) x A e x B , isto implica em x (A B ) , logo, x B (A B ) .
De a) e b) temos que B (A B ) = A .

Nmero de elementos de um conjunto finito. Dado um conjunto finito A , indicamos o nmero de

elementos de A por n(A) ou card(A) ou #(A) (tambm chamado de cardinalidade de A ).

Observaes

i) O nmero de elementos de um conjunto finito no muda.


ii) Por definio, n() = 0 .
iii) Todo subconjunto A de um conjunto finito B finito e n(A) n(B ) .
iv) Tem-se que A = B n(A) = n(B ) .

Proposio 1. Se A B = ento n(A B ) = n(A) + n(B ) .


Dem]

Proposio 2. Se A B ento n(B A) = n(B ) n(A) .


Dem] Se A B ento B = A (B A) . Alm disso, sabemos que A (B A) = . Portanto,
n(B ) = n A (B A) = n(A) + n(B A) .

Proposio 3. n(A B ) = n(A) + n(B ) n(A B ) .


Dem] Utilizaremos os resultados a) e b) abaixo
PARTEIICONJUNTOS

a) A B = A (A B ) B (A B ) (A B )
De fato, A B A e A B B ento pelo Exerccio Resolvido 3 anterior temos que
A (A B ) (A B ) = A e B (A B ) (A B ) = B . Desses resultados e operando

A B , temos o resultado em a).


b) Os conjuntos A (A B ) , B (A B ) e (A B ) so disjuntos dois a dois, ou seja,
podemos ver isso usando os Exerccios Resolvidos 1 e 2 anteriores, ento
A (A B ) B (A B ) =

A (A B ) (A B ) =

B (A B ) (A B ) =

De a) e b) temos que

n(A B ) = n A (A B ) + n B (A B ) + n(A B )

= n(A) n(A B ) + n(B ) n(A B ) + n(A B )


= n(A) + n(B ) n(A B ).

Exemplos de Problemas envolvendo conjuntos finitos

1 Numa escola que tem 415 alunos, 221 amam Estatstica, 163 amam Lgica e 52 amam ambas
as disciplinas.
a) Quantos alunos amam Estatstica ou Lgica?
b) Quantos alunos no amam essas disciplinas?

2 Uma populao consome trs marcas de sucos: A, B e C. Feita uma pesquisa de mercado
nesta populao, colheram-se os seguintes dados
Marca
N. Consumidores

AeB

BeC

AeS

A, B e C

No bebem sucos

109

203

162

25

41

28

115

PARTEIICONJUNTOS

16

Determine:
17

a) o nmero de pessoas consultadas;


b) o nmero de pessoas que s bebem a marca A;
c) o nmero de pessoas que no bebem as marcas A ou C;
d) o nmero de pessoas que consomem ao menos duas marcas.

Um pouco mais de Lgica em Conjuntos. Pelas definies vistas vemos que as operaes lgicas
esto intimamente relacionadas com as operaes entre conjuntos. Podemos estabelecer as relaes
Lgica

Conjuntos

Conjuno

Interseco

Disjuno

Unio

Condicional

Relao de incluso

Bicondicional

Igualdade

Negao

Complementar

Contradio

Conjunto vazio

Tautologia

Conjunto universo

Mais alguns exemplos de demonstraes

1) Mostrar que A .
Dem] Devemos mostrar que x x A .

Para todo x U , a proposio x falsa e, portanto, a proposio " x x A "


verdadeira.

PARTEIICONJUNTOS

2) Mostrar que A A B
18

Dem] Devemos mostrar que " x A x A B " .

Segue

da

implicao

de

adio

p p q

que

" x A x A ou x B " .

Portanto

"x A x A B " .

3) Mostrar que A (B C ) = (A B ) (A C ) .
Dem]

Devemos

mostrar

que

" x A (B C ) x (A B ) (A C ) " ,

" x A (x B x C )

(x A x B ) (x A x C ) " .
propriedade distributiva p (q r ) (p q ) (p r ) .

Esta

ou

equivalncia

seja,

que

segue da

Argumentos e conjuntos (Demonstrao indireta). Vejamos alguns exemplos de como o mtodo


da demonstrao indireta est presente nas demonstraes matemticas, em particular, nas

propriedades de Conjuntos.

1) Mostre que (A B ) B = .
Dem] Suponhamos, por absurdo, que (A B ) B . Ento existe um elemento x tal que

x A B e x B o que equivalente a afirmar que x A e x B e x B , o que uma


contradio!

2) Mostre que: Se A B , C D e B D = ento A C = .


Neste caso, as premissas so:
P1 : A B

P2 : C D
P3 : B D =

e a concluso

Q : A C =

PARTEIICONJUNTOS

Dem] Vamos negar a concluso, isto , supor A C . Assumindo as premissas verdadeiras

vamos usar argumentos que nos levem a uma contradio. Se A C , temos que existe um
elemento x tal que x A e x C . De P1 e P2 conclumos que x B e x D . Mas, isto contradiz
a premissa P3 .

Argumentos e diagramas de Venn. Os resultados obtidos dos conjuntos e os diagramas de Venn so

muito teis na verificao da validade de determinados argumentos, principalmente quando as


premissas envolvem proposies quantificadas. Vamos mostrar isto apresentando alguns exemplos.
Esquematicamente, o conjunto A , constitudo por todos os elementos possuidores da propriedade a ,
representado por uma regio limitada do plano, ficando fora desta regio os elementos no
possuidores desta propriedade:
A
.x

.y

A: conjunto dos possuidores da propriedade a ;

x : possui a propriedade a .

y : no possui a propriedade a .

Temos, ento, os seguintes diagramas, correspondendo s quatro proposies bsicas:


Proposio

Diagrama de Euler

Todo a b .

Nenhum a b .

Algum a b .
A

(ou existe a que b .)


Algum a no b .
A

(ou existe a que no b .)


PARTEIICONJUNTOS

19

Exemplo 1 Consideremos o seguinte argumento


20

P1 : Bebs so ilgicos.
P2 : Ningum desprezado se pode domar crocodilos.
P3 : Pessoas ilgicas so desprezadas.

Q : Bebs no podem domar crocodilos.


Utilizando conjuntos, faamos a seguinte associao:

B = Conjunto dos bebs


I = Conjunto das pessoas ilgicas
D = Conjunto das pessoas desprezadas
C = Conjunto dos domadores de crocodilos
Podemos reinterpretar o argumento usando a associao de conjuntos acima, assim:
P1 : B I
P2 : D C =
P3 : I D

Q : B C =
Abaixo, vemos o diagrama correspondente. Este diagrama nos mostra que a concluso vlida.
D
I
B

Exemplos 2 Verifique a validade dos seguintes argumentos utilizando os diagramas de Venn.


Argumento 1

P1 : Alguns estudantes so preguiosos.


PARTEIICONJUNTOS

P2 : Todos os homens so preguiosos.


21

Q : Alguns estudantes so homens.


Sejam: E = conjunto dos estudantes; H = conjunto dos homens; P = conjunto dos preguiosos.
Com esta notao, reescrevemos o argumento 1 como
P1 : E P
P2 : H P

Q :E H
O diagrama abaixo nos mostra uma situao em que as premissas so verdadeiras com a concluso
falsa.

E
H

O argumento no vlido, apesar de podermos construir tambm um diagrama onde a concluso


verdadeira.

Observao. Para concluirmos a validade do argumento a representao do diagrama no pode


deixar dvida quanto a concluso.

Argumento 2
P1 : Todo nmero primo mpar.

P1 : Pr I

P2 : Nenhum nmero mpar par.

P2 : I P =

Q : Existe um nmero primo que par.

Q : Pr P

Pr
Pr

O argumento no vlido apesar da proposio Q ser verdadeira. Isto porque a concluso


no decorre das premissas.
PARTEIICONJUNTOS

Argumento 3
22

P1 : Todos os advogados so ricos. ( A R )


P2 : Poetas so temperamentais. ( P T )
P3 : Nenhuma pessoa temperamental rica. (T R = )

Q : Nenhum advogado poeta. ( A P = )


A concluso vlida.

Argumento 4

P1 : Todos os artistas so famosos. (P1 : A F )


P2 : Para ser diplomado pela universidade suficiente ser professor. (P2 : P U )
P3 : Existem diplomados pela universidade famosos. (P3 : U F )

Para cada concluso apresentada abaixo, analise a validade do argumento quando:


Q1 : Professores no so famosos.

Q2 : Artistas no so professores.
Q3 : Se Joo diplomado pela universidade ento ele no artista.

F
A

PARTEIICONJUNTOS

F
A

23

F
A

Argumento 5

P1 : Todo matemtico estudou na universidade. M U


P2 : suficiente ser bilogo para ter estudado na universidade. B U
P3 : Nenhum bilogo matemtico. B M =
P4 : Existem matemticos que so sbios. M S

P5 : Ningum que estuda na universidade analfabeto. A U =


P6 : Existem sbios analfabetos. S A
Para cada concluso apresentada abaixo, analise a validade do argumento quando:
a) Q1 : Nenhum bilogo analfabeto.
b) Q2 : Existem sbios que estudam na universidade.
c) Q3 : Todos os sbios estudam na universidade.
d) Q4 : Nenhum bilogo sbio.
e) Q5 : Existem pessoas que estudaram na universidade e no so sbios.

PARTEIICONJUNTOS

EXERCCIOS DE APRENDIZAGEM E FIXAO CONJUNTOS


24

1 Considere os conjuntos:

A = conjunto dos quadrilteros planos.

P = {X A ; X tem lados 2 a 2 paralelos}


L = {X A ; X tem 4 lados congruentes}
R = {X A ; X tem 4 ngulos retos}

Q = {X A ; X tem 2 lados paralelos e 2 ngulos retos}


Determine os conjuntos abaixo:
a) L P

b) R P

c) L R

d) Q R

e) L Q

f) P Q

2 Usando as operaes entre conjuntos e suas propriedades, simplifique as seguintes expresses:


a)

(A B )

b) (A B ) (A B )
c) A B A B
d) A (B C ) A (A B ) A (A C )

e) (A B ) A A B
f)

(A B C ) (A B C )

3 Verifique se a equaes dadas abaixo so sempre verdadeiras, usando diagramas de Venn.

No caso de verdadeira, demonstre;

PARTEIICONJUNTOS

No caso de falsa d contra-exemplo.


25

a) A (B C ) = (A B ) (A C )
b) A (B C ) = (A B ) (A C )
c) A (B C ) = (A B ) (A C )
d) A (A B ) = A B
e) A B = A (A B )
f) A B = A (B A)
g) A (B C ) = (A B )(A C )
h) A (B C ) = (A B )(A C )
i) AB = A B
j) A B = A (A B )

4 Mostre que:
a) Se B C e C A ento B C A .
b) Se A B e A C ento A B C .
c) P (A) P (B ) = P (A B )
d) Se A B = ento A B = A .
e) Se A B = ento A B = B .
f) A B se e somente se A B = .
g) Se A B = A e A C ento B C .

5 Dados os conjuntos A = {1,2} e B = {1,2, 3, 4} , determine todos os conjuntos X B tais que


AX B.

Considere A = {1,2, 3} e B = {3, 4, 5} . Ento determine


PARTEIICONJUNTOS

a) P (A)
26

b) P (B )
c) P (A B )
d) P (A B )

6 Determine todos os elementos dos conjuntos A , B e E sabendo-se que A, B P (E ) e que

A B = {1, 3, 8, 9} , C EA = {4, 6, 9} e C EB = {3, 4, 6} .

7 No relatrio de uma pesquisa encomendada por uma editora, para saber sobre as preferncias
dos leitores em relao a trs revistas A, B e C . Observou-se as seguintes estatsticas: 90% liam
a revista A; 6% a B; 7% a C; 4% liam A e a B; 5% a A e a C; 2% a C e a B e 1% liam as trs
revistas.
a) Supondo-se que as pessoas pesquisadas eram leitoras de pelo menos uma das revistas,
pergunta-se: As estatsticas do relatrio so consistentes?
b) Caso no universo das pessoas consultadas nem todas lessem revistas desta editora, o que se
poderia concluir?

8 Em um levantamento feito por 100 estudantes de uma certa universidade para verificar o
aprendizado de lngua inglesa, francesa e alem, verificou-se o seguinte:
78 estudavam pelo menos uma destas trs lnguas;
47 estudavam ingls, 32 francs e 21 alemo;
31 estudavam apenas ingls e 17 apenas francs;
6 estudavam francs e alemo;
5 estudavam ingls e alemo mas no estudavam francs.
a) Quantos estudavam as trs lnguas?
b) Quantos estudavam ingls e francs mas no estudavam alemo?
PARTEIICONJUNTOS

c) Quantos estudavam apenas alemo?


27

d) Quantos no estudavam qualquer das trs lnguas?


e) Quantos no estudavam francs?

9 Dados os conjuntos A, B e C tais que: n(A B C ) = 25 ; n(A B C ) = 1 ; n(A) = 10 ;


n(B ) = 14 ; n(A B ) = 20 ; n B (A C ) = 6 ; n A (B C ) = 2 . Determine:
a) n ((A C ) B )
b) n ((B C ) A)

10 Dados os conjuntos A, B e C tem-se que: n (AB ) = 32 ; n (A B ) = 35 ; n (B C ) = 31 ;

n (B C ) = 37 ; n(A B C ) = 2 ; n C (A B ) = 12 ; n (A B ) C = 26 . Determine
a) n ((A C ) B )
b) n (A (B C ))
c) n (B (A C ))
d) n ((A B ) C )

11 Utilize os diagramas de Venn para decidir quais das seguintes afirmaes so vlidas.
a) Todos os girassis so amarelos e alguns pssaros so amarelos, logo nenhum pssaro um
girassol.
b) Alguns livros so verdes e algumas coisas verdes so comestveis. Conclumos que alguns
livros so comestveis.
c) Como todos os peixes so mamferos, todos os mamferos so aves e existem minerais que
so peixes, conclumos que existem minerais que so aves.
d) Alguns homens sabem nadar. No existem peixes que no sabem nadar. Concluso: os
peixes sabem nadar.
PARTEIICONJUNTOS

e) Alguns baianos so surfistas. Alguns surfistas so louros. No existem professores surfistas.


Concluses

28

i) Alguns baianos so louros.


ii) Alguns professores so baianos.
iii) Alguns louros so professores.
iv) Existem professores louros.

12 Considere as seguintes premissas:


(1) suficiente ser artista para ser uma pessoa sensvel
(2) Existem pessoas sensveis que no so determinadas.
(3) Ser determinada condio necessria para uma pessoa ser pragmtica.
(4) Somente pessoas que no so pragmticas se tornam artistas.
(5) Existem artistas que so pessoas determinadas.
Escreva, justificando atravs do diagrama de Venn, quais das seguintes concluses so vlidas e
quais as falsas:
a) Toda pessoa pragmtica no sensvel.
b) Existem artistas que no so determinadas.
c) Existem pessoas determinadas que so sensveis.
d) Nenhuma pessoa pragmtica sensvel.
e) Existem pessoas determinadas que no so sensveis e nem so artistas.

PARTEIICONJUNTOS

LEITURA COMPLEMENTAR
29

Axiomatizao
Em um desenvolvimento axiomtico de um ramo da Matemtica, iniciamos com

Termos indefinidos (ou primitivos)


Relaes indefinidas
Axiomas relacionando os termos indefinidos e as relaes indefinidas.
Em seguida, desenvolvem-se teoremas baseados em axiomas e definies. No desenvolvimento
axiomtico da Teoria dos Conjuntos, temos

elemento e conjunto so termos indefinidos;


elemento pertencente a um conjunto uma relao indefinida;
Dois dos axiomas so
Axioma de extenso. Dois conjuntos A e B so iguais se, e somente se, cada elemento de

A pertence tambm a B e cada elemento em B pertence a A .


Axioma de especificao. Sejam P (x ) uma proposio qualquer e A um conjunto. Existe
um conjunto B = {a; a A, P (a ) verdadeira } .
Aqui, P (x ) uma sentena em uma varivel para a qual P (a ) verdadeira ou falsa para
qualquer a A . Existem outros axiomas que no esto relacionados que so utilizados para uma
discusso mais longa e detalhada da Teoria dos conjuntos.

PARTEIICONJUNTOS

30

Algumas Equivalncias Lgicas


1

pp p

pp p

p V p
p F p
p F F
p V V
p p F
p p V
p (q r )
p (q r )

(p q ) (p r )
(p q ) (p r )

p (p q ) p

(p q ) p q
(p q ) p q

( p q ) p q

p q p q

10

(p q )

11

p q (p q ) (q p)

(p q ) ( p q )

12

p (p q ) p

Algumas Regras de Inferncia


AD

p A p q
q A p q

SIMP

p q A p
p q A q

CONJ

p, q A p q

MP

p q, p A q

MT

p q, q A p

SH

p q, q r A p r

PARTEIICONJUNTOS

PARTE III CONJUNTO DOS NMEROS REAIS

Enquanto os conjuntos constituem um meio auxiliar, os nmeros so um dos dois objetos


principais de que se ocupa a Matemtica. (O outro o espao, junto com as figuras geomtricas
nele contidas.)
A Teoria dos conjuntos bastante geral, no entanto, os conjuntos importantes que
encontramos em Matemtica elementar so os conjuntos de nmeros e, dentre eles, o conjunto
dos nmeros reais.
Nmeros so entes abstratos, desenvolvidos pelo homem como modelos que permitem
contar e medir, portanto avaliar as diferentes quantidades de uma grandeza. Nesta parte das
notas, estudaremos um pouco dos nmeros reais e suas propriedades.

Contedos
1. Nmeros um pouco de histria
2. Conjunto dos naturais, dos inteiros, racionais e dos irracionais
3. Conjunto dos nmeros reais
4. R corpo
5. R ordenado
6. Mdulo
7. Equaes e inequaes
8. Exerccios de Aprendizagem e Fixao

PARTEIIICONJUNTODOSNMEROSREAIS

Comentrio sobre alguns conjuntos numricos

O desenvolvimento formal da construo dos conjuntos numricos ser feito em outra disciplina
deste curso: lgebra I. Aqui, faremos um breve comentrio dos conjuntos numricos naturais,
inteiros, racionais e irracionais e desenvolveremos algumas propriedades importantes dos reais
que nos ajudaro a entender contedos como relaes e funes reais.
Nmeros Naturais. Os nmeros naturais constituem um modelo matemtico, uma escala padro,
que nos permite a operao de contagem. A seqncia desses nmeros uma livre e antiga
criao do esprito humano. Comparar conjuntos de objetos com essa escala abstrata ideal o
processo que torna mais precisa a noo de quantidade; esse processo (a contagem) pressupe
portanto o conhecimento da seqncia numrica. Sabemos que os nmeros naturais so 1, 2, 3,
4, 5, A totalidade desses nmeros constitui um conjunto, que indicaremos com o smbolo ` e

= {1,2, 3, 4, 5,...} .

que chamaremos de conjunto dos naturais. Portanto

Deve-se a Giusepe Peano (1858-1932) a constatao de que o conjunto ` dos nmeros naturais
possui propriedades fundamentais, das quais resultam como conseqncias lgicas, todas as
afirmaes verdadeiras que se pode fazer sobre esses nmeros, so os Axiomas de Peano. Uma
dessas propriedades fundamentais o Princpio da Induo um eficiente instrumento para a
demonstrao de fatos referentes aos nmeros naturais.

= {0,1,2, 3, 4, 5,...}
Operaes definidas em

Adio
Multiplicao
Nmeros Inteiros. Este conjunto aparece como ampliao do conjunto dos nmeros naturais. O

conjunto dos nmeros inteiros, indicado pela letra

, o conjunto

= {..., 3, 2, 1, 0,1,2, 3,...}


Em

, podemos distinguir trs subconjuntos notveis

= {0,1,2, 3,...} =

= {..., 3, 2, 1, 0} : conjunto dos inteiros no positivos

* = {..., 3, 2, 1,1,2, 3,...} : conjunto dos inteiros no nulos

: conjunto dos inteiros no negativos

PARTEIIICONJUNTODOSNMEROSREAIS

Operaes definidas em

. Neste conjunto tambm so definidas as operaes de adio e

multiplicao que temos para os naturais e conservam as mesmas propriedades mais a seguinte:
, existe um nico y

Elemento simtrico aditivo (ou oposto). Para todo x

tal que

x + y = 0 (simtrico ou oposto para a operao de adio). Denotamos y = x .

Observaes
I. Devido existncia do elemento oposto, podemos definir em

a operao de subtrao,

estabelecendo que x y = x + (y ) para todos x , y

fechado em relao

subtrao.
temos a existncia do 0 (zero), chamado elemento neutro da adio: x

II. Em

x +0 = 0+x =x.
III. A equao x + 4 = 0 tem soluo em
IV.

( x = 4 ) mas no tem soluo em

no fechado para a operao de diviso. Por exemplo, 1 e 2 so inteiros, mas


1
= 0, 5
2

Nmeros Racionais. Assim como o conjunto dos nmeros inteiros podem ser vistos como uma

ampliao do conjunto dos nmeros naturais, o conjunto dos nmeros racionais pode ser
construdo como uma ampliao do conjunto dos nmeros inteiros.
Como no existe um inverso multiplicativo em

, esta dificuldade foi superada introduzindo os

nmeros racionais.
Sejam a,b

com b 0 . Se a mltiplo de b , ento existe um nico elemento r

de

maneira que a = b r . Este elemento r chamado quociente (ou diviso) de a por b e

indicamos
r=

a
ou r = a b ou r = a / b
b

a
de frao onde a numerador e b denominador. Assim, definimos
b
ento o conjunto de todos os nmeros que podem ser escritos na forma de frao como o

Tambm chamamos

conjunto dos nmeros racionais (ratio=razo)


a
= ; a, b
b

e b 0

PARTEIIICONJUNTODOSNMEROSREAIS

Note que todo nmero inteiro x racional, pois x =

x
. Isto quer dizer que
1

Vamos definir alguns tipos de fraes

Fraes equivalentes:

Fraes prprias:

Fraes

Fraes

Fraes

Fraes

a ac
=
, a, b, c
b
bc

e b, c 0 .

a
com a < b , a,b e b 0 .
b
a
imprprias:
com a > b , a,b e b 0 .
b
a
aparentes: , a, b , b 0 , c ; a = bc .
b
a
decimais:
, a e n .
10n
a
irredutveis: , a,b , b 0 , mdc(a,b) = 1 .
b

Exerccio D exemplos de cada um dos tipos de fraes definidas acima.


Operaes em

. Podemos definir em

as operaes j estruturadas em

: adio,

multiplicao e subtrao e, alm disso, definiremos uma outra, a diviso. Vejamos tais
operaes:

Adio:

a c
ad + bc
, a, b, c, d
+ =
b d
bd

e b, d 0 .

Observaes

a
a
dado por e tem a seguinte propriedade:
b
b
a
a
a
para a, b e b 0 .
=
=
b
b
b
Assim, podemos definir a operao de subtrao entre dois nmeros racionais:
O elemento oposto de

a c
a c ad bc
, a, b, c, d
= +
=
b d
b
d
bd

Multiplicao:

a c
ac
, a, b, c, d
=
b d bd

e b, d 0 .

e b, d 0 .

PARTEIIICONJUNTODOSNMEROSREAIS

As operaes de adio e multiplicao definidas para os racionais apresentam todas as


propriedades das mesmas operaes para os inteiros. Alm disso, em

Elemento inverso multiplicativo. Para todo x =

{0} , existe um nico y

xy = yx = 1 (inverso multiplicativo). Denotamos por y = x 1 =

Por exemplo, se x =

, existe o

b
.
a

3
4
3 4
, ento x 1 = e, portanto, xx 1 = = 1 .
4 3
4
3

Esta propriedade nos mostra como podemos definir a operao de diviso em


com y 0 , a diviso de x por y , o nmero racional

Exemplo: x =

tal que

. Se x , y

x
1
= x = xy 1 .
y
y

4
1
x
4 6 24
e y = , ento = xy 1 = =
.
y
5 1
5
5
6

Representao decimal. Qualquer nmero racional pode ser escrito na forma decimal. Para isto,

basta dividir o numerador pelo inteiro denominador. Nessa diviso, podem ocorrer dois casos:
1. O nmero decimal tem uma quantidade finita de algarismos diferentes de zero, isto , uma
decimal exata.

Exemplos:

4
=4
1

1
= 0, 5
2

4
= 0,16
25

17
= 0, 0017
10000

2. O nmero decimal tem uma quantidade infinita de algarismos que se repetem periodicamente,
isto , uma dzima peridica.
Exemplos
1
= 0, 3333... = 0, 3 (perodo 3)
3
13
b)
= 2,1666... = 2,16 (perodo 6)
6
3
c) = 0, 428571428571... = 0, 428571 (perodo 428571)
7
a)

PARTEIIICONJUNTODOSNMEROSREAIS

Assim, dado um nmero decimal, decidimos se ou no racional, se for possvel represent-lo

a
(chamada de frao geratriz, geralmente uma frao irredutvel), pois os nmeros
b
racionais so caracterizados por poderem ser representados sob a forma de frao. Vejamos
sob a forma

alguns exemplos

1. Decimal exata:

0, 050 =

50
1
=
1000 20

2,24 =

224
56
=
100
25

2. Dzima peridica: alguns exemplos abaixo

x = 0, 4444...
4
4
a) 0, 4 = 0, 444... = , pois
10x x = 4 x = .

10x = 4, 444...
9
9

b) 6, 43 = 6, 434343... =

x = 6, 434343...
637
637
.
, pois
100x x = 637 x =

100x = 643, 4343...


99
99

c) 2, 5791 = 2, 57919191... =

25534
, pois
9900

x = 2, 57919191...

25534

10000x 100x = 25534 x =


100x = 257, 919191...

9900

10000x = 25791, 9191...

Exerccio Determine a frao geratriz de cada dzima. Observe que, em geral, a frao geratriz
de uma dzima no pode ser escrita como frao decimal (denominador uma potncia de dez).
a) 5, 6 = 1, 6666...

b) 0, 371 = 0, 371371...

c) 2, 0845 = 2, 084545...

d) 0, 9 = 0, 999...

Ordem em _ . Para compararmos duas fraes, elas devem ter o mesmo denominador, assim
sendo, a maior frao aquela que possui maior numerador.
Exemplo Complete com os smbolos de =, < ou > entre as fraes:
a)

3
5

2
5

b)

250
1000

1
4

c)

17
18

22
23

d)

3
5

2
3

PARTEIIICONJUNTODOSNMEROSREAIS

Nmeros Irracionais. Os gregos sempre pensaram que o nmero a medida de todas as coisas.
Os nmeros medem tambm as reas, os comprimentos, os lados de um tringulo, a conta
bancria de um indivduo, etc. tambm foram os gregos que descobriram que nem todos os
segmentos podiam ser medidos por um nmero inteiro positivo ou uma frao entre nmeros
inteiros, fato este conhecido como a descoberta de

2 pelos pitagricos no sculo V a.C.

Consideremos um tringulo retngulo e issceles, cujos catetos


sejam iguais a 1. Segundo o Teorema de Pitgoras: d 2 = 12 + 12 = 2
onde d indica o comprimento da hipotenusa deste tringulo e
satisfaz a igualdade d 2 = 2 .
Chamamos este nmero de raiz quadrada de 2 e representamos pelo
smbolo

2.

Evidentemente a hipotenusa possui um comprimento, conforme se pode observar na figura, mas


era simplesmente impossvel achar o nmero que pudesse ser associado ao exato comprimento
3
7
grande demais,
um pouco menor. De qualquer maneira que
2
5
se buscasse esse nmero, encontra-se apenas valores aproximados, que ora excedem o valor real,
expresso por

2 . O valor

ora permanecem inferiores a ele, sempre por uma pequena diferena. Provaremos ento que

2 um nmero no racional. Aristteles (384322 a.C.), como exemplo de uma demonstrao


por reduo ao absurdo, demonstrou que

2 no um nmero racional, isto , no se pode

escrever como uma frao de dois inteiros.

Demonstrao. Suponha que existem dois nmeros naturais p e q primos, tais que
p 2
irredutvel] e = 2 . Ento,
q

p 2 = 2q 2 , isto implica que

2=

p p
[
q q

p 2 um nmero par e,

conseqentemente, p tambm par [porque se fosse mpar teramos p = 2k + 1 para algum


nmero natural k e

p 2 = (2k + 1)2 = 4k 2 + 4k + 1 = 4 (k 2 + k ) + 1 seria mpar]. Se p um

nmero par, existe um natural n tal que p = 2n e assim 4n 2 = 2q 2 q 2 = 2n 2 . Ento q


par [porque q 2 par], o que absurdo visto que p e q so primos entre si.
Se um nmero irracional a parte decimal no segue um padro, isto , no se repete nunca.
Com o auxlio de um computador, podemos calcular a representao decimal de

2 com muitas

casas decimais para nos convencer deste fato. Embora este nmero com suas aproximaes
PARTEIIICONJUNTODOSNMEROSREAIS

vistas em computador com at bilhes de casas decimais sejam convincentes, isto no basta
como uma prova matemtica. Do mesmo modo que mostramos logicamente que

2 irracional,

tambm podemos mostrar que os nmeros e e so irracionais.


Alguns exemplos de nmeros irracionais:

2 = 1, 4142135623730950488016887242097... (medida da diagonal de um quadrado de


lado medindo 1 unidade)

= 3,1415926535897932384626433832795... (a letra grega pi representa a rea e


tambm metade do permetro de um crculo de raio 1)

e = 2, 7182818284590452353602874713... (base do sistema de logaritmos, inventado em


1617 pelo escocs John Napier)

Observaes

Os nmeros racionais tm representao decimal finita ou infinita peridica, mas os


nmeros irracionais no tm essa representao.

Existem infinitos nmeros irracionais, uma maneira de ver isto escrevendo a


seqncia seguinte: ..., 3 2, 2 2, 2,

2, 2 2, 3 2, ... .

Exerccios
1. Mostre que se c
2. Mostre que

{0} ento c 2 irracional.

3 um nmero irracional.

3. D exemplo de dois irracionais tais que:

a) a soma racional;

b) o produto racional;

c) a diviso racional.

4. D exemplos de um nmero racional e um irracional tal que o produto racional.


Observao. Note que o exerccio (3) mostra que o conjunto dos irracionais no fechado para

as operaes de adio, subtrao, multiplicao e diviso definidas anteriormente.

PARTEIIICONJUNTODOSNMEROSREAIS

CONJUNTO DOS NMEROS REAIS


=

irracionais

Nmero real algbrico. Um nmero real diz-se algbrico se ele satisfaz a uma equao do tipo
an x n + an 1x n 1 +

+ a2x 2 + a1x + a 0 = 0 onde os coeficientes ai , i = 0,1,2,..., n .

Transcendente um nmero que no algbrico.


Exemplos
a) Todo nmero racional algbrico.
b)

2 algbrico.

c) = 3,14... transcendente (Lindemann, 1882)


d) e = 2, 7182... transcendente (Hermite, 1873)

Estruturao algbrica do conjunto dos nmeros reais

\ um corpo
Definimos em \ duas operaes:

Adio
+:

(x , y )

Multiplicao
i :

(x , y )

x +y

x y

Essas operaes cumprem as seguintes condies:

Associatividade: x , y, z
Comutatividade: x , y

tem-se (x + y ) + z = x + (y + z ) e (x y ) z = x (y z ) .
tem-se x + y = y + x e x y = y x .

Elementos neutros: Existem em

os elementos 0 e 1 tais que x

, x + 0 = x e x 1 = x .

PARTEIIICONJUNTODOSNMEROSREAIS

Inversos: x

possui inverso aditivo x

tal que x + (x ) = 0

Se x 0 , existe tambm um inverso multiplicativo x


Distributividade: x , y, z

tal que x x

10
1

= 1.

tem-se x (y + z ) = xy + xz .
como um corpo.

Definidas a adio e multiplicao com as condies acima, caracterizamos

Exerccios de sala de aula


1 Defina as operaes de subtrao e diviso em

2 Utilize a distributividade e o elemento oposto para mostrar que x 0 = 0 , x


3 x , y

, mostre que se x y = 0 ento x = 0 ou y = 0 .

4 Utilize 3 e conclua que x 2 = y 2 x = y .


5 Demonstre as regras de sinais, ou seja, x , y

tem-se

i) (x ) = x
ii) (x ) y = (xy )
iii) x (y ) = xy

um corpo ordenado
Definimos em

um subconjunto

, chamado de conjunto dos nmeros reais positivos,

que cumpre as seguintes condies:


P1. x , y

P2. Dado x
Indicamos

x +y

e x y

ocorre uma nica das alternativas: x = 0 ou x

= x ; x

ou x

} conjunto dos nmeros reais negativos.


PARTEIIICONJUNTODOSNMEROSREAIS

P2 indica que

{0} tem duas unies disjuntas.

Exerccio Mostre que todo nmero real x 0 tem quadrado positivo.


Escrevemos x < y ( x menor que y ) quando y x

, isto significa que y = x + z onde

Se x
se x

(positivo), indicaremos x > 0 e

(negativo), indicaremos x < 0 .

Valem as seguintes propriedades da relao de x < y em

O1. Transitividade: x < y e y < z implica x < z .


O2. Tricotomia: Dados x , y

x =y

, ocorre uma nica das alternativas:

ou

x >y

ou

O3. Monotonicidade da adio: Se x < y , z


O4. Monotonicidade da multiplicao:

x <y.

temos x + z < y + z .

Se x < y , z > 0 tem-se xz < yz .


Porm, se z < 0 , temos xz > yz .

Exerccios A partir do que conhecemos at agora, mostre os seguintes resultados:


a) x < y e a < b implica que x + a < y + b .

b) 0 < x < y e 0 < a < b implica que xa < yb .

c) Se 0 < x < y ento y 1 < x 1 .

PARTEIIICONJUNTODOSNMEROSREAIS

11

Intervalos (alguns tipos de subconjuntos de

). Usamos as seguintes notaes para indicar

e chamamos intervalos.

determinados subconjuntos de

Intervalos (subconjuntos de \ )

[a, b ]

{x ; a x b }

(a, b ]

{x ; a < x b }

[a, b )

{x ; a x < b }

(a,b )

{x ; a < x < b }

(, b ]

{x ; x b }

(, b )

{x ; x < b }

a, +)

{x ; a x }

(a, +)

{x ; a < x }

b
b

a
a

(, +)

Quando a = b o intervalo reduz-se a um nico elemento e chamamos de intervalo degenerado.

Resoluo de equaes e inequaes produto e quociente.


Valor absoluto (ou mdulo) de um nmero real. Seja x

, o mdulo de x definido por

x se x 0
.
x =

x se x < 0

Podemos definir o mdulo de x

dizendo que x = x 2 .

PARTEIIICONJUNTODOSNMEROSREAIS

12

Interpretao geomtrica do mdulo de um nmero real. Temos, tambm, que:


x < a a < x < a
.

e
x >a

Teorema. Sejam x , y

x > a ou x < a
, mostre que:

i) x + y x + y
ii) x y = x y
iii) Seja

, x a < a < x < a + .

Exerccios Resolver as seguintes equaes e inequaes modulares


a) x 3 = 3x 1
b) x + 2x 1 = 1
c) x + 2x 1 > 1

d)

x 2
1
x +3

EXERCCIOS DE APRENDIZAGEM E FIXAO CONJUNTO DOS NMEROS REAIS


1 Prove as seguintes unicidades:
PARTEIIICONJUNTODOSNMEROSREAIS

13

a) Se x + = x para algum x
b) Se x = x para todo x

ento = 0 .

14

ento = 1 .

c) x + y = 0 y = x .
d) xy = 1 y = x 1 .
2 Usando as propriedades de ordem em

, prove que:

a) Sejam x e z reais positivos. Se x < y e z < w ento xz < yw .


b) Se x 3 = y 3 e x , y tm o mesmo sinal ento x = y .
3 Mostre que:
a) Se a > b e c > d ento a + c > b + d .
b) Se a > b > 0 e c > d > 0 ento ac > bd .
c) Se a > b 0 ento a 2 > b 2 .
d) Se a > 0 e b > 0 e a 2 > b 2 ento a > b .
e) Se a 0 e b 0 ento a = b se e somente se a 2 = b 2 .

f) Se x < y ento x <

x +y
<y.
2

4 Explique, justificando, onde est o erro na demonstrao a seguir:


Sejam a, b

no nulos. Suponha a = b . Ento

Multiplicando os dois lados da igualdade por a temos a 2 = ab


Subtraindo b 2 dos dois lados da igualdade anterior temos a 2 b 2 = ab b 2
Fatorando os dois membros da igualdade acima temos (a + b )(a b ) = b (a b )
Dividindo ambos os membros por (a b ) temos a + b = b
PARTEIIICONJUNTODOSNMEROSREAIS

Como sabemos que a = b , podemos substituir a por b obtendo b + b = b


Que implica em 2b = b
Dividindo ambos os membros por b , chegamos concluso de que 2 = 1 .
5 Faa um esboo, na reta, dos resultados seguintes:
a) 1,2 (0, 3
c)

b) 1,2 (0, 3

(0,1)

d) 1, 4 (, 3

e) 1, 4 (, 3)

f) 1,2 (2,1

0,1 1, 5)

h)

1
i) {2} ,1
2

j)

g)

1, +) (, 0

(, 0)

6 Determine todos os nmeros reais que satisfazem a desigualdade. Expresse a soluo com a
notao de intervalos e represente-a na reta dos reais.
9 5 2
< + x
4 2 3
x 1
d)
>0
x +1

a) 10x < 18 + 4x

b)

c) 2 5 3x < 11
e) (x 1)(x 3) 0
7 Sejam x , y

f) x 2 + x + 1 > 3

, mostre que:

a) x y x y
b) x y < x < y +
c) Se x < , para todo > 0 , ento x = 0 .
d) Para quaisquer x , y, z
e) Dados x , y

, prove que x z x y + y z .

, se x 2 + y 2 = 0 prove que x = y = 0 .

8 Determine todos os nmeros reais que satisfazem as equaes:


a) x 3 = 1

b) 5x = 3 x
PARTEIIICONJUNTODOSNMEROSREAIS

15

c) x 2 + x 5 = 8 x

d) 4x + 5 = 2x + 3

e) x + x 5 = 8 x

f) x 2 4x + 4 = x 2

10 Determine o intervalo soluo das seguintes desigualdades:


a)

x +1
x
<
2x
3+x

b)

c)

1
4

3x 7 3 x

d) x 3 + 1 > x 2 + x

e) 3x > 6 3x
g)

5
1

2x 1
x 2

1
2
<
x + 1 3x 1

f) 3 + 2x < 4 x
h) 2x + 4 x + 1

i) x + 4 + x 1 x + 3

j) x + x 1 > x + 2

k) 3x 1 + x < 3x + 1

l)

3x
4

1x
1+x

PARTEIIICONJUNTODOSNMEROSREAIS

16

PARTE IV RELAES E DEFINIO DE FUNO


1

Nesta seo estudaremos a definio relao (binria), conceito que d suporte a entender uma
funo como substrato da teoria dos Conjuntos. Tambm uma preparao para estudarmos
algumas caractersticas gerais das funes (reais) e tipos de funes elementares cujo estudo mais
detalhado faremos na disciplina chamada Fundamentos de Matemtica 1.

Contedos
1. Produto cartesiano
2. Relaes binrias
3. Domnio e imagem de uma relao
4. Representao grfica
5. Relao inversa
6. Funo
7. Grfico de uma funo
8. Igualdade, prolongamento e restrio de funes
9. Exerccios de Aprendizagem e Fixao

PARTEIVRELAESEDEFINIODEFUNO

Produto Cartesiano
2

Par ordenado. Dados dois elementos x e y pertencentes a determinados conjuntos definimos o


par ordenado como o elemento que indicaremos por (x , y )
x o 1. elemento ou 1. coordenada

y o 2. elemento ou 2. coordenada.

Igualdade de pares ordenados. Dizemos que dois pares ordenados (x1, y1 ) e (x 2, y2 ) so iguais se e

somente se x1 = x 2 e y1 = y2 .

Exemplos

a)

b)

Produto cartesiano. Dados dois conjuntos no vazios A e B , o produto cartesiano ou

simplesmente produto de A por B , indicamos A B , o conjunto de todos os pares ordenados

(x , y ) tal que x A e y B .
A B = {(x , y ) ; x A e y B }
Observaes

1) A = .
2) n(A) = p e n(B ) = q ento n(A B ) = pq .

3) Se A = B ento A B = A A = A2 .
4) Em geral, A B B A , ou seja, o produto cartesiano no comutativo.
PARTEIVRELAESEDEFINIODEFUNO

Representao grfica de uma relao. Existem algumas formas de representar um produto

cartesiano graficamente.

Exemplo Sejam A = {1,2} e B = {a,b } .


a) Tabela de dupla entrada
A/B

1,a

1,b

2,a

2,b

b) Diagrama sagital

c) Diagrama cartesiano. Se A, B \ , ento (x , y ) A B x \ e y \ .


\
y

( x,y)

Exerccio Represente no plano cartesiano os seguintes produtos:


a) {1,1} {0,1}
b) {1,1} 0,1

c) 1,1 0,1

PARTEIVRELAESEDEFINIODEFUNO

Algumas Propriedades
4

1) A (B C ) = (A B ) (A C )
2) A (B C ) = (A B ) (A C )
3) A (B C ) = (A B ) (A C )
4) (A B ) (C D ) = (A C ) (B D )
5) A B (A C ) (B C )

Demonstraes.
2)
3)

Generalizaes
A1 A2 " An =

{(x1, x 2,..., xn ); x1 A1, x 2 A2, ..., xn An }

(x1, x 2,..., xn ) chamada de n-upla.

Relao (binria). Dados os conjuntos A e B , uma relao binria (ou simplesmente, relao de

A em B ) R qualquer subconjunto de A B . Isto , R uma relao de A em B


R AB .
Notao: xRy (x , y ) R .

Observao. (x , y ) R se (x , y ) satisfaz a determinada sentena aberta que caracteriza R .

Exemplos
1 Considere A = {a, b, c } e B = {x , y } .
a) R1 = {(a, x ),(b, y )} uma relao de A em B .
PARTEIVRELAESEDEFINIODEFUNO

b) R2 = {(c, x )}
5

2 Sejam A = {1,2, 4} e B = {1, 3, 4, 6, 8} .


a) R1 = {(x , y ) A B ; x < y }
b) R2 = {(x , y ) A B ; x | y }
c) R3 = {(x , y ) A B ; x + y = 2}

3 Caracterize os elementos de

a) R4 = (x , y ) \2 ; x 2 + y 2 = 0

b) R5 = {(x , y ) ` ` ; x + y = 4}

Domnio de uma relao. Seja R uma relao de A em B , o domnio de R , indicamos D(R) o

conjunto de todos os elementos x A tais que y B e (x , y ) R . Isto ,


D(R) = {x A ; y B e (x , y ) R} A

Imagem de uma relao. A imagem de R , indicamos Im(R) , o conjunto de todos os elementos


y B para os quais existe x A e (x , y ) R . Isto ,

Im(R) = {y B ; x A e (x , y ) R} B
Exemplos

Representao grfica de relaes


Como R A B temos as seguintes representaes
PARTEIVRELAESEDEFINIODEFUNO

Tabela de dupla entrada


6

Diagrama sagital
Diagrama cartesiano

Exemplos Determine a representao grfica no plano cartesiano das seguintes relaes,


indicando para cada uma delas o domnio e a imagem.

a) R1 = (x , y ) \2 ; y = x \2

b) R2 = {(x , y ) ] ] ; y = x }

c) R3 = (x , y ) \2 ; y x

d) R4 = (x , y ) \2 ; x 2 + y 2 1

e) R5 = (x , y ) \2 ; x + y < 1

f) R6 = (x , y ) \2 ; y > x + x

g) R7 = {(x , y ) A B ; y = x } onde A = 1,1 e B = 0,2 .

Se R uma relao de A em A , dizemos simplesmente que R uma relao em A ou sobre A .

PARTEIVRELAESEDEFINIODEFUNO

Propriedades das relaes em A. Seja R uma relao em A , ento:


7

i) R reflexiva x A, (x , x ) R .
ii) R simtrica (x , y ) R (y, x ) R .
iii) R anti-simtrica (x , y ) R e (y, x ) R x = y .
iv) R transitiva (x , y ) R e (y, z ) R (x , z ) R .
v) R equivalncia R reflexiva, simtrica e transitiva.
vi) R ordem R reflexiva, anti-simtrica e transitiva.

Exemplos e classificao das propriedades


1 A = {1,2, 3, 4}

a) Em A , definimos R1 = {(1,1),(2,2),(3, 4),(4,1)} . Ento


i) R1 no reflexiva pois (3, 3) R1 e (4, 4) R1 .
ii) R1 no simtrica...
iii) R1 anti-simtrica.

b) R2 = {(1,1),(2,2),(3, 3),(4, 4),(1,2),(2,1),(1, 3),(3,2)}


i) R2 reflexiva;
ii) R2 no simtrica;
iii) R2 no anti-simtrica.

PARTEIVRELAESEDEFINIODEFUNO

Exerccios/Exemplos
8

Reflexiva
1 Em A = {1,2, 3, 4} definimos as relaes
a) R1 = {(1,1),(2,2),(1, 3)}
b) R2 = {(1,1),(2,2),(3, 3),(4, 4)}
2 xRy x mltiplo de y R ` `
Note que x ` , x mltiplo de x , ou seja, (x , x ) R e, portanto, R reflexiva.
3 xRy (x y )2 >1

4 xRy x < y

Simtrica
1 Em A = {1,2, 3, 4} definimos as relaes
a) R1 = {(1,1),(2,1),(1,2),(3,1)}
b) R2 = {(2,1),(1,2),(3,2),(2, 3)}
2 xRy x mltiplo de y R ` `
3 xRy (x y )2 >1
4 xRy x y R \2

Anti-simtrica
1 Em A = {1,2, 3, 4} definimos as relaes
a) R1 = {(1,1),(2, 3),(3,2)}
b) R2 = {(2, 3)}

PARTEIVRELAESEDEFINIODEFUNO

c) R3 = {(1,2),(2,1),(3, 4)}
d) R4 = {(1,2),(3, 4)}

2 xRy x mltiplo de y R ` `
3 xRy (x y )2 >1
4 xRy x y R \2

Transitiva
1 Em A = {1,2, 3, 4} definimos as relaes
a) R1 = {(1,2),(2, 3)}
b) R2 = {(1,2),(3, 4)}
c) R3 = {(2,1)}
2 xRy x mltiplo de y R ` `
3 xRy (x y )2 >1

4 xRy x < y R \2

Relao inversa. Dada a relao R A B , a relao inversa de R , denotada por R1 ,

definida por R1 = {(y, x ); (x , y ) R} .


Observaes

i) (x , y ) R (y, x ) R1 .
ii) R A B ento R1 B A .

Exemplos
PARTEIVRELAESEDEFINIODEFUNO

1 Considere A = {1,2, 3} , a relao definida por R = {(1,1),(2, 3),(1, 3)} tem relao inversa
R1 = {(1,1),(3,2),(3,1)} .

A = {2, 3}

10

B = {5, 4, 6}

definimos

xRy x divide y

R AB .

Vemos

que

R = {(2, 4),(2, 6),(3, 6)} ................

Propriedades da relao inversa. Seja R A B

i) (R1 )1 = R
ii) D(R) = Im(R1 )
iii) Im(R) = D(R1 )

Exemplos
1 Sejam A = {1,2, 3} , B = 0, 5 e R = {(x , y ) A B ; x < y } . Determine os grficos de R e de
R 1 .
6

x
1

Grfico da relao R .

Grfico da relao inversa R1 .

Note que: Dada uma relao R o grfico de R1 o simtrico do grfico de R em relao 1.

bissetriz, isto , (x , y ) e (y, x ) so pontos simtricos em relao 1. bissetriz.


PARTEIVRELAESEDEFINIODEFUNO

2 Determine o grfico de R1 sabendo que o grfico de R dado na figura abaixo.


Funo. Sejam A e B conjuntos no vazios e f uma relao de A em B . Dizemos que f uma

funo de A em B se e somente se para todo x A , existe um nico y B tal que (x , y ) f .


Isto ,
f A B uma funo x A ; y B; (x , y ) f .
Exemplos

a) f1 = (x , y ) \ \ ; y = x

b) f2 = (x , y ) \ + \ ; y = x

c) f3 = {(x , y ) ` ` ; x y ]}

Observaes. Se f uma funo de A em B ento

A = D( f ) o domnio de f ;

B = CD( f ) chamado de contra-domnio de f ;

Im( f ) = {y B; x A, (x , y ) f } ;

Se x A ento o nico elemento y B tal que (x , y ) f denotado por y = f (x ) e

chamado de imagem de x pela funo f .


Notao: Existem vrias formas de indicarmos que f uma funo de A em B .

a) f : A B
b) A f B
c)

f :AB
x 6 y = f (x )

d) f = {(x , y ) A B ; y = f (x )}
PARTEIVRELAESEDEFINIODEFUNO

11

Os smbolos x , f (x ), f so distintos, pois


f (x ) B

x A

12

f AB

Quando simplificamos a notao e dizemos simplesmente considere a funo f (x ) , fica


subentendido que f deve ser considerada no domnio e contra-domnio os mais amplos
possveis.

Uma funo deve ser identificada pelo seu domnio, contra-domnio e a lei de formao.
Assim,

f :AB
x 6 f (x )
Exemplos

a) f : \ {1} \

x 6

b) g : 2, +) \
1
x 6
x 1

1
x 1

Algumas definies. Uma funo f : A B tal que:

i) A \ dita uma funo de uma varivel real.


ii) B \ dita uma funo real.
iii) A \ e B \ dita uma funo real de uma varivel real.

Exemplos
a) f : (,2 \
x 6 2x

uma funo real de uma varivel real.

b) f : \2 \
uma funo real de duas variveis reais.
(x , y ) 6 xy
c) J : \ + \ + \ + \
cit
cit 6
100

PARTEIVRELAESEDEFINIODEFUNO

d) g : \ \2
x 6 (x , x + 1)

13

e) h : \ ^
x 6 x + ix

Determinao do domnio. aaa

Exemplos Determine o domnio D das seguintes funes:


a) f : D \ \ , f (x ) = 2 x + x .
b) g : D \ \ , g(t ) =

1
.
t t

c) h : D \2 \ , h(x , y ) = 1 x 2 y 2 .

Grfico de uma funo. Considere uma funo f : A B onde A \ e B \ . O grfico de f

uma curva no plano definido por graf( f ) = (x , y ) \2 ; y = f (x ) .

Igualdade de funes. Dadas as funes f : A B e g : C D , dizemos que f = g se e somente


se A = C , B = D e f (x ) = g(x ), x A .

Exemplos
a)

b)

f :\\
x 6 x

f :\\
x 6 x +1

g:\\
x 6 x2
g : \ {1} \
x2 1
x 6
x 1
PARTEIVRELAESEDEFINIODEFUNO

a)

f : \ {1} \
x 6 x +1

g : \ {1} \
x 6

x2 1
x 1

14

Prolongamento de funes. Sejam f : A B e g : C D duas funes. Dizemos que g

prolongamento de f se e somente se A C , B D e f (x ) = g(x ), x A .

Exemplos
1

f : 0,1 \ g : \ \
e
x 6 x
x 6 x

2 Considere f : 1,1 \, x 6 x 1 . Quais das seguintes funes so prolongamentos de f ?


a) g : \ \, x 6 x 1
x2 1
b) h : \ {1} \, x 6
x +1
c) y : 0,2 \, x 6 x 1

Restrio de funes. Seja f : A B , definimos a restrio de f parte X A como a funo


g :X B
. Assim, D(g ) = X e g(x ) = f (x ), x X .
x 6 f (x )
Notaes: f

ou fX .

Exemplos
1 Seja f : \ \, x 6 x e X = 1,2 . Ento f

2 Seja f : \ \, x 6 x 2 e X = 0, +) . Ento f

: 1,2 \, x 6 x .

: 0, +) \, x 6 x 2 .
PARTEIVRELAESEDEFINIODEFUNO

Comentrio importante
Praticamente todos os textos escolares em uso no nosso pas definem uma funo f : A B como
um subconjunto do produto artesiano A B com as propriedades G1 e G2 acima enunciadas.
Essa definio apresenta e o inconveniente de ser formal, esttica e no transmitir a idia
intuitiva de funo como correspondncia, transformao, dependncia (uma grandeza funo de
outra) ou resultado de um movimento. Quem pensaria numa rotao como um conjunto de pares
ordenados? Os matemticos e (principalmente) os usurios da Matemtica olham para uma
funo como uma correspondncia, no como um conjunto de pares ordenados. Poder-se-ia talvez
abrir uma exceo para os lgicos, quando querem mostrar que todas as noes matemticas se
reduzem, em ltima anlise, idia pura de conjunto.

EXERCCIOS DE APRENDIZAGEM E FIXAO RELAES E A DEFINIO DE FUNO


1 Construa o diagrama cartesiano dos seguintes produtos:
a) (1, 4 2, 3)

b) {1, 4} 2, 3)

c) (1, 4 4, +)

d) (1, 4 {2, 3}

e) {1, 4} {2, 3}

f) (, 3) (4, +)

2 Mostre que:
a) A (B C ) = (A B ) (A C )
b) A (B C ) = (A B ) (A C )
c) A (B C ) = (A B ) (A C )
d) (A B ) (C D ) = (A C ) (B D )
e) A B (A C ) (B C )

3 Construa o diagrama cartesiano das seguintes relaes. Determine D(R), Im(R), R1 .

PARTEIVRELAESEDEFINIODEFUNO

15

a) R = (x , y ) \2 ; x = 4 e y 2, 4

16

b) R = (x , y ) \2 ; x 2 + y 2 = 25 e y 0

c) R = (x , y ) \2 ; x + y = 5 ou 2x y = 4

d) R = (x , y ) \2 ; x + y = 5 e 2x y = 4

e) R = (x , y ) \2 ; x 3 e y 2

f) R = (x , y ) \2 ; x + y = 4
g) R = (x , y ) \2 ; y > x + x

h) R = (x , y ) \2 ; x y = 4

i) R = (x , y ) \2 ; x + y = 3
j) R = (x , y ) \2 ; x + y > 3

4 Considere as seguintes relaes em \ :

S = (x , y ) \2 ; y > x 2

T = (x , y ) \2 ; y x + 2

4 2
2
V =
(x , y ) \ ; y x

U = (x , y ) \2 ; x 2 + y 2 25

Construa o diagrama cartesiano e determine domnio e imagem das seguintes relaes:


a) S T

b) U V

c) S U

d) S V

e) T V

f) S T

g) T V

h) U V

PARTEIVRELAESEDEFINIODEFUNO

5 Verifique se as relaes abaixo so reflexivas, simtricas, anti-simtricas, transitivas, de


ordem, de equivalncia.

17

a) Relaes em `
i) xRy x y divisvel por 5.
ii) xRy x mltiplo de y.
iii) xRy (x y )2 > 1.
iv) xRy x y ]

b) Relaes em A = {1,2, 3, 4}
i) R1 = {(1,1),(2,2),(3, 3),(4, 4),(1,2),(2,1)}
ii) R2 = {(1,2),(2, 3)}
iii) R3 = A A
iv) R4 = {(1,1),(2,2),(3, 3),(4, 4),(1,2)}
v) R5 = {(1,1),(2,2),(4, 4),(1,2)}

c) (x , y )R(z , t ) x z e y t

d) (x , y )R(z , t ) x = z

R `2 `2 .

R \2 \2 .

6 Seja E . Dados X ,Y P (E ) , mostre que as seguintes relaes so de equivalncia em


P (E ) . Onde A subconjunto fixo de E .
a) XRY X A = Y A
b) XSY X A = Y A

PARTEIVRELAESEDEFINIODEFUNO

7 Sejam R1 e R2 relaes reflexivas, simtricas e transitivas num conjunto A . Mostre que:


a) R1 R2 reflexiva, simtrica e transitiva.
b) R1 R2 reflexiva e simtrica.
c) D exemplo para mostrar que R1 R2 no transitiva.

8 Determine o domnio das funes reais definidas pelas seguintes sentenas:


a) f (x ) = 4 x 2

b) f (x ) = (x 3)2

c) f (x ) = x x 3

d) f (x ) = 1 + x + 3 x

e) f (x ) =

f) f (x ) =

x x

1
x +x

9 Dada a funo f : \ + \ definida por f (x ) = x , verifique quais das seguintes funes so


um prolongamento de f :
a) g1

: 2, +) \ definida por g1(x ) = x .

b) g2 : 1,1 \ definida por g2 (x ) = x .


c) g 3 : \ \ definida por g 3 (x ) = x .
d) g 4 : \ \ definida por g 4 (x ) =

x+x
2

10 Sejam as funes f : B A e g : C A tais que f

B C

=g

B C

. Mostre que se h = f g

ento:
a) h uma funo de B C A ;
b) f = h

e g =h .
C

PARTEIVRELAESEDEFINIODEFUNO

18

11 Esboce o grfico das funes reais definidas pelas sentenas abaixo determinando domnio,
imagem.
a) f (x ) =

x+x
2

b) f (x ) =

+1

x4 1

c) f (x ) = ( x 1)(x + 2)

d) f (x ) =

e) f (x ) = x 2 x 2 + 3

f) f (x ) = x 2 1 + x

g) f (x ) = x + x (x 1)2

h) f (x ) = (x + 2)3 + 1

i) f (x ) = x 2 x

j) f (x ) =

1x
x

l) f (x ) =

x x

k) f (x ) =
m) f (x ) =

o) f (x ) =

1
x

x 3 2x 2
x 2

n) f (x ) =

p) f (x ) =

x2 1

x 1 + 4

x 3 x 2 13x 3
x +3

3x 2 se x < 1
q) f (x ) =

x 2 se x 1

x 2 4 se x < 3

r) f (x ) =
2x 1 se x 3

1 / x se x < 0

s) f (x ) = x 2 se 0 x < 4

x 2 se x 4

x 3 + 9x 2 + 27x + 35 4

se x 5
t) f (x ) =
x +5

7
se x = 5

PARTEIVRELAESEDEFINIODEFUNO

19

REFERNCIAS
1

Parte I Lgica Matemtica


[1] ALENCAR FILHO, Edgard. Iniciao Lgica Matemtica. Editora Nobel, 1984.
[2] DAGHLIAN, Jacob. Lgica e lgebra de Boole, 3. edio. So Paulo, Atlas, 1990.
[3] IEZZI, Gelson. Fundamentos de Matemtica Elementar conjuntos e funes, vol 1.
Atual, 2005.
[4] MACHADO, Nilson Jos. Lgica? Lgico! Coleo Vivendo a Matemtica.
Scipinoe, 2000.
[5] LIPSCHUTZ, Seymour. Teoria dos Conjuntos Coleo Schaum. McGrawHill,
1972.
[6] MACHADO, Nilson Jos & CUNHA, Marisa Ortega. Lgica e linguagem cotidiana
Coleo Tendncias em Educao Matemtica. Autntica Editora, 2005.
[7] CRUZ, Angela & MOURA, Jos Eduardo. A Lgica na Construo dos Argumentos
Notas em de Matemtica Aplicada 14. SBMAC, 2004.
[8] CARNIELLI, Walter A. & EPSTEIN, Richard L. Computabilidade, funes
computveis, lgica e os fundamentos da Matemtica. So Paulo Editora UNESP,
2006.
[9] FOSSA, John. Introduo s Tcnicas de Demonstrao em Matemtica. Editora
Livraria da Fsica, 2009.
[10] CARAA, Bento. Conceitos Fundamentais da Matemtica, 4. edio. Editora
Gradiva, Lisboa, 2002.
[11] COURANT, R e ROBBINS, H. O que a Matemtica? Editora Cincia Moderna,
Rio de Janeiro, 2000 (traduo do original What is Mathematics? 1969).
[12] STEWART, Ian. Mania de Matemtica: diverso e jogos de Lgica matemtica. Rio
de Janeiro, Jorge Zahar editora, 2005.

Parte II e IV Conjuntos e Relaes

APENDICERESPOSTASDOSEXERCCIOSEREFERENCIAS

[1] LIPSCHUTZ, Seymour. Teoria dos Conjuntos Coleo Schaum. McGrawHill,


1972.

[2] LIMA, Elon L. A Matemtica do Ensino Mdio, volume 1. SBM, 2000.


[3] IEZZI, Gelson. Fundamentos de Matemtica Elementar conjuntos e funes, vol 1.
Atual, 2005.
[4] HALMOS, Paul. Teoria Ingnua dos Conjuntos Coleo Clssicos da Matemtica.
Livro de 1960 reeditado pela Cincia Moderna, 2001.
[5] LIMA, Elon L. Meu professor de matemtica e outras histrias. Coleo do professor
de matemtica. SBM, 1991.
[6] CARAA, Bento. Conceitos Fundamentais da Matemtica. 4a edio, Gradiva,
Lisboa, 2002.
[7] CARNIELLI, Walter A. & EPSTEIN, Richard L. Computabilidade, funes
computveis, lgica e os fundamentos da Matemtica. So Paulo Editora UNESP,
2006.
[8] COURANT, R e ROBBINS, H. O que a Matemtica?. Ed. Cincia Moderna, Rio
de Janeiro, 2000 (traduo do original What is Mathematics? 1969).

Parte III Conjunto dos Nmeros Reais (ou Nmeros e Conjuntos Numricos)
[1] LIMA, Elon Lages. A Matemtica do Ensino Mdio, volume 1. SBM, 2000.
[2] RIPOLL, Jaime B., RIPOLL, Cydara C. e SILVEIRA, Jos Francisco P. Nmeros
Racionais, Reais e Complexos. Editora UFRGS, 2006.
[3] LIMA, Elon L. Anlise Real, vol 1 Coleo Matemtica Universitria. Rio de
Janeiro, IMPA, 1997.
[4] AVILA, Geraldo. Anlise Matemtica para Licenciatura. Edgard Blcher, 2006.
[5] MILIES, Cesar P. & COELHO, Sonia P. Nmeros: uma introduo Matemtica.
EdUSP, 2001.
[6] DOMINGUES, Hygino H. Fundamentos de Aritmtica. Atual Editora, 1991.

APENDICERESPOSTASDOSEXERCCIOSEREFERENCIAS

[7] FERNANDES, ngela Maria V. [et al.]. Fundamentos de lgebra. Editora UFMG,
2005.

[8] NIVEN, Ivan. Nmeros Racionais e Irracionais. SBM, 1984.


[9] FIGUEIREDO, Djairo G. Nmeros irracionais e transcendentes. Coleo iniciao
cientifica. SBM, 2002.
[10] MENDES, Iran Abreu. Nmeros: o simblico e o racional na histria. So Paulo,
Editora Livraria da Fsica, 2006.
[11] CARAA, Bento de Jesus. Conceitos Fundamentais da Matemtica, 4a edio,
Gradiva, Lisboa, 2002.
[12] COURANT, R e ROBBINS, H. O que a Matemtica?. Ed. Cincia Moderna, Rio
de Janeiro, 2000 (traduo do original What is Mathematics? 1969).

Artigos e revistas
[1] Geraldo vila. Cantor e a Teoria dos Conjuntos. RPM, nmero 43, pginas 614,
2000.
[2] Christian Q. Pinedo. Histria da Teoria dos conjuntos. Monografias em Ensino da
Matemtica vol. 1(2002), No. 01, pp. 139-150. IFBA (Pato Branco, PR).
[3] Irineu Bicudo. Peri apodeixeos/de demonstratione. In Educao Matemtica:
pesquisa e movimento, Maria Aparecida V. Bicudo e Marcelo C. Borba
(organizadores). So Paulo, Cortez editora, 2004.
[4] Ana Catarina P. Hellmeister. Lgica atravs de exemplos: vamos usar a RPM?.
RPM, nmero 47, pginas 3237, 2001.
[5] Iaci Malta. Linguagem, leitura e Matemtica in Disciplinas Matemticas em cursos
superiores: reflexes, relatos, propostas. Helena Noronha Cury (organizadora).
EDPUCRS, Porto Alegre, 2004.
[6] As diferentes faces do infinito Edio especial, Cientific American Brasil, n 15.
[7] RPM Revista do Professor de Matemtica, diversos nmeros, SBM.
[8] Desvendando os nmeros reais. Cristina Cerri, USP.

APENDICERESPOSTASDOSEXERCCIOSEREFERENCIAS

[9] A construo dos nmeros reais nos ensinos fundamental e mdio. Cydara C. Ripoll,
UFRGS.
[10]

Joo Carlos Sampaio e Pedro Luiz Malagutti. Mgicas, Matemticas e outros

Mistrios III Bienal da Sociedade Brasileira de Matemtica - UFGO

Divulgao e Histria da Matemtica


[1] EVES, Howard. Introduo Histria da Matemtica. Unicamp, 2002.
[2] IFRAH, Georges. Os nmeros a histria de uma grande inveno, 2 edio. Globo,
1989.
[3] BOYER, Carl B. Histria da matemtica, 2. Edio. Edgard Blcher, 1998.
[4] GUNDLACH, Bernard H. Tpicos de histria da matemtica para uso em sala de
aula: Nmeros e numerais e Computao. Atual editora, 1998.
[5] MAOR, Eli. e : a histria de um nmero. Record, 2003.
[6] AABOE, Asger. Episdios da histria antiga da matemtica. SBM, 2002.
[7] KAPLAN, Robert. O nada que existe uma histria natural do zero. Editora Rocco,
2001.
[8] ACZEL, Amir O. O Mistrio de Aleph A Matemtica, a cabala e a procura pelo
infinito. Rio de Janeiro, Editora Globo, 2003.
[9] GARBI, Gilberto G. A Rainha das Cincias um passeio histrico pelo maravilhoso
mundo da Matemtica. So Paulo, Editora Livraria da Fsica, 2006.
[10] NETZ, Reviel & NOEL, William. Cdex Arquimedes como um livro de oraes
revelou a genialidade de um dos maiores cientistas da antiguidade. Rio de Janeiro,
Record, 2009.

APENDICERESPOSTASDOSEXERCCIOSEREFERENCIAS