Connected means having no separation into two nonempty disjoint open subsets. Images of intervals under are intervals. Thus for , injectivity forces to lie between and , so the quoted criterion makes monotone. A monotone bijection has no jumps, since a jump would omit an interval; hence it is continuous.
Path-connected means every pair is joined by a continuous map from ; a separation would pull back to a separation of an interval, so it implies connectedness. One valid boundary pair follows the bottom then right edges and the left then top edges. If opposite-corner paths were disjoint, normalising a continuous separation vector would construct the forbidden map , so they intersect. A path in between the other corners, together with a path in between its corners, would contradict that intersection result; hence those corners lie in different path components.
Articles by others on the same topic
There are currently no matching articles.