Universidade Federal do Maranh

ao
Centro de Ci

encias Exatas e Tecnologia

Curso de Matem

atica
Mauro Lima Brito
Sobre os Conjuntos de Funcoes
S ao Lus
2004
Mauro Lima Brito
Sobre os Conjuntos de Funcoes
Monograa apresentada ao Curso de Matematica
da UFMA, como requisito para a obtenc ao parcial
do grau de LICENCIADO em Matem atica.
Orientador: Fulustreco de Abreu
Doutor em Matematica - UFMA
S ao Lus
2004
Brito, Mauro
Sobre os Conjuntos de Funcoes / Mauro Brito - 2004
xx.p
1.An alise Matem atica 2. Topologia.. I.Ttulo.
CDU 536.21
Mauro Lima Brito
Sobre os Conjuntos de Funcoes
Monograa apresentada ao Curso de Matematica
da UFMA, como requisito para a obtenc ao parcial
do grau de LICENCIADO em Matem atica.
Aprovado em 10 de fevereiro de 2004
BANCA EXAMINADORA
Fulustreco de Abreu
Doutor em Matematica - UFMA
Nome do Examinador 1
Ttulo do Examinador 1
Nome do Examinador 2
Ttulo do Examinador 2
Aos meus pais e irma.
Aos amigos, pelo apoio e companheirismo.
Resumo
Estuda-se o conjunto B
A
das func oes denidas no conjunto A com imagens no conjunto
B.
Palavras-chaves: Conjuntos, func oes, relacoes de equivalencias.
Abstract
We demonstrated the Bolzano-Weierstrasss theorem and the Heine-Bores theorem in R
n
.
Keywords: Sets, functions.
Agradecimentos
A todos os meus parentes, pelo encorajamento e apoio.
Ao professor Fulustreco de Abreu pela orientac ao, amizade e principalmente,
pela paciencia, sem a qual este trabalho n ao se realizaria.
Aos professores do Departamento de Matematica pelos seus ensinamentos e
aos funcionarios do curso, que durante esses anos, contriburam de algum modo para o
nosso enriquecimento pessoal e prossional.
Lembra que o sono e sagrado e alimenta
de horizontes o tempo acordado de vi-
ver.
Beto Guedes (Amor de

Indio)
Sumario
1 Introducao 8
2 Conjuntos 9
2.1 Noc ao de Conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 A

Algebra dos Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.1 Inclusao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.2 Igualdade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.3 Intersec ao e Uniao . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2.4 O complementar . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3 Produto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3 Funcoes 16
3.1 A noc ao de func ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2 Func oes Injetivas, Sobrejetivas e Bijetivas . . . . . . . . . . . . . . . . . . . 17
3.3 Composic ao de Func oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4 Conjuntos Finitos, Innitos 22
4.1 Conjuntos Equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.2 Conjuntos Finitos e Conjuntos Innitos . . . . . . . . . . . . . . . . . . . . 23
4.3 Alguns Resultados sobre Conjuntos Finitos . . . . . . . . . . . . . . . . . . 24
5 Conjuntos de Funcoes 27
5.1 O conjunto B
A
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.2 Func oes entre Conjuntos do tipo B
A
. . . . . . . . . . . . . . . . . . . . . 29
5.3 O caso particular em que #B = 2 . . . . . . . . . . . . . . . . . . . . . . . 31
Referencias Bibliogracas 32
8
1 Introducao
9
2 Conjuntos
2.1 Nocao de Conjunto
Nesta monograa, a palavra Conjuntosera usada como sin onimo de classe,
famlia, colec aoe iremos usar a notacao classica para descrever um conjunto, ou seja,
A = x ; x e aluno da UFMA , B = x ; 0 < x < 1,
C = x ; x e uma obra de Salvador Dali , D = 2, 4, 6, 8, .
Em geral escrevemos X = x ; P(x), onde P(x) e algum enunciado que se
pode fazer sobre x. Por exemplo, no conjunto A acima tem-se que P(x) e o enunciado x
e aluno da UFMA.
Para excluir objetos e/ou delimitar um estudo, especicamos um conjunto,
chamado conjunto universo, normalmente denotado por U. Por exemplo, se nosso estudo
for apenas sobre alunos da UFMA, o conjunto universo devera ser o conjunto A descrito
anteriormente. Observe que neste universo o conjunto C n ao possui nenhum elemento,
ou seja C e um conjunto vazio.
De uma maneira mais geral, denimos o conjunto vazio, como sendo o
conjunto desprovido de elementos. Usaremos o smbolo para designar o tal conjunto.
Na matematica b asica, geralmente toma-se U como sendo um dos seguintes
conjuntos:
Z - O conjunto dos n umeros inteiros, 0, 1, 2, 3, ;
N - O conjunto dos n umeros dos n umeros naturais, 1, 2, 3, ;
Z
+
- O conjunto dos n umeros inteiros nao negativos, 0, 1, 2, 3, ;
Q - O conjunto dos n umeros racionais, ou seja, dos n umeros da forma
p
q
onde p, q s ao
n umeros inteiros, com q ,= 0;
R - O conjunto dos n umeros reais;
R
n
- O conjunto das as n- uplas (x
1
, x
2
, , x
n
) de n umeros reais.
2.2 A

Algebra dos Conjuntos 10
2.2 A

Algebra dos Conjuntos
2.2.1 Inclusao
Se A denota um conjunto, escrevemos x A (le-se: x pertence a A) para dizer
que x e um elemento de A, isto e, x faz parte da colec ao A. Se x n ao e um elemento
de A, escrevemos x / A (le-se x n ao pertence a A). Assim, dado um elemento x e um
conjunto A, verica-se apenas uma das duas possibilidades:
x A, x / A.
Se A e B s ao dois conjuntos (como todos os seus elementos em U), escrevemos
A B ou B A
para dizer que todos os elementos de A s ao tambem elementos de B. Neste caso dizemos
que A est

a contido em B, ou que B cont

em A, ou que A

e subconjunto de B.
Usaremos A B, para dizer que A n

ao

