Eron Conjuntos Reais Relacoes Matematica Uneb Parfor

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

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 .
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 .
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:
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
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
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
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
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.
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
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 .
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
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 .
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.
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
a) R1 = {(1,1),(2,1),(1,2),(3,1)}
b) R2 = {(2,1),(1,2),(3,2),(2, 3)}
3 xRy (x y )2 >1
4 xRy x y R \2
Anti-simtrica
a) R1 = {(1,1),(2, 3),(3,2)}
b) R2 = {(2, 3)}
c) R3 = {(1,2),(2,1),(3, 4)}
d) R4 = {(1,2),(3, 4)}
3 xRy (x y )2 >1
4 xRy x y R \2
Transitiva
a) R1 = {(1,2),(2, 3)}
b) R2 = {(1,2),(3, 4)}
c) R3 = {(2,1)}
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
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.

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 )}
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
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
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 .
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 .
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
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
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
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
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.
[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.
[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.

Eron Conjuntos Reais Relacoes Matematica Uneb Parfor

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Eron Conjuntos Reais Relacoes Matematica Uneb Parfor

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDADE DO ESTADO DA BAHIA UNEB

CONJUNTOS, NMEROS REAIS E RELAES

Georg Cantor (18451918)

Salvador, fevereiro de 2011.

Estas notas complementam os contedos da disciplina Lgica.

Salvador, fevereiro de 2011.

Figura da capa Georg Cantor

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

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

; 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

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

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

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

Proposio. Para qualquer conjunto A , temos que A .

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:

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

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

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

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

Exemplo Algumas igualdades entre conjuntos

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

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

Operaes entre conjuntos

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

Propriedades da unio de conjuntos

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

Propriedades da interseco de conjuntos

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

Exemplos Demonstre as seguintes propriedades citadas anteriormente:

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

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

elementos que pertencem a A e no pertencem a B .

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

Graficamente, representa-se pela figura abaixo.

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

Demonstrao de algumas propriedades

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

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

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

Propriedades do complementar de um conjunto

Demonstraes de algumas propriedades

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 .

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

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

Exemplos Resolvidos Mostre que

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

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

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

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

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

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

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

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

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

A B , temos o resultado em a).