Use the Heaviside step function with the value at the jump chosen as follows:
For any open set in the target Sorgenfrey line, its preimage is one of , , , and . All four are open in the source Sorgenfrey line, so is continuous. In the Euclidean topology, the preimage of is , which is not open. Hence the same function is not continuous as a usual real-to-real map.
Take
It is continuous for the Euclidean metric, since . But the basic open set of the target Sorgenfrey line has preimage
This is not open in the source Sorgenfrey line: every basic neighbourhood of contains positive points. Thus is not continuous for the lower limit topology.

Articles by others on the same topic (0)

There are currently no matching articles.