Establishing that a function is discontinous

  • Context: Graduate 
  • Thread starter Thread starter center o bass
  • Start date Start date
  • Tags Tags
    Function
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
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.