MHB Continuous Functions and Open Sets .... D&K Example 1.3.8 ....

Click For Summary
The discussion centers on proving that the image of the function f over the open set ℝ is the closed interval [-1, 1], as stated in Duistermaat and Kolk's Example 1.3.8. To establish this, it is suggested to use elementary calculus by finding the derivative of f, setting it to zero to identify critical points, and determining the global minimum and maximum values. The continuity and smoothness of f over ℝ imply that it achieves these extrema, which are -1 and 1. The Intermediate Value Theorem can then be applied to confirm that f takes on all values within the interval [-1, 1]. This rigorous approach effectively demonstrates the relationship between continuous functions and their images over open sets.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading "Multidimensional Real Analysis I: Differentiation" by J. J. Duistermaat and J. A. C. Kolk ...

I am focused on Chapter 1: Continuity ... ...

I need help with an aspect of Example 1.3.8 ...

Duistermaat and Kolk"s Example 1.3.8 reads as follows:View attachment 7697In the above example we read the following:

"... ... Then $$f( \mathbb{R} ) = [ -1, 1]$$ where $$\mathbb{R}$$ is open ... ... "My question is as follows:

Can someone please show, formally and rigorously, that $$f( \mathbb{R} ) = [ -1, 1]$$ ... ... ?Help will be much appreciated ... ...

Peter
 
Physics news on Phys.org
Peter said:
Can someone please show, formally and rigorously, that $$f( \mathbb{R} ) = [ -1, 1]$$ ... ... ?

I believe you can arrive at that by elementary calculus, i.e., by taking the derivative of $f$, setting it equal to 0 and solving for $x$ to show that $f(x)$ has a minimum of $-1$, a maximum of $1$ and since $f$ is smooth and continuous over all of $\mathbb{R}$, these values are the closed boundaries of the image of $f$.
 
greg1313 said:
... and since $f$ is smooth and continuous over all of $\mathbb{R}$, these values are the closed boundaries of the image of $f$.

A little more explicitly: Once you have established that $f$ assumes its global minimum $-1$ at, say, $a$ and its global maximum $+1$ at $b > a$, you could refer to the Intermediate Value Theorem to conclude that $f$ assumes on $[a, b]$ all values in $[-1,1]$.
 
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
2
Views
3K
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
1K
Replies
2
Views
2K