Você está na página 1de 12

BACHARELADO EM SISTEMAS DE INFORMAO EaD UAB/UFSCar

Matemtica Discreta
profa. Dra. Heloisa de Arruda Camargo

AT4-1 Funes

Nesta unidade vamos estudar as funes e diversos conceitos relacionados a elas. Esse um
dos tpicos de matemtica discreta mais conhecidos, talvez pelo fato de vocs j terem
estudado as funes no ensino mdio. Por esse motivo, boa parte do contedo no traz
novidade e ser como uma reviso para quem j conhece o assunto. Mas importante ter
em mente que esse tpico essencial para a disciplina e, mesmo j conhecendo o conceito
bsico de funo, algumas definies relacionadas podem no ser conhecidas.
Para comear, podemos dizer que uma funo uma regra ou um mecanismo que
transforma uma quantidade em outra ou, dito de outra forma, transforma uma entrada em
uma sada.
Uma funo pode ser encarada como uma mquina, em que se introduz uma
entrada, aperta-se um boto e sai uma resposta.
As entradas e sadas de uma funo muitas vezes so nmeros, mas no precisam
ser nmeros. Podem ser cadeias de caracteres, figuras geomtricas, ou outros objetos.
essencial que a funo fornea sempre a mesma resposta para a mesma entrada.
Assim, se uma determinada sada for gerada quando um nmero for introduzido em uma
funo, essa mesma sada ter que ser obtida sempre que esse mesmo nmero for
novamente apresentado funo. Essa uma propriedade bsica da funo e chamada de
propriedade da consistncia.
Comeamos esta explicao dizendo que a funo uma regra que associa valores
de entrada a valores de sada. Isso pode sugerir que necessrio sempre definir
explicitamente qual essa regra. De fato, a forma mais conhecida de definir uma funo
definindo uma regra geral para gerar sadas a partir das entradas. Por exemplo, podemos
definir uma funo que, dado um nmero natural, calcula e devolve como sada o dobro
desse nmero. O clculo do dobro ento a regra pela qual a sada obtida, a partir da
entrada. Entretanto, no necessrio definir essa regra explicitamente sempre que
quisermos definir uma funo.
Comearemos definindo as funes de uma forma mais geral e abstrata, dizendo
que as funes so tipos especiais de relaes. Lembrando que relaes so conjuntos de
pares ordenados, as funes so ento conjuntos especiais de pares ordenados, ou seja,
conjuntos de pares ordenados com restries adicionais.

1. Conceitos Bsicos
f
x
y

Normalmente funes so referenciadas pelos seus nomes. Uma maneira bastante
usual de dar nomes as funes usar as letras do meio do alfabeto, como f, g, h, ou ento
outros nomes formados por mais letras ou smbolos, como ser visto no decorrer deste
material.
Assim podemos definir funo, que chamamos de f, como um tipo especial de
relao afirmando que:

Uma relao f chamada funo desde que (a,b)ef e (a,c)ef implique b=c.

Assim fica estabelecida a restrio bsica que se impe a uma relao para que ela
seja tambm uma funo, ou seja, no possvel ter mais de um par de valores com o
primeiro elemento igual e o segundo diferente. Isso equivale a dizer que a funo tem
que satisfazer a propriedade da consistncia, citada anteriormente: sendo o primeiro
elemento do par a entrada da funo e o segundo elemento do par a sada da funo, essa
restrio est dizendo que no podemos permitir que a mesma entrada gere sadas
diferentes.

Exemplo 1:

a) f = {(1,2), (2,3), (3,1), (4,7)} uma funo, pois no existe mais de um par com o
primeiro elemento igual.
b) g = {(1,2), (1,3), (4,7)} no uma funo, pois os pares (1,2) e (1,3) esto na
relao, o que no satisfaz a restrio colocada anteriormente, para que uma relao seja
uma funo.
c) h = {(0,1), (1,2), (2,3), (3,4), (4,5), (5,6), ...} uma funo, pois o conjunto
de pares formados por um nmero natural e seu sucessor e no pode existir mais de um par
com o primeiro elemento igual e o segundo diferente.

