Escolar Documentos
Profissional Documentos
Cultura Documentos
PROGRAD DCET
CAMPUS I SALVADOR
CURSO DE LICENCIATURA EM MATEMTICA
NOTAS DE AULAS
Eron
APRESENTAO
PARTEIICONJUNTOS
PARTEIICONJUNTOS
PARTE II CONJUNTOS
4
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.
Exemplos
A = {1, 0,1}
B = {x
; x + 1 = 3} = {2}
C = x ;x 2 < 0 = {
D = {x
}=
( 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} .
Observaes
i) Reflexividade: A A
Tese: A C .
Dem] Seja x A , por hiptese A B , logo, x B . Como, por hiptese, B C temos que
PARTEIICONJUNTOS
A B e B A . De outro modo, A = B A B e B A .
c) E = x
; x 2 3x + 2 = 0 , F = {2,1} e G = {1,2,2,1} .
Exemplos
PARTEIICONJUNTOS
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.
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
A B = {x ; x A e x B }
Graficamente podemos indicar a interseco de dois conjuntos A e B pela figura abaixo.
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
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
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
Portanto, de a) e b) A B = B A B .
I6) A B = A A B
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 .
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.
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)
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
C3) b) A A =
Dem]
5) A = B A = B
Dem]
C6) A B B A
i) A B B A
PARTEIICONJUNTOS
ii) B A A B
Dem] Seja x A , isto , x A . Como B A , temos que x B , logo, x B .
C7) A B = A B
Dem] A B = {x ; x A x B } = {x ; x A x B } = A B .
2) A (A B ) B (A B ) =
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
Observaes
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 (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 )
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
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
1) Mostrar que A .
Dem] Devemos mostrar que x x A .
PARTEIICONJUNTOS
2) Mostrar que A A B
18
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
propriedades de Conjuntos.
1) Mostre que (A B ) B = .
Dem] Suponhamos, por absurdo, que (A B ) B . Ento existe um elemento x tal que
P2 : C D
P3 : B D =
e a concluso
Q : A C =
PARTEIICONJUNTOS
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 .
.y
x : possui a propriedade a .
y : no possui a propriedade a .
Diagrama de Euler
Todo a b .
Nenhum a b .
Algum a b .
A
19
P1 : Bebs so ilgicos.
P2 : Ningum desprezado se pode domar crocodilos.
P3 : Pessoas ilgicas so desprezadas.
Q : B C =
Abaixo, vemos o diagrama correspondente. Este diagrama nos mostra que a concluso vlida.
D
I
B
Q :E H
O diagrama abaixo nos mostra uma situao em que as premissas so verdadeiras com a concluso
falsa.
E
H
Argumento 2
P1 : Todo nmero primo mpar.
P1 : Pr I
P2 : I P =
Q : Pr P
Pr
Pr
Argumento 3
22
Argumento 4
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
PARTEIICONJUNTOS
1 Considere os conjuntos:
b) R P
c) L R
d) Q R
e) L Q
f) P Q
(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 )
PARTEIICONJUNTOS
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 .
a) P (A)
26
b) P (B )
c) P (A B )
d) P (A B )
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
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
28
PARTEIICONJUNTOS
LEITURA COMPLEMENTAR
29
Axiomatizao
Em um desenvolvimento axiomtico de um ramo da Matemtica, iniciamos com
PARTEIICONJUNTOS
30
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
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
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
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,...} .
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
, o conjunto
= {0,1,2, 3,...} =
PARTEIIICONJUNTODOSNMEROSREAIS
Operaes definidas em
multiplicao que temos para os naturais e conservam as mesmas propriedades mais a seguinte:
, existe um nico y
tal que
Observaes
I. Devido existncia do elemento oposto, podemos definir em
a operao de subtrao,
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.
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
nmeros racionais.
Sejam a,b
de
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
e b 0
PARTEIIICONJUNTODOSNMEROSREAIS
x
. Isto quer dizer que
1
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
. 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
Por exemplo, se x =
, existe o
b
.
a
3
4
3 4
, ento x 1 = e, portanto, xx 1 = = 1 .
4 3
4
3
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
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
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 =
c) 2, 5791 = 2, 57919191... =
25534
, pois
9900
x = 2, 57919191...
25534
9900
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.
2 . O valor
ora permanecem inferiores a ele, sempre por uma pequena diferena. Provaremos ento que
Demonstrao. Suponha que existem dois nmeros naturais p e q primos, tais que
p 2
irredutvel] e = 2 . Ento,
q
2=
p p
[
q q
p 2 um nmero par e,
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,
Observaes
2, 2 2, 3 2, ... .
Exerccios
1. Mostre que se c
2. Mostre que
3 um nmero irracional.
a) a soma racional;
b) o produto racional;
c) a diviso racional.
PARTEIIICONJUNTODOSNMEROSREAIS
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 +
2 algbrico.
\ um corpo
Definimos em \ duas operaes:
Adio
+:
(x , y )
Multiplicao
i :
(x , y )
x +y
x y
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 .
, x + 0 = x e x 1 = x .
PARTEIIICONJUNTODOSNMEROSREAIS
Inversos: x
tal que x + (x ) = 0
tal que x x
10
1
= 1.
tem-se x (y + z ) = xy + xz .
como um corpo.
tem-se
i) (x ) = x
ii) (x ) y = (xy )
iii) x (y ) = xy
um corpo ordenado
Definimos em
um subconjunto
P2. Dado x
Indicamos
x +y
e x y
= x ; x
ou x
P2 indica que
Se x
se x
x =y
ou
x >y
ou
x <y.
temos x + z < y + z .
PARTEIIICONJUNTODOSNMEROSREAIS
11
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
(, +)
x se x 0
.
x =
x se x < 0
dizendo que x = x 2 .
PARTEIIICONJUNTODOSNMEROSREAIS
12
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
d)
x 2
1
x +3
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:
x +y
<y.
2
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 .
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
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
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
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)
(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
cartesiano graficamente.
1,a
1,b
2,a
2,b
b) Diagrama sagital
( x,y)
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 =
Relao (binria). Dados os conjuntos A e B , uma relao binria (ou simplesmente, relao de
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
3 Caracterize os elementos de
a) R4 = (x , y ) \2 ; x 2 + y 2 = 0
b) R5 = {(x , y ) ` ` ; x + y = 4}
Im(R) = {y B ; x A e (x , y ) R} B
Exemplos
Diagrama sagital
Diagrama cartesiano
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
PARTEIVRELAESEDEFINIODEFUNO
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.
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
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
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 .
a) f1 = (x , y ) \ \ ; y = x
b) f2 = (x , y ) \ + \ ; y = x
c) f3 = {(x , y ) ` ` ; x y ]}
A = D( f ) o domnio de f ;
Im( f ) = {y B; x A, (x , y ) f } ;
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
x A
12
f AB
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
Exemplos
a) f : (,2 \
x 6 2x
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
1
.
t t
c) h : D \2 \ , h(x , y ) = 1 x 2 y 2 .
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
Exemplos
1
f : 0,1 \ g : \ \
e
x 6 x
x 6 x
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.
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 )
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
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
b) U V
c) S U
d) S V
e) T V
f) S T
g) T V
h) U V
PARTEIVRELAESEDEFINIODEFUNO
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 .
PARTEIVRELAESEDEFINIODEFUNO
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
x+x
2
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
APENDICERESPOSTASDOSEXERCCIOSEREFERENCIAS
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.
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]
APENDICERESPOSTASDOSEXERCCIOSEREFERENCIAS