Escolar Documentos
Profissional Documentos
Cultura Documentos
Aula 10
13 de junho de 2012
Aula 9
Matemtica Bsica
Funes montonas
Aula 9
Matemtica Bsica
Funo crescente
Definio
Dizemos que uma funo f : D C
um subconjunto S de D se
x1 , x2 S,
Aula 9
x1 < x2
crescente
em
Matemtica Bsica
Funo crescente
Definio
Dizemos que uma funo f : D C
um subconjunto S de D se
x1 , x2 S,
Aula 9
x1 < x2
crescente
em
Matemtica Bsica
Funo crescente
Definio
Dizemos que uma funo f : D C
um subconjunto S de D se
x1 , x2 S,
x1 < x2
crescente
em
y
f (x2 )
f (x1 )
x1
Aula 9
x2
Matemtica Bsica
Funes decrescente
Definio
Dizemos que uma funo f : D C
um subconjunto S de D se
x1 , x2 S,
Aula 9
x1 < x2
decrescente
em
Matemtica Bsica
Funes decrescente
Definio
Dizemos que uma funo f : D C
um subconjunto S de D se
x1 , x2 S,
Aula 9
x1 < x2
decrescente
em
Matemtica Bsica
Funes decrescente
Definio
Dizemos que uma funo f : D C
um subconjunto S de D se
x1 , x2 S,
x1 < x2
decrescente
em
f (x1 )
f (x2 )
x1
Aula 9
x2
Matemtica Bsica
Aula 9
x1 < x2
f (x1 ) f (x2 ).
Matemtica Bsica
Aula 9
x1 < x2
f (x1 ) f (x2 ).
Matemtica Bsica
10
x1 < x2
f (x1 ) f (x2 ).
y
f (x2 )
f (x1 )
x1
Aula 9
x2
Matemtica Bsica
11
x1 < x2
f (x1 ) f (x2 ).
f (x2 )
f (x1 )
x1
Aula 9
x2
Matemtica Bsica
12
Aula 9
x1 < x2
f (x1 ) f (x2 ).
Matemtica Bsica
13
Aula 9
x1 < x2
f (x1 ) f (x2 ).
Matemtica Bsica
14
x1 < x2
f (x1 ) f (x2 ).
f (x1 )
f (x2 )
x1
Aula 9
x2
Matemtica Bsica
15
x1 < x2
f (x1 ) f (x2 ).
f (x1 )
f (x2 )
x1
Aula 9
x2
Matemtica Bsica
16
Observaes
Uma funo montona em um conjunto S uma funo que crescente,
decrescente, montona no-decrescente ou montona no-crescente
neste conjunto.
Note que toda funo crescente em um conjunto S tambm montona
no-decrescente neste conjunto e que toda funo decrescente em um
conjunto S tambm montona no-crescente neste conjunto.
Alguns autores chamam funes montonas no-decrescentes
simplesmente de funes no-decrescentes e funes montonas nocrescentes simplesmente de funes no-crescentes. Note, contudo, que
negar (por exemplo) que uma funo seja decrescente em um conjunto S
no implica necessariamente que ela seja montona no-decrescente
neste conjunto.
Uma funo estritamente montona em um conjunto S se ou ela
crescente ou ela decrescente neste conjunto.
Aula 9
Matemtica Bsica
17
Observaes
Uma funo montona em um conjunto S uma funo que crescente,
decrescente, montona no-decrescente ou montona no-crescente
neste conjunto.
Note que toda funo crescente em um conjunto S tambm montona
no-decrescente neste conjunto e que toda funo decrescente em um
conjunto S tambm montona no-crescente neste conjunto.
Alguns autores chamam funes montonas no-decrescentes
simplesmente de funes no-decrescentes e funes montonas nocrescentes simplesmente de funes no-crescentes. Note, contudo, que
negar (por exemplo) que uma funo seja decrescente em um conjunto S
no implica necessariamente que ela seja montona no-decrescente
neste conjunto.
Uma funo estritamente montona em um conjunto S se ou ela
crescente ou ela decrescente neste conjunto.
Aula 9
Matemtica Bsica
18
Observaes
Uma funo montona em um conjunto S uma funo que crescente,
decrescente, montona no-decrescente ou montona no-crescente
neste conjunto.
Note que toda funo crescente em um conjunto S tambm montona
no-decrescente neste conjunto e que toda funo decrescente em um
conjunto S tambm montona no-crescente neste conjunto.
Alguns autores chamam funes montonas no-decrescentes
simplesmente de funes no-decrescentes e funes montonas nocrescentes simplesmente de funes no-crescentes. Note, contudo, que
negar (por exemplo) que uma funo seja decrescente em um conjunto S
no implica necessariamente que ela seja montona no-decrescente
neste conjunto.
Uma funo estritamente montona em um conjunto S se ou ela
crescente ou ela decrescente neste conjunto.
Aula 9
Matemtica Bsica
19
Observaes
Uma funo montona em um conjunto S uma funo que crescente,
decrescente, montona no-decrescente ou montona no-crescente
neste conjunto.
Note que toda funo crescente em um conjunto S tambm montona
no-decrescente neste conjunto e que toda funo decrescente em um
conjunto S tambm montona no-crescente neste conjunto.
Alguns autores chamam funes montonas no-decrescentes
simplesmente de funes no-decrescentes e funes montonas nocrescentes simplesmente de funes no-crescentes. Note, contudo, que
negar (por exemplo) que uma funo seja decrescente em um conjunto S
no implica necessariamente que ela seja montona no-decrescente
neste conjunto.
Uma funo estritamente montona em um conjunto S se ou ela
crescente ou ela decrescente neste conjunto.
Aula 9
Matemtica Bsica
20
Observaes
Uma funo montona em um conjunto S uma funo que crescente,
decrescente, montona no-decrescente ou montona no-crescente
neste conjunto.
Note que toda funo crescente em um conjunto S tambm montona
no-decrescente neste conjunto e que toda funo decrescente em um
conjunto S tambm montona no-crescente neste conjunto.
Alguns autores chamam funes montonas no-decrescentes
simplesmente de funes no-decrescentes e funes montonas nocrescentes simplesmente de funes no-crescentes. Note, contudo, que
negar (por exemplo) que uma funo seja decrescente em um conjunto S
no implica necessariamente que ela seja montona no-decrescente
neste conjunto.
Uma funo estritamente montona em um conjunto S se ou ela
crescente ou ela decrescente neste conjunto.
Aula 9
Matemtica Bsica
21
Observaes
Uma funo montona em um conjunto S uma funo que crescente,
decrescente, montona no-decrescente ou montona no-crescente
neste conjunto.
Note que toda funo crescente em um conjunto S tambm montona
no-decrescente neste conjunto e que toda funo decrescente em um
conjunto S tambm montona no-crescente neste conjunto.
Alguns autores chamam funes montonas no-decrescentes
simplesmente de funes no-decrescentes e funes montonas nocrescentes simplesmente de funes no-crescentes. Note, contudo, que
negar (por exemplo) que uma funo seja decrescente em um conjunto S
no implica necessariamente que ela seja montona no-decrescente
neste conjunto.
Uma funo estritamente montona em um conjunto S se ou ela
crescente ou ela decrescente neste conjunto.
Aula 9
Matemtica Bsica
22
Observaes
Uma funo montona em um conjunto S uma funo que crescente,
decrescente, montona no-decrescente ou montona no-crescente
neste conjunto.
Note que toda funo crescente em um conjunto S tambm montona
no-decrescente neste conjunto e que toda funo decrescente em um
conjunto S tambm montona no-crescente neste conjunto.
Alguns autores chamam funes montonas no-decrescentes
simplesmente de funes no-decrescentes e funes montonas nocrescentes simplesmente de funes no-crescentes. Note, contudo, que
negar (por exemplo) que uma funo seja decrescente em um conjunto S
no implica necessariamente que ela seja montona no-decrescente
neste conjunto.
Uma funo estritamente montona em um conjunto S se ou ela
crescente ou ela decrescente neste conjunto.
Aula 9
Matemtica Bsica
23
Observaes
Uma funo montona em um conjunto S uma funo que crescente,
decrescente, montona no-decrescente ou montona no-crescente
neste conjunto.
Note que toda funo crescente em um conjunto S tambm montona
no-decrescente neste conjunto e que toda funo decrescente em um
conjunto S tambm montona no-crescente neste conjunto.
Alguns autores chamam funes montonas no-decrescentes
simplesmente de funes no-decrescentes e funes montonas nocrescentes simplesmente de funes no-crescentes. Note, contudo, que
negar (por exemplo) que uma funo seja decrescente em um conjunto S
no implica necessariamente que ela seja montona no-decrescente
neste conjunto.
Uma funo estritamente montona em um conjunto S se ou ela
crescente ou ela decrescente neste conjunto.
Aula 9
Matemtica Bsica
24
Observaes
Existem funes que no so montonas. Por exemplo, a funo descrita
na figura abaixo no montona no conjunto S = [1, 4]. Contudo, ela
montona em [1, 0], em [0, 1], em [1, 3] e em [3, 4].
y
40
20
x
2
20
Aula 9
Matemtica Bsica
25
Observaes
Existem funes que no so montonas. Por exemplo, a funo descrita
na figura abaixo no montona no conjunto S = [1, 4]. Contudo, ela
montona em [1, 0], em [0, 1], em [1, 3] e em [3, 4].
y
40
20
x
2
20
Aula 9
Matemtica Bsica
26
Observaes
Existem funes que no so montonas. Por exemplo, a funo descrita
na figura abaixo no montona no conjunto S = [1, 4]. Contudo, ela
montona em [1, 0], em [0, 1], em [1, 3] e em [3, 4].
y
40
20
x
2
20
Aula 9
Matemtica Bsica
27
Observaes
Existem funes que no so montonas. Por exemplo, a funo descrita
na figura abaixo no montona no conjunto S = [1, 4]. Contudo, ela
montona em [1, 0], em [0, 1], em [1, 3] e em [3, 4].
y
40
20
x
2
20
Aula 9
Matemtica Bsica
28
Observaes
Existem funes que no so montonas. Por exemplo, a funo descrita
na figura abaixo no montona no conjunto S = [1, 4]. Contudo, ela
montona em [1, 0], em [0, 1], em [1, 3] e em [3, 4].
y
40
20
x
2
20
Aula 9
Matemtica Bsica
29
Observaes
Existem funes que no so montonas. Por exemplo, a funo descrita
na figura abaixo no montona no conjunto S = [1, 4]. Contudo, ela
montona em [1, 0], em [0, 1], em [1, 3] e em [3, 4].
y
40
20
x
2
20
Aula 9
Matemtica Bsica
30
Observaes
Existem funes que no so montonas. Por exemplo, a funo descrita
na figura abaixo no montona no conjunto S = [1, 4]. Contudo, ela
montona em [1, 0], em [0, 1], em [1, 3] e em [3, 4].
y
40
20
x
2
20
Aula 9
Matemtica Bsica
31
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
32
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
33
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
34
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
35
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
36
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
37
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
38
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
39
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
40
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
41
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
42
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
43
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
44
Exemplo
Mostre que a funo y = f (x) = x 2 crescente no intervalo S = [0, +).
Demonstrao. Sejam x1 , x2 S = [0, +), com x1 < x2 . Com estas condies, vale
que x2 > 0 e
x2 x1 > 0.
Como x1 0 e x2 > 0, segue-se que
x2 + x1 > 0.
Como o produto de dois nmeros reais positivos ainda um nmero real positivo, temos
que
(x2 x1 )(x2 + x1 ) > 0.
Sendo assim,
x22 x12 > 0
e, consequentemente,
x22 > x12 ,
isto , f (x2 ) > f (x1 ). Mostramos ento que x1 , x2 S, x1 < x2 f (x1 ) < f (x2 ). Logo, f
uma funo crescente em S.
Aula 9
Matemtica Bsica
45
f: R R
x
7 f (x) =
2x
x2 + 1
1 1(ln(2))2
1+ 1(ln(2))2
,
=
(,
0.402806113
.
.
.]
e
,
+
= [2.482583968 . . . , +).
ln(2)
ln(2)
Aula 9
Matemtica Bsica
46
f: R R
x
7 f (x) =
2x
x2 + 1
1 1(ln(2))2
1+ 1(ln(2))2
,
=
(,
0.402806113
.
.
.]
e
,
+
= [2.482583968 . . . , +).
ln(2)
ln(2)
Aula 9
Matemtica Bsica
47
f: R R
x
7 f (x) =
2x
x2 + 1
1 1(ln(2))2
1+ 1(ln(2))2
,
+
= [2.482583968 . . . , +).
,
=
(,
0.402806113
.
.
.]
e
ln(2)
ln(2)
Aula 9
Matemtica Bsica
48
f: R R
x
7 f (x) =
2x
x2 + 1
1 1(ln(2))2
1+ 1(ln(2))2
,
=
(,
0.402806113
.
.
.]
e
,
+
= [2.482583968 . . . , +).
ln(2)
ln(2)
Aula 9
Matemtica Bsica
49
f: R R
x
7 f (x) =
2x
x2 + 1
1 1(ln(2))2
1+ 1(ln(2))2
,
=
(,
0.402806113
.
.
.]
e
,
+
= [2.482583968 . . . , +).
ln(2)
ln(2)
Aula 9
Matemtica Bsica
50
f: R R
x
7 f (x) =
2x
x2 + 1
1 1(ln(2))2
1+ 1(ln(2))2
,
=
(,
0.402806113
.
.
.]
e
,
+
= [2.482583968 . . . , +).
ln(2)
ln(2)
Aula 9
Matemtica Bsica
51
7 f (x) =
2x
+1
x2
y
4
3
2
1
Aula 9
Matemtica Bsica
52
Aula 9
Matemtica Bsica
53
Funes injetivas
Definio
Dizemos que f : D C injetiva se elementos diferentes de D
so transformados por f em elementos diferentes em C, isto ,
se x1 , x2 D, com x1 6= x2 , tem-se f (x1 ) 6= f (x2 ).
Forma equivalente (usando a contrapositiva): f : D C
injetiva se x1 , x2 D, com f (x1 ) = f (x2 ), tem-se x1 = x2 .
Aula 9
Matemtica Bsica
54
Funes injetivas
Definio
Dizemos que f : D C injetiva se elementos diferentes de D
so transformados por f em elementos diferentes em C, isto ,
se x1 , x2 D, com x1 6= x2 , tem-se f (x1 ) 6= f (x2 ).
Forma equivalente (usando a contrapositiva): f : D C
injetiva se x1 , x2 D, com f (x1 ) = f (x2 ), tem-se x1 = x2 .
Aula 9
Matemtica Bsica
55
Funes injetivas
Definio
Dizemos que f : D C injetiva se elementos diferentes de D
so transformados por f em elementos diferentes em C, isto ,
se x1 , x2 D, com x1 6= x2 , tem-se f (x1 ) 6= f (x2 ).
Forma equivalente (usando a contrapositiva): f : D C
injetiva se x1 , x2 D, com f (x1 ) = f (x2 ), tem-se x1 = x2 .
Aula 9
Matemtica Bsica
56
Funes injetivas
Definio
Dizemos que f : D C injetiva se elementos diferentes de D
so transformados por f em elementos diferentes em C, isto ,
se x1 , x2 D, com x1 6= x2 , tem-se f (x1 ) 6= f (x2 ).
Forma equivalente (usando a contrapositiva): f : D C
injetiva se x1 , x2 D, com f (x1 ) = f (x2 ), tem-se x1 = x2 .
Aula 9
Matemtica Bsica
57
Funes injetivas
Aula 9
Matemtica Bsica
58
Funes injetivas
Aula 9
Matemtica Bsica
59
Funes injetivas
Aula 9
Matemtica Bsica
60
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) 2 x1 + 1 = 2 x2 + 1 2 x1 = 2 x2 x1 = x2 .
Aula 9
Matemtica Bsica
61
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) 2 x1 + 1 = 2 x2 + 1 2 x1 = 2 x2 x1 = x2 .
Aula 9
Matemtica Bsica
62
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) 2 x1 + 1 = 2 x2 + 1 2 x1 = 2 x2 x1 = x2 .
Aula 9
Matemtica Bsica
63
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) 2 x1 + 1 = 2 x2 + 1 2 x1 = 2 x2 x1 = x2 .
Aula 9
Matemtica Bsica
64
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) 2 x1 + 1 = 2 x2 + 1 2 x1 = 2 x2 x1 = x2 .
Aula 9
Matemtica Bsica
65
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) 2 x1 + 1 = 2 x2 + 1 2 x1 = 2 x2 x1 = x2 .
Aula 9
Matemtica Bsica
66
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) 2 x1 + 1 = 2 x2 + 1 2 x1 = 2 x2 x1 = x2 .
Aula 9
Matemtica Bsica
67
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) 2 x1 + 1 = 2 x2 + 1 2 x1 = 2 x2 x1 = x2 .
Aula 9
Matemtica Bsica
68
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
69
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
70
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
71
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
72
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
73
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
74
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
75
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
76
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
77
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
78
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
79
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
80
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
81
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
82
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
83
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
84
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
85
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
86
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
87
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
88
Exerccio
Mostre que a funo f : [0, +) R definida por y = f (x) = x 2 injetiva.
Demonstrao. Sejam x1 , x2 R tais que
f (x1 ) = f (x2 ).
Temos que
f (x1 ) = f (x2 ) x12 = x22 x12 x22 = 0 (x1 x2 )(x1 + x2 ) = 0.
Assim, x1 x2 = 0 ou x1 + x2 = 0, isto , x1 = x2 ou x1 = x2 . No caso em que
x1 = x2 , como x1 0 e x2 0, conclumos que obrigatoriamente x1 = 0 e x2 = 0. Em
particular, x1 = x2 .
Aula 9
Matemtica Bsica
89
Funes sobrejetivas
Definio
Dizemos que f : D C sobrejetiva se sua imagem igual
ao seu contradomnio, isto , se para todo y C, pode-se
encontrar (pelo menos) um elemento x D tal que f (x) = y .
Aula 9
Matemtica Bsica
90
Funes sobrejetivas
Definio
Dizemos que f : D C sobrejetiva se sua imagem igual
ao seu contradomnio, isto , se para todo y C, pode-se
encontrar (pelo menos) um elemento x D tal que f (x) = y .
Aula 9
Matemtica Bsica
91
Funes sobrejetivas
Definio
Dizemos que f : D C sobrejetiva se sua imagem igual
ao seu contradomnio, isto , se para todo y C, pode-se
encontrar (pelo menos) um elemento x D tal que f (x) = y .
Aula 9
Matemtica Bsica
92
Funes sobrejetivas
Aula 9
Matemtica Bsica
93
Funes sobrejetivas
Aula 9
Matemtica Bsica
94
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
95
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
96
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
97
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
98
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
99
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
100
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
101
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
102
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
103
Exemplo
Mostre que a funo f : R R definida por y = f (x) = 2 x + 1 sobrejetiva.
Demonstrao. Seja y R. Observe que
f (x) = y 2 x + 1 = y 2 x = y 1 x =
y 1
.
2
Aula 9
Matemtica Bsica
104
Ateno!
Mostrar que a funo f : [0, +) [0, +) definida por y = f (x) = x 2 sobrejetiva
Aula 9
Matemtica Bsica
105
Ateno!
Mostrar que a funo f : [0, +) [0, +) definida por y = f (x) = x 2 sobrejetiva
Aula 9
Matemtica Bsica
106
Ateno!
Mostrar que a funo f : [0, +) [0, +) definida por y = f (x) = x 2 sobrejetiva
Aula 9
Matemtica Bsica
107
Funes bijetivas
Definio
Dizemos que f : D C bijetiva se ela injetiva e sobrejetiva.
Aula 9
Matemtica Bsica
108
Funes bijetivas
Definio
Dizemos que f : D C bijetiva se ela injetiva e sobrejetiva.
Aula 9
Matemtica Bsica
109
Funes bijetivas
f: R R
bijetiva.
x 7 f (x) = 2 x + 1
Aula 9
Matemtica Bsica
110
Funes bijetivas
f: R R
bijetiva.
x 7 f (x) = 2 x + 1
Aula 9
Matemtica Bsica
111
Funes bijetivas
f: R R
bijetiva.
x 7 f (x) = 2 x + 1
Aula 9
Matemtica Bsica
112
Funes bijetivas
f: R R
no bijetiva, pois no injetiva e nem sobrejetiva.
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
113
Funes bijetivas
f: R R
no bijetiva, pois no injetiva e nem sobrejetiva.
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
114
Funes bijetivas
f: R R
no bijetiva, pois no injetiva e nem sobrejetiva.
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
115
Funes bijetivas
f: R R
no bijetiva, pois no injetiva e nem sobrejetiva.
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
116
Funes bijetivas
f : R [0, +)
no bijetiva, pois no injetiva (mas sobrejetiva).
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
117
Funes bijetivas
f : R [0, +)
no bijetiva, pois no injetiva (mas sobrejetiva).
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
118
Funes bijetivas
f : R [0, +)
no bijetiva, pois no injetiva (mas sobrejetiva).
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
119
Funes bijetivas
f : R [0, +)
no bijetiva, pois no injetiva (mas sobrejetiva).
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
120
Funes bijetivas
f : [0, +) [0, +)
bijetiva.
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
121
Funes bijetivas
f : [0, +) [0, +)
bijetiva.
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
122
Funes bijetivas
f : [0, +) [0, +)
bijetiva.
x 7 f (x) = x 2
Aula 9
Matemtica Bsica
123
Composio de funes
Aula 9
Matemtica Bsica
124
Composio de funes
Definio
Sejam f : Df Cf e g : Dg Cg duas funes reais tais que Cg Df .
A composio de f e g a funo f g : Dg Cf definida por:
(f g)(x) = f (g(x)).
Aula 9
Matemtica Bsica
125
Composio de funes
Definio
Sejam f : Df Cf e g : Dg Cg duas funes reais tais que Cg Df .
A composio de f e g a funo f g : Dg Cf definida por:
(f g)(x) = f (g(x)).
(entrada)
Aula 9
(sada)
Matemtica Bsica
126
Composio de funes
Definio
Sejam f : Df Cf e g : Dg Cg duas funes reais tais que Cg Df .
A composio de f e g a funo f g : Dg Cf definida por:
(f g)(x) = f (g(x)).
(entrada)
Aula 9
(sada)
Matemtica Bsica
127
Exemplo
f (x) = x 2 + 3,
g(x) =
x.
Aula 9
Matemtica Bsica
128
Exemplo
f (x) = x 2 + 3,
g(x) =
x.
Aula 9
Matemtica Bsica
129
Exemplo
f (x) = x 2 + 3,
g(x) =
x.
Aula 9
Matemtica Bsica
130
Exemplo
f (x) = x 2 + 3,
g(x) =
x.
Aula 9
Matemtica Bsica
131
Exemplo
f (x) = x 2 + 3,
g(x) =
x.
Aula 9
Matemtica Bsica
132
Exemplo
f (x) = x 2 + 3,
g(x) =
x.
Aula 9
Matemtica Bsica
133
Exemplo
f (x) = x 2 + 3,
g(x) =
Aula 9
x.
p
x 2 + 3.
Matemtica Bsica
134
Exemplo
f (x) = x 2 + 3,
g(x) =
Aula 9
x.
p
x 2 + 3.
Matemtica Bsica
135
Exemplo
f (x) = x 2 + 3,
g(x) =
Aula 9
x.
p
x 2 + 3.
Matemtica Bsica
136
Exemplo
f (x) = x 2 + 3,
g(x) =
Aula 9
x.
p
x 2 + 3.
Matemtica Bsica
137
Exemplo
f (x) = x 2 + 3,
(f g)(x) = x + 3,
g(x) =
(g f )(x) =
x.
p
x 2 + 3.
Aula 9
Matemtica Bsica
138
Identificando composies
onde
f (x) = x 10
Aula 9
g(x) = x 2 + 1.
Matemtica Bsica
139
Identificando composies
onde
f (x) = x 10
Aula 9
g(x) = x 2 + 1.
Matemtica Bsica
140
Identificando composies
onde
f (x) = tg(x)
Aula 9
g(x) = x 5 .
Matemtica Bsica
141
Identificando composies
onde
f (x) = tg(x)
Aula 9
g(x) = x 5 .
Matemtica Bsica
142
Identificando composies
h(x) =
4 3 x = (f g)(x)
onde
f (x) =
Aula 9
g(x) = 4 3 x.
Matemtica Bsica
143
Identificando composies
h(x) =
4 3 x = (f g)(x)
onde
f (x) =
Aula 9
g(x) = 4 3 x.
Matemtica Bsica
144
Identificando composies
h(x) = 8 +
x = (f g)(x)
onde
f (x) = 8 + x
Aula 9
g(x) =
x.
Matemtica Bsica
145
Identificando composies
h(x) = 8 +
x = (f g)(x)
onde
f (x) = 8 + x
Aula 9
g(x) =
x.
Matemtica Bsica
146
Identificando composies
onde
f (x) = 1/x
Aula 9
g(x) = x + 1.
Matemtica Bsica
147
Identificando composies
onde
f (x) = 1/x
Aula 9
g(x) = x + 1.
Matemtica Bsica
148
Funes inversveis
Aula 9
Matemtica Bsica
149
Funes inversveis
Definio
Dizemos que uma funo f : D C inversvel se existe
funo g : C D tal que
(g f )(x) = g(f (x)) = x,
para todo x D
(f g)(x) = f (g(x)) = x,
para todo x C.
Aula 9
Matemtica Bsica
150
Funes inversveis
Definio
Dizemos que uma funo f : D C inversvel se existe
funo g : C D tal que
(g f )(x) = g(f (x)) = x,
para todo x D
(f g)(x) = f (g(x)) = x,
para todo x C.
Aula 9
Matemtica Bsica
151
Exemplo
Aula 9
Matemtica Bsica
152
Exemplo
Aula 9
Matemtica Bsica
153
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
154
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
155
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
156
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
157
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
158
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
159
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
160
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
161
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
162
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
163
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
164
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
165
Exemplo
A funo
f: D=R C =R
x 7 y = f (x) = 2 x + 1
inversvel, pois
g: C = R D = R
x 7 y = g(x) = (x 1)/2
tal que
(g f )(x) = g(f (x)) = g(2 x + 1) = ((2 x + 1) 1)/2 = x,
x D = R
e
(f g)(x) = f (g(x)) = f ((x 1)/2) = 2((x 1)/2) + 1 = x, x C = R.
Podemos ento escrever que f 1 (x) = g(x) = (x 1)/2.
Aula 9
Matemtica Bsica
166
Cuidado
Cuidado!
f 1 (x)
(f (x))1
Aula 9
Matemtica Bsica
167
Cuidado
Cuidado!
f 1 (x)
(f (x))1
Aula 9
Matemtica Bsica
168
Cuidado
Cuidado!
f 1 (x)
(f (x))1
Aula 9
Matemtica Bsica
169
Cuidado
Cuidado!
f 1 (x)
(f (x))1
Aula 9
Matemtica Bsica
170
Cuidado
Cuidado!
f 1 (x)
(f (x))1
Aula 9
Matemtica Bsica
171
Proposio
Proposio
f : D C uma funo inversvel se, e somente se, f bijetiva,
isto , se, e somente se,
1. f injetiva: se x1 D, x2 D e x1 6= x2 , ento f (x1 ) 6= f (x2 )
e, ao mesmo tempo,
2. f sobrejetiva: para todo y C, existe pelo menos um
x D tal que f (x) = y .
Aula 9
Matemtica Bsica
172
Proposio
Proposio
f : D C uma funo inversvel se, e somente se, f bijetiva,
isto , se, e somente se,
1. f injetiva: se x1 D, x2 D e x1 6= x2 , ento f (x1 ) 6= f (x2 )
e, ao mesmo tempo,
2. f sobrejetiva: para todo y C, existe pelo menos um
x D tal que f (x) = y .
Aula 9
Matemtica Bsica
173
Proposio
Proposio
f : D C uma funo inversvel se, e somente se, f bijetiva,
isto , se, e somente se,
1. f injetiva: se x1 D, x2 D e x1 6= x2 , ento f (x1 ) 6= f (x2 )
e, ao mesmo tempo,
2. f sobrejetiva: para todo y C, existe pelo menos um
x D tal que f (x) = y .
Aula 9
Matemtica Bsica
174
Proposio
Proposio
f : D C uma funo inversvel se, e somente se, f bijetiva,
isto , se, e somente se,
1. f injetiva: se x1 D, x2 D e x1 6= x2 , ento f (x1 ) 6= f (x2 )
e, ao mesmo tempo,
2. f sobrejetiva: para todo y C, existe pelo menos um
x D tal que f (x) = y .
Aula 9
Matemtica Bsica
175
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
176
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
177
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
178
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
179
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
180
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
181
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
182
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
183
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
184
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
185
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
186
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
187
Demonstrao: ()
Se f : D C inversvel, ento existe uma funo g : C D tal que
x D, (g f )(x) = g(f (x)) = x e x C, (f g)(x) = f (g(x)) = x.
Suponha, por absurdo, que f no seja injetiva. Ento existem x1 , x2
D tais que x1 6= x2 e f (x1 ) = f (x2 ). Mas, se f (x1 ) = f (x2 ), ento
g(f (x1 )) = g(f (x2 )), isto , x1 = x2 , uma contradio. Assim f : D C
injetiva.
Seja y C. Se x = g(y ), ento f (x) = f (g(y )) = y . Isso mostra que
f : D C sobrejetiva.
Como f : D C injetiva e sobrejetiva, segue-se que f : D C
bijetiva.
Aula 9
Matemtica Bsica
188
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
189
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
190
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
191
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
192
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
193
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
194
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
195
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
196
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
197
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
198
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
199
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
200
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
201
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
202
Demonstrao: ()
Como f : D C sobrejetiva, para todo y C, existe x
D tal que f (x) = y . Mais ainda: como f injetiva, esse x
nico. Considere ento a funo g : C D definida por g(y ) =
x = o nico elemento de D tal que f (x) = y . Observe que g(f (x)) =
g(y ) = x, x D e f (g(y )) = f (x) = y , y C. Sendo assim, f
inversvel e sua inversa f 1 = g.
Aula 9
Matemtica Bsica
203
Observaes
Provar que uma funo inversvel pode no ser uma tarefa fcil
seja com a definio, seja com a proposio anterior.
A disciplina de Clculo ensinar novas ferramentas para estudar se
uma funo inversvel (localmente).
Aula 9
Matemtica Bsica
204
Observaes
Provar que uma funo inversvel pode no ser uma tarefa fcil
seja com a definio, seja com a proposio anterior.
A disciplina de Clculo ensinar novas ferramentas para estudar se
uma funo inversvel (localmente).
Aula 9
Matemtica Bsica
205
Observaes
Provar que uma funo inversvel pode no ser uma tarefa fcil
seja com a definio, seja com a proposio anterior.
A disciplina de Clculo ensinar novas ferramentas para estudar se
uma funo inversvel (localmente).
Aula 9
Matemtica Bsica
206
Observaes
Provar que uma funo inversvel pode no ser uma tarefa fcil
seja com a definio, seja com a proposio anterior.
A disciplina de Clculo ensinar novas ferramentas para estudar se
uma funo inversvel (localmente).
Aula 9
Matemtica Bsica
207
Observaes
Provar que uma funo inversvel pode no ser uma tarefa fcil
seja com a definio, seja com a proposio anterior.
A disciplina de Clculo ensinar novas ferramentas para estudar se
uma funo inversvel (localmente).
Aula 9
Matemtica Bsica
208
Aula 9
Matemtica Bsica
209
Aula 9
Matemtica Bsica
210
Aula 9
Matemtica Bsica
211
Aula 9
Matemtica Bsica
212
Aula 9
Matemtica Bsica
213
Aula 9
Matemtica Bsica
214
Aula 9
Matemtica Bsica
215
Aula 9
Matemtica Bsica
216
Aula 9
Matemtica Bsica
217
Aula 9
Matemtica Bsica
218
Aula 9
Matemtica Bsica
219
Aula 9
Matemtica Bsica
220
Aula 9
Matemtica Bsica
221
Aula 9
Matemtica Bsica
222
Aula 9
Matemtica Bsica
223
Aula 9
Matemtica Bsica
224
Aula 9
Matemtica Bsica
225
Aula 9
Matemtica Bsica
226
Aula 9
Matemtica Bsica
227
Aula 9
Matemtica Bsica
228
Aula 9
Matemtica Bsica
229
Aula 9
Matemtica Bsica
230
Aula 9
Matemtica Bsica
231
Aula 9
Matemtica Bsica
232
Aula 9
Matemtica Bsica
233
Aula 9
Matemtica Bsica
234
Aula 9
Matemtica Bsica
235