Combinacoes de Funcoes Contnuas

MODULO
1 - AULA 15

Aula 15 Combinac
oes de Fun
c
oes Contnuas
Metas da aula: Estabelecer os principais fatos sobre operacoes com
funcoes contnuas bem como sobre composicao dessas funcoes.

Objetivos: Ao final desta aula, voce devera ser capaz de:

Conhecer os resultados sobre operacoes com funcoes contnuas e sobre
composicao dessas funcoes, bem como suas aplicacoes no estabelecimento da continuidade de funcoes.

Introduc
ao
Nesta aula vamos estabelecer os principais resultados sobre operacoes
com funcoes contnuas assim como sobre a composicao dessas funcoes.

Operac
oes com Func
oes Contnuas
Seja X R, sejam f e g funcoes de X em R e seja c R. Vamos
iniciar esta aula estabelecendo a preservacao da continuidade pelas operacoes
de soma f + g, diferenca f g, produto f g, multiplicacao por constante cf ,
e, quando g(x) 6= 0 para todo x X, do quociente f /g. Subsequentemente,
vamos analisar a questao sobre a continuidade da composicao de funcoes
contnuas.
Teorema 15.1
Sejam X R, f, g : X R, c R. Suponhamos que f e g sao contnuas
em x X.
(i) Entao f + g, f g, f g e cf sao contnuas em x.
(ii) Se g(x) 6= 0 para todo x X, entao o quociente f /g e contnua em x.
Prova: Se x nao e um ponto de acumulacao de X, entao a conclusao e
automatica. Portanto, vamos assumir que x e um ponto de acumulacao de
X.
(i) Como f e g sao contnuas em x, entao
lim f (x) = f (
x),

x
x

lim g(x) = g(
x).

x
x

189

CEDERJ

Combinacoes de Funcoes Contnuas

ANALISE
REAL
Logo, segue do Teorema 13.2 que
lim (f + g) = lim f + lim g = f (
x) + g(
x).

x
x

x
x

x
x

Portanto, f +g e contnua em x. De forma inteiramente semelhante, provamos

que f g, f g e cf sao contnuas em x.
(ii) Do mesmo modo, se g(x) 6= 0 para todo x X, o Teorema 13.2 implica
que
  lim f
 
f
f (
x)
f
x
x
lim
=
=
=
(
x).
x
x
g
lim g
g(
x)
g
x
x

Portanto, f /g e contnua em x.

O proximo resultado e uma consequencia imediata do Teorema 15.1,

