Prefcio da dcima primeira edio
A principal 'mudana nesta edio de ordem grfica. Todo o
texto foi digitado eletronicamente. Isto ensejou a oportunidade
de incluir novas correes, especialmente algumas apontadas pelo
Professor Florncio Guimares, alm da cuidadosa reviso feita
por Dayse Pastore e Priscilla Pomateli, a quem agradeo aqui.
A nova diagramao foi feita por Rogrio Trindade.
Rio de Janeiro, 7 de janeiro de 2004.
ELON LAGES LIMA
Captulo
Conjuntos e Funes
Introduziremos neste captulo a linguagem de Conjuntos e
Funes, que ser utilizada sistematicamente nos captulos se-
guintes. Toda a Matemtica , hoje em dia, apresentada nessa
linguagem; assim imaginamos que a maioria dos leitores j tenha
certa familiaridade com o assunto. Entretanto, no exigiremos
conhecimento prvio algum da matria.
. O objetivo deste livro estudar conjuntos de nmeros reais
e funes reais de uma varivel real. Os nmeros reais sero
apresentados no Cap. III. Estes dois primeiros captulos so
preliminares: Por isso nos permitiremos tratar aqui conjuntos
e funes dentro do chamado "ponto de vista ingnuo". Ou se-
ja, adotamos um estilo informal e descritivo, em contraste com o
ponto de vista axiomtico, segundo o qual deveramos apresenta
uma lista completa de objetos no definidos e proposies no
demonstradas (ou axiomas), a partir dos quais todos os conceitos
seriam definidos e todas as afirmaes provadas. O mtodo a-
xiomtico ser utilizado substancialmente a partir do Cap. III.
Aos leitores interessados em aprofundas seus conhecimentos so-
bre Lgica e Teoria dos Conjuntos, recomendamos a leitura de
[Tarski] e [Halmos], duas pequenas obras-primas que contm tu-
do o que um matemtico precisa saber sobre esses assuntos.
 [CAP. 1: CONJUNTOS E FUNES
2
1 Conjuntos
Umeanjwoleao)__frrnado sie objetos, chamados
os seus elementos. A relao bsica entre um objeto e um con-
junto a relao de pertinncia. Quando um objeto x um dos
elementos que compem o conjunto A, dizemos quex pertence a
A e escrevemos
X E A.
Se, porm, x no um dos elementos do conjunto A, dizemos
que x no pertence a A e escrevemos
x A.
Um conjunto A fica definido (ou determinado, ou caracteri-
zado) quando se d uma regra que permita decidir se um objeto
arbitrrio x pertence ou no a A.
Exemplo 1. Seja A o conjunto dos tringulos retngulos. O
conjunto A est bem definido: um objeto x pertence a A quando
um tringulo e, alm disso, um dos seus ngulos reto. Se x priedade P".
no for um tringulo, ou se x for um tringulo que no possui
ngulo reto, ento x no pertence a A.
Usa-se a notao
X = {a, b, c,...}
para representar o conjunto X cujos elementos so os objetos
a, b, c, etc. Assim, por exemplo, {1, 2} o conjunto cujos elemen-
tos so os nmeros 1 e 2. Dado o objeto a, pode-se considerar o
conjunto cujo nico elemento a. Esse conjunto representado
por {a}.
O conjunto dos nmeros naturais 1, 2, 3, ... ser representa-
do pelo smbolo N. Portanto
N = {1,2,3,
O conjunto dos nmeros inteiros (positivos, negativos e zero)
ser indicado pelo smbolo Z. Assim,
Z={...,-3,-2,-1,0,1,2,3,...}.
[SEC. 1: CONJUNTOS 3
O conjunto Q, dos nmeros racionais, formado pelas fraes
p/q, nde p e q pertencem a Z, sendo q O. Em smbolos,
{p/q; p E Z, q E Z, q 0}.
L-se: "Q o conjunto das fraes p/q tais que p pertence a Z,
-
q pertence a Z e q diferente de zero".
A maioria dos conjuntos encontrados em Matemtica no
so definidos especificando-se, um a um, os seus elementos. O
mtodo mais freqente de definir um conjunto por meio de
uma propriedade comum e exclusiva dos seus elementos. Mais
precisamente, parte-se de urna propriedade P. Ela define um
conjunto X, assim: se um objeto x goza da propriedade P, ento
x E X; se x no goza de P ento x X. Escreve-se
X .= {x;x goza da propriedade P}.
L-se: "X o conjunto dos elementos x tais que x goza da pro-
Muitas vezes a propriedade P se refere a elementos de um
conjunto fundamental E. Neste caso, escreve-se
X = {x E E; x goza da propriedade P}.
Por exemplo, seja N o conjunto dos nmeros naturais e con-
sideremos a seguinte propriedade, que se refere a um elemento
genrico x E N:
"x maior do que 5".
A propriedade P, de um nmero natural ser maior do que 5,
define o conjunto X = {6, 7, 8, 9, ... }, ou seja,
X = {x E N; x > 5}.
L-se: "X o conjunto dos x pertencentes a N tais que x maior
do que 5".
As vezes, ocorre que nenhum elemento de E goza da pro-
priedade P. Neste caso, o conjunto {x E E; x goza de P} no
 [CAP. 1: CONJUNTOS E FUNES
possui elemento algum. Isto o que se chama um conjunto
vazio. Para represent-lo, usaremos o smbolo 0.
Portanto, o conjunto vazio 0 definido assim:
Qualquer que seja x, tem-se x 0.
Por exemplo, temos {x E N; 1 < x < 2} = 0. E tambm,
{x; x = 0.
Dados os conjuntos A e B, dizemos que A subconjunto de
B quando todo elemento de A tambm elemento de B. Para
indicar este fato, usa-se a notao
A c B.
Quando A c B, diz-se tambm que parte de B, que A est
includo em B, ou contido em B.' A relao A C B chama-se
relao de incluso.
Exemplo 2. Os conjuntos numricos N, Z e Q, acima apresen-
tados, cumprem as relaes de incluso N C Z e Z C Q. Abre-
viadamente, escrevemos N C Z C Q.
Exemplo 3. Sejam X o conjunto dos quadrados e Y o conjunto
dos retngulos. Todo quadrado um retngulo, logo X c Y.
Quando se escreve X c Y no est excluda a possibilidade
de vir a ser X = Y. No caso em que X c Y e X Y, diz-se que
X uma parte prpria ou um subconjunto prprio de Y.
Afirmar x E X equivale a afirmar {x} c X.
A fim de mostrar que um conjunto X no subconjunto de
um conjunto Y, deve-sepbter um elemento de X que:no pertena
a Y. Assim, por exemplo, no se tem Q c Z, pois 1 /2 E Q e 1/2
no inteiro.
Segue-se da que o conjunto vazio 0 subconjunto de qualquer
conjunto X. Com efeito, se no fosse 0 c X, existiria algum x E 0
tal que x X. Como no existe x E 0, somos obrigados a admitir
que
O c X, seja qual for o conjunto X.
[SEC. 1: CONJUNTOS 5
A relao de incluso A c B
Reflexiva A c A, seja qual for o conjunto A;
Anti-simtrica seAcBeBcA,entoA=B;
Transitiva seACBeBCC,entoACC.
A verificao desses trs fatos imediata.
Segue-se da propriedade anti-simtrica que dois conjuntos A
e B so iguais precisamente quando A c 13 e B c A, isto ,
quando possuem os mesmo elementos.
Lembremos que, seja quais forem os significados dos smbolos
E e D, o sinal de igualdade numa expresso como E = D significa
que os smbolos E e D esto sendo usados para representar o
mesmo objeto. Em outras palavras, uma coisa s igual a si
mesma.
No caso de conjuntos, escrever A = B significa que A e B
so o mesmo conjunto, ou seja, que A e B possuem os mesmos
elementos. Sempre que tivermos de provar uma igualdade entre
conjuntos A e B, devemos demonstrar primeiro que A c B (isto
, que todo elemento de A pertence necessariamente a B) e,
depois, que B c A.
Dado um conjunto X, indica-se com P(X) o conjunto cujOs
elementos so as partes de X. Em outras palavras, afirmar que
A E 7)(X) o mesmo que dizer A c X. P(X) chama-se o con-
junto das partes de X. Ele nunca vazio: tem-se pelo menos
0 E P(X) e X E P(X).
Exemplo 4. Seja X = {1, 2, 3}. Ento
P(X) = {0, {1}, {2}, {3}, {1, 2},{1,3},{2,3}, X}.
Sejam P e Q propriedades que se referem a elementos de um
certo conjunto E. As propriedades P e Q definem subconjuntos
X e Y de E, a saber:
X = {x E E; x goza de P} e Y = {v E E; -ti goza de Q}.
6 [CAP. 1: CONJUNTOS E FUNES
As afirmaes "P implica Q", "se P, ento Q", "P acarreta
Q", "P condio suficiente para Q", "Q condio necessria
para P" t'm toamo mesmo - - 41 dizer que
X C Y, ou seja, que todo objeto que goza de P tambm goza de
Q. Para exprimir este fato, usa-se a notao
P = Q.
Tambm as afirmaes "P se, e somente se, Q", "P condio
necessria e suficiente para Q" tm todas o mesmo significado.
Querem dizer que P Q e Q P, ou seja, que o conjunto X dos
elementos que gozam da propriedade P coincide com o conjunto
Y dos elementos que gozam de Q. A notao que exprime este
fato
P <4. Q.
[SEC. 2: OPERAES ENTRE CONJUNTOS
7
Na figura acima, onde A e 13 so discos, a reunio AUB a
parte hachurada.
Sejam-quaseon ju~AeB,tem-seAcAUBe
B CAUB.
A interseo dos conjuntos A e B o conjunto An B, formado
pelos elementos comuns a A e B. Assim, afirmar' que x E AnB
significa dizer que se tem, ao mesmo tempo, x E A e x E B.
Escrevemos ento
AnB={x; xEA e xEB}.
Pode ocorrer que no exista elemento algum x tal que x E A
e x E B. Neste caso, tem-se AnB = 0 e os conjuntos A e B
dizem-se disjuntos.

Operaes entre conjuntos

A reunio dos conjuntos A e B o conjunto A U B, formado
pelos elementos de A mais os elementos de B. Assim, afirmar
que x E AU B significa dizer que pelo menos uma das afirmaes
seguintes verdadeira: x E A ou x E B. Podemos ento escrever:

A U B = {x; x E A ou x E B}.
Ao contrrio da linguagem vulgar, a palavra "ou" sempre
utilizada em Matemtica no sentido lato: ao dizer "x E A ou
x E B" quer-se afirmar que pelo menos uma dessas duas alter-
nativas verdadeira, sem ficar excluda a possibilidade de que
ambas o sejam, isto , de se ter ao mesmo tempo x E A e x E B.
rialehe.
~tom
~NI
AUB
Na figura acima, os conjuntos A e B so representados por
discos e a interseo An13 a parte hachurada.
Quaisquer que sejam os conjuntos A e B tem-se AnB c A
eAnB c B.
Exemplo 5. Sejam A = {x E N; x. < 10}'e B = {x E N; x > 5}.
Ento AUB =N e AnB = {6, 7, 8, 9, 10}.
Exemplo 6. Sejam A = {x E N; , x > 2} o conjunto dos nmeros
naturais maiores do que 2 e B = {x E N; x < 3} o conjunto dos
nmeros naturais menores do que 3. Ento A n B = 0, pois
no existem nmeros naturais x tais que 2 < x < 3. Assim os
conjuntos A. e B so disjuntos.
 8 [CAP. I: CONJUNTOS E FUNES
Relacionamos nas listas abaixo as principais propriedades for-
mais das operaes de reunio e interseo.
U1) AU0=A n1)An0=0
U2)AUA=A n2) AnA=A
U3) AUB =BUA n3) AnB=BnA
U4) (AUB)UC=AU(BUC) n4) (A n B) nC =
=An(BnC)
U5) AUB=AB cA n5)AnB=A<=>AcB
U6) A c B,A' C B' n6) A c B,A! C B'
AUA'CBUB' A nA.' c BnBi
U7) A U (B ri C) = n7) A n (B u C) =
(AuB) n (AuC) =(A n u (A n C)
A demonstrao de qualquer dessas proprieda"des se reduz
ao manejo adequado dos conectiyos "e" e "ou". Na realidade,
podemos interpretar as propriedades acima corno regras formais
para o manejo desses conectivos. Demonstremos uma delas, a
ttulo de exemplo.
Vamos demonstrar agora U7. Primeiramente provaremos que
AU (B n C) c (Au B) n (Au C). Ora, dado xEAU (E
n C),
tem-se x E A ou, ento, x E Bn C. No primeiro caso,, vem
x E AUB ex E AUC, dondex E (AuB)n(AuC).
No segundo caso temos x EB e x E C. De x E B segue-se
xEAUBedexECconclui-sexEAUC. Logo,xEAUB
e x E AU C, isto , x E (A U B) n (A U C). Em qualquer
hiptese, x E AU (B n C) implica x E (A U B) n (A U C).
Isto quer dizer: A U (B ri C) c (A u B) n (A u C). Agora
mostraremos que (A U B).n (A u C) c A 1J (B ri C). Para isto,
seja x E (AUB)l (AUC). Ento x E AUB e x E AUC. Dentro
desta situao, h duas Possibilidades: ou x E A ou x A. Se
for x A, ento (como x E AUB e x E. AU C) deve ser x E B
e x E C, isto , x E BnC e, portanto, x E AU (B n C). Se
for x E A ento evidentemente x E AU (B n C). Em qualquer
hiptese, x E (A UB) n (A u C) implica x E AU (13 n C), ou seja,
(A U B) r1 (A.0 C) C A U (B n C), como queramos provar.
A diferena entre os conjuntos A e B o conjunto A B,
[SEC. 2: OPERAES ENTRE CONJUNTOS 9
formado pelos elementos de A que no pertencem a B. Em
smbolos:
AB ,{x; xEA e xB}.
Na figura acima, onde os conjuntos A e B so representados
por discos, a diferena A-13 a parte hachurada.
No se exige que B esteja contido em A para formar a dife-
rena A B. Quando A e B so disjuntos, nenhum elemento de
A pertence a B, portanto, A B = A. Em qualquer caso, tem-se
A B = A (A n B).
Quando se tem B c A, a diferena A B chama-se o com-
plementar de B em relao a A e escreve-se
A B = CAB.
Freqentemente, tem-se um conjunto E que contm todos
os conjuntos que ocorrem numa certa discusso. Neste caso, a
diferena E X chama-se simplesmente o complementar de X e
indica-se com a notao- CX.
Por exemplo, nos captulos seguintes, estaremos estudando
subconjuntos do, conjunto R, dos nmeros reais. Dado X c R, a
diferena R X ser chamada o complementar de X e indicada
pelo smbulo CX, sem necessidade de mencionar explicitamente
que se trata de complementar em relao a R.
Confirmando: se nos restringimos a considerar elementos per-
tencentes a um conjunto bsico E, ento
x E CX X.
10 [CAP. 1: CONJUNTOS E FUNES
Exemplo 7. Sejam A = {x E Z; x > 3} e B = {x E Z; x < 2}.
EntoAB={xEZ;x>3}eBA ,{xEZ;x< -4}.
Tomando__Z_como_conuntia_bsico, ertli_CA-, 4inteirosinenores
do que 3} e CB = {inteiros maiores do que 2}.
A noo de diferena reduz-se de complementar, do seguinte
modo: dados A e B, contidos num conjunto fundamental E, re-
lativamente ao qual tomamos complementares, temos:
AB =An CB.
ComefeitoxEABxEAex013.44>xEAe
xECB44.xEAnCB.
Relacionamos abaixo as principais propriedades formais da
operao de tomar complementares. Os conjuntos A e B so
partes de um conjunto fundamental E, em relao ao qual esta-
mos tomando os complementares.
Cl) C(CA) = A,
C2) A C B CB c CA,
03) A = O (=> CA E,
C4) C(A U B) CA n CB,
C5) C(A n B) = CA U CB.
Demonstraremos estas cinco propriedades.
Cl) Temos x E C(CA) <4. x CA <=> x E A. Logo C(CA) = A.
02) Suponhamos A c B. Ento um elemento x E CB no
pode pertencer a B e, com maior razo, no pertencer a A.
Logo x E CB x E CA, ou seja CB c CA. Reciprocamente,
se temos CB C CA ento, pelo que acabamos de ver, deve ser
C(CA) C C(CB). Usando Cl, obtemos A c B.
C3) A = o <4. -) A para todo x E E 4.> x E CA para todo
x E E <=> CA = E.
C4) Corno A c A U B e B c AU B, segue-se de C2 que
C(A U B) C CA e C(A U B) c CB, donde C(A U B) C CA n CB.
[SEC. 2: OPERAES ENTRE CONJUNTOS 11
Seja X = CA n CB. Ternos X C CA e X c CB. Por C2, vem
A c CX e B c CX, donde A UB c CX. Por 02 e Cl, vem
X C C(A U B), isto , CA n CB C C(A U B). Conclumo q
C(AUB) = CAn CB.
C5) Demonstrao anloga a C4.
As propriedades acima mostram que, tomando-se comple-
mentares, invertem-se as incluses, transformam-se reunies em
intersees e vice-versa.
Na figura esquerda, A ' um disco, contido no retngulo,
que o conjurito fundamental E. O complementar de A a
parte hachurada com listras horizontais. Na figura da direita, A
e B so discos. O complementar de A hachurado com listras
horizontais e o complementar de B com listras verticais. Ento
C (A U B) a parte quadriculada, enquanto C (AnB) a parte que
tem alguma listra (vertical, horizontal ou ambas). Isto mostra
que C(AUB)U B) = CA n CB e C(AnB) = CA U CB.
Outra operao til entre conjuntos o produto cartesiano.
Ela se baseia no conceito de par ordenado, que discutiremos ago-
ra.
Dados os objetos a, b, o par., ordenado (a, b) fica formado
quando se escolhe um desses objetos (a saber: a) para ser a
primeira coordenada do par e (conseqentemente) o objeto b
para ser a segunda coordenada ,do par. Dois pares ordenados
(a, b) e (a', b') sero chamados iguais quando suas primeiras
 12