e um subconjunto de B, ou seja,
que existe a A tal que a / B.
Exemplo 2.2.1. Vale as seguintes inclusoes:
N Z
+
, Z
+
Z, Z Q, Q R.
Observe que para qualquer conjunto A, temos A A. Alem disso, temos que,
para quaisquer subconjuntos A, B e C de um mesmo conjunto universo, se A B e
B C, entao A C.
Proposicao 2.2.1. Se A e um subconjunto de um conjunto universo U, entao A.
Demonstracao. Para que a armac ao da proposic ao seja falsa, deveria existir x tal
que x / A. Como nao existe x algum em , conclumos que a proposicao e verdadeira.
2.2.2 Igualdade
Denicao 2.2.1. Dados dois conjuntos A e B (em U), dizemos que A e igual a B, e
escrevemos A = B se A B e B A.
2.2 A

Algebra dos Conjuntos 11
Se vale apenas a primeira inclus ao da denic ao acima, dizemos que A e um
subconjunto pr

oprio de B. Alguns autores usam A B para indicar que A e um

subconjunto proprio de B.
As seguintes propriedades s ao conseq uencias diretas da denic ao 2.2.1.
1. A = A, qualquer que seja o conjunto A,
2. se A = B ent ao B = A, e
3. se A = B e B = C, ent ao A = C.
2.2.3 Intersecao e Uniao
Denicao 2.2.2. Dados dois conjuntos A e B, sua intersec

ao e o conjunto denotado
por A B (le-se: A intersecao B), formado por todos os elementos que pertencem a A e
a B, ou seja,
A B = x ; x A e x B
Denicao 2.2.3. Dados dois conjuntos A e B, sua uni

ao e o conjunto denotado por

A B (le-se A uni ao B), formado por todos os elementos que pertencem a A ou a B,
ou a ambos, isto e,
A B = x ; x A ou x B.
Se A B = , dizemos que os conjuntos A e B s ao disjuntos.
Os resultados abaixo s ao conseq uencias imediatas das denic oes anteriores.
Proposicao 2.2.2. Se A, B e C sao conjuntos, entao
1. A A = A A = A;
2. A B = B A e A B = B A;
3. (A B) C = A (B C) e (A B) C = A (B C)
4. A (B C) = (A B) (A C),
A (B C) = (A B) (A C).
2.2 A

Algebra dos Conjuntos 12
Demonstracao. Iremos provar apenas a ultima igualdade dotem (4). Seja x A(BC).
Ent ao, por deni cao, x A ou x B C ou seja, x B e x C. Logo, x A ou
x B (o que implica em x A B) e x A ou x C (neste caso x A C). Portanto
x (A B) (A C). Isto mostra que A (B C) (A B) (A C).
Seja agora x (A B) (A C). Entao x A B e x A C. Neste caso
temos que se x / A ent ao x B e x C, em outras palavras, x A ou x B C e
portanto, x A (B C). Isto mostra que (A B) (A C) A (B C). Logo, da
denic ao (2.2.1), segue que A (B C) = (A B) (A C).
O item (3.) da proposic ao (2.2.2) nos permite, escrever ABC e ABC.
Dada uma cole cao de conjuntos A
1
, A
2
, , A
n
denimos o conjunto
A = A
1
A
2
A
n
=
n
_
i=1
A
i
como sendo o conjunto dos elementos que pertencem a pelo menos um dos conjuntos A
i
,
i = 1, 2, . . . , n. Denimos tambem o conjunto
B = A
1
A
2
A
n
=
n

i=1
A
i
como sendo o conjunto dos elementos que pertencem a todos os conjuntos A
i
, i =
1, 2, . . . , n.
2.2.4 O complementar
Denicao 2.2.4. Dados dois conjuntos quaisquer A e B, o complementar de B com
relac

ao ao conjunto A e o conjunto formado por todos os elementos de A que nao

pertencem a B.
Iremos denotar o complementar de B com relac ao a A por A B (le-se: A
menos B). Alguns autores usam tambem A B e A B para denotar o complementar
de B com relac ao a A. Assim, temos
A B = x A ; x / B.
Observe que A B A e (A B) B = .
Proposicao 2.2.3. Sejam A e B dois conjuntos quaisquer. Entao
A = (A B) (A B)
2.2 A

Algebra dos Conjuntos 13
Demonstracao. Se x (A B) (AB), entao x A B ou x AB, o que implica
que x A. Logo (A B) (A B) A.
Por outro lado, se x A ent ao x B ou x / B. Se x B, temos que
x A B. Se x / B, ent ao x A B. Portanto x (A B) (A B), ou seja,
A (A B) (A B).
Proposicao 2.2.4. Sejam A, B e C conjuntos quaisquer. Entao,
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
Demonstracao. Vamos mostrar apenas a segunda igualdade. Seja x A(BC). Logo,
x A e x / B C, ou seja, se x B teremos que x / C e neste caso x A C.
Caso contrario, isto e, se x C ent ao x / B e neste caso x A B. Assim, temos que
x A B ou x A C o que signica que x (A B) (A C), o que mostra que
A (B C) (A B) (A C).
Vamos supor que x (AB) (AC). Neste caso x AB ou x AC.
Se x A B, ent ao x A e x / B. Mas se x A C, ent ao x A e x / C
o implica em x A e x / B C. Portanto x A (B C) e isso mostra que
(A B) (A C) A (B C).
Se A e o conjunto universo U ent ao U B e chamado simplesmente de com-
plementar de B e sera denotado por B.
Os dois primeiros tens do teorema seguinte e similar a proposicao anterior e
diferem da mesma pelo fato de que o complementar e tomado em relac ao ao conjunto
universo.
Teorema 2.2.1 (Leis de Morgan). Sejam A e B conjuntos quaisquer. Entao
1. (A B) = A B;
2. (A B) = A B;
3.
_
A
_
= A.
Demonstracao. Iremos provar apenas os tens (1) e (3)
2.3 Produto Cartesiano 14
1. Se x (A B) entao x / A B. Neste caso x n ao est a em A nem em B, ou seja
x A e x B, o que signica que x A B. Portanto (A B) A B.
Suponha agora que x A B. Entao x A e x B, ou seja x / A e x / B,
e portanto x / A B, isto e, x (A B). Logo A B (A B).
3. Note que se x
_
A
_
, entao x / A, e portanto x A. Por outro lado, se x A,
ent ao x / A, ou seja, x
_
A
_
.
2.3 Produto Cartesiano
Denicao 2.3.1. Seja U um conjunto universo. Um par ordenado (x, y), com x, y U,
e o conjunto cujos unicos elementos sao x e x, y.
Observe que se (x, y) e (x

, y

) s ao pares ordenados tais que (x, y) = (x

, y

)
ent ao x, x, y = x

