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.
TakeIt is continuous for the Euclidean metric, since . But the basic open set of the target Sorgenfrey line has preimageThis 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
There are currently no matching articles.