[CAP. CONJUNTOS E FUNES
coordenadas, a e a', forem iguais e suas segundas coordenadas,
b e b', tambm. Assim
(a',131 )
No se deve confundir o par ordenado (a, b) com o conjunto
{a, b}. Com efeito, como dois conjuntos que possuem os mesmos
elementos so iguais, temos {a, b} = {b, a}, sejam quais forem
a e b. Por outro lado, pela definio de igualdade entre pares
ordenados s temos (a, b) = (b, a) quando a = b. Notemos
ainda que {a, a} = {a}, enquanto que (a, a) um par ordenado
legtimo.
O produto cartesiano
dos conjuntos A e B o conjunto A x B
cujos elementos so todos os pares ordenados (a, b).cuja primeira
coordenada pertence a A e a segunda a B. Portanto:
AxB--= {(a,b);aeAebEB}.
Quando A = B, temos o produto cartesiano A2 = A x A.
O subconjunto A c Ax A, formado pelos pares (a, a) cujas
coordenadas so iguais, chama-se a diagonal de A2 .
A f:A
Ax B
1)
a'
a quando dado x E A inteiramente arbitrria, sendo sujeita
F
a 19-' No eleve haver excees: a fim de que f tenha o conjunto A
A
Na figura esquerda, os conjuntos A e B so representados
por segmentos e o produto cartesiano A x B por um retngulo.
A direita, temos o quadrado A x A = A2 , no qual se destaca a
diagonal O.
13
[SEC. 3: FUNES
Exemplo 8. Sejam A = {1,2,3} e B = {x, y}. Ento
A x B ={(1,x), (1,y), (2,x), (2,y), (3,x), (3,y)}.
Exemplo 9. A introduo de coordenadas cartesianas no plano
faz com que cada ponto seja representado por um par ordenado
(x,y), onde x sua abscissa e y sua ordenada. Isto identifica o
plano com o produto cartesiano R2 = R x IR, onde R o conjunto
dos nmeros reais.
3 Funes
Uma funo f: A B consta de trs partes: um conjunto
da funo (ou o conjunto onde a funo
A, chamado o domnio
definida), um conjunto B, chamado o contradomnio da funo,
ou o conjunto onde a funo toma valores, e uma regra que
permite associar, de modo bem determinado, a cada elemento
x E A, um nico elemento f(x) E B, chamado o valor que. a
funo assume em x (ou no ponto x).
Usa-se a notao x H f(x) para indicar que f faz corresponda]:
a x o valor f(x).
Muitas vezes se diz a "funo f" em vez de "a funo
B". Neste caso, ficam subentendidos o conjunto A,
domnio de f, e o conjunto B, contradomnio de f.
No se deve confundir f com f(x): f a funo, enquanto que
f(x) o valor ,que a funo assume num ponto x do seu domnio.
A natureza,' da regra que ensina como obter o valor f(x.) E B
apenas a duas condies:
como domnio, a regra deve fornecer f(x) para todo x E A;
22. No deve haver ambigidades: a cada x E A, a regra deve
fazer corresponder um nico f(x) em B.
Vemos que no existem funes "plurivocas". Pela segunda
condio, acima, se x = y em A, ento, f(x) = f(y) em B.
 14 [CAP. 1: CONJUNTOS E FUNES [SEC. 3: FUNES 15
Segue-se das consideraes acima que duas funes f: A ) B de nmeros reais, esta condio significa que toda paralela ao
e g: A' B' so iguais se, e somente se, A = A', B = B' eixo das ordenadas, traada por um ponto de A, deve cortar o
e f(x) gim) para as funesso- gifco G num e num s ponto.
iguais quando tm o mesmo domnio, o mesmo contradomnio e
a mesma regra de correspondncia. B 13
AxB AxB
(xf(x))
Exemplo 10. Sejam P o conjunto dos polgonos do plano, R o f(x)
conjunto dos nmeros reais e f: P IR a funo que associa a
cada polgono x sua rea f(x).
Exemplo 11. Sejam A = B = Q. Tentemos definir uma funo
f: Q Q, considerando a seguinte regra: a cada nmero' x E Q,
x A A
faamos corresponder o nmero f(x) E Q tal que x f(x) = 1.
Esta regra no define uma funo de Q em Q, pois, dado O E Q,
no existe nmero racional algum .y = f(0) tal que O y = 1.
Na figura esquerda temos o grfico de uma funo
Entretanto, se escolhermos o conjunto A = Q{0} para domnio,
f: A B. A figura direita mostra um subconjunto de A x B
a mesma regra define a funo f: A Q, f(x) = 1/x.
que no pode ser grfico de uma funo de A em B.
Exemplo 12. Sejam T o conjunto dos tringulos do plano e R+ Uma funo f : A ) B chama-se injetiva (ou biunvoca) quan-
o conjunto dos nmeros reais positivos. Consideremos a tentati- do, dados x,y quaisquer em A, f(x) = f(y) implica x = -y. Em
va de definir uma funo f: R+ T pela regra seguinte: a cada outras palavras: quando x -y, em A, implica f(x) f(y),
nmero real x > O faamos corresponder o tringulo f(x), cuja em B.
rea x. Evidentemente, h ambigidades: 'dado um nmero O exemplo mais simples de uma funo injetiva a incluso
real x > O, existe uma infinidade de tringulos cuja rea& x. A i: A B, definida quando A um subconjunto de B, pela regra
regra no define uma funo. i(x) = x, para todo x E A.
Uma funo f: A B chama-se sobrejetiva (ou sobre B)
O grfico de uma funo f: A B o subconjunto G(f) quando, para todo y E B existe pelo menos um x E A tal que
do produto cartesiano A x B formado pelos pares ordenados f(x) = -y.
(x, f(x)), onde x E A arbitrrio. Ou seja,
Exemplos de funes sobrejetivas so as projees
7-t1 : A x B A e 7t2: A x B B, de um produto cartesiano
G(f) ={(x,y) E A x B; y = f(x)}.
A x B nos fatores A e B, respectivamente. A primeira projeo,
Segue-se da definio de igualdade entre funes que duas definida por 7-ti (a, b) = a, enquanto a segunda projeo,
funes so iguais se, e somente se, possuem o mesmo grfico. 7c2, definida por 7t2(a,b) = b.
Para *que um subconjunto G C A x B seja o grfico de Exemplo 13. Seja f: Z
uma funo f: A Z definida por f(x) = x2. Ento f
B, &necessrio e suficiente que, para cada
x E A, exista um nico ponto (x, y) E G cuja primeira coorde- no injetiva, pois f(-3) = f(3), embora 3 3. Tampouco f
sobrejetiva, pois no existe x E,Z tal que x2 = 1. Por outro
nada seja x. Para funes f: A ) B, onde A e B so conjuntos
lado, se tomarmos g: Z Z, definida por g (x) = 3x+1, ento g
 16
