Is the Image of an Open Set Under a Continuous Function Always Open?

Click For Summary

Discussion Overview

The discussion revolves around the properties of the image of an open set under a continuous function, specifically whether such an image must always be open. Participants explore examples and counterexamples related to this concept, examining the implications of continuity and the nature of open and closed sets.

Discussion Character

  • Debate/contested

Main Points Raised

  • One participant asserts that the image set S = {f(c): 0
  • Another participant challenges the sufficiency of the example f(x) = 0 to conclude that the image of an open set is not necessarily open, questioning the validity of deriving a general conclusion from a specific case.
  • A later reply emphasizes that to disprove the statement that the image of an open set under a continuous function is open, it is sufficient to provide a single counterexample, thus supporting the claim that the image may not be open.

Areas of Agreement / Disagreement

Participants do not reach a consensus; there are competing views regarding the properties of the image of an open set under continuous functions, with some arguing for boundedness and others questioning the openness of the image.

Contextual Notes

Limitations include the dependence on the definitions of open and closed sets, as well as the specific properties of continuous functions. The discussion does not resolve whether the image of an open set is always open.

yxgao
Messages
122
Reaction score
0
Let f be a real-valued function defined and continuous on the set of real numbers R. Which of the following must be true of the set S = {f(c): 0<c<1}?

I. S is a connected subset of R
II. S is an open subset of R
III. S is a bounded subset of R

The answer is I and III only. I understand why I is true. But, why is is bounded, and why is it not an open subset?

Thanks.
 
Physics news on Phys.org
it is bounded because it is continuous on the compact set [0,1] and the continuous image of a compact (closed and bounded set) is closed and bounded, the image of (0,1) is a subsert of this bounnded set and is hence bounded.

define f(x) = 0 for all x. the image of an open set is then closed.
 
How can you reach a conclusion by simply considering the case f(x) = 0?
 
Because the question asks if it MUST be true that the image of an open set is open. I just showed that it isn't necessarily true. To disprove a statement it suffices to provide ONE counter example.

The negation of the statement 'for all continuous f (on R) the restriction to (0,1) is an open map (ie the image is open)' is 'there exists A continuous map on r R whose restriction to (0,1) is not an open map'.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
834
  • · Replies 57 ·
2
Replies
57
Views
7K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K