Você está na página 1de 16

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 Captulo
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.
Conjuntos e Funes
Rio de Janeiro, 7 de janeiro de 2004.
Introduziremos neste captulo a linguagem de Conjuntos e
ELON LAGES LIMA
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 [SEC. 1: CONJUNTOS 3
2

1 Conjuntos O conjunto Q, dos nmeros racionais, formado pelas fraes


p/q, nde p e q pertencem a Z, sendo q O. Em smbolos,
Umeanjwoleao)__frrnado sie objetos, chamados
os seus elementos. A relao bsica entre um objeto e um con- {p/q; p E Z, q E Z, q 0}.
junto a relao de pertinncia. Quando um objeto x um dos
elementos que compem o conjunto A, dizemos quex pertence a 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 e escrevemos
X E A. A maioria dos conjuntos encontrados em Matemtica no
so definidos especificando-se, um a um, os seus elementos. O
Se, porm, x no um dos elementos do conjunto A, dizemos mtodo mais freqente de definir um conjunto por meio de
que x no pertence a A e escrevemos uma propriedade comum e exclusiva dos seus elementos. Mais
x A. precisamente, parte-se de urna propriedade P. Ela define um
conjunto X, assim: se um objeto x goza da propriedade P, ento
Um conjunto A fica definido (ou determinado, ou caracteri- x E X; se x no goza de P ento x X. Escreve-se
zado) quando se d uma regra que permita decidir se um objeto
arbitrrio x pertence ou no a A. X .= {x;x goza da propriedade P}.
Exemplo 1. Seja A o conjunto dos tringulos retngulos. O
conjunto A est bem definido: um objeto x pertence a A quando L-se: "X o conjunto dos elementos x tais que x goza da pro-
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 Muitas vezes a propriedade P se refere a elementos de um
conjunto fundamental E. Neste caso, escreve-se
ngulo reto, ento x no pertence a A.
Usa-se a notao X = {x E E; x goza da propriedade P}.
X = {a, b, c,...}
Por exemplo, seja N o conjunto dos nmeros naturais e con-
para representar o conjunto X cujos elementos so os objetos sideremos a seguinte propriedade, que se refere a um elemento
a, b, c, etc. Assim, por exemplo, {1, 2} o conjunto cujos elemen- genrico x E N:
tos so os nmeros 1 e 2. Dado o objeto a, pode-se considerar o "x maior do que 5".
conjunto cujo nico elemento a. Esse conjunto representado
A propriedade P, de um nmero natural ser maior do que 5,
por {a}.
O conjunto dos nmeros naturais 1, 2, 3, ... ser representa- define o conjunto X = {6, 7, 8, 9, ... }, ou seja,
do pelo smbolo N. Portanto
X = {x E N; x > 5}.
N = {1,2,3,
L-se: "X o conjunto dos x pertencentes a N tais que x maior
O conjunto dos nmeros inteiros (positivos, negativos e zero) do que 5".
ser indicado pelo smbolo Z. Assim, As vezes, ocorre que nenhum elemento de E goza da pro-
Z={...,-3,-2,-1,0,1,2,3,...}. priedade P. Neste caso, o conjunto {x E E; x goza de P} no
[CAP. 1: CONJUNTOS E FUNES
[SEC. 1: CONJUNTOS 5

possui elemento algum. Isto o que se chama um conjunto A relao de incluso A c B


vazio. Para represent-lo, usaremos o smbolo 0. Reflexiva A c A, seja qual for o conjunto A;
Portanto, o conjunto vazio 0 definido assim: Anti-simtrica seAcBeBcA,entoA=B;
Transitiva seACBeBCC,entoACC.
Qualquer que seja x, tem-se x 0.
A verificao desses trs fatos imediata.
Por exemplo, temos {x E N; 1 < x < 2} = 0. E tambm, Segue-se da propriedade anti-simtrica que dois conjuntos A
{x; x = 0. e B so iguais precisamente quando A c 13 e B c A, isto ,
Dados os conjuntos A e B, dizemos que A subconjunto de quando possuem os mesmo elementos.
B quando todo elemento de A tambm elemento de B. Para Lembremos que, seja quais forem os significados dos smbolos
indicar este fato, usa-se a notao 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
A c B. mesmo objeto. Em outras palavras, uma coisa s igual a si
mesma.
Quando A c B, diz-se tambm que parte de B, que A est
No caso de conjuntos, escrever A = B significa que A e B
includo em B, ou contido em B.' A relao A C B chama-se
so o mesmo conjunto, ou seja, que A e B possuem os mesmos
relao de incluso.
elementos. Sempre que tivermos de provar uma igualdade entre
Exemplo 2. Os conjuntos numricos N, Z e Q, acima apresen- conjuntos A e B, devemos demonstrar primeiro que A c B (isto
tados, cumprem as relaes de incluso N C Z e Z C Q. Abre- , que todo elemento de A pertence necessariamente a B) e,
viadamente, escrevemos N C Z C Q. depois, que B c A.
Dado um conjunto X, indica-se com P(X) o conjunto cujOs
Exemplo 3. Sejam X o conjunto dos quadrados e Y o conjunto elementos so as partes de X. Em outras palavras, afirmar que
dos retngulos. Todo quadrado um retngulo, logo X c Y. A E 7)(X) o mesmo que dizer A c X. P(X) chama-se o con-
Quando se escreve X c Y no est excluda a possibilidade junto das partes de X. Ele nunca vazio: tem-se pelo menos
de vir a ser X = Y. No caso em que X c Y e X Y, diz-se que 0 E P(X) e X E P(X).
X uma parte prpria ou um subconjunto prprio de Y.
Afirmar x E X equivale a afirmar {x} c X. Exemplo 4. Seja X = {1, 2, 3}. Ento
A fim de mostrar que um conjunto X no subconjunto de
um conjunto Y, deve-sepbter um elemento de X que:no pertena P(X) = {0, {1}, {2}, {3}, {1, 2},{1,3},{2,3}, X}.
a Y. Assim, por exemplo, no se tem Q c Z, pois 1 /2 E Q e 1/2
no inteiro. Sejam P e Q propriedades que se referem a elementos de um
certo conjunto E. As propriedades P e Q definem subconjuntos
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 X e Y de E, a saber:
tal que x X. Como no existe x E 0, somos obrigados a admitir
que X = {x E E; x goza de P} e Y = {v E E; -ti goza de Q}.
O c X, seja qual for o conjunto X.
6 [CAP. 1: CONJUNTOS E FUNES
[SEC. 2: OPERAES ENTRE CONJUNTOS
7
As afirmaes "P implica Q", "se P, ento Q", "P acarreta Na figura acima, onde A e 13 so discos, a reunio AUB a
Q", "P condio suficiente para Q", "Q condio necessria parte hachurada.
para P" t'm toamo mesmo - - 41 dizer que Sejam-quaseon ju~AeB,tem-seAcAUBe
X C Y, ou seja, que todo objeto que goza de P tambm goza de B CAUB.
Q. Para exprimir este fato, usa-se a notao 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
P = Q.
significa dizer que se tem, ao mesmo tempo, x E A e x E B.
Tambm as afirmaes "P se, e somente se, Q", "P condio Escrevemos ento
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 AnB={x; xEA e xEB}.
elementos que gozam da propriedade P coincide com o conjunto
Pode ocorrer que no exista elemento algum x tal que x E A
Y dos elementos que gozam de Q. A notao que exprime este
e x E B. Neste caso, tem-se AnB = 0 e os conjuntos A e B
fato dizem-se disjuntos.
P <4. Q.

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}.
Na figura acima, os conjuntos A e B so representados por
Ao contrrio da linguagem vulgar, a palavra "ou" sempre discos e a interseo An13 a parte hachurada.
utilizada em Matemtica no sentido lato: ao dizer "x E A ou Quaisquer que sejam os conjuntos A e B tem-se AnB c A
x E B" quer-se afirmar que pelo menos uma dessas duas alter- eAnB c B.
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. 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}.
rialehe.
~tom Exemplo 6. Sejam A = {x E N; , x > 2} o conjunto dos nmeros
~NI 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
AUB no existem nmeros naturais x tais que 2 < x < 3. Assim os
conjuntos A. e B so disjuntos.
8 [CAP. I: CONJUNTOS E FUNES [SEC. 2: OPERAES ENTRE CONJUNTOS 9

Relacionamos nas listas abaixo as principais propriedades for- formado pelos elementos de A que no pertencem a B. Em
mais das operaes de reunio e interseo. smbolos:
U1) AU0=A n1)An0=0 AB ,{x; xEA e xB}.
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 Na figura acima, onde os conjuntos A e B so representados
ao manejo adequado dos conectiyos "e" e "ou". Na realidade, por discos, a diferena A-13 a parte hachurada.
podemos interpretar as propriedades acima corno regras formais No se exige que B esteja contido em A para formar a dife-
para o manejo desses conectivos. Demonstremos uma delas, a rena A B. Quando A e B so disjuntos, nenhum elemento de
ttulo de exemplo. A pertence a B, portanto, A B = A. Em qualquer caso, tem-se
Vamos demonstrar agora U7. Primeiramente provaremos que A B = A (A n B).
AU (B n C) c (Au B) n (Au C). Ora, dado xEAU (E Quando se tem B c A, a diferena A B chama-se o com-
n C),
tem-se x E A ou, ento, x E Bn C. No primeiro caso,, vem plementar de B em relao a A e escreve-se
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 A B = CAB.
xEAUBedexECconclui-sexEAUC. Logo,xEAUB Freqentemente, tem-se um conjunto E que contm todos
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). os conjuntos que ocorrem numa certa discusso. Neste caso, a
diferena E X chama-se simplesmente o complementar de X e
Isto quer dizer: A U (B ri C) c (A u B) n (A u C). Agora
indica-se com a notao- CX.
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 Por exemplo, nos captulos seguintes, estaremos estudando
subconjuntos do, conjunto R, dos nmeros reais. Dado X c R, a
desta situao, h duas Possibilidades: ou x E A ou x A. Se
diferena R X ser chamada o complementar de X e indicada
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 pelo smbulo CX, sem necessidade de mencionar explicitamente
for x E A ento evidentemente x E AU (B n C). Em qualquer que se trata de complementar em relao a R.
hiptese, x E (A UB) n (A u C) implica x E AU (13 n C), ou seja, Confirmando: se nos restringimos a considerar elementos per-
(A U B) r1 (A.0 C) C A U (B n C), como queramos provar. tencentes a um conjunto bsico E, ento
A diferena entre os conjuntos A e B o conjunto A B, x E CX X.
10 [CAP. 1: CONJUNTOS E FUNES [SEC. 2: OPERAES ENTRE CONJUNTOS 11
Exemplo 7. Sejam A = {x E Z; x > 3} e B = {x E Z; x < 2}. Seja X = CA n CB. Ternos X C CA e X c CB. Por C2, vem
EntoAB={xEZ;x>3}eBA ,{xEZ;x< -4}. A c CX e B c CX, donde A UB c CX. Por 02 e Cl, vem
Tomando__Z_como_conuntia_bsico, ertli_CA-, 4inteirosinenores X C C(A U B), isto , CA n CB C C(A U B). Conclumo q
do que 3} e CB = {inteiros maiores do que 2}. C(AUB) = CAn CB.
A noo de diferena reduz-se de complementar, do seguinte
modo: dados A e B, contidos num conjunto fundamental E, re- C5) Demonstrao anloga a C4.
lativamente ao qual tomamos complementares, temos: As propriedades acima mostram que, tomando-se comple-
mentares, invertem-se as incluses, transformam-se reunies em
AB =An CB.
intersees e vice-versa.
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, Na figura esquerda, A ' um disco, contido no retngulo,
C5) C(A n B) = CA U CB. que o conjurito fundamental E. O complementar de A a
parte hachurada com listras horizontais. Na figura da direita, A
Demonstraremos estas cinco propriedades. e B so discos. O complementar de A hachurado com listras
Cl) Temos x E C(CA) <4. x CA <=> x E A. Logo C(CA) = A. horizontais e o complementar de B com listras verticais. Ento
C (A U B) a parte quadriculada, enquanto C (AnB) a parte que
02) Suponhamos A c B. Ento um elemento x E CB no tem alguma listra (vertical, horizontal ou ambas). Isto mostra
pode pertencer a B e, com maior razo, no pertencer a A. que C(AUB)U B) = CA n CB e C(AnB) = CA U CB.
Logo x E CB x E CA, ou seja CB c CA. Reciprocamente, Outra operao til entre conjuntos o produto cartesiano.
se temos CB C CA ento, pelo que acabamos de ver, deve ser Ela se baseia no conceito de par ordenado, que discutiremos ago-
C(CA) C C(CB). Usando Cl, obtemos A c B. ra.
C3) A = o <4. -) A para todo x E E 4.> x E CA para todo Dados os objetos a, b, o par., ordenado (a, b) fica formado
x E E <=> CA = E. quando se escolhe um desses objetos (a saber: a) para ser a
primeira coordenada do par e (conseqentemente) o objeto b
C4) Corno A c A U B e B c AU B, segue-se de C2 que para ser a segunda coordenada ,do par. Dois pares ordenados
C(A U B) C CA e C(A U B) c CB, donde C(A U B) C CA n CB. (a, b) e (a', b') sero chamados iguais quando suas primeiras
12 13
[CAP. CONJUNTOS E FUNES [SEC. 3: FUNES

coordenadas, a e a', forem iguais e suas segundas coordenadas, Exemplo 8. Sejam A = {1,2,3} e B = {x, y}. Ento
b e b', tambm. Assim A x B ={(1,x), (1,y), (2,x), (2,y), (3,x), (3,y)}.

(a',131 ) Exemplo 9. A introduo de coordenadas cartesianas no plano


faz com que cada ponto seja representado por um par ordenado
No se deve confundir o par ordenado (a, b) com o conjunto (x,y), onde x sua abscissa e y sua ordenada. Isto identifica o
{a, b}. Com efeito, como dois conjuntos que possuem os mesmos plano com o produto cartesiano R2 = R x IR, onde R o conjunto
elementos so iguais, temos {a, b} = {b, a}, sejam quais forem dos nmeros reais.
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 3 Funes
legtimo.
O produto cartesiano Uma funo f: A B consta de trs partes: um conjunto
dos conjuntos A e B o conjunto A x B da funo (ou o conjunto onde a funo
A, chamado o domnio
cujos elementos so todos os pares ordenados (a, b).cuja primeira
definida), um conjunto B, chamado o contradomnio da funo,
coordenada pertence a A e a segunda a B. Portanto:
ou o conjunto onde a funo toma valores, e uma regra que
AxB--= {(a,b);aeAebEB}. permite associar, de modo bem determinado, a cada elemento
x E A, um nico elemento f(x) E B, chamado o valor que. a
Quando A = B, temos o produto cartesiano A2 = A x A. funo assume em x (ou no ponto x).
O subconjunto A c Ax A, formado pelos pares (a, a) cujas Usa-se a notao x H f(x) para indicar que f faz corresponda]:
coordenadas so iguais, chama-se a diagonal de A2 . a x o valor f(x).
Muitas vezes se diz a "funo f" em vez de "a funo
A f:A B". Neste caso, ficam subentendidos o conjunto A,
Ax B
domnio de f, e o conjunto B, contradomnio de f.
1)
a' 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
a quando dado x E A inteiramente arbitrria, sendo sujeita
apenas a duas condies:
F
a 19-' No eleve haver excees: a fim de que f tenha o conjunto A
A
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


Na figura esquerda, os conjuntos A e B so representados
fazer corresponder um nico f(x) em B.
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 Vemos que no existem funes "plurivocas". Pela segunda
diagonal O. 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 [SEC. 3: FUNES
19

segundo, existe y E Y tal que z = f(y). Em qualquer hiptese, Yn f(A) = O, isto , quando Y no tem pontos em comum com
existe w E X U Y tal que z= f(w). Assim z E f(X U Y), isto a imagem de f. Em particular, f no sobrejetiva. Dado y E B,
, f (X) U f ( )c f p(b-YVEstas-duas-inchises inostium que escrevemos f 1 (y) em vez de f-' ({y}). Pode acontecer que f -1(y)
f(X U Y) = f(X) U f(Y). possua mais de um elemento, pois f pode no ser injetiva.
12) Se y E f(X n Y) ento existe x E XnY tal que f(x) = y.
Exemplo 17. Os subconjuntos do plano definid'os em Geome-
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). tria Analtica por meio de equaes e desigualdades so imagens
inversas de conjuntos. Por exemplo a reta que tem a equao
Exemplo 15. Seja IR o conjunto dos nmeros reais. Definimos ax by = c o conjunto X = {(x, -y) E IR2 ; ax by = c}. Con-
f: IR pondo f(x) = x2. Ento a imagem de f, ou seja, sideremos a funo f: IR2 ) IR, definida por f(x, y) = ax by.
o conjunto f(IR), o conjunto dos nmeros reais > O. (Aqui Ento a reta X a imagem inversa do conjunto {c} por f, ou
estamos fazendo uso do fato, a ser demonstrado mais adiante, seja, X = f -1 (c). Tambm a circunferncia cuja equao
de que todo nmero real positivo possui uma raiz quadrada). x2 -+2=1 (centro na origem e raio 1) o conjunto C={(x, y)ER2;
Exemplo 16. Seja f: A 5 B uma finio que no injetiva. x2 + ly2 = 1}. Tomemos a funo g: R2 R, definida por
Ento existem x y em A, com f(x) = f(y). Ponhamos X = {x} g(x,u) = x2 + -y2. Ternos C = 9-1(1).
e Y = {y}. Tem-se X n Y = 0, logo f(X n Y) = 0. Entretan- Agora consideremos o disco D de centro na origem e raio 1.
to f(X) n f(Y) = {f(x)} no vazio. Logo, neste caso, ternos Temos D = {(x, y) E R2; x2 + id2 < Seja g: IR2 ) R,
f(X n Y) f(X) n f(Y). ainda, a funo definida por g(x, -y) = x2 -y2 . Tomemos o
Se, porm, f: A B for injetiva, podemos provar que intervalo I= [O,1] = {t E R; O< t< 1}. Ento o disco D a
f(X n Y) = f(X) n f(Y) para quaisquer X, Y contidos em A. imagem inversa do intervalo I pla funo g: D = g -' (I).
Com efeito, dado y E f(X)nf(Y), temos y E f(X) e y E f(Y). As imagen% inversas se comportam bem relativamente s o-
Logo existem x' E X e x" E Y com y= f(x') e y= f(x"). peraes com conjuntos. Na relao abaixo, Y e Z indicam sub-
Como f injetiva, deve ser x' = x" e portanto x' E X n Y. conjuntos de B. Dada uma funo f: A > B, temos
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- Invl) f -1 (YUZ) = f-1 (Y) uf-1 (Z),
dadeira, conclumos que f(X n Y) = f(X) n f(Y).
Inv2) f-1 (Yn f-1 (Y) n f-1 (Z),
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 Inv3) -f-1 (CY). = Cf-1(Y),
a funo f: A 5 B seja injetiva. Inv4) Y c Z f-1(Y) c f-1(Z),
Dada uma funo f: A B, consideremos um conjunto Inv5) f-1 (B) =A,
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: Inv6) f-1 (0) = 0.

