Continuity of composition of continuous functions

  • #1
Mr Davis 97
1,462
44
I've learned that composition of continuous functions is continuous. ##\log x## and ##|x|## are continuous functions, but it seems that ##\log |x|## is not continuous. Is this the case?
 

Answers and Replies

  • #2
I've learned that composition of continuous functions is continuous. ##\log x## and ##|x|## are continuous functions, but it seems that ##\log |x|## is not continuous. Is this the case?

Why is ##\log|x|## not continuous?
 
  • #3
Mr Davis 97
1,462
44
Why is ##\log|x|## not continuous?
Because of the vertical asymptote at 0?
 
  • #4
Because of the vertical asymptote at 0?

But how can you apply the theorem you just stated if ##\log(x)## isn't even defined at ##x = 0##? If you start with false assumptions, surely you will get wrong results.
 
  • Like
Likes Mr Davis 97
  • #5
zwierz
334
61
I've learned that composition of continuous functions is continuous
In this theorem you must also trace carefully domains of the functions. The exact formulation is as follows. Let ##X,Y,Z## be topological spaces and ##f:X\to Y,\quad g:Y\to Z## be continuous functions. Then the function ##g\circ f:X\to Z## is a continuous function.
In your case ##f(x)=|x|,\quad g(y)=\log y,\quad X=\mathbb{R}\backslash\{0\},\quad Y=\{y\in\mathbb{R}\mid y>0\},\quad Z=\mathbb{R}##
 
  • Like
Likes member 587159
  • #6
WWGD
Science Advisor
Gold Member
6,044
7,359
I've learned that composition of continuous functions is continuous. ##\log x## and ##|x|## are continuous functions, but it seems that ##\log |x|## is not continuous. Is this the case?

But remember that the composition may not even be defined at some points, let alone be continuous. Try specifying the theorem a bit more carefully, as Zwierz , I think, suggested. EDIT: You may want to consider the inverse image of open/closed set is open/closed definition as well.
 
Last edited:
  • #7
mathwonk
Science Advisor
Homework Helper
11,389
1,613
as suggested above, it is crucial to have a complete and precise statement of a theorem, including hypotheses. in your case the theorem says roughly, if f is continuous at the point p, and if also g is continuous at (and defined on a neighborhood of) the point f(p), then gof is (defined on a neighborhood of and) continuous at the point p. try to see what the points p and f(p) are in your case that give a problem, if any.
 

Suggested for: Continuity of composition of continuous functions

Replies
18
Views
964
  • Last Post
Replies
3
Views
512
Replies
1
Views
443
Replies
9
Views
457
Replies
1
Views
625
  • Last Post
Replies
2
Views
276
  • Last Post
Replies
1
Views
664
  • Last Post
Replies
4
Views
908
Top