[CAP. I: CONJUNTOS E FUNES
ISEC. 3: FUNES 17
injetiva. De fato, se g(x) g (u) ento 3x+1 = 3y +1, ou seja,
3x = 3u, donde x = - A mais simples das bijees a funo identidade
g. Mas g no sobrejetiva, pois no existe
um inteiro x tal que 3x +1 = O, por exemplo. Finalmente, seja idA : A A, definida por idA(x) = x, para todo x E A. Quan-
h: N N definida assim: h(1) = 1 e, para cada nmero natural do no houver perigo de confuso, escreveremos simplesmente
x > 1, h(x) o nmero de fatores primos distintos que entram na id: A A, em vez de id.A.
composio de x. Ento h Sobrejetiva, pois h(2) = 1, h(6) = 2, Por exemplo, dados arbitrariamente a, b em Q, com a O,
a funo f: Q Q, definida por f(x) = ax b, urna bijeo.
h(3O) = 3, h(210) = 4, etc. Mas claro que h no injetiva.
Por exemplo, se x e .y so dois nmeros primos quaisquer, tem-se Com efeito, se f(x) = f(y), isto , ax+b = ay4-b ento, somando
h(x) = h(V). b a ambos os membros, vem ax = ay. Multiplicando ambos
os membros por 1/a, obtemos x = -g. Assim, f injetiva. Alm
Exemplo 14. 'A verificao de que uma funo sobrejetiva disso, dado y E Q qualquer, o nmero racional x = b)/a
implica em demonstrar a existncia tal que ax b = -g, isto , f(x) = -y, donde f sobrejetiva.
de objetos satisfazendo cer- Dadas uma funo 1: A B e uma parte X c A, chama-
tas condies. Por exemplo, seja R+ o conjunto dos nmeros
reais positivos. Consideremos a funo f IR se imagem de X pela funo f ao conjunto f(X) formado pelos
por f(x) = x2 R+, definida valores f(x) que f assume nos pontos x E X. Assim
. Dizer que f sobrejetiva significa afirmar que,
para todo nmero real -
y > O existe algum nmero real x tal que f(X) = {f(x);x E X} = {-y E B; y = f(x), x E X}.
= x2 , ou seja, que todo nmero real positivo
.y possui uma raiz
quadrada x. (Isto ser provado quando estudarmos os nmeros Evidentemente, "f(X) um subconjunto de B. Para que
reais.) Outro exemplo: seja p um polinmio no constante, de f: A -4 B seja sobrejetiva ,necessrio e suficiente que f(A) = B.
coeficientes complexos. A cada nmero complexo z associemos Em geral, tem-se apenas f(A) C B. O conjunto f(A) chamado
o valor p (z) do polinmio p. Isto define uma funo p: C a imagem da funo f. s vezes tambm se diz que f (A) o
C,
onde C o conjunto dos nmeros complexos. A afirmaO de que conjunto dos valores de 1.
p uma funo sobrejetiva equivalente ao chamado "Teorema Dada uma funo f : A -4 B e indicando com X, Y, ... sub-
Fundamental da lgebra" (um teorema de Topologia, segundo conjuntos de A, ternos
qual todo polinmio complexo ho constante possui pelo menos
uma raiz complexa). Com efeito, admitindo que p C -4 C so- f(X U Y) = f(X) U f(Y),
brejetiva, dado O E C, deve existir algum z 12) f(Xn Y) c f(X) n f(Y),
E C tal que p (z) = O.
O nmero z , portanto, uma raiz de p. Reciprocamente, ad- 13) X c Y f(X) c f(Y),
mitindo que todo polinmio no-constante possui urna raiz com-
plexa, provaines que.p: C 14) f(0) = O.
C sobrejetiva. Com efeito, dado
C E C,
a funo z 1-4p (z) c um polinmio no-constante, logo DemonstreMos as duas primeiras destas relaes..
existe algum zo E C tal que p(zo)
c. = O. Tem-se p(zo) = c,.
donde p sobrejetiva. Se y E f(X U Y), ento existe x E X U Y tal que f(x)
Uma funo f: A B chama-se bijetiva (uma bijeo, Se x E X, temos y E f(X). Se, porm x E Y, temos -g E f(Y).
uma correspondncia biunivoca) ou Em qualquer caso, -g E f(X) U f (Y). Logo f(X UY) c f(X) U f(Y).
quando injetiva e sobrejetiva
ao mesmo tempo. Reciprocamente, seja z E 1(X) U f(Y). Ento z E f(X) ou
z E f(Y). No primeiro caso, existe x E X tal que z = f(x). No
 18 [CAP. 1: CONJUNTOS E FUNES
segundo, existe y E Y tal que z = f(y). Em qualquer hiptese,
existe w E X U Y tal que z= f(w). Assim z E f(X U Y), isto
, f (X) U f ( )c f p(b-YVEstas-duas-inchises inostium que
f(X U Y) = f(X) U f(Y).
12) Se y E f(X n Y) ento existe x E XnY tal que f(x) = y.
Ento x E X e portanto y E f(X). Tambm x E Y e portanto
E f(Y). Logo y E f(X) n f(Y).
Exemplo 15. Seja IR o conjunto dos nmeros reais. Definimos
f: IR pondo f(x) = x2. Ento a imagem de f, ou seja,
o conjunto f(IR), o conjunto dos nmeros reais > O. (Aqui
estamos fazendo uso do fato, a ser demonstrado mais adiante,
de que todo nmero real positivo possui uma raiz quadrada).
Exemplo 16. Seja f: A 5 B uma finio que no injetiva.
Ento existem x y em A, com f(x) = f(y). Ponhamos X = {x}
e Y = {y}. Tem-se X n Y = 0, logo f(X n Y) = 0. Entretan-
to f(X) n f(Y) = {f(x)} no vazio. Logo, neste caso, ternos
f(X n Y) f(X) n f(Y).
Se, porm, f: A B for injetiva, podemos provar que
f(X n Y) = f(X) n f(Y) para quaisquer X, Y contidos em A.
Com efeito, dado y E f(X)nf(Y), temos y E f(X) e y E f(Y).
Logo existem x' E X e x" E Y com y= f(x') e y= f(x").
Como f injetiva, deve ser x' = x" e portanto x' E X n Y.
Segue-se que y = f(x') pertence a f(X n Y), o que mostra ser
f(X) n f(Y) c f(X n Y). Como a incluso oposta sempre ver-
dadeira, conclumos que f(X n Y) = f(X) n f(Y).
Em resumo, a fim de que se tenha f(X n Y) = f(X) n f(Y)
para quaisquer X, Y contidos em A, necessrio e suficiente que
a funo f: A 5 B seja injetiva.
Dada uma funo f: A B, consideremos um conjunto
Y c B. A imagem inversa de Y pela funo f o conjunto
f-' (Y), formado por todos os x E A tais que f(x) E Y. Assim:
f-1(Y) = {x E A; f(x) E Y}.
Note-se que pode ocorrer f-1 (Y) = O mesmo que Y C B
seja um subconjunto no-vazio. Isto se d precisamente quando
[SEC. 3: FUNES
19
Yn f(A) = O, isto , quando Y no tem pontos em comum com
a imagem de f. Em particular, f no sobrejetiva. Dado y E B,
escrevemos f 1 (y) em vez de f-' ({y}). Pode acontecer que f -1(y)
possua mais de um elemento, pois f pode no ser injetiva.
Exemplo 17. Os subconjuntos do plano definid'os em Geome-
tria Analtica por meio de equaes e desigualdades so imagens
inversas de conjuntos. Por exemplo a reta que tem a equao
ax by = c o conjunto X = {(x, -y) E IR2 ; ax by = c}. Con-
sideremos a funo f: IR2 ) IR, definida por f(x, y) = ax by.
Ento a reta X a imagem inversa do conjunto {c} por f, ou
seja, X = f -1 (c). Tambm a circunferncia cuja equao
x2 -+2=1 (centro na origem e raio 1) o conjunto C={(x, y)ER2;
x2 + ly2 = 1}. Tomemos a funo g: R2 R, definida por
g(x,u) = x2 + -y2. Ternos C = 9-1(1).
Agora consideremos o disco D de centro na origem e raio 1.
Temos D = {(x, y) E R2; x2 + id2 < Seja g: IR2 ) R,
ainda, a funo definida por g(x, -y) = x2 -y2 . Tomemos o
intervalo I= [O,1] = {t E R; O< t< 1}. Ento o disco D a
imagem inversa do intervalo I pla funo g: D = g -' (I).
As imagen% inversas se comportam bem relativamente s o-
peraes com conjuntos. Na relao abaixo, Y e Z indicam sub-
conjuntos de B. Dada uma funo f: A > B, temos
Invl) f -1 (YUZ) = f-1 (Y) uf-1 (Z),
Inv2) f-1 (Yn f-1 (Y) n f-1 (Z),
Inv3) -f-1 (CY). = Cf-1(Y),
Inv4) Y c Z f-1(Y) c f-1(Z),
Inv5) f-1 (B) =A,
Inv6) f-1 (0) = 0.
Vamos demonstrar as trs primeiras.
Invi) Temos x E f -] (Y U Z) f(x) E YUZO f(x) E Y ou
f(x) EZ<4XE f-1(Y) ou x E f -1(Z) <4. x E f -1(Y) u f-' (Z):
 20
