Iniciao Cientfica - Funes

Amanda de Oliveira
19/08/2014

Definio de Funo

f uma relao binria entre os dois conjuntos, tal que:

1.1

f nica

Se y = f(x) e z = f(x), ento y = z.

1.2

f total

Para todo x X, existe um y em Y, tal que y = f(x).

Duas funes so iguais quando tm o mesmo domnio, o mesmo contradomnio e a mesma regra de correspondncia.
O grfico de uma funo f: A B o subconjunto G(f) do produto cartesiano AxB formado pelos pares ordenados (x, f(x)), onde x A arbitrrio.
Ou seja,
G(f) = { (x,y) AxB; y=f(x)}
Uma funo f: A B chama-se injetiva quando, dados x,y quaisquer em A,
f(x) = f(y) implica x = y.
Uma funo f: A B chama-se sobrejetiva quando, para todo y B existe
pelo menos um x A, tal que f(x) = y.
Uma funo f: A B chama-se bijetiva quando injetiva e sobrejetiva ao
mesmo tempo.
Exemplo:
idA : A A idA (x)=x, para todo x A.

Propriedades

Dada uma funo f: A B e indicando com X, Y, ... subconjuntos de A, temos:

I1) f(XY) = f(X) f(Y)
I2) f(XY) f(X) f(Y)
I3) X Y f(X) f(Y)
I4) f() =

2.1

f(XY) = f(X) f(Y)

()
Se y f(XY), ento existe x XY, tal que f(x) = y.
Se x X, ento y f(X).
No entanto, se x Y, ento y f(Y).
De qualquer forma, y f(X) f(Y).
Logo, f(X Y) f(X) f(Y).
()
Reciprocamente, seja z f(X) f(Y), ento z f(X) ou z f(Y).
Se z f(X), ento existe x X, tal que z = f(x).
Se z f(Y), ento existe y Y, tal que z = f(y).
De qualquer forma, existe w X Y, tal que z = f(w).
Assim, z f(X Y).
Isto , f(X) f(Y) f(X Y).
Portanto, f(XY) = f(X) f(Y).

2.2

f(XY) f(X) f(Y)

Se y f(X Y), ento existe x X Y, tal que f(x) = y.

Ento x X e, portanto, y f(X).
E tambm, x Y e, portanto, y f(Y).
Logo, y f(X) f(Y).
Portanto, f(XY) f(X) f(Y).

2.3

X Y f(X) f(Y)

Se x Y, ento existe y f(Y), tal que f(x) = y.

Como X Y, seque que para todo x X, ento x Y.
Isto , para todo y f(X) temos que y f(Y).
Logo, f(X) f(Y).

2.4

f() =

()
Suponha, por absurdo que f() 6 .
Isto , existe y f(), tal que y
/ .
Ou seja, existe x , tal que y = f(x).
O que um absurdo, pois por definio, para todo x temos que x
/ .
()
Reciprocamente, imediato ver que est contido em qualquer conjunto, inclusive no f().

Definio de Funo Inversa

A funo inversa de uma funo f: A B tal que o que era domnio na funo
f vira imagem na funo inversa. E o que era imagem em f vira domnio. Ou
seja, f-1 : B A.
A funo invertvel se, e somente se, for bijetiva.

Propriedades de Funo Inversa

Dada uma funo f: A B e indicando X e Z subconjuntos de B, temos:

Inv1) f-1 (Y Z) = f-1 (Y) f-1 (Z)
Inv2) f-1 (Y Z) = f-1 (Y) f-1 (Z)
Inv3) f-1 ({Y) = { f-1 (Y)
Inv4) Y Z f-1 (Y) f-1 (Z)
Inv5) f-1 (B) = A
Inv6) f-1 () =

4.1

f-1 (Y Z) = f-1 (Y) f-1 (Z)

Temos x f-1 (Y Z)
f(x) Y Z
f(x) Y ou f(x) Z
x f-1 (Y) ou x f-1 (Z)
x f-1 (Y) f-1 (Z).

