Continuity if Inverse Images of Open Sets Are Open
You should upgrade or use an alternative browser.
- Forums
- Homework Help
- Calculus and Beyond Homework Help
The inverse image of an open set is open
- Thread starter jfy4
- Start date
Homework Statement
Consider a continuous function [itex]f:\mathbb{R}\rightarrow\mathbb{R}[/itex] and an arbitrary open [itex]U\subset\mathbb{R}[/itex]. Show that the inverse image under [itex]f[/itex] of [itex]U[/itex], [itex]f^{-1}[/itex], is open.
Homework Equations
The definitions of open sets and continuity
The Attempt at a Solution
Pick an arbitrary point in the set [itex]f^{-1}[/itex], [itex]x_0\in f^{-1}[/itex]. Then [itex]f(x_0)\in U[/itex] which implies that [itex]f(x_0)[/itex] is an interior point. Then there exists a [itex]\epsilon>0[/itex] such that [itex]V_{\epsilon}(f(x_0))[/itex] exists. Then since the function is continuous, there exists a [itex]\delta>0[/itex] such that for all [itex]x\in(x_0-\delta,x_0+\delta)\implies f(x)\in V_{\epsilon}(f(x_0))[/itex]. Then [itex](x_0-\delta,x_0+\delta)\subseteq U[/itex] which means there exists a [itex]V_{\delta}(x_0)\subseteq f^{-1}[/itex]. Then [itex]x_0[/itex] is an interior point, but [itex]x_0[/itex] was arbitrary so every point in [itex]f^{-1}[/itex] is an interior point. Hence, [itex]f^{-1}[/itex] is open. [itex]\blacksquare[/itex]
Answers and Replies
What does the notation [itex]V_{\epsilon}(f(x_0))[/itex] mean? An open interval of width [tex]\epsilon[/tex] that contains [tex] f(x_0) [/tex] and is a subset of [tex] U [/tex]?
It means a neighborhood around [itex]f(x_0)[/itex] of width [itex]2\epsilon[/itex]. The interval [itex](f(x_0)-\epsilon,f(x_0)+\epsilon)[/itex]
![Red Face :redface: :redface:](https://www.physicsforums.com/styles/physicsforums/xenforo/smilies/oldschool/redface.gif)
EDIT: I fixed it.
You need to say that [tex] V_\epsilon(f(x_0)) [/tex] can be chosen to be a subset of [tex] U [/tex]. You aren't making it clear why the continuity of [tex] f(x) [/tex] makes it possible to find [tex] V_\delta(x_0) [/tex]. Does your text define continuity as a property involving a limit? If so, you need to explain why the definition allows you to find [tex] V_\delta [/tex].
Okay. [itex]V_\epsilon[/itex] is a subset since by definition an interior point has a neighborhood around it that is completely contained in the mother set.
I am given that the function is continuous. Then
[tex](\forall\epsilon>0)(\exists\delta>0)(\forall x)(|x-x_0|<\delta \implies |f(x)-f(x_0)|<\epsilon )[/tex].
I invoke the definition since I have found a neighborhood around [itex]f(x_0)[/itex] so I'm guaranteed a [itex]\delta[/itex]-neighborhood where all its members map into [itex]U[/itex]. Then the result follows.
If I were to include something like this in the proof would that be acceptable?
You mean that it may be chosen to be a subset of [tex] U [/tex].Okay. [itex]V_\epsilon[/itex] is a subset
"since by definition an interior point has a neighborhood around it that is completely contained in the mother set.
Yes, that's relevant after you have explained why [tex] f(x0) [/tex] is an interior point of [tex] U [/tex].
I am given that the function is continuous. Then[tex](\forall\epsilon>0)(\exists\delta>0)(\forall x)(|x-x_0|<\delta \implies |f(x)-f(x_0)|<\epsilon [/tex].
OK, if that's how your text defines continuity. But the more common definitions are:
[tex] f(x) [/tex] is continuous at the point [tex] x_0[/tex] means [tex] lim_{x\rightarrow x_0} f(x) = f(x_0) [/tex]
and
[tex] f(x) [/tex] is continous on the set [tex] S [/tex] means that for each point [tex] x_0 \in S [/tex], [tex] f(x) [/tex] is continuous at [tex] x_0 [/tex].
In those definitions there is nothing said about epsilons or deltas. The epsilons and deltas come from applying the definition of limit to the definition of continuity.
(An amusing fact:
In courses on topology, the definition "f is continuous" is that for the mapping f, the inverse image of each open set is open. This is because in General Topology, no measurement of distance is used to define "open" set, so there are no epsilons and deltas available to define limits or continuity.)
Suggested for: The inverse image of an open set is open
- Last Post
- Last Post
- Last Post
- Last Post
- Last Post
- Last Post
- Last Post
- Last Post
- Last Post
- Last Post
- Forums
- Homework Help
- Calculus and Beyond Homework Help
Source: https://www.physicsforums.com/threads/the-inverse-image-of-an-open-set-is-open.498137/
Post a Comment for "Continuity if Inverse Images of Open Sets Are Open"