Topology question - is this function an open map? sin(1/x)

Click For Summary
SUMMARY

The function f: (0, ∞) → [-1, 1] defined by f(x) = sin(1/x) is not an open map under the relative subspace topology. The analysis reveals that while f may appear to map open intervals to open sets in the codomain, it fails to do so consistently, particularly when considering points where f(x) = 1 or f(x) = -1. The function's non-monotonic behavior in neighborhoods around these critical points demonstrates that the image of open sets does not remain open in the target space.

PREREQUISITES
  • Understanding of Euclidean metric topology
  • Familiarity with the concept of open maps in topology
  • Knowledge of relative subspace topology
  • Basic properties of the sine function and its behavior near critical points
NEXT STEPS
  • Study the properties of open maps in topology
  • Explore the implications of monotonicity on function mappings
  • Investigate the behavior of sine functions in different topological spaces
  • Learn about the concept of continuity and its relationship with open mappings
USEFUL FOR

Students of topology, mathematicians analyzing function properties, and anyone studying the behavior of mappings in metric spaces.

winter85
Messages
33
Reaction score
0

Homework Statement



This problem is from Schaum's Outline, chapter 7 #38 i believe.
Let f: (0, inf) -> [-1,1] be given as f(x) = sin(1/x), where R is given the usual euclidean metric topology and (0,inf) and [-1,1] are given the relative subspace topology.
Show that f is not an open map.

The Attempt at a Solution



I thought about this for so long but I can't see how this function is not an open map. Let A be an open subset of (0,inf) (we can take A to be an interval of the form (a,b) since these form a base for the topology). Pick any point x in A. Then there is an open neighborhood G of x that lies in A. If f is monotone in an open neighborhood of x, I can intersect that neighborhood with G to get a neighborhood H of x, lying inside A, on which f is monotone. Clearly in that case f[H] would be of the form (a,b) subset of [-1,1].
For the case when f is not monotone on any neighborhood of x, this only happens when f[x] = 1 or f[x] = -1. in this case, any open neighborhood of x would map to an interval of the form (a,1] or [-1, a). This is open in [-1,1] under the relative subspace topology.
Doesn't this show that f is open?
Any help would be greatly appreciated, thanks.
 
Physics news on Phys.org
inspect 0 more. what does an open neighborhood (0, x) map into?
 
I've thought of that, but any such interval maps to the whole codomain [-1,1], which is open in the relative topology, so not really sure how that helps?
 

Similar threads

  • · Replies 58 ·
2
Replies
58
Views
5K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
20
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K