Observao 1:
Nada impede que uma funo tenha dois ou mais pares com o primeiro elemento diferente e
o segundo elemento igual. Isso significa que, para entradas diferentes, a funo gera o
mesmo valor. Por exemplo, na funo f = {(1,2), (2,3), (3,2), (4,7)} tanto a entrada 1 quanto a
entrada 3 esto associadas com a sada 2.

Notao de funo

Apesar de sabermos que toda funo uma relao, a notao na forma de pares,
como se usa para relaes, no a preferida quando tratamos de funes. Podemos definir
a notao de funo como:

Seja f uma funo e seja a um objeto. A notao f(a) definida desde que exista um objeto
b tal que (a,b) e f. Nesse caso, f(a) = b. Se no existir par ordenado (a, -) em f, f(a) no
est definida.

Logo, a notao (1,2) e f equivalente a notao f(1) = 2.

Exemplo 2:

Para o item a) do exemplo anterior, temos:
f(1) = 2, f(2) = 3, f(3) = 1, f(4) = 7.
Para o item c) do exemplo anterior, temos:
h(0) = 1, h(1) = 2, h(2) = 3, h(3) = 4, .......

Essa forma de definir funes, como um conjunto de pares, no a nica nem a
mais comum. A forma mais usual de definir funes na forma algbrica, ou seja, a regra
de associao entre entradas e sadas expressa usando uma frmula matemtica em que
aparecem operadores conhecidos. Nesse caso usamos variveis para representar os valores
de entrada e de sada. Por exemplo, se quisermos definir uma funo bastante conhecida
- que associa a cada valor de entrada o seu quadrado, essa funo pode ser representada de
formas diferentes:

f(x) = x
2
(x a varivel e f a funo L-se: f de x igual a x elevado ao
quadrado).
x x
2
(x vai em x
2
)
y = x
2
( x representa o valor de entrada e y representa o valor de sada, calculado
a partir de x. Por essa razo dizemos que x a varivel independente e y a varivel
dependente nessa funo)

Domnio e Imagem

Seja f uma funo. O conjunto de todos os primeiros elementos possveis dos pares
ordenados de f chamado de domnio de f, denotado por dom f. O conjunto de todos os
segundos elementos possveis dos pares ordenados de f se chama imagem de f, denotado
por im f.

Em outra notao:

dom f = {a | -b, (a, b) e f} e im f = {b | -a, (a, b) e f} ou

dom f = {a |f (a) est definido} e im f = {b | b = f(a) para algum a}

Exemplo 3:

a) f = {(1,2), (2,3), (3,1), (4,7)}
dom f = {1, 2, 3, 4} e im f = {2, 3, 1, 7}

b) f = {(1,a), (2,b), (3,c), (4,a), (5,c)}
dom f = {1, 2, 3, 4, 5} e im f = {a, b, c}

c) f = {(1,1), (2,2), (3,3), (4,4), (5,5)}
dom f = {1, 2, 3, 4, 5} e im f = {1, 2, 3, 4, 5}

d) f = {(x,y)| x, y, e Z, y = x
2
}
O domnio de f o conjunto de todos os inteiros;
a imagem de f o conjunto de todos os quadrados perfeitos.

e) f = {(x,y) | x, y e N, y = x+1}
O dominio de f o conjunto dos nmeros naturais;
A imagem de f o conjunto dos nmeros naturais, sem o zero.

Verifique seus conhecimentos com os exerccios 1, 2 e 3 da lista de exerccios de
acompanhamento do AV da unidade.

Funo de um conjunto A para um conjunto B

At este momento tratamos uma funo como um conjunto de pares e definimos o
domnio e a imagem da funo, construdos a partir dos pares da funo. Agora vamos
definir uma funo de um conjunto para outro.

Seja f uma funo e sejam os conjuntos A e B. Dizemos que f uma funo de A para B se
dom f = A e im f _ B. Assim, a imagem de f um subconjunto de B e no necessariamente
igual a B. Escrevemos:
f : A B

Dizemos tambm que f uma aplicao de A em B. Muitos autores chamam o conjunto B
de contradomnio de f.

Exemplo 4:

a) Sejam A ={a, b, c, d} e B = {r, s, t, u}. Definimos uma funo f de A para B por:
f : A B
f = {(a,s), (b,u), (c,r), (d,s)}