, x

, y

, o que implica que x

x, x, y. Como
x

, y

x, segue que x = x

ou seja, x = x

. Conseq uentemente, y = y

E claro que se partimos da hip otese que essas duas ultimas igualdades sao verdadeiras,
concluiramos que os pares ordenados (x, y) e (x

, y

) seriam iguais. Logo podemos enunciar

o seguinte resultado:
Proposicao 2.3.1. Dois pares ordenados (x, y) e (x

, y

) sao iguais se, e somente se

x = x

e y = y

.
Denicao 2.3.2. Sejam A e B dois conjuntos diferentes do conjunto vazio. O produto
cartesiano de A e B, representado por AB, e o conjunto de todos os pares ordenados
(a, b), onde a A e b B. Portanto,
A B = (a, b) ; a A e b B
Observe que, por se tratar de pares ordenados, geralmente A B ,= B A.
Observe ainda que, na denic ao, exigimos que A e B sejam diferentes do conjunto vazio.
Assim, para tornar a denic ao mais abrangente, denimos A = A = .
Exemplo 2.3.1. O plano R
2
= R R = (x, y) ; x, y R
2.3 Produto Cartesiano 15
Exemplo 2.3.2. Sejam A = 0, 1, 2 e B = 4, 5. Ent ao
A B = (0, 4), (0, 5), (1, 4), (1, 5), (2, 4), (2, 5)
Proposicao 2.3.2. Sejam A, B e C conjuntos quaisquer. Entao
1. A (B C) = (A B) (A C) e
2. A (B C) = (A B) (A C).
Demonstracao.
1. Suponha que (x, y) A(BC). Ent ao x A e y BC, ou seja y B ou y C.
Logo (x, y) AB ou (x, y) AC. Portanto A(BC) (AB) (AC).
Suponha agora que (x, y) (AB)(AC). Ent ao (x, y) AB ou (x, y) AC.
Logo, x A e y B ou y C, ou seja y B C. Portanto (x, y) A (B C).
Isto mostra que (A B) (A C) A (B C).
2. Seja (x, y) A(BC). Ent ao x A e y BC, ou seja, y B e y C. Portanto,
(x, y) A B e (x, y) A C, o que quer dizer que (x, y) (A B) (A C).
Logo, A (B C) (A B) (A C).
Vamos supor agora que (x, y) (A B) (A C). Entao (x, y) A B e
(x, y) A C. Assim sendo, temos que x A, y B e y C, isto e y B C.
Logo (x, y) A (B C) e portanto, (A B) (A C) A (B C).
Dado um n umero nito de elementos x
1
, x
2
, , x
n
de um mesmo universo,
denimos a n- upla (ordenada) (x
1
, x
2
, , x
n
) como sendo o conjunto cujos elementos
s ao x
1
, x
1
, x
2
,..., x
1
, x
2
, , x
n
. Mostra-se que duas n- uplas (x
1
, x
2
, , x
n
) e
(y
1
, y
2
, , y
n
) sao iguais se, e somente se, x
i
= y
i
, para todo i = 1, 2, , n
Dada uma cole cao de conjuntos A
1
, A
2
, , A
n
denimos o conjunto
A = A
1
A
2
A
n
como sendo o conjunto das n- uplas (a
1
, a
2
, , a
n
) onde a
i
A
i
, i = 1, 2, , n.
No captulo 4 ( ver exemplo 4.1.1), iremos mostrar que se A U e se x U,
podemos identicar o conjunto A x com o conjunto A.
16
3 Funcoes
3.1 A nocao de funcao
Iremos trabalhar com a no cao intuitiva de func ao. Uma denic ao formal de
func ao, na qual se faz uso da linguagem de conjuntos e produtos cartesiano, sera dada no
Anexo ??.
Uma func ao envolve um conjunto A, chamado de dom

nio, um conjunto B
chamado de contradom

nio e uma regra denotada por f : A B, que nos diz como

associar a cada a A, um unico f(a) = b B, chamado de valor de f no ponto a ou
imagem de a pela func

ao f.
Exemplo 3.1.1. Seja A = R
2
, ou seja, os conjunto de todos os pares ordenados (x, y)
tais que x, y R e seja B = R o conjunto dos n umeros reais. Ent ao f : A B, denida
para cada par (x, y) por f(x, y) = x e uma fun cao, uma vez que, para cada par (x, y),
corresponde um unico x R.
Exemplo 3.1.2. Se tomarmos A = R e B = R
2
a regra g : A B, denida para cada
x R por g(x) = (x, y) onde y R, n ao e uma func ao pois, para cada x R, existem
innitos pares ordenados (x, y) R
2
.
Denicao 3.1.1. Duas func oes f : A B e g : C D s ao iguais se as seguintes
condic oes sao satisfeitas:
1. A = C e B = D;
2. para cada a A, f(a) = g(a).
Denicao 3.1.2. Dada uma fun cao f : A B, o subconjunto de B formado pelos
elementos b = f(a), com a A, e chamado de imagem de A por f, ou imagem de
f : A B.
Usaremos Im(f) ou f(A) para denotar a imagem de f : A B. Portanto,
temos
f(A) = b = f(a) B ; a A.
3.2 Func oes Injetivas, Sobrejetivas e Bijetivas 17
3.2 Funcoes Injetivas, Sobrejetivas e Bijetivas
Denicao 3.2.1. Seja f : A B uma func ao. Dizemos que:
1. f e injetiva (ou um-a-um, ou injetora, ou uma injec

ao) sempre que a ,= a