aplicado a todo ponto de X.
Teorema 15.2
Sejam X R, f, g : X R funcoes contnuas em X, e c R.
(i) As funcoes f + g, f g, f g e cf sao contnuas em X.
(ii) Se g(x) 6= 0 para todo x X, entao a funcao quociente f /g e contnua
em X.
Observac
ao 15.1
Para definir funcoes quocientes, `as vezes e mais conveniente proceder do
seguinte modo. Se g : X R, seja X := {x X : g(x) 6= 0}. Podemos
definir o quociente f /g no conjunto X por
 
f
f (x)
(x) :=
para x X .
(15.1)
g
g(x)
Se g e contnua num ponto x X , claramente a restricao g de g a X
tambem e contnua em x. Portanto, segue do Teorema 15.1 aplicado a g
que f /g e contnua em x. Como (f /g)(x) = (f /g)(x) para x X segue
que f /g e contnua em x X . Similarmente, se f e g sao contnuas em X,
entao a funcao f /g, definida em X por (15.1), e contnua em X .
Exemplos 15.1
(a) Se p e uma funcao polinomial, de modo que p(x) = an xn + an1 xn1 +
+ a1 x + a0 para todo x R, entao segue do Exemplo 13.1 (e) que
lim p(x) = p(
x) para todo x X. Portanto, uma funcao polinomial e
x
x
contnua em R.
CEDERJ

190

Combinacoes de Funcoes Contnuas

MODULO
1 - AULA 15

(b) Se p e q sao funcoes polinomiais em R, entao existe no maximo um

n
umero finito de razes de q, 1 , . . . , m . Se x
/ {1 , . . . , m }, entao
q(x)
/ 0 de modo que podemos definir a funcao racional r por
r(x) :=

p(x)
q(x)

para x
/ {1 , . . . , m }.

Vimos no Exemplo 13.1 (f) que se q(

x) 6= 0, entao
f (x)
f (
x)
=
= r(
x).
x
x g(x)
g(
x)

lim r(x) = lim

x
x

Portanto, r e contnua em x. Assim, conclumos que uma funcao

racional e contnua em todo n
umero real para o qual ela esta definida.
(c) Consideremos a serie s(x) :=
Raiz 11.4 que s converge se

an xn para x R. Segue do Teste da

|x| lim |an |1/n < 1.

Suponhamos que existe := lim |an |1/n em R. Facamos
R :=

se 6= 0 e R := + se = 0.

O n
umero R assim definido e chamado o raio de convergencia de s(x).
P
Defina s(x) :=
an xn para todo x X := (R, R) R. Entao a
funcao s(x) e contnua em todo x X.
De fato, seja dado > 0. Tomemos 1 > 0 e r > 0 tais que R < r <
P
x 1 < x < x + 1 < r < R. Como
an r n converge, podemos obter
N N tal que

an r n < .
3
n=N +1
Assim temos

 


 X
  X

X
2


n
n
an x  + 
an x  2
an r n <


 

3
n=N +1
n=N +1
n=N +1

para todo x X tal que |x x| < 1 . Agora p(x) :=

N
P

an xn e uma

n=1

funcao polinomial e, portanto, pelo item (a) e contnua em todo x R.

Logo, existe 2 tal que se |x x| < 2 , entao

|p(x) p(
x)| < .
3
191

CEDERJ

Combinacoes de Funcoes Contnuas

ANALISE
REAL
Tomemos := min{1 , 2 }. Entao se |x x| < , temos

 

 X
  X




n
n
|s(x) s(
x)| |p(x) p(
x)| + 
an x  + 
an x 

 

n=N +1

<

n=N +1

2
+
= .
3
3

Como > 0 e arbitrario, conclumos que s(x) e contnua em x para

todo x X.

(1)k
P
(1)k 2k+1
x
e c(x) :=
x2k .
(2k
+
1)!
(2k)!
k=0
k=0
(1)k
(1)k
facil ver
Facamos ak :=
e bk :=
para k = 0, 1, 2, . . . . E
(2k + 1)!
(2k)!
que
|ak+1|
|bk+1 |
lim
= 0 e lim
= 0.
|ak |
|bk |

(d) Consideremos as series s(x) :=

Assim, deduzimos pelo Exemplo 11.2 (c) que

lim |ak |1/k = 0 e

lim |bk |1/k = 0.

Portanto, ambas as series s(x) e c(x) possuem raio de convergencia

igual a +. Portanto, podemos definir as funcoes
s(x) :=

X
(1)k 2k+1
x
(2k + 1)!
k=0

e c(x) :=

X
(1)k
k=0

(2k)!

x2k

para todo x R.

Vamos ver em aula futura que, de fato, temos

s(x) = sen(x) e c(x) = cos(x)

para todo x R.

Do item anterior segue entao que sen(x) e cos(x) sao funcoes contnuas
em R.
possvel provar analiticamente que vale a classica interpretacao geometrica
(e) E
para sen x e cos x. (Veja Figura 15.1.) Dessa interpretacao geometrica
vemos facilmente que valem
| sen x| |x| e

sen2 x + cos2 x = 1 para todo x R.

Da segunda relacao, segue imediatamente que | sen x| 1 e | cos x| 1.

Alem disso, valem as formulas




xy
x+y
sen x sen y = 2 sen
cos
,
2
2




x+y
xy
cos x cos y = 2 sen
sen
.
2
2
CEDERJ

192

Combinacoes de Funcoes Contnuas

MODULO
1 - AULA 15

Portanto, se x R, entao temos

1
| sen x sen x| 2 |x x| 1 = |x x|.
2
Isto nos da uma outra maneira de mostrar a continuidade de sen x para
todo x R.
Da mesma forma,
1
| cos x cos x| 2 1 |x x| = |x x|,
2
o que tambem nos da uma outra prova da continuidade de cos x para
todo x R.
sen x

cos x
x

raio = 1

Figura 15.1: A interpretacao geometrica de sen x e cos x.

Composic
ao de Func
oes Contnuas
Vamos agora mostrar que se f : X R e contnua num ponto x e
se g : Y R e contnua em y := f (
x), entao a composta g f e contnua
em x. Para que tenhamos g f definida em todo X, e preciso tambem que
f (X) Y .
Teorema 15.3
Sejam X, Y R e sejam f : X R e g : Y R funcoes tais que f (X) Y .
Se f e contnua num ponto x X e g e contnua em y := f (
x) Y , entao a
funcao composta g f : X R e contnua em x.
193

CEDERJ

Combinacoes de Funcoes Contnuas

ANALISE
REAL
Prova: Seja W uma -vizinhanca de g(
y). Como g e contnua em y, existe
uma -vizinhanca V de y = f (
x) tal que se y V Y , entao g(y) W . Como
f e contnua em x, existe uma -vizinhanca U de x tal que se x U X, entao
f (x) V (Veja Figura 15.2). Como f (X) Y , segue que se x U X,
entao f (x) V Y de modo que g f (x) = g(f (x)) W . Mas como W e
uma -vizinhanca de g(
y) arbitraria, isso implica que g f e contnua em x.


V
U

y = f (
x)

g(
y)

Figura 15.2: A composicao de f e g.

O teorema seguinte e uma consequencia imediata do Teorema 15.3.

Porem vamos enuncia-lo devido `a sua importancia.
Teorema 15.4
Sejam X, Y R, f : X R contnua em X e g : Y R contnua em Y .
Se f (X) Y , entao a funcao composta g f : X R e contnua em X.
Os Teoremas 15.3 e 15.4 sao muito u
teis para estabelecer a continuidade
de certas funcoes. Eles podem ser usados em diversas situacoes em que seria
difcil aplicar a definicao de continuidade diretamente.
Exemplos 15.2
(a) Seja g(x) := |x| para x R. Segue da desigualdade triangular que
|g(x) g(
x)| |x x|
CEDERJ