- o domnio de f o prprio conjunto A;
- a imagem de f est contida em B, mas no exatamente igual a B: im f = {r, s, u}.

b) Sejam A = B = Z. Definimos uma funo f de Z para Z por:
f : Z Z
f = {(x,y) | y = 2x}
- o domnio de f o prprio conjunto dos inteiros (Z);
- a imagem de f subconjunto de Z, mas no contm todos os inteiros. Contm somente os
inteiros pares.

2. Grficos de Funes

Existem duas formas bastante teis para se representar graficamente as funes: os
grficos no plano cartesiano e o diagrama de setas. Os grficos propriamente ditos so
maneiras de visualizamos funes cujas entradas e sadas so nmeros reais. Os diagramas
de setas so usados para representar funes sobre conjuntos finitos ou sobre os conjuntos
N e Z.

Grficos de funes de R para R

As funes definidas do conjunto dos reais para o conjunto dos reais so usualmente
representadas graficamente no plano de coordenadas.
Considere uma funo f de R para R. A funo f um conjunto de pares e f um
subconjunto de R R = R
2
. R
2
pode ser representado pelo conjunto de pontos no plano.
Assim a funo f pode ser representada assinalando os pontos no plano que pertencem a f.
Os valores de entrada da funo so associados ao eixo x e os valores de sada so
associados ao eixo y. Para traar o grfico de uma funo, marcamos um ponto no plano das
coordenadas (x,f(x)) para todo x e dom f.

Exemplo 5 :
a) f : R R
f(x) = x+2
b) f : R R
f(x) = x
2



x
y
f
x
y=f(x)=x+2
f
y=f(x)=x
2

x
Figura 1 Grficos de funes do exemplo 5: a) f(x) = x+2; b) f(x) = x
2

a)
b)
x
y

Note que, para que f seja uma funo, necessrio que cada entrada x esteja
associada a apenas uma sada y. Com a representao grfica podemos verificar se um
grfico representa uma funo, usando o teste da reta vertical: qualquer reta vertical
traada no plano s pode interceptar o grfico de uma funo no mximo em um ponto. De
fato, se uma reta vertical interceptar o grfico da funo em mais de um ponto, significa
que existe mais de um valor de sada associado a um valor de entrada.

Representao grfica para funes sobre conjuntos finitos

Em caso de funes definidas de ou para conjuntos diferentes do conjunto R,
os grficos tradicionais podem no fazer sentido.
Para conjuntos A e B finitos, a maneira de representar graficamente funes f: A
B pelo diagrama de setas, semelhante ao usado para representar relaes, definido na
unidade 3. Relaes.
Desenha-se um conjunto de pontos para A, esquerda e um conjunto de pontos
para B direita. Traa-se uma seta de a para b quando f(a) = b. Todo ponto esquerda (em
A) tem exatamente uma seta partindo dele e terminando direita (em B). Lembre que em
uma funo f de A para B, dom f = A, ou seja, a funo f deve estar definida para todos os
elementos de A. Assim, todos os elementos de A tem que ter uma seta saindo dele.
Por outro lado, im f _ B. Logo, possvel que um ou mais elementos de B no sejam
apontados por nenhuma seta no diagrama, ou que estejam sobrando, significando que
esses elementos fazem parte do conjunto B, mas no so sada para nenhuma entrada por
meio da funo f. Esse o caso do elemento t do exemplo 6.

Exemplo 6:

A Figura 2 mostra o diagrama de setas da funo do exemplo 4.


Verifique seus conhecimentos com o exerccio 4 da lista de exerccios de acompanhamento
do AV da unidade.

Funo identidade

Algumas formas especficas de funo so bastante teis na definio de conceitos.
Antes de iniciar a seo seguinte sobre operaes com funes, vamos conhecer a funo
identidade e estabelecer uma notao para ela. A funo identidade definida de um
conjunto A para o prprio conjunto A e associa cada elemento desse conjunto a ele mesmo.

Seja A um conjunto qualquer. A funo de A em A que associa cada elemento a ele
mesmo dita funo identidade em A, usualmente denotada por 1
A
.
1
A
(a) = a