em
A, f(a) ,= f(a

) em B;
2. f e sobrejetiva (ou sobre, ou sobrejetora, ou uma sobrejec

ao) sempre que

f(A) = B;
3. f e bijetiva (ou bijetora, ou uma bijec

ao) se f e injetiva e sobrejetiva.

Observe que, equivalentemente, podemos dizer que f : A B e injetiva
sempre que f(a) = f(a

) implicar em a = a

.
Exemplo 3.2.1. A func ao do exemplo (3.1.1) e sobrejetiva. De fato, dado x

R, para
qualquer y R, temos f(x

, y) = x

. Observe tambem que tal func ao n ao e injetora pois,

por exemplo f(2, 1) = f(2, 3), mas (2, 1) ,= (2, 3).
Denicao 3.2.2. Dados uma funcao f : A B e C A, denimos a restric

ao de
f a C como sendo a func ao g : C B, denida por g(c) = f(c), para todo c C.
Normalmente usa-se a nota cao f[
C
para indicar a restric ao de f a C.
Denicao 3.2.3. Sejam f : A B uma func ao, C A e D B. Denimos:
1. a imagem (direta) de C por f com sendo o subconjunto de f(A) dado por
f(C) = f(x) ; x C,
2. e a imagem inversa de D por f como sendo o subconjunto de A dado por
f
1
(D) = a A ; f(a) D.
Note que a imagem inversa f
1
(D), de um conjunto D por uma fun cao f pode
ser o conjunto vazio, mesmo que D n ao seja o conjunto vazio. Por exemplo, considere a
func ao f : A B, onde A = B = R, denida por f(x) = [x[. Ent ao, se
D = x R ; x < 0,
teremos que f
1
(D) = , uma vez que n ao existe x R tal que [x[ < 0.
3.2 Func oes Injetivas, Sobrejetivas e Bijetivas 18
Proposicao 3.2.1. Sejam f : A B uma funcao e C, D subconjuntos de A.
(a) Se C D, entao f(C) f(D);
(b) f(C D) = f(C) f(D);
(c) f(C D) f(C) f(D).
Demonstracao.
(a) Se y f(C), ent ao existe c C tal que y = f(c). Como C D, segue que c D e
portanto y = f(c) f(D), isto e, f(C) f(D).
(b) Seja y f(CD). Entao existe x CD tal que y = f(x). Logo x C ou x D.
Se x C, temos que y = f(x) f(C). Mas se x D, teremos y = f(x) f(D).
Logo y f(C) f(D) o implica em f(C D) f(C) f(D).
Por outro lado, como C C D, segue do item (a) que f(C) f(C D). Da
mesma maneira temos que D CD o que implica que f(D) f(CD). Portanto
f(C) f(D) f(C D).
(c) Como C D C, segue que f(C D) f(C). Analogamente, temos f(C D)
f(D). Assim, podemos concluir que f(C D) f(C) f(D).
Devemos observar que em geral, no item (c) da proposi cao (3.2.1), nao se
pode substituir o sinal de inclusao pelo sinal de igualdade, ou seja nem sempre vale a
inclus ao oposta. Por exemplo, sejam A = B = R e f : A B denida por f(x) = x
2
,
C = x R ; 1 x < 0 e D = x R ; 0 < x 1. Ent ao
f(C) = f(D) = x R ; 0 < x 1 = f(C) f(D).
Por outro lado C D = o que implica em f(C D) = . Portanto
f(C) f(D) f(C D).
Proposicao 3.2.2. Sejam f : A B uma funcao e E, F subconjuntos de B.
(a) Se E F, entao f
1
(E) f
1
(F);
3.3 Composic ao de Func oes 19
(b) f
1
(E F) = f
1
(E) f
1
(F);
(c) f
1
(E F) = f
1
(E) f
1
(F).
Demonstracao.
(a) Se a f
1
(E), entao f(a) E. Como E F, segue que f(a) F, isto e,
a f
1
(F). Portanto f
1
(E) f
1
(F).
(b) Como E E F e F E F, segue que f
1
(E) f
1
(F) f
1
(E F).
Por outro lado, se a f
1
(E F), entao f(a) E F, ou seja, f(a) E ou
f(a) F e isto implica em a f
1
(E) ou a f
1
(F). Logo a f
1
(E) f
1
(F).
Portanto f
1
(E F) f
1
(E) f
1
(F).
(c) Como E F E e E F F, temos que f
1
(E F) f
1
(E) f
1
(F).
Reciprocamente, se a f
1
(E) f
1
(F), entao f(a) E e f(a) F. Portanto,
f(a) (E F), ou seja, a f
1
(E F). Logo f
1
(E) f
1
(F) f
1
(E F).
3.3 Composicao de Func oes
Denicao 3.3.1. Sejam f : A B e g : B C duas func oes. A composic ao g f e a
func ao de A em C, denida por (g f)(a) = g(f(a)).
Exemplo 3.3.1. Considere as func oes log : R
+
R e sen : R [0, 1], onde R
+
e o
conjunto dos n umeros reais nao negativos. Ent ao (sen log) : R
+
[0, 1] e a func ao que
a cada x R
+
associa o valor sen(log(x)). Por outro lado, (log sen) nem sempre est a
denida (nao existe log(sen(x)), quando x =
3
2
). Isso mostra que, em geral f g ,= g f,
isto e, a composi cao de funcoes e n ao-comutativa.
Proposicao 3.3.1. Sejam f : A B, g : B C e h : C D funcoes. Entao,
h (g f) = (h g) f : A D.
Demonstracao. Basta provar que para cada a A, h((g f)(a)) = (h g)(f(a)). Mas,
h((g f)(a)) = h(g(f(a))) = (h g)(f(a)).
3.3 Composic ao de Func oes 20
Teorema 3.3.1. Se f : A B e g : B C sao ambas injetoras (sobrejetora), entao
g f tambem e injetora (sobrejetora).
Demonstracao. Vamos mostrar inicialmente que, se f : A B e g : B C s ao ambas
injetoras, ent ao g f tambem o e. Sejam a
1
, a
2
A tais que (g f)(a
1
) = (g f)(a
2
).
Ent ao, g(f(a
1
)) = g(f(a
2
)). Como g e injetora, segue que f(a
1
) = f(a
2
). Mas como f
tambem e injetora, temos a
1
= a
2
, o que prova que g f e injetora.
Vamos mostrar agora que, se f : A B e g : B C s ao ambas sobrejetoras,
ent ao g f tambem o e. Dado c C, existe b B tal que g(b) = c, uma vez que g e
sobre. Por outro lado, como f tambem e sobre, existe a A tal que f(a) = b. Logo,
(g f)(a) = g(f(a)) = g(b) = c.
Portanto, g f e sobrejetora.
Corolario 3.3.1. Se f : A B e g : B C sao ambas bijetoras, entao g f tambem e
bijetora.
Dado um conjunto A, iremos denotar por 1
A
a func ao identidade de A, ou
seja, 1
A
: A A e a func ao denida por 1
A
(a) = a.
Teorema 3.3.2. Se f : A B e uma funcao bijetora, entao existe uma unica funcao
tambem bijetora, g : B A, tal que g f = 1
A
e f g = 1
B
. A funcao g e chamada de
inversa de f e e geralmente, denotada por f
1
.
Demonstracao. Dado b B, como f e bijetora existe a A tal que f(a) = b e se a

A
tal que f(a

) = b, entao a

= a, ou seja, dado b B, existe um unico a A, satisfazendo

f(a) = b. Denotando tal a por g(b), denimos uma funcao g : B A. Vamos mostrar
que tal fun cao satisfaz as propriedades do teorema.
Temos que (f g)(b) = f(g(b)) = f(a) = b, ou seja f g = 1
B
. Por outro lado
(g f)(a) = g(f(a)) = g(b) = a, ou seja, g f = 1
A
.
Vamos provar agora que g tambem e bijetora. Segue da denic ao de g que
a mesma e sobrejetora e portanto, basta mostrarmos que a mesma e injetora. Sejam
b
1
, b
2
B tais que g(b
1
) = g(b
2
). Ent ao, como f g = 1
B
, temos
b
1
= 1
B
(b
1
) = (f g)(b
1
) = f(g(b
1
)) = f(g(b
2
)) = (f g)(b
2
) = 1
B
(b
2
) = b
2
.
3.3 Composic ao de Func oes 21
o que mostra que g e injetora.
Suponha agora que existe h : B A satisfazendo h f = 1
A
e f h = 1
B
.
Ent ao,
h = h 1
B
= h (f g) = (h f) g) = 1
A
g = g.
Logo g e unica.
Observacao 3.3.1. Note que se g = f
1
, ent ao f = g
1
.
Se uma func ao f : A B admite uma inversa, dizemos que a mesma e
invers

vel. Portanto, pelo teorema (3.3.2), toda func ao bijetora e inversvel. O pr oximo
resultado mostra que a recproca desta armac ao tambem e verdadeira.
Proposicao 3.3.2. Se f : A B e g : B A sao funcoes que satisfazem g f = 1
A
e
f g = 1
B
, entao ambas sao bijetoras.
Demonstracao. Vamos provar que g e bijetora (a prova para f e analoga). Sejam b
1
, b
2

B tais que g(b
1
) = g(b
2
). Ent ao f(g(b
1
)) = f(g(b
2
)). Como f g = 1
B
, temos que
1
B
(b
1
) = 1
B
(b
2
), ou seja, b
1
= b
2
, provando que g e injetora.
Dado a A, temos
a = 1
A
(a) = (g f)(a) = g(f(a)).
Assim, tomando b = f(a) teremos g(b) = a e isto prova que g e sobrejetora.
22
4 Conjuntos Finitos, Innitos
4.1 Conjuntos Equivalentes
Iremos dizer que dois conjuntos A e B sao equivalentes se existe uma bijec ao
f : A B. Neste caso dizemos que f e uma equivalencia entre A e B. Tal rela cao ser a
indicada pelas nota coes A B, ou f : A B.
Proposicao 4.1.1. A relacao e de equivalencia, isto e, satisfaz as seguintes propri-
edades:
1. A A;
2. Se A B, entao B A e
3. Se A B e B C, entao A C.
Demonstracao. O item (1.) segue do fato de 1
A
ser uma bijec ao. O item (2.) segue do
fato de que se f : A B e uma bijecao, entao f
1
: B A e tambem uma bije cao (ver
proposic ao 3.3.2). O item (3.) segue do corol ario 3.3.1.
Observacao 4.1.1. Note que se f : A B, entao dados a A e b B, entao existe uma
func ao g de A em B tal que g(a) = b e g : A B. De fato, seja b

= f(a). Como
f : A B, existe a

A tal que f(a

) = b. Basta denirmos g : A B colocando

g(a) = b, g(a

) = b

e g(x) = f(x) se x ,= a e x ,= a

. O fato de f ser uma bijec ao implica

em g : A B.
Exemplo 4.1.1. Sejam A U e x U. Seja A x o conjunto dos pares (a, x)
onde a A. Dena f : A x A, por f(a, x) = a. Ent ao f : A x A. De
fato, dados (a

, x), (a

, x) A x tais que f(a

, x) = f(a

, x), entao a

= a

, o que
implica em (a

, x) = (a

, x), ou seja, f e injetora. Por outro lado, dado a A, tomando

(a, x) A x, teremos que f(a, x) = a, ou seja, f e sobrejetora.
4.2 Conjuntos Finitos e Conjuntos Innitos 23
4.2 Conjuntos Finitos e Conjuntos Innitos
Iremos denotar por N o conjunto dos n umeros naturais 1, 2, 3, , n, e, dado n N, de-
notaremos por N
n
o conjunto dos n primeiros n umeros naturais, isto e, N
n
= 1, 2, , n.
Denicao 4.2.1. Um conjunto A e dito nito se A = ou existe n N tal que A N
n
.
Neste caso n e dito ser o n umero de elemento de A (escreveremos #A = n). Se A = ,
dizemos que #A = 0. Um conjunto A e dito innito se A n ao e nito e escrevemos
#A = .
Lema 4.2.1. Se n, m N, entao N
n
N
m
se, e somente se n = m.
Demonstracao. Se n = m, ent ao N
n
= N
m
e portanto N
n
N
m
. Para mostrar que a
recproca e verdadeira, provaremos por induc ao que dado, n se 1 m < n, entao n ao
existe fun cao injetora de N
m
em N
n
(portanto n ao podemos ter N
n
N
m
). Claro que para
n = 1 a arma cao n ao pode ser negada, por isso seja n > 1. Vamos supor que a nossa
armac ao e verdadeira para n 1 e que seja falsa para n. Ent ao existe func ao injetora
f : N
n
N
m
para algum m < n com 1 m. Como f e injetora, f(1) ,= f(2) em N
m
, o
que implica em 1 < m e que existe N
m1
. Seja x = f(n). Como 1
m
: N
m
N
m
, existe
uma bijec ao g : N
m
N
m
que, pela observa cao (4.1.1), podemos supor que permuta x
com m e deixa os demais elementos de N
m
xos. Teremos entao que h = g f : N
n
N
m
e uma func ao injetora (ver corol ario 3.3.1) e que h(n) = m. Alem disso, teremos tambem
que h(N
n1
) N
m1
. Por tanto h[
N
n
1
e uma funcao injetora de N
n1
em N
m1
. Mas
m1 < n1 e isso contradiz a hip otese de que a arma cao e verdadeira para n 1.
A proposic ao seguinte mostra que se A e um conjunto nito, ent ao #A est a
bem denido.
Proposicao 4.2.1. Seja A ,= . Se A N
n
e A N
m
, entao n = m, ou seja o inteiro
#A e unico.
Demonstracao. Sejam f e g tais que f : A N
n
e g : A N
m
. Ent ao f g
1
: N
m
N
n
.
Portanto, pelo lema 4.2.1, n = m.
Teorema 4.2.1. Dois conjuntos nitos sao equivalentes se, e somente se, possuem o
mesmo n umero de elementos.
4.3 Alguns Resultados sobre Conjuntos Finitos 24
Demonstracao. Sejam f e g tais que f : A N
n
e g : A B. Entao g
1
: B A. Logo
f g
1
: B N
n
. Portanto #A = n = #B. Vamos supor agora que #A = #B = n.
Ent ao existem bijecoes f : A N
n
e g : B N
n
. Portanto g
1
f : A B.
4.3 Alguns Resultados sobre Conjuntos Finitos
Nesta secao, todos os conjuntos ser ao considerados nitos.
Usando a notac ao da sec ao anterior, iremos assumir que N
0
= e portanto,
que # = 0. Continuaremos usando a notac ao U para os conjuntos universos.
Proposicao 4.3.1. Sejam A, B U tais que A B = . Entao
#(A B) = #A + #B. (4.1)
Demonstracao. Sejam n = #A e m = #B.

E claro que se m = 0 ou n = 0 a igualdade
(4.1) e verdadeira. Logo, iremos supor que m > 0 e n > 0. Sejam f e g bijec oes tais que
f : A N
m
e g : B N
n
. Considere a funcao h : A B N
m+n
, denida da seguinte
maneira:
h(x) =
_
_
_
f(x) se x A,
g(x) + m se x B.
Iremos mostrar que h : A B N
m+n
, isto e, que h e uma bije cao. Mostraremos
inicialmente que h e injetora.
Sejam x, x

A B tais que h(x) = h(x

). Se x, x

A ou x, x

B, temos
que h(x) = h(x

) o que implica em f(x) = f(x

) e neste caso x = x

, ou g(x) = g(x

) o que
implica x+m = x

+m e que portanto x = x

. Observe que a hip otese de que h(x) = h(x

),
garante que n ao podemos ter x A e x

B. De fato, se x A e x

B e h(x) = h(x

),
ent ao f(x) = g(x

) + m. Mas f(x) N
m
e g(x) + m m + 1, m + 2, ..., m + n o que
implicaria em f(x) N
m
m + 1, m + 2, ..., m + n = .
Vamos mostrar agora que h e sobrejetora. Dado a N
m+n
temos: se 1 a
m, entao a N
m
e neste caso existe x A tal que f(x) = a e portanto h(x) = f(x) = a.
Se m < a m + n, ent ao existe b N
n
tal que a = m + b. Neste caso seja x B tal que
g(x) = b. Assim sendo teremos h(x) = g(x) + m = a.
Como h e bijetora, segue que h : AB N
m+n
e que #(AB) = m+n.
4.3 Alguns Resultados sobre Conjuntos Finitos 25
Corolario 4.3.1. Se X A U, entao:
1. #A = #X + #(A X),
2. #X #A.
Demonstracao. Temos que A = X (A X) e que X (A X) = . Assim, pelo
teorema anterior, temos #A = #X + #(A X), o que prova o item (1.). O item (2.) e
conseq uencia direta de (1.).
Teorema 4.3.1. Se A, B U, entao
#(A B) = #A + #B #(A B).
Demonstracao. Observe que podemos escrever A = (A (A B)) (A B). Logo,
A B = [(A (A B)) (A B)] [(B (A B)) (A B)]
= [(A (A B)) (B (A B))] (A B)
Como
[(A (A B)) (B (A B))] (A B) = e
(A (A B)) (B (A B) = ,
segue, da proposic ao 4.1, que
#(A B) = #(A (A B)) + #(B (A B)) + #(A B). (4.2)
Por outro lado, pelo corolario 4.3.1 (fazendo X = A B), temos que
#(A (A B)) = #A #(A B)
e
#(B (A B)) = #B #(A B).
Usando essas igualdades em (4.2), obtemos
#(A B) = #A + #B #(A B),
como queramos provar.
O resultado seguinte, mostra que o teorema anterior pode ser generalizado
para um n umero nito de conjuntos.
4.3 Alguns Resultados sobre Conjuntos Finitos 26
Teorema 4.3.2.
#(A B C) = #A+ #B + #C #(A B) #(B C) #(A C) + #(A B C),
e mais geralmente, se A
1
, A
2
, , A
n
sao conjuntos nitos, entao
#(A
1
A
2
A
n
) =

n
i=1
#A
i

i<j
#(A
i
A
j
) +

i<j<k
#(A
i
A
j
A
k
)
+ + (1)
n1
#(A
1
A
2
A
n
)
onde o r-esimo termo e (1)
r1
vezes a soma de todos os inteiros da forma
#(A
i
1
A
i
2
A
i
r
), i
1
< i
2
< < i
r
n.
Demonstracao. Iremos fazer a prova para tres conjuntos A, B e C. A prova para n > 3
conjuntos se faz usando inducao nita, supondo que o resultado j a e verdadeiro para
n = 3. Temos,
#(A B C) = #(A (B C))
= #A + #(B C) #(A (B C)) (pelo teorema 4.3.1)
= #A + [#B + #C #(B C)] #((A B) (A C)).
(4.3)
Para obter a ultima igualdade, usamos o teorema 4.3.1 em B C e o fato de que
A (B C) = (A B) (A C).
Usando novamente o teorema 4.3.1 na igualdade acima conclumos que
#(A(B C)) = #[(AB) (AC)] = #(AB) +#(AC) #[(AB) (AC)],
ou seja,
#(A (B C)) = #(A B) + #(A C) #(A B C).
Substituindo este valor na igualdade 4.3, obtemos o resultado esperado, ou seja,
#(A B C) = #A+ #B + #C #(A B) #(B C) #(A C) + #(A B C).
27
5 Conjuntos de Func oes
Dados dois conjuntos A e B, iremos estudar neste captulo, o conjunto cujos
elementos s ao fun coes com domnio A e contradomnio B. Tal conjunto sera denotado
por B
A
. Logo,
B
A
= f : A B
5.1 O conjunto B
A
Seja f : A B uma fun cao qualquer. Observe que se A n ao e vazio, entao
B tambem nao e vazio. De fato, se A ,= ent ao existe pelo menos um elemento a A e
portanto, existe f(a) B, ou seja, B ,= . Assim sendo temos que se B = ent ao A = .
Por esse motivo, iremos sempre supor que A (e conseq uentemente B) e um conjunto
n ao-vazio.
Teorema 5.1.1. Sejam A, B, C conjuntos (nitos ou innitos). Se A C = entao
B
AC
B
A
B
C
.
Demonstracao. Vamos denir uma aplicacao : B
AC
B
A
B
C
da seguinte maneira:
dada f B
AC
seja (f) o par de func oes (f[
A
, f[
C
). Iremos mostrar que e bijetora.
Para mostrar que e injetora tomemos f, g B
AC
tais que (f) = (g).
Pela igualdade de pares ordenados temos
f[
A
= g[
A
e f[
C
= g[
C
. (5.1)
Dado x A C, temos que x A ou x C, mas x n ao pertence a ambos uma vez que,
por hipotese, A C = . Logo, se x A temos, por (5.1) que f(x) = g(x) e se x C
temos, ainda por (5.1), que f(x) = g(x). Portanto f = g, o que prova que e injetora.
Vamos mostrar agora que e sobrejetora. Dado (f, g) (B
A
B
C
) tomemos
h B
AC
denida por
h(x) =
_
_
_
f(x), se x A;
g(x), se x B.
Assim, (h) = (h[
A
, h[
C
) = (f, g), o que mostra que e sobrejetora.
5.1 O conjunto B
A
28
Observacao 5.1.1. Segue, da demonstracao de que e sobrejetora, no teorema acima, que
a func ao que a cada par (f, g) (B
A
B
C
) faz corresponder o elemento h B
AC
, e a
inversa da func ao .
Teorema 5.1.2. Sejam B, C conjuntos. Se C e unitario, entao
B
C
B.
Demonstracao. Suponha que C = c. Seja : B
C
B, denida por (f) = f(c).
Temos que e injetora. De fato, se f, g B
C
s ao tais que (f) = (g), ent ao f(c) = g(c)
e como C e unit ario, segue que f = g, o que prova a injetividade de .
Seja agora b B. Dena f : C B por f(c) = b. Ent ao f B
C
e
(f) = f(c) = b, o que prova que e sobrejetora.
Teorema 5.1.3. Sejam A, B conjuntos e suponha que A e nito, ou seja, A = a
1
, , a
n
.
Entao,
B
A
B
{a
1
}
B
{a
2
}
B
{a
n
}
.
Demonstracao. Usaremos induc ao sobre n (o n umero de elementos de A).
Se n = 1, o resultado e verdadeiro (ver teorema 5.1.2). Vamos supor que o
resultado e verdadeiro para k = n 1. Ent ao,
B
A
= B
{a
1
,a
2
, ,a
k
,a
n
}
= B
{a
1
,a
2
, ,a
k
}{a
n
}
= B
{a
1
,a
2
, ,a
k
}
B
{a
n
}
(a ultima igualdade segue do teorema 5.1.1). Logo, usando a hip otese de induc ao, con-
clumos que
B
A
B
{a
1
}
B
{a
2
}
B
{a
n
}
.
Corolario 5.1.1. Com as hipoteses do teorema, temos que
B
A
B B B
. .
n vezes
.
Demonstracao. O resultado segue do fato de que B
{a
i
}
B, para todo i 1, 2, , n
(ver teorema 5.1.2).
Corolario 5.1.2. Se A e B sao conjuntos nitos, entao #(B
A
) = (#B)
#A
.
Demonstracao. Pelo corol ario anterior temos que B
A
B B B
. .
n vezes
, onde n = #A.
Logo, #(B
A
) = (#B)
n
= (#B)
#A
.
5.2 Func oes entre Conjuntos do tipo B
A
29
5.2 Funcoes entre Conjuntos do tipo B
A
Dados conjuntos A, B e D e uma funcao f : B D (n ao necessariamente
bijetora) denimos a aplicac ao f
A
: B
A
D
A
, chamada induzida por f, da seguinte
maneira: dada B
A
, colocamos f
A
() = f (ver diagrama abaixo).
f
B D
f
A
Proposicao 5.2.1. Se B = D e f = 1
B
, entao f
A
e a identidade de B
A
.
Demonstracao. De fato, se f = 1
B
, entao f
A
() = 1
B
= .
f
B D
g f g
E
Teorema 5.2.1. Sejam A, B, D e E conjuntos e f : B D, g : D E funcoes. Sejam
f
A
e g
A
as funcoes induzidas por f e g respectivamente. Entao,
g
A
f
A
= (g f)
A
.
Demonstracao. Observer que as func oes g
A
f
A
e (g f)
A
possuem o mesmo domnio B
A
e mesmo contradomnio E
A
(ver diagramas abaixo).
f
B D
g f g
E
f
A
B
A
D
A
g
A
f
A
g
A
E
A
Se B
A
ent ao, por denic ao temos
(g f)
A
() = (g f) = g (f ).
Por outro lado,
(g
A
f
A
)() = g
A
(f
A
()) = g
A
(f ) = g (f ).
5.2 Func oes entre Conjuntos do tipo B
A
30
Corolario 5.2.1. Se f : B D, entao f
A
: B
A
D
A
.
Demonstracao. Como f : B D, existe f
1
: D B. Logo, fazendo uso do teorema
5.2.1, temos
f
A
(f
1
)
A
= (1
D
)
A
e (f
1
)
A
f
A
= (1
B
)
A
.
Assim sendo, temos que (f
A
)
1
= (f
1
)
A
o que implica em f
A
: B
A
D
A
.
Dada uma func ao h : C A, iremos denir uma nova func ao h
B
: B
A
B
C
da seguinte maneira. Se B
A
ent ao h
B
() = h (ver diagrama abaixo).
h
C A
h
B
Proposicao 5.2.2. Se 1
A
: A A e a identidade, entao (1
A
)
B
: B
A
B
A
tambem e a
funcao identidade.
Demonstracao. O resultado e conseq uencia imediata da denic ao de h
B
. De fato, dado
B
A
, (1
A
)
B
() = (1
A
)
B
= .
Proposicao 5.2.3. Dadas as funcoes h : C A e k : F C, entao
(h k)
B
= k
B
h
B
: B
A
B
F
.
Demonstracao. Seja B
A
. Ent ao, por um lado
(h k)
B
() = (h k) = ( h) k.
Por outro lado,
(k
B
h
B
)() = k
B
(h
B
()) = k
B
( h) = ( h) k.
o que prova o armado.
Corolario 5.2.2. Se h : C A e inversvel, entao h
B
: B
A
B
C
tambem e inversvel.
Demonstracao. De fato, como h e inversvel, existe h
1
: A C. Logo,
h
B
(h
1
)
B
= (h
1
h)
B
= (1
C
)
B
e (h
1
)
B
h
B
= (h h
1
)
B
= (1
A
)
B
.
Como (1
C
)
B
: B
C
B
C
e a identidade de B
C
e (1
A
)
B
: B
A
B
A
e a identidade de B
A
(ver proposic ao 5.2.2), segue que h
B
e inversvel.
5.3 O caso particular em que #B = 2 31
Teorema 5.2.2. Se f : B D e h : C A, entao existe uma equivalencia B
A
D
C
.
Demonstracao. Devemos construir uma bijec ao g : B
A
D
C
. Note que como f : B D,
pelo corol ario 5.2.1, f
C
: B
C
D
C
. Por outro lado, como h : C A, pelo corol ario 5.2.2,
h
B
: B
A
B
C
. Logo a funcao g = f
C
h
B
: B
A
D
C
e sobrejetora, e portanto
B
A
D
C
.
5.3 O caso particular em que #B = 2
Dado um conjunto A, iremos denotar por P(A) a famlia de todos os subcon-
juntos de A.
Teorema 5.3.1. Se #B = 2 entao B
A
P(A).
Demonstracao. Seja B = b
1
, b
2
. Vamos denir : B
A
P(A) da seguinte maneira:
dada f B
A
seja (f) = x A ; f(x) = b
1
A. Iremos mostrar que e bijetora.
Sejam f, g B
A
tais que (f) = (g). Entao, pela denicao de , x
A ; f(x) = b
1
= x A ; g(x) = b
1
. Como B = b
1
, b
2
, segue que dado x A temos
que f(x) = b
1
ou f(x) = b
2
e g(x) = b
1
ou g(x) = b
2
. Se f(x) = b
1
, entao x (f) = (g)
e portanto g(x) = b
1
= f(x). Se f(x) = b
2
, ent ao x / (f) o que implica em x / (g) e
assim sendo g(x) = b
2
= f(x). Logo, temos que f = g, e isso mostra que e injetora.
Dado X A seja h : A B tal que f[
X
= b
1
e f(x) = b
2
se x / X. Ent ao
(f) = x A ; f(x) = b
1
= X. Portanto, e sobrejetora.
O resultado seguinte, mostra que o n umero de subconjuntos de um conjunto
nito A e igual a 2
#A
.
Corolario 5.3.1. Se A e nito, entao #P(A) = 2
#A
.
Demonstracao. Como A e nito, segue que P(A) tambem e nito. Alem disso, pelo
teorema 5.3.1, P(A) B
A
, onde #B = 2. Assim #P(A) = #B
A
. Como, Pelo corolario
5.1.2, #B
A
= (#B)
#A
, segue que #P(A) = 2
#A
.
[1] [2]
32
Referencias Bibliogracas
[1] ADAMOS, D.; KOSMIDIS, E. K.; THEOPHILIDIS, G. Performance evaluation
of PCA-based spike sorting algorithms. Computer methods and programs in bi-
omedicine, v. 91, n. 3, p. 23244, set. 2008. ISSN 0169-2607. Disponvel em:
<http://www.ncbi.nlm.nih.gov/pubmed/18565614>.
[2] BEAR, M. F.; CONNORS, W.; PARADISO, M. A. Neurociencias: desvendando o
sistema nervoso. [S.l.]: Artmed, 2002.