194

Combinacoes de Funcoes Contnuas

MODULO
1 - AULA 15

para todo x, x R. Logo, g e contnua em todo x R. Se f : X

R R e qualquer funcao contnua em X, entao o Teorema 15.4 implica
que g f = |f | e contnua em X.

(b) Seja g(x) := x para x 0. Segue do Exemplo 7.2 (b) e do Teorema 14.2 que g e contnua em todo n
umero x 0. Se f : X R R
e contnua em X e se f (x) 0 para todo x X, entao segue do

Teorema 15.4 que g f = f e contnua em X.

(c) Seja g(x) := sen x para x R. Vimos no Exemplo 15.1 (d) que g e
contnua em R. Se f : X R R e contnua em X, entao segue do
Teorema 15.4 que g f e contnua em X.
Em particular, se f (x) := 1/x para x 6= 0, entao a funcao g f (x) =
sen(1/x) e contnua em todo ponto x 6= 0.
Exerccios 15.1
1. Determine os pontos de continuidade das seguintes funcoes e diga que
teoremas sao usados em cada caso.
x2 + 2x + 1
(x R),
x2 + 1
p

(b) f (x) := x + x (x 0),

p
1 + | sen x|
(c) f (x) :=
(x 6= 0),
x

(d) f (x) := cos 1 + x2 (x R).

(a) f (x) :=

2. Mostre que se f : X R e contnua em X R e se n N, entao a

funcao f n definida por f n (x) := (f (x))n para x X e contnua em X.
3. Seja x 7 [[x]] a funcao parte inteira. Determine os pontos de continuidade da funcao f (x) := x [[x]], x R.
4. Seja g definida em R por g(1) := 0 e g(x) = 2 se x =
6 1, e seja
f (x) := x + 1 para todo x R. Mostre que lim g f =
6 g f (0).
x0
Por que isso nao contradiz o Teorema 15.3?
5. Sejam f, g definidas em R e seja x R. Suponhamos que lim f = y e
que g e contnua em y. Mostre que lim g f = g(
y ).

x
x

x
x

6. De um exemplo de uma funcao f : [0, 1] R que e descontnua em

todo ponto de [0, 1] mas tal que |f | e contnua em [0, 1].
195

CEDERJ

Combinacoes de Funcoes Contnuas

ANALISE
REAL
7. Seja h : R R contnua em R satisfazendo h(m/2n ) = 0 para todo
m Z, n N. Mostre que h(x) = 0 para todo x R.
8. Se f e g sao contnuas em R, seja S := {x R : f (x) g(x)}. Se
(sn ) S e lim sn = s, mostre que s S.
9. Seja g : R R satisfazendo a relacao g(x + y) = g(x)g(y) para todo
x, y R. Mostre que se g e contnua em x = 0, entao g e contnua
em todo ponto de R. Alem disso, se tivermos g(x0 ) = 0 para algum
x0 R, entao g(x) = 0 para todo x R.
10. Sejam f, g : R R contnuas num ponto x R, e seja h(x) :=
max{f (x), g(x)} para x R. Mostre que h(x) = 21 (f (x) + g(x)) +
1
|f (x) g(x)| para todo x R. Use esse fato para mostrar que h e
2
contnua em x.

CEDERJ

196