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.
Articles by others on the same topic
There are currently no matching articles.