Cap tulo 9 Fun c oes

Uma fun c ao de A em B e uma rela c ao que associa a cada elemento de A um u nico elemento de B . Posto isso formalmente temos a seguinte deni c ao: Deni c ao 9.1 Dizemos que uma rela c ao F entre A e B e uma fun c ao de A em B se para todo x A existe um u nico y B tal que (x, y ) F . Isto e, F e uma fun c ao de A em B se a seguinte f ormula e verdadeira: (F AB )x(x A y ((x, y ) F ))xy z (((x, y ) F (x, z ) F ) (y = z )) . Notemos que a f ormula dada e uma conjun c ao de tr es subf ormulas. A primeira diz que uma fun c ao de A em B e uma rela c ao entre A e B . Ou seja, para todo par ordenado (x, y ) f temos x A e y B . A segunda subf ormula diz que todo elemento de A e contemplada pela fun c ao F (quando n ao exigimos essa condi c ao, dizemos que f e uma fun c ao parcial de A em B ). Finalmente, a terceira subf ormula nos diz que a fun c ao s o relaciona um elmento de B , para cada elemento de A. A Denotamos por B o conjunto das fun c oes de A em B . Deixamos como exerc cio ao leitor provar a exist encia de A B , pois e uma simples aplica c ao do axioma da separa c ao. Introduzimos, assim, mais um s mbolo funcional bin ario na linguagem 1 . Mantendo a tradi c ao, usaremos preferencialmente letras min usculas para denotar fun c oes. Se f e uma fun c ao de A em B , dizemos que A e o dom nio de f que ser a denotado por dom(f ) e o conjunto {b B : a((a, b) f )} e chamado de imagem de f que ser a denotada por im(f ). Normalmente se utiliza o termo contradom nio de uma fun c ao para designar o conjunto B , quando a fun c ao e de A em B . Todavia, esse termo n ao e muito adequado na deni c ao aqui adotada de fun c ao, j a que, dada uma fun c ao f , n ao e poss vel recuperar o contradom nio. Por exemplo, se tomarmos o conjunto (supondo que j a 2 2 temos constru dos os n umeros reais) {(x, y ) R : y = x }, esse pode tanto ser visto como uma fun c ao de R em R quanto uma fun c ao de R em R+ (os reais n ao-negativos). Por outro lado, essa ambiguidade n ao existe ao denirmos o dom nio e a imagem poss a partir da fun c ao. E vel recuperar o dom nio e a imagem de uma fun c ao.
A rigor, n ao h a s mbolo algum na nota c ao A B . Mas mantemos a nomenclatura por uma quest ao de conveni encia, para se adequar ` a deni c ao de linguagem de primeira ordem.
1

51

52

CAP ITULO 9. FUNC OES

Abaixo seguem as deni c oes do dom nio e imagem a partir da fun c ao, e a tarefa de mostrar que essas deni c oes cumprem o prometido e deixada ao leitor: dom(f ) = {a im(f ) = {b f : b((a, b) f )} f : a((a, b) f )}

Nessas deni c oes e bom notar em como os axiomas do par e das partes empacotam os conjuntos, enquanto o axioma da uni ao desempacota. Tamb em notamos que as mesmas deni c oes podem ser aplicadas para rela c oes bin arias quaisquer. Como uma fun c ao associa a cada elemento do dom nio um u nico elemento da imagem, podemos introduzir a seguinte nota c ao: se (x, y ) pertence a uma fun c ao f , denotamos y por f (x). Essa nota c ao s o e poss vel, pois, para x dom(f ), existe um u nico y satisfazendo (x, y ) f . Por em, precisamos ser mais cautelosos com essa nota c ao do que somos com outras como a do par ({a, b}), da uni ao de dois conjuntos (a b) e do par ordenado. Isso porque, enquanto as outras nota c oes valem para quaisquer termos, f (x) s o est a bem denido quando f e uma fun c ao e x pertence ao dom nio de f . Logo, n ao podemos desavisadamente introduzir essa nota c ao como um s mbolo funcional bin ario da linguagem, pois f (x) n ao est a denido para quaisquer conjuntos f e x. Outra nota c ao que podemos introduzir, que aparece na linguagem cotidiana da matem atica, e f : A B para designar que f e uma fun c ao de A em B , ou, em outras palavras (ou melhor, s mbolos), f A B . Suponha que f e uma fun c ao de A em B e que C e um subconjunto de A. Denimos f |C = (C B ) f a restri c ao de f ao conjunto C . Fica como exerc cio ao leitor mostrar que f |C e uma fun c ao de C em B . Dizemos que uma fun c ao f : A B e injetora se, para todo x, y A temos que, se x = y , ent ao f (x) = f (y ). Ou seja, quando dois elementos distintos do dom nio nunca s ao mapeados para o mesmo elemento da imagem. Dizemos que f e sobrejetora em rela c ao a B se para todo y B existe x A tal que f (x) = y . Ou seja, quando B e a imagem de f . A necessidade de relativizarmos a B a deni c ao de sobrejetora vem daquele problema anteriormente mencionado, sobre a impossibilidade de recuperarmos o contra-dom nio de uma fun c ao. Quando est a claro no contexto qual contradom nio est a sendo considerado (quando, por exemplo, escrevemos que f e uma fun c ao de A em B ) dizemos apenas que a fun c ao e sobrejetora, mas e necess aria uma cautela extra para esse tipo de nomenclatura. Uma fun c ao f : A B e bijetora (ou bijetora em rela c ao a B ) quando e injetora e sobrejetora (em rela c ao a B ). Nesse caso tamb em dizemos que A e uma bije c ao entre A e B . No cap tulo sobre conjuntos equipotentes discutiremos melhor a propriedade de existir uma bije c ao entre dois conjuntos (lembram-se da introdu c ao, sobre como comparar tamanhos de conjuntos innitos?) Ainda h a algumas deni c oes a serem introduzidas, com as quais o estudante de matem atica deve estar bem acostumado. Se f e g s ao fun c oes, e im(g ) dom(f ),

53 ent ao denimos a fun c ao composta de f e g da seguinte forma: f g = {(x, z ) dom(g ) im(f ) : y ((x, y ) g (y, z ) f } Novamente, e preciso tomar cuidado com essa nota c ao, pois ela s o faz sentido dentro das hip oteses estritas apresentadas acima.

Exerc cios
1. Escreva uma f ormula de primeira ordem, de tr es vari aveis livres, sem abreviaturas da linguagem de teoria dos conjuntos, que signica x e uma fun c ao de y em z . 2. Prove que f g e injetora se, e somente se, f e g s ao injetoras. 3. Em quais condi c oes temos A B C D? Justique. 4. Dada uma rela c ao R, denimos a inversa de R que ser a denotada por R1 como o conjunto {(y, x) : (x, y ) R}. Com base nisso, prove as seguintes asser c oes: (a) Para toda rela c ao R existe R1 . (b) Se f e uma fun c ao, f 1 e uma fun c ao se, e somente se, f e injetora. (c) Se f e g s ao fun c oes injetoras tais que im(g ) dom(f ), ent ao (f g )1 = g 1 f 1 . 5. Prove que existe uma fun c ao injetora de em que n ao e sobrejetora (em rela c ao a ). 6. Usando o axioma da regularidade, prove que, para todo conjunto x, n ao existe + uma fun c ao f de em x tal que f (n ) f (n), para todo n .