a

b


c

d


r

s

t

u


A B
Figura 2 Diagrama de setas da funo f do Exemplo 4.
Exemplo 7:
Seja A = R. A funo identidade sobre os reais a funo 1
R
(x) = x


3. Composio de Funes e Funes Inversas

Composio de funes

Operaes podem ser aplicadas sobre funes, produzindo, como resultado, novas
funes. A operao sobre funes mais conhecida e de interesse para este estudo a
composio de funes.

Considere as funes f: A B e g: B C. Podemos definir uma nova funo de A para C,
denominada composio de f e g denotada por g f como:

(g f) (a) g(f(a))

A composio de funes corresponde aplicao das duas funes originais em
seqncia: aplicao da funo f e, em seguida, aplicao da funo g no resultado obtido
com a aplicao da f.
Note que para aplicar a composio, um dos requisitos necessrios que o domnio
da segunda funo seja o contradomnio da primeira. Alm disso, o resultado da
composio uma nova funo h de A para C, ou seja:
h: A C com h(a) = g(f(a)).

Exemplo 8:

a) A = {1, 2, 3} B = {2, 4, 6, 8} C = {a, b, c}
f: A B com f = {(1,2), (2,4), (3,6)}
g: B C com g = {(2,a), (4,c), (6,a), (8,b)}
Como a composio de f e g definida por (g f) (a) = g(f(a)), temos:
(g f) (1) = g(f(1)) = g(2) = a
(g f) (2) = g(f(2)) = g(4) = c
(g f) (3) = g(f(3)) = g(6) = a
Logo, (g f) : A C com (g f) = {(1,a), (2,c), (3,a)}

b) f: Z Z com f(x) = x+1 e g: Z Z com g(x) = 3x
(g f) : Z Z
(g f) (x) = g(f(x)) = g(x+1) = 3(x+1)

Veja que a funo f do Exemplo 8 a) est definida para todos os elementos do
domnio A o que uma exigncia da definio de funes mas tem um elemento
sobrando no conjunto B. Esse fato possvel de ocorrer e no impede o clculo da
composio das duas funes. J a funo g est tambm definida sobre todos os elementos
de B. Essas situaes esto compatveis com a definio de funo.
x
y
f
x
y=f(x)=x
Figura 3 Grfico da funo identidade.
Quando a composio de f e g calculada, notamos que a funo (g f) est
definida para todos os elementos de A, mas fica sobrando o elemento b em C, ou seja,
nenhuma entrada da funo composta (g f) gera como resultado o valor b. Isso acontece
porque a funo f no produz nenhuma sada 8, que o elemento de B que levaria a funo
g ao valor b.

Situaes particulares acontecem quando a composio de funes envolve a
funo identidade. Considere uma funo qualquer f: A B. Ento,

f 1
A
= f e 1
B
f = f

onde 1
A
e 1
B
so as funes identidade em A e B, respectivamente.

Funes Inversas

Funes inversas so calculadas de forma semelhante s relaes inversas. Lembre
que podemos encontrar a relao inversa R
-1
de uma relao R invertendo a ordem dos
elementos dos pares da relao. Funes so relaes de um tipo especial, logo, podemos
tambm considerar a inversa de uma funo f, denotada por f
-1
, invertendo a ordem dos
pares da funo.
A questo que se coloca nesse ponto :

Se f uma funo de A para B, f
-1
ser uma funo de B para A?

Vamos acompanhar o que acontece no seguinte exemplo:

Sejam A = {0, 1, 2, 3, 4} e B = {5, 6, 7, 8, 9}
f: A B
f = {(0,5), (1,7), (2,8), (3,9), (4,7)}

Calculando a f
-1
:
f
-1
= {(5,0), (7,1), (2,8), (9,3), (7,4)}

No uma funo de B para A por duas razes:

1) Tanto (7,1) como (7,4) esto em f
-1
, o que fere a

propriedade de consistncia de
funes, j que temos o mesmo valor de entrada 7 levando a duas sadas diferentes, 1 e 4.

2) dom f
-1
= {5, 7, 8, 9} = B, o que significa que f
-1
no est definida para todos os
elementos do seu domnio, que o conjunto B. Nesse exemplo, f
-1
no est definida para o
elemento 6.