4.2

f-1 (Y Z) = f-1 (Y) f-1 (Z)

Dado x f-1 (Y Z)
f(x) Y Z
f(x) Y e f(x) Z
x f-1 (Y) e x f-1 (Z)
x f-1 (Y) f-1 (Z).

4.3

f-1 ({Y) = { f-1 (Y)

Dado x f-1 ({Y)

f(x) {Y
f(x)
/Y
x
/ f-1 (Y)
x {f-1 (Y).

4.4

Y Z f-1 (Y) f-1 (Z)

Dado f(x) Y
Temos que f(x) Z, pois Y Z.
Isto , x f-1 (Y) implica em x f-1 (Z).
Logo, f-1 (Y) f-1 (Z).

4.5

f-1 (B) = A

Dado x f-1 (B)

f(x) B
x A, pois f: A B.

4.6

f-1 () =

f-1 () imediato, pois est contido em todos os cojuntos.

f-1 () :
Suponha, por absurdo que f-1 () 6 .
Isto , existe x f-1 (), tal que x
/ .
Ou seja, f(x) , o que um absurdo, pois para todo x A, f(x)
/ , por
definio de .

Composio de Funes

Sejam f: A B e g: C D funes tais que a imagem de f esteja contida no

domnio de g, ento a composta gf : A D :
(gf)(x) = g(f(x)), para todo x A

5.1

Inversa esquerda

Dadas as funes f: A B e g: B A.
Diremos que g uma inversa esquerda para f quando gf = idA : A A. Ou
seja, g(f(x)) = x, para todo x A.
5.1.1

Exemplo

f :AB
x 7 x2

g:RA

(
2

g(y) =

y,

0,

y0
y<0

Ento, x A:
2
g(f(x)) = g(x2 ) = x2 = x
Logo, gf = idA .
5.1.2

`: A funo f : A B possui inversa esquerda se, e s se,

injetiva.

Demonstrao:
Se f injetiva, para cada y f(A) existe um nico x A, tal que y = f(x).
Escrevamos x = g(y).
Isto define uma funo g : f (A) A tal que g(f(x)) = x, para todo x A.
Completamos a definio de g : B A pondo, por exemplo, g(y) = xo (elemento que fixamos em A) para y B-f(A).
Obtemos g : B A, tal que gf = idA .
Reciprocamente, se existe g : B A tal que gf = idA , ento dados x, x em A,
f (x0 ) = f (x00 ) x0 = g(f (x0 )) = g(f (x00 )) = x
e, portanto, f injetiva.

5.2

Inversa direita

Uma funo g : B A chama-se inversa direita de uma funo f : A B

quando fg = idB : B B, ou seja, quando f(g(y)) = y, para todo y B.

5.2.1

Exemplo

Seja f : N N definida por f(x) = nmero de fatores primos distintos que

entram na composio de x.
Definamos g : N N pondo g(y) = menor nmero natural que o produto de
y fatores primos distintos.
Ento, para todo nmero natural y, temos f(g(y)) = y.
Logo, fg = idN .
Portanto, g uma inversa direita para f.

5.2.2

`: A funo f : A B possui inversa direita se, e s se,

sobrejetiva.

Demonstrao:
()
Seja f : A B sobrejetiva.
Ento, para cada y B, o conjunto f-1 (y) no vazio.
Escolhamos, para cada y B, um x A, tal que f(x) = y e ponhamos g(y) =
x.
Isto define uma funo g : B A tal que f(g(x)) = y.
Logo, g uma inversa direita de f.
()
Reciprocamente, se existe g : B A com fg = idB .
Ento para cada y B, pondo x = g(y), temos f(x) = f(g(y)) = y.
Logo, f sobrejetiva.

5.3

Funo Inversa

Uma funo g : B A chama-se inversa da funo f : A B quando gf =

idA e fg = idB .
Isto , quando g inversa esquerda e direita para f.