Establishing that a function is discontinous

  • Context: Graduate 
  • Thread starter Thread starter center o bass
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion centers on the continuity of the function defined as \( f(x) = 1 \) for \( x < 0 \) and \( f(x) = 0 \) for \( x \geq 0 \). The user initially struggled to apply the topological definition of continuity, which states that a function is continuous if the preimage of every open set in the codomain is open in the domain. The confusion arose from attempting to construct open sets in the image of the function rather than in its codomain. Ultimately, the user clarified that including a small open set around a discontinuity suffices to demonstrate discontinuity.

PREREQUISITES
  • Understanding of topological concepts, specifically continuity and open sets.
  • Familiarity with real-valued functions and their properties.
  • Basic knowledge of mathematical proofs and logical reasoning.
  • Experience with functions and their mappings between domains and codomains.
NEXT STEPS
  • Study the definition of continuity in topology in greater detail.
  • Learn about the properties of open sets in different topological spaces.
  • Explore examples of discontinuous functions and their proofs of discontinuity.
  • Investigate the implications of continuity in real analysis and its applications.
USEFUL FOR

Mathematicians, students of topology, and anyone interested in understanding the nuances of continuity and discontinuity in functions.

center o bass
Messages
545
Reaction score
2
According to the definition of continuity in topology a function f:X -> Y is continuous if for every open set V in Y, the set ##f(V)^{-1}## is open in X. I have found this definition powerfull in dealing with proofs of a more general nature, but when presented with the trivially discontinous function from the reals to the reals

$$f(x) = 1 \ \text{for} \ x< 0, \ 0 \ \text{for} \ \ x \geq 0 $$

I have problems to argue why this function is obviously not continuous from the above definition.
Which open set do I choose in it's codomain which is not open in it's domain?
 
Physics news on Phys.org
The set (-1/2,1/2) (or any open set containing zero and not 1) has as its inverse image [itex][0,\infty)[/itex] which is not open.

Basically as long as you include a small open set around a discontinuity you are good to go if the set is small enough.
 
Office_Shredder said:
The set (-1/2,1/2) (or any open set containing zero and not 1) has as its inverse image [itex][0,\infty)[/itex] which is not open.

Basically as long as you include a small open set around a discontinuity you are good to go if the set is small enough.

Thanks! It's clear now. My confusion lied in trying to construct open sets in the image of f instead of the codomain.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K