Conclumos, portanto, que a inversa de uma funo f de A para B no
necessariamente uma funo de B para A. A inversa de f ser uma funo se a f tiver certas
caractersticas especficas, caso contrrio, sua inversa ser uma relao. Vamos ver em
quais condies a inversa de uma funo f ser tambm uma funo na seo seguinte.

Verifique seus conhecimentos com os exerccios 5, 6 e 7 da lista de exerccios de
acompanhamento do AV da unidade.

4. Propriedades de Funes

Nesta seo vamos estudar as propriedades de injetividade, sobrejetividade e
bijetividade das funes, bem como alguns resultados importantes que decorrem dessas
propriedades.

Funo injetiva

Uma funo f: A B dita injetiva (ou injetora, ou um-a-um), denotada por 1-1, se
elementos diferentes do domnio A tm imagens distintas, ou seja, se f(a) = f(b) implica a =
b. Em outras palavras, se a = b ento f(a) = f(b).
Uma funo injetiva tambm chamada de injeo.

Exemplo 9:

a) A ={ 1, 2, 3, 4} e B = {1, 2, 3, 4, 5}.
f : A B
f = {(1,2), (2,5), (3,1), (4,4)}
injetiva, pois no tem mais que um par com o segundo elemento igual.

b) A ={ a, b, c, d} e B = {r, s, t, u}.
f : A B
f = {(a,s), (b,u), (c,r), (d,s)}
NO injetiva, pois o elemento a e o elemento d do conjunto A levam ao mesmo elemento
s do conjunto B.

c) f: N N com f(x) = x+1
injetiva, pois se x
1
=x
2
, ento f(x
1
) = f(x
2
).

d) f: Z Z com f(x) = x
2

NO injetiva, pois, por exemplo, f(2) = f(-2) = 4.

No diagrama de setas uma funo injetiva definida sobre conjuntos finitos pode ser
identificada por no possuir nenhum elemento no conjunto B com duas setas apontando
para ele. Veja na Figura 4 os diagramas das funes dos Exemplos 9 a) e b). Na Figura 4 a)
vemos que os elementos 1, 2, 4 e 5 do conjunto B tem apenas uma seta apontando para
eles e, assim, verificamos que a funo injetiva. Na Figura 4 b) o elemento s do conjunto
B tem duas setas apontando para ele, o que indica que a funo representada no
injetiva.


Funo sobrejetiva

Uma funo f: A B dita sobrejetiva (ou sobrejetora, ou sobre) se todo
elemento de B imagem de algum elemento de A, ou seja, para todo b e B, existe um a e
A tal que f(a) = b, ou ainda, se im f = B.
Uma funo sobrejetiva tambm chamada de sobrejeo.

Exemplo 10:

a) A = {0, 1, 2, 3, 4} e B = {5, 7, 8, 9}
a

b


c

d


r

s

t


u


A
B
Figura 4 Diagrama de setas das funes do Exemplo 9. a) e b).
b)
1

2


3

4


1

2

3
4

5


A
B
a)
f: A B
f = {(0,5), (1,7), (2,8), (3,9), (4,7)}
sobrejetiva, pois todos os elementos de B so imagem de algum elemento de A.

b) As funes do exemplo 9 so exemplos de funes que NO so sobrejetivas, uma vez
que ambas tem elementos em B que no so apontados por setas, indicando que existe pelo
menos um b e B que no imagem de nenhum elemento de A.

c) f: N N com f(x) = x+1
NO sobrejetiva, pois no existe x e N tal que f(x) = 0.

d) f: Z Z com f(x) = x
2

NO sobrejetiva, pois os inteiros negativos no so imagem de nenhum inteiro, ou seja,
no existe x inteiro tal que x
2
seja negativo.

Neste ponto podemos voltar discusso sobre a funo inversa. Nossa questo era
caracterizar quando a inversa de uma funo tambm uma funo, o que equivale a dizer
que f inversvel.

Uma funo f: A B dita inversvel se a relao inversa uma funo de B para
A.
Para afirmar que a inversa de uma funo tambm uma funo, precisamos das
propriedades de funes conhecidas. O teorema 1 estabelece em que condies uma funo
inversvel.