Inv2) x E f -1 (Y n Z)
f(x) E Z <4 x E f -1 (Y) e x E f -1(Z)
Inv3) x E f-1 (CY) <4 f(x) E CY
<4.x E Cf-1 (y).
[CAP. I: CONJUNTOS E FUNES
[SEC. 4: COMPOSIO DE FUNES 21-
f(x) E YnZ
f(x) E Y e injetiva F. Basta tomar F: A A x B, onde F(x) (x, f(x)) e
x E f -1(Y) n 1-1(Z). n: A x B B, com n(x, -g) = y (segunda projeo).
f(x) Y Sejam f: A -4 B e g: B C funes. Dado X C A, tem-se
x f -1(Y)
(gof)(X) = g(f(X)). Se Z C C, temos (gof)-1(Z) =1-1 (g-1(Z)).
Provemos esta ltima relao. Para x E A, temos:

4 Composio de funes x E -f-1(g-1 (Z)) 44. f(x) E g-1(Z) <4. g(f(x)) E Z

<4, (g o f)(x) E Z <=> x E (g o f)-1(Z).
Sejam 1: A
B e g:B -4 C funes tais que o domnio de
g igual ao contradomnio de f. Neste caso, podemos definir a A restrio de uma funo 1: A -4 B a um subconjunto
funo composta X c A a funo fIX: X
g o 1: A C, que consiste em aplicar primeiro B, definida por (fjX)(x) = f(x)
f e depois g. Mais precisamente,
para todo x E X. Considerando-se a incluso i.: X -4 A, temos

(g o f)(x) = g (f(x))para todo x E' A. Dado X c A, se g: X B a restrio de uma funo

Dadas f : A -4 B, g : B
e h: C --> D, vale a, lei associativa
(h o g) of=ho (g o 1): A -4 D. Com efeito, para todo x E A,
temos:
[(h o g) o -0(x)
(h, o g)(f(x)) = h[g(f(x))]
= h[(g o f) (x)] = [h o (g o f)](x).
Observamos que, mais geralmente, basta que a imagem f(A)
da funo f esteja contida no domnio de g para que a definio
(g o 1)(x) = g(f(x)) faa sentido e fornea a funo composta
gof: A -4 C.
Se f: A -4 13 e g: B -4 C so injetivas ento g of: A -3 C
injetiva. Tambm a composta de funes sobrejetivas sobreje-
tiva. Em particular, a composta de duas bijees uma bijeo.
Estes fatos sifo de verificao imediata.
Por outro lado, qualquer funo f: A -4 B pode ser escrita
como composta f = 1-t o 11 de uma funo injetiva h. com
uma
funo sobrejetiva. Basta considerar f i : A
fi (x) = f(x), e a incluso h: f(A) f(A), definida por
B.
Tambm podemos escrever qualquer funo f: A B como
composta f = no F de uma funo sobrejetiva 7C
com uma funo
f : A --4 B ao conjunto X, diz-se tambm que f uma extenso
de g. Estender uma funo g: X -4 B ao conjunto A D X ,
portanto, obter uma funo f: A B que coincida com g em X,
isto , tal que f 1 X = g. Evidentemente h, em geral, diversas
extenses da mesma funo g.
Um grande nmero de problemas matemticos importantes
se reduzem a estender uma ou vrias funes de tal modo que as
extenses satisfaam a certas condies adicionais (continuidade,
analiticidade, etc.). A funo que se deseja estender chamada
a "condio de contorno".
Dadas as funes f:A e g:B --4 A, diremos que g
uma inversa esquerda para f quando g o f = idA : A A, ou
seja, quando g (f(x)) = x para todo x E A.
Por exemplo, sejam A o conjunto dos nmeros reais > O e R
o conjunto de todos os nmeros reais. Consideremos f: A -3R,
definida por f(x) = x2, e g: R -4 A, definida por g(y) = .\ry
se y >Oegg(y) = O se -g < O. Para todo x e A, temos
g(f(x)) = g(x2) = x2 = x. Logo g o f = idA e, portanto,
g uma inversa esquerda de f. Note-se que qualquer funo
h: R -4 A, tal que h(y) = V---Ig " para -g > O, uma inversa
esquerda de f. (A definio dos valores h(y) para y < O pode
ser qualquer, sem que fique afetada a igualdade lio -f = idA).
22 [CAP. 1: CONJUNTOS E FUNES
Uma funo f: A -4 B possui inversa esquerda se, e so-
mente se, injetiva.
Demonstrao. Se f injetiva, para cada y E f(A) existe um
nico x E A tal que y = f(x). Escrevamos x = g (y). Isto define
uma funo g: f(A) A tal que g(f(x)) = x para todo x E A.
Completamos a definio de g: B A pondo, por exemplo,
g(y) = xo (elemento que fixamos em A) para y E B - f (A).
Obtemos g: B A tal que g o f = idA. Reciprocamente, se
existe g: B A tal que g o f = idA ento, dados x',x" em A,
f(x') = f(x") = x' = g(f(x')) = g(f(x")) = x", e, portanto, f
injetiva.
Uma funo g: B -4 A chama-se inversa direita de uma
funo f: A B quando f o g = idB : B B, ou seja, quando
.f(g(y)) = -g para todo -g E B.
Por exemplo, seja 1: N N definida por f(1) = 1 e, se
x > 1, f(x) = nmero de fatores primos distintos que entram na
composio de x. Definamos g: N N pondo g(g) = menor
nmero natural que o produto de y fatores primos distintos.
Ento, para todo nmero natural y, temos f(g(y)) = y. Logo
f o g = idN e, portanto, g uma inversa direita para 1. Ou-
tras funes h: N N poderiam ser definidas com a 'propriedade
f o h = ic1N . Por exemplo, poderamos por h(y) = menor nmero
natural divisvel por 13 que o produto de -g fatores primos
distintos.
Uma funo f: A B possui inversa direita se, e somente
se, sobrejetiva.
Demonstrao. Seja f: A B sobrejetiva. Ento, para cada
y E B, o conjunto -f-1 (y) no vazio. Escolhamos, para cada
y E B, um x E A tal que f(x) = -g e ponhamos g(g) = x. Isto
define uma funo g: B A tal que f(g(y)) = Y. Logo g
uma inversa direita de f. Reciprocamente, se existe g : B A
com f o g = idB ento, para cada 'g E B, pondo x = g (y), temos
f(x) = f (g (g)) =y. Logo f sobrejetiva.
Uma funo g : B A chama-se inversa da funo 1 : A --4 B
quando g o f= idA e f o g= idB , isto , quando g inversa
[SEC. 5: FAMLIAS
23
esquerda e direita para f.
Por exemplo, seja a um nmero racional O e definamos
. Q ---) Q pondo f(x) = ax. A funo g: -) Q, definida por
g (x) = n , inversa de f.
Outro exemplo: dada uma funo arbitrria f: A -) B, seja
G(f) o grfico de f. (Lembremos que G(f) t) subconjunto de
A x B formado pelos pares ordenados (x, f(x)), onde x percorre
A.) Definimos uma funo F: A G(f) pondo F(x) = (x, f(x)).
Seja 7-c: G(f) -+ A definida por 7r(x, f(x)) = x. (Evidentemen-
te, 7t = 7T1 j G(f) a restrio a G(f) da primeira projeo
n1 : A x A.) Ento Fon = id o(f) e no F = idA, como se v
facilmente. Portanto 7r inversa de F.
Segue-se das duas proposies anteriores que uma funo
f: A -4 B possui inversa se, e somente se, uma bijeo.
Ao contrrio das inversas de um s lado, se uma funo
f: A -) B possui uma inversa, ela nica.
Com efeito suponhamos que g: B -) A e h: B -) A sejam
ambas inversas de f. Ento h = hoid B = ho (f o g) = (hof) o g =
idA og = g.
O leitor atento ter notado que provamos acima um pouco
mais do que enunciamos,' a saber: se f possui uma inversa
esquerda, h, e uma inversa direita, g, ento h=g e f tem uma
inversa.
Escreveremos f-1 : B -) A para indicar a inversa da bijeo
f: A B.
Evidentemente, se 1: A B e g:B -) C so bijees, tem-se
(g o f)_1 f .: 1 o 9 .1.
5 Famlias
Uma famlia uma funo cujo valor num ponto x se indica,
com fx em vez de f(x).
Passemos s definies formais.
Seja L um conjunto, cujos, elementos chamaremos de ndices
e representaremos genericamente por .
24 [CAP. I: CONJUNTOS E FUNES
[SEC. 5: FAMLIAS 25

Dado um conjunto X, uma famlia de elementos de X com

ndices em L uma funo x: L X. O valor de x no pontoa E L
Notao: n A., ou simplesmente nA.. Portanto,
xEr.
ser indicado com o smbolo x , em vez da notao usual x().
A familia x representada pela notao (x) 2,EL ou simplesmente
(xx ) quando no houver dvida sobre o conjunto de ndices L.
n EL
A. {x; x E Ax para todo a E L}.

Tomemos, por exemplo, L = {1,2} como conjunto de ndices.

Quando L = {1, 2, ... , n}, escreve-se
Dado um conjunto X, uma famlia de elementos de X com ndices
em L uma funo x: {1,2} ) X. Os valores desta funo nos
pontos 1 e 2 so representados por xi e x2. Obtm-se assim U Ai = U U A,
U
um par ordenado (x1, x2) de elementos de X. Reciprocamente, -LEL
todo par ordenado (x1 , x2) de elementos de X uma famlia
11
x: {1, 2} -4 X. Em suma, os pares ordenados de elementos de
n n
X so as famlias de elementos de X com ndices no conjunto
1EL i=1
L = {1, 2}. Ou seja, o produto cartesiano X2 = X X o conjun-
to das funes (famlias) x: {1, 2} -4 X. Mais geralmente, dados Uma famlia corri ndices no conjunto N = {1, 2 ... } dos n-
os conjuntos Xi e X2, o produto cartesiano X1 x X2 o conjunto meros naturais chama-se uma seqncia. Assim, uma seqncia
das famlias x: {1,2} X1 U X2 tais que x1 E X1 e x2 E X2. x = (Xn)nEN = (X11 X2, ' ,CIL) ) de elementos de um conjunto
Quando L = {1, 2, , n} o conjunto dos nmeros naturais X uma funo x: N X, onde o valor x(n) indicado pelo
desde 1 at n, uma famlia x: L -4 X chama-se uma riT up/a de smbolo x.. e chama-se o n-simo termo da seqncia.
elementos X. Uma n-upla x = (xi)tEL comumente representa- Dada uma seqncia de conjuntos (A,,),EN, sua reunio e sua
da pela notao x = (x1, , x). O elemento x.i chamado a interseo so representadas por
i-esima coordenada da n-up ' la x = (x1 , , x). CO
Seja (A)EL uma famlia de conjuntos com ndices em L.
(Isto que dizer: a cada A E L fazemos corresponder um conjunto
U An.=An
nEN i,=,
Ai U A2 U U A,, U ,

A..) A reunio dessa famlia o conjunto dos elementos que per-

tencem a pelo menos um dos conjuntos A. Ela representada
pela notao U A ou, simplesmente, UA. Assim
EL
n
nEN n=1
An =Ai nA2nnAn n....

Exemplo '18. Para cada rt. E N, consideremos o conjunto

A), = {x; existe A E L com x E A}.
EL An ={n,

Ainda em outras palavras, UA o conjunto dos elementos que Ento

00 00
pertencem a algum A . U A, = Z e n = {-1, O, 1},
Analogamente, a interseo da famlia (A )EL o conjunto n=1 n=1
dos elementos que pertencem simultaneamente a todos os A. como se v facilmente.
 26 [CAP. 1: CONJUNTOS E FUNES [SEC. 5: FAMLIAS
27

Dada uma famlia (Ax);\1.. de subconjuntos de um conjunto Dado x E A, temos

fundamental E, tem-se
f-i
C(UA ) = nCA -a-todo-g-cM
x E f-1 (13,) para todo g E M <4, x E nf-1(131.,),
e
C(nA) = uCk. A noo de famlia permite considerar prolutos cartesianos
Com efeito, dado x E E, temos sucessivamente x E C(uk) de uma quantidade arbitrria de conjuntos.
x uk o. no existe 1 E L tal que x E A (4. x A
Dados os conjuntos A i , . . , An , seu produto cartesiano
para todo E L <=> x E CA2 para todo E L <=> x E nCA. A=A1xxAn = n Ai o conjunto formado por todas
Isto prova a primeira igualdade. A segunda conseqncia,
as n-uplas a = (a i , , an ) tais que ai E Al , , an E A,.
levando-se em conta que CCX = X. Com efeito, se escrevermos
Em outras palavras, Ai x x An o conjunto de
CA = B, temos C132, = A.. Logo
todas as funes a: {1, 2, ... , n} Al U A2 U U Ai, tais que
C(nA) = C(nCB ) = CC(uB ) u13 = uCA.. a(i) = ai E Ai para i = 1 , 2, . . . , n.
Exemplo 19. Seja (A7JEL uma familia de subconjuntos de um Esta definio estende a do produto cartesiano A x 13.
Quando Ai = = A,, = A, o produto cartesiano AxxA
conjunto E. Afirmar que UA2, = E equivale a dizer que, para todo
elemento x E E existe, pelo menos, um 2\ E L tal que x E A. de n. cpias de A indicado com An. Ele consiste em todas as
funes a: {1 , 2, ... ,n} A, ou seja, de todas as n-uplas de
Seja BA = CA,. Tem-se UA = E se, e somente se, a interseo
elementos de A.
dos BA vazia, isto , n132, = 0. Com efeito, pelo que vimos
n13 = C(uA ). No produto cartesiano A = Ai x x An , destacam-se as pro-
jees rei : A Ai, 7C2: A A2, . 7in: A A, A -i-sima
Dada uma funo f : A B, consideremos uma famlia
projeo rci :.A ) Ai definida pondo-se ni(a) = ai = i-sima
(A2JEL de subconjuntos de A, e uma familia (131.J item, de sub-
coordenada da n-upla a = (ai , , a,). Dados a = (ai, , an)
conjuntos de B. Tem-se
e b = (bi , , bn) em Ai x x Aii , tem-se a = b se, e somente
f(UA ) = uf(A), se, ni(a) = Tti.(b) para cada i = 1, ... ,n.
f(nA ) c nf(A), Seja X c Ai x x An . Os elementos x = (xi, ,x,,) de
f-1(u13,i) = uf-1 (131,), X possuem n. coordenadas. As funes f : X B, definidas em
X, podem ser pensadas como funes de n variveis (a primeira
= nf-1 (Bp.). varivel estando em Ai , a segunda em A2, etc.) Em particular,
Provemos a primeira e a ltima dessas afirmaes. Dado introduzindo-se coordenadas cartesianas no plano, este se identi-
-y E B, temos: fica com o produto cartesiano R2 = IR x R. As funes f: X IR,
definidas em subconjuntos X c R2 , so as funes reais de duas
y E f(UA) .#> existe x E UA tal que .y = f(x)
variveis reais.
<=> existem AELexE A, com -y = f(x) Dada uma familia de conjuntos (A) EL, seu produto carte-
44. existe 7\ E L tal que 'y E f(A) siano
<4. y E Uf(A).
 28
EXERCCIOS EXERCCIOS 29

o conjunto das famlias (a)EL tais que, para cada A E L,

2. Enuncie e demonstre um resultado anlogo ao anterior, ca-
tem-se a E A .
racterizando A n B.
Em outras palavras, A o conjunto de todas as funes
a: L UA tais que a() = a E A2, para cada 2 3. Sejam A, B C E. Prove que AnB =0 se, e somente se,
E L.
As projees 7C: A A so definidas por Tt(a) = a.a . A C CB. Prove tambm que AUB =E se, e somente se,
Cada projeo 7t uma funo sobrejetiva. Dada uma funo CA C B.
f: X A2 de um conjunto qualquer X no produto cartesiano
dos A , obtm-se, para cada E L, uma funo' f 4. Dados A, B C E, prove que A C B se, e somente se,
: X AT,
dada por f = 7t7, o f. Assim, f(x) = (fx(x))
E L para cada
AnCB =0.
x E X. Reciprocamente, se dada, para cada 2 E L, uma
funo f : X A , ento existe uma nica f: X 5. D exemplo de conjuntos A, B, C tais que
que f2, = Tr o f para cada E L. Basta pr f(x) = (f(x))
1-1 A tal (AuB)nCAu(BnC).
EL
para cada x E X. As funes f chamam-se as coordenadas 6. Se A, X c E so tais que AnX = 0 e AUX= E, prove que
de f.
No caso particular em que todos os conjuntos A2, so iguais X =CA.
ao mesmo conjunto A, escreve-se AL em vez de fl A
. AL
AEL 7. Se A C B, ento, B n (A U C) = (B .n C) U A para todo
portanto o conjunto de todas as funes de L em A.
conjunto C. Por outro lado, se existir C de modo que a
Destaca-se, em especial, o produto cartesiano de uma seqn-
cia de conjuntos A1, A2, . , An, igualdade acima seja satisfeita, ento A C B.
o qual representado pelas
notaes
8. Prove que A = B se, e somente se, (A n CB) u(CAnB) = 0.
CO

ri
nEN
A, = HA, = A i x
-n=1
A2 X X A x . 9. Prove que (A B) U (B A) = (A U B) (A n B).

10. Seja AAB = (A B) U (B A). Prove que ALSB = AdC

Os elementos deste conjunto so as seqncias implica B = C. Examine a validez de um resultado anlogo
a = (a1 , a2, , a,, ) sujeitas condio de ser a, E A., para com n, u ou x em vez de A.
todo n E N.
11. Prove as seguintes afirmaes:
a) (A UB) x C = (A x C) U (B x C);
Exerccios b) (A n B) x C = (A x C) n (B x C);
1. Dados os conjuntos A e B, seja X um conjunto com as e) (A B) x C = (A x C) (B x C);
seguintes propriedades: d) AcAl,BcB'AxBcAixBi.
14 XDAeXDB,
12. Dada da funo f: A B:
24 SeYDAeYDBentoYDX.
a) Prove que se tem f(X Y) D f(X) f(Y), sejam quais
Prove que X = A U B. forem os subconjuntos X e Y de A;
30 EXERCCIOS EXERCCIOS
31
b) Mostre que se f for injetiva ento f (X Y) = f(X) f(Y) Prove que se tem
para quaisquer X, Y contidos em A.

13. Mostre que a funo f: A B injetiva se, e somente se,

f(A X) = f(A) f(X) para todo X C A. (A EL
x) n
1.1EM
=
(It)Elx M
(A?, n 13),

14. Dada a funo f: A ) B, prove:

nik2,
AEL
un i-LEM
B
n (A, U Bp ),
a) f-1 (f(X)) C X para todo X C A; (AWELxM

b) f injetiva se, e somente se, f-'(f(X)) = X para todo 20. Seja (Aij)(i,i) EN><N
uma famlia de conjuntos com ndices em
X C A.
N x N. Prove, ou disprove por contra-exemplo, a igualdade
15. Dada f: A B, prove:
a) para todo Z c B, tem-se f(f -1 (Z)) c Z; u
i=, 1=1 ,=, uA,)
b) f sobrejetiva se, e somente se, f(f-1 (Z)) = Z para todo
Z C B. 21. Dados os conjuntos A, B, C, estabelea urna bijeo entre
,F(A x B; C) e .F(A; .7-(B; C)).
16. Dada uma famlia de conjuntos (A )EL, seja X um con-
junto com as seguintes propriedades:
) para todo A E L, tem-se X D A;
24 ) Se Y A para todo E L, ento Y D X.
Prove que, nestas condies, tem-se X = U A.
)EL

17. Enuncie e demonstre um resultado anlogo ao anterior, ca-

racterizando n
A.
,EL
18. Seja f: P(A) P(A) uma funo tal que
X C Y f(Y) C f(X) e f(f(X)) = X. Prove que
f(UX ) = nf(X ) e f(n)( ) = Uf(X ). [Aqui X, Y e cada X
so subconjuntos de A].

19. Dadas as famlias (Ax )EL e (Bm.) 1,LE N4, forme duas famlias
com ndices em L x M considerando os conjuntos

(A U Bp.)( 1.0ELx m. e (A2, n ii)(, v0ELxivt