4

Asuume that $f:\mathbb{R}\rightarrow \mathbb{R}$ continuous function and $g:\mathbb{R}\rightarrow \mathbb{R}$ uniformly continuous function and $g$ bounded.

I have to prove that $f\circ g$ is uniformly continuous function. I tried the following: $f$ continuous function so $\forall \epsilon>0 ~\exists~ \delta_1>0 $ and $ |x-x_0|<\delta$ and $|f(x)-f(x_0)|<\epsilon$ From $g$ uniformly continuous function definition i can say $|g(x)-g(y)|<\delta_1$ which mean $f\circ g$ is continuous function but not uniformly continuous function. I dont know how to use that $g$ is bounded. Thank you very much.

projectilemotion
  • 15,428
משה לוי
  • 153
  • 6

2 Answers2

8

Since $g$ is bounded, its range is contained in a finite closed interval. $f$ is uniformly continuous on that interval.

Robert Israel
  • 448,999
3

Hint: Did you know that if $k$ is a continuous mapping between metric spaces $X$ and $Y$ and $X$ is compact, $k$ is uniformly continuous?

Since $g$ is bounded, its image is contained in a compact set $K$ (i.e., $g(\mathbb{R}) \subset K$). Letting $k = f|_K$, it is trivially the case that $f\circ g=k\circ g$. What does this imply?

parsiad
  • 25,154
  • Thanks, what does $k=f|K$ mean? and i cant understand how it answere the question. – משה לוי Jan 29 '17 at 19:30
  • $f|_K$ is the restriction of the function $f$ to the set $K$. That is, $f|_K$ is a function mapping from $K\subset \mathbb{R}$ to $\mathbb{R}$ such that for all $x\in K$, $f|_K(x)=f(x)$. The idea is to show that $k\circ g$ is uniformly continuous (what do you know about compositions of uniformly continuous functions?) and to use this to conclude that $f\circ g$ is uniformly continuous. In Robert Israel's answer, $K$ is an interval. – parsiad Jan 29 '17 at 19:32
  • ok thanks,so $k o g=f o g$ how do i conclude from here that is uniformly continuous function? – משה לוי Jan 29 '17 at 20:02
  • you mean to say $kog$ continuous at some $[a,b]$ if its so i can understand why we finish the prove.but i cant underestand why it is bounded – משה לוי Jan 29 '17 at 20:05
  • You can replace all instances of $K$ with some $[a,b]$. If that's what you mean, then yes. – parsiad Jan 29 '17 at 21:05