Teorema 4.1
Uma funo f: A B inversvel se e somente se f injetiva e sobrejetiva.

De fato, se a funo f injetiva, no h elementos em B com dois elementos
correspondentes em A. Assim, quando a funo invertida, garantimos que nenhum
elemento de B, que o domnio da funo inversa, ter mais de um elemento
correspondente em A. Isso satisfaz a condio de que a funo inversa no gere sadas
diferentes para a mesma entrada, mas ainda no suficiente para afirmar que a inversa de
f uma funo. Precisamos ainda que a funo f seja sobrejetiva, assim, a inversa de f
estar definida para todos os elementos de B. Com isso, podemos afirmar que a inversa de f
uma funo de B para A, ou que f inversvel.

Funo bijetiva

Quando as propriedades de injetividade e sobrejetividade esto presentes ao
mesmo tempo, temos um caso especfico chamado de bijetividade. Assim, podemos dizer
que:

Uma funo f: A B uma funo bijetiva (ou bijetora) se ao mesmo tempo injetiva e
sobrejetiva.
A funo bijetiva chamada de bijeo.

Exemplo 11:

a) A = {1, 2, 3, 4, 5} B = {a, b, c, d, e}
f = {(1,a), (2,e), (3,b), (4,c), (5,d)}
bijetiva.

b) Seja A o conjunto dos inteiros pares e
B o conjunto dos inteiros mpares.
A funo f: A B definida por f(x) = x+1 uma bijeo.

c) f: Z Z com f(x) = x+1 uma bijeo.

Verifique seus conhecimentos com os exerccios 8, 9 e 10 da lista de exerccios de
acompanhamento do AV da unidade.

5. Contagem de Funes

Nesta seo vamos estudar como podemos contar as funes que podem ser
definidas envolvendo conjuntos finitos e quais as relaes entre os conceitos de funo
injetiva, sobrejetiva e bijetiva e esse nmero de funes.
Sejam A e B conjuntos finitos. Sem perda de generalidade, podemos assumir que
esses conjuntos so:

A = {1, 2, ..., a} e B = {1, 2, ..., b}.

Toda funo f: A B pode ser escrita como:

f = {(1,?), (2,?), (3,?), ..., (a,?)}

O smbolo de interrogao representa os elementos de B. Para definir uma funo
especfica temos que dizer quais valores de B substituiro os pontos de interrogao. Com a
substituio de todos os pontos de interrogao, temos a definio de uma funo de A
para B. Nosso objetivo aqui analisar de quantas formas diferentes podemos substituir os
pontos de interrogao, para contar quantas funes de A para B podem ser definidas.
Vamos comear com o primeiro par de f, que tem 1 no primeiro elemento. Para
definir o par (1,?), podemos escolher qualquer elemento de B, portanto, temos b escolhas
para definir o par (1,?). Para cada uma dessas escolhas, podemos escolher novamente
qualquer um dos elementos de B para definir o segundo par (2,?). O mesmo acontece com
todos os pares de f. Assim, temos b escolhas para o primeiro par, para cada uma dessas
temos b escolhas para o segundo par, para cada uma dessas temos b escolhas para o
terceiro par e assim por diante. No total, temos b
a
maneiras diferentes de substituir todos
os pontos de interrogao e portanto, de definir uma funo de A para B.
A proposio a seguir resume o resultado que acabamos de verificar.

Proposio 1
Sejam A e B conjuntos finitos com |A| = a e |B| = b. O nmero de funes de A
para B b
a
.

Exemplo 12:

a) Sejam A = {1,2} e B = {a, b, c}.
Sabemos que |A| = 2 e |B| = 3, logo, a proposio 4.1 determina que h 3
2
=9 funes
f:AB, que so:
{(1,a), (2,a)}
{(1,a), (2,b)}
{(1,a), (2,c)}
{(1,b), (2,a)}
{(1,b), (2,b)}
{(1,b), (2,c)}
{(1,c), (2,a)}
{(1,c), (2,b)}
{(1,c), (2,c)}

b) Sejam A = {1,2,3} e B = {a, b}.
Sabemos que |A| = 3 e |B| = 2, logo, a proposio 4.1 determina que h 2
3
=8 funes f:A
B. Quais so elas?

