MHB Show that the function is not differentiable at the point z

mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hi! Could you help me with the following?
Let g: R \rightarrow R a bounded function. There is a point z \epsilon R for which the function h: R \ \{z\} \rightarrow R, where h(x)=\frac{g(x)-g(z)}{x-z} is not bounded. Show that the function g is not differentiable at the point z.

My idea is the following:
Let the function g be differentiable at the point z, so lim_{x \rightarrow z}{ \frac{g(x)-g(z)}{x-z}}=L. So there is a ε>0: |\frac{g(x)-g(z)}{x-z}-L|<ε.
|h(x)|=|h(x)-L+L| \leq |h(x)-L|+|L|=|\frac{g(x)-g(z)}{x-z}-L|+|L|<ε+|L|.
So the function h is bounded. That cannot be true. So the function g is not differentiable at the point z.

Is my idea right??
 
Physics news on Phys.org
mathmari said:
Hi! Could you help me with the following?
Let g: R \rightarrow R a bounded function. There is a point z \epsilon R for which the function h: R \ \{z\} \rightarrow R, where h(x)=\frac{g(x)-g(z)}{x-z} is not bounded. Show that the function g is not differentiable at the point z.

My idea is the following:
Let the function g be differentiable at the point z, so lim_{x \rightarrow z}{ \frac{g(x)-g(z)}{x-z}}=L. So there is a ε>0: |\frac{g(x)-g(z)}{x-z}-L|<ε.
|h(x)|=|h(x)-L+L| \leq |h(x)-L|+|L|=|\frac{g(x)-g(z)}{x-z}-L|+|L|<ε+|L|.
So the function h is bounded. That cannot be true. So the function g is not differentiable at the point z.

Is my idea right??
Absolutely correct! (Sun)
 
Great! (Clapping)
 
Now I'm looking again the exercise..
There is a $ε>0$ such that $|\frac{g(x)-g(z)}{x-z}-L|<ε$ for $|x-z|<δ$, right? So $h$ is bounded for $x$ such that $|x-z|<δ$.
Do I have to show also that $h$ is bounded for $x$ such that $|x-z|>δ$, or is the above enough?
 
mathmari said:
Now I'm looking again the exercise..
There is a $ε>0$ such that $|\frac{g(x)-g(z)}{x-z}-L|<ε$ for $|x-z|<δ$, right? So $h$ is bounded for $x$ such that $|x-z|<δ$.
Do I have to show also that $h$ is bounded for $x$ such that $|x-z|>δ$, or is the above enough?
Yes, you need to show that if $h$ is unbounded, then it must be unbounded near $z$, not anywhere else. But if $|x-z|\geqslant \delta$ then $\left|\dfrac1{x-z}\right|$ is bounded by $1/\delta$. Also, you know that $g$ is bounded. So it follows that $h$ must indeed be bounded outside the region $|x-z|< \delta$.
 
Opalg said:
Yes, you need to show that if $h$ is unbounded, then it must be unbounded near $z$, not anywhere else. But if $|x-z|\geqslant \delta$ then $\left|\dfrac1{x-z}\right|$ is bounded by $1/\delta$. Also, you know that $g$ is bounded. So it follows that $h$ must indeed be bounded outside the region $|x-z|< \delta$.

So do I have to show both cases $ |x-z|< \delta$ and $ |x-z|\geq \delta$ ??
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

Replies
4
Views
3K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
22
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
7
Views
2K
  • · Replies 17 ·
Replies
17
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K