Read the colours from left to right. If every neighbouring pair had the same colour, mathematical induction would make every point the same colour as , contradicting the different colour of . Therefore at least one adjacent pair has different colours.
Suppose for a contradiction that . Each grid point then belongs to exactly one of and ; colour it red in and green in . By part (a), there are adjacent points and , in either order, with
The interval is a compact set, so a subsequence of converges to some . Along the same subsequence . Since and are closed sets, , a contradiction. Hence .
If such a continuous function existed, the inverse images
would be closed, would cover , and would contain and respectively. Part (b) gives a point in , which is impossible.
Suppose that the continuous function has no fixed point. Then is continuous and never zero, so
is a continuous function from to . Since and equality would be a fixed point, . Similarly . Multiplying by contradicts part (c). Thus has a fixed point.
Conversely, suppose a continuous satisfies and . The function is continuous, so part (d) gives . If , this forces , contradicting ; if , it forces , contradicting . Hence no such exists.
Suppose , where and are disjoint closed sets with and . Since each is the complement of the other, both are also open in . Define on and on . This locally constant function is continuous and contradicts part (c). Therefore .
The conclusions of (b) and (c) remain true. Indeed, the unit circle is a path-connected space, and the upper semicircle supplies a path from to ; restricting the proposed closed cover or two-valued continuous function to that path reduces either claim to the corresponding result on .
The fixed-point conclusion (d) fails. For example, any nontrivial spatial rotation of the unit circle has no fixed point when ; the antipodal map is the simplest example.

Articles by others on the same topic (0)

There are currently no matching articles.