At agora analisamos o processo para contar o numero total de funes f de A para
B com A e B finitos. Agora queremos tambm verificar quantas dessas funes so injetivas,
quantas so sobrejetivas e qual a relao que essa quantidade de funes tem com o
nmero de elementos de A e B.
Vamos verificar algumas situaes possveis sempre com A e B finitos, sendo |A| = a
e |B| = b. Nessas condies podemos afirmar:

1) Se |A| > |B| ento f no pode ser um-a-um.

Em uma funo f um-a-um, para elementos distintos x, y de A, f(x) e f(y) so
elementos distintos em B. Como estamos supondo que o nmero de elementos de A maior
que o nmero de elementos de B, vo sobrar elementos em A que no tm
correspondente em B, se quisermos manter a restrio de que a funo seja um-a-um.
Apenas os b primeiros elementos de A tero um elemento correspondente em B pela f. Os
demais elementos de A, alm dos b primeiros, s podero ser associados a elementos
repetidos, ou seja, a elementos que j so imagens de outros elementos de A. Assim, a
funo resultante no pode ser um-a-um.

2) Se |A| < |B| ento f no pode ser sobre.

Funo sobrejetiva aquela em que todo elemento do contra-domnio B imagem
de algum elemento de A. Se o nmero de elementos de A menor que o nmero de
elementos de B, no possvel definir uma funo nessas condies, uma vez que o nmero
de elementos de A no ser suficiente para cobrir todo o conjunto B.

Esses resultados so sintetizados na proposio a seguir:

Proposio 2

Sejam A e B conjuntos finitos e seja f:A B. Se |A| > |B|, ento f no um-a-um. Se |A|
< |B|, ento f no sobre.

Como decorrncia dessa proposio, podemos afirmar que, se f:A B um-a-um,
ento |A| s |B| e se f:A B sobre, ento |A| > |B|.

O que podemos afirmar sobre o nmero de elementos de A e B se a funo for
bijetiva? A prxima proposio d a resposta para essa pergunta.

Proposio 3

Sejam A e B conjuntos finitos e seja f:A B. Se f uma bijeo, ento |A| = |B|.

Verifique seus conhecimentos com os exerccios de 11 a 14 da lista de exerccios de
acompanhamento do AV da unidade.

6. Algumas Funes Especiais

Algumas funes especficas so particularmente importantes na matemtica em
geral e em atividades da computao. Nesta seo vamos apresentar algumas delas.

Funes Floor e Ceiling

A funo Floor (ou piso) associa um nmero real ao maior valor inteiro que no
ultrapasse esse valor real. A funo Ceiling (ou funo teto) associa um nmero real ao
menor valor inteiro que ultrapasse esse valor real. As funes Floor e Ceiling so denotadas
por smbolos especiais, como pode ser visto a seguir.
Seja x um nmero real qualquer. Ento x est entre dois inteiros:

x , dito floor de x, denota o maior inteiro n tal que n s x.

x(, dito ceiling de x, denota o menor inteiro n tal que n > x (n no menor do que x).

Se x um inteiro, x = x( = x; caso contrrio, x + 1 = x(.

Exemplo 12:

3,14 = 3 -8,5 = -9 3 = 3


3,14( = 4 -8,5( = -8 3( = 3


Funes Valor Inteiro e Valor Absoluto

Seja x um nmero real qualquer. O valor inteiro de x, escrito INT(x), converte x em um
inteiro truncando a parte fracionria do nmero.

INT(3,17) = 3
INT(-8,5) = -8

Observe que INT(x) = x se x positivo e

INT(x) = x( se x negativo.

O valor absoluto de um nmero real x, denotada por ABS(x), ou |x| definido como sendo
o maior dos valores entre x e x.

Observe que ABS(0) = 0
ABS(x) = x para x positivo, x = 0
ABS(x) = -x para x negativo, x = 0
|x| = |-x|

Exemplos: |-15| = 15, |6| = 6, |4,56| = 4,56

Verifique seus conhecimentos com os exerccios de 16 a 18 da lista de exerccios de
acompanhamento do AV da unidade.