f-1(Y) = {x E A; f(x) E Y}. Vamos demonstrar as trs primeiras.


Note-se que pode ocorrer f-1 (Y) = O mesmo que Y C B Invi) Temos x E f -] (Y U Z) f(x) E YUZO f(x) E Y ou
seja um subconjunto no-vazio. Isto se d precisamente quando f(x) EZ<4XE f-1(Y) ou x E f -1(Z) <4. x E f -1(Y) u f-' (Z):
20
[CAP. I: CONJUNTOS E FUNES
[SEC. 4: COMPOSIO DE FUNES 21-
Inv2) x E f -1 (Y n Z) f(x) E YnZ
f(x) E Z <4 x E f -1 (Y) e x E f -1(Z) 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).
Inv3) x E f-1 (CY) <4 f(x) E CY f(x) Y Sejam f: A -4 B e g: B C funes. Dado X C A, tem-se
x f -1(Y)
<4.x E Cf-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


f : A --4 B ao conjunto X, diz-se tambm que f uma extenso
Dadas f : A -4 B, g : B
e h: C --> D, vale a, lei associativa de g. Estender uma funo g: X -4 B ao conjunto A D X ,
(h o g) of=ho (g o 1): A -4 D. Com efeito, para todo x E A,
temos: 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
[(h o g) o -0(x) extenses da mesma funo g.
(h, o g)(f(x)) = h[g(f(x))] Um grande nmero de problemas matemticos importantes
= h[(g o f) (x)] = [h o (g o f)](x). se reduzem a estender uma ou vrias funes de tal modo que as
extenses satisfaam a certas condies adicionais (continuidade,
Observamos que, mais geralmente, basta que a imagem f(A) analiticidade, etc.). A funo que se deseja estender chamada
da funo f esteja contida no domnio de g para que a definio a "condio de contorno".
(g o 1)(x) = g(f(x)) faa sentido e fornea a funo composta Dadas as funes f:A e g:B --4 A, diremos que g
gof: A -4 C.
uma inversa esquerda para f quando g o f = idA : A A, ou
Se f: A -4 13 e g: B -4 C so injetivas ento g of: A -3 C seja, quando g (f(x)) = x para todo x E A.
injetiva. Tambm a composta de funes sobrejetivas sobreje- Por exemplo, sejam A o conjunto dos nmeros reais > O e R
tiva. Em particular, a composta de duas bijees uma bijeo. o conjunto de todos os nmeros reais. Consideremos f: A -3R,
Estes fatos sifo de verificao imediata.
definida por f(x) = x2, e g: R -4 A, definida por g(y) = .\ry
Por outro lado, qualquer funo f: A -4 B pode ser escrita se y >Oegg(y) = O se -g < O. Para todo x e A, temos
como composta f = 1-t o 11 de uma funo injetiva h. com
uma g(f(x)) = g(x2) = x2 = x. Logo g o f = idA e, portanto,
funo sobrejetiva. Basta considerar f i : A
fi (x) = f(x), e a incluso h: f(A) f(A), definida por g uma inversa esquerda de f. Note-se que qualquer funo
B. h: R -4 A, tal que h(y) = V---Ig " para -g > O, uma inversa
Tambm podemos escrever qualquer funo f: A B como esquerda de f. (A definio dos valores h(y) para y < O pode
composta f = no F de uma funo sobrejetiva 7C
com uma funo ser qualquer, sem que fique afetada a igualdade lio -f = idA).
22 [CAP. 1: CONJUNTOS E FUNES [SEC. 5: FAMLIAS
23

Uma funo f: A -4 B possui inversa esquerda se, e so- esquerda e direita para f.
mente se, injetiva.
Por exemplo, seja a um nmero racional O e definamos
Demonstrao. Se f injetiva, para cada y E f(A) existe um . Q ---) Q pondo f(x) = ax. A funo g: -) Q, definida por
nico x E A tal que y = f(x). Escrevamos x = g (y). Isto define g (x) = n , inversa de f.
uma funo g: f(A) A tal que g(f(x)) = x para todo x E A. Outro exemplo: dada uma funo arbitrria f: A -) B, seja
Completamos a definio de g: B A pondo, por exemplo, G(f) o grfico de f. (Lembremos que G(f) t) subconjunto de
g(y) = xo (elemento que fixamos em A) para y E B - f (A). A x B formado pelos pares ordenados (x, f(x)), onde x percorre
Obtemos g: B A tal que g o f = idA. Reciprocamente, se A.) Definimos uma funo F: A G(f) pondo F(x) = (x, f(x)).
existe g: B A tal que g o f = idA ento, dados x',x" em A, Seja 7-c: G(f) -+ A definida por 7r(x, f(x)) = x. (Evidentemen-
f(x') = f(x") = x' = g(f(x')) = g(f(x")) = x", e, portanto, f te, 7t = 7T1 j G(f) a restrio a G(f) da primeira projeo
injetiva. n1 : A x A.) Ento Fon = id o(f) e no F = idA, como se v
Uma funo g: B -4 A chama-se inversa direita de uma facilmente. Portanto 7r inversa de F.
funo f: A B quando f o g = idB : B B, ou seja, quando Segue-se das duas proposies anteriores que uma funo
.f(g(y)) = -g para todo -g E B. f: A -4 B possui inversa se, e somente se, uma bijeo.
Por exemplo, seja 1: N N definida por f(1) = 1 e, se Ao contrrio das inversas de um s lado, se uma funo
x > 1, f(x) = nmero de fatores primos distintos que entram na f: A -) B possui uma inversa, ela nica.
composio de x. Definamos g: N N pondo g(g) = menor Com efeito suponhamos que g: B -) A e h: B -) A sejam
nmero natural que o produto de y fatores primos distintos. ambas inversas de f. Ento h = hoid B = ho (f o g) = (hof) o g =
Ento, para todo nmero natural y, temos f(g(y)) = y. Logo idA og = g.
f o g = idN e, portanto, g uma inversa direita para 1. Ou- O leitor atento ter notado que provamos acima um pouco
tras funes h: N N poderiam ser definidas com a 'propriedade mais do que enunciamos,' a saber: se f possui uma inversa
f o h = ic1N . Por exemplo, poderamos por h(y) = menor nmero esquerda, h, e uma inversa direita, g, ento h=g e f tem uma
natural divisvel por 13 que o produto de -g fatores primos inversa.
distintos. Escreveremos f-1 : B -) A para indicar a inversa da bijeo
Uma funo f: A B possui inversa direita se, e somente f: A B.
se, sobrejetiva. Evidentemente, se 1: A B e g:B -) C so bijees, tem-se
(g o f)_1 f .: 1 o 9 .1.

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 5 Famlias
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 Uma famlia uma funo cujo valor num ponto x se indica,
com f o g = idB ento, para cada 'g E B, pondo x = g (y), temos com fx em vez de f(x).
f(x) = f (g (g)) =y. Logo f sobrejetiva. Passemos s definies formais.
Uma funo g : B A chama-se inversa da funo 1 : A --4 B Seja L um conjunto, cujos, elementos chamaremos de ndices
quando g o f= idA e f o g= idB , isto , quando g inversa 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