Space-filling (Peano) curves
[7/86%]Let and be two continuous functions with bounded variation on . Prove that the set , , cannot fill the square. Is this true without the requirement of bounded variation?
Let be an arcwise connected compact metric space. Construct a continuous mapping of onto .
Construct a continuous mapping of onto the unit square.
Construct a continuous mapping of the segment onto the square (a Peano curve).
On the interval define functions and as follows. Let , where . Then , where , if is an even number, , if is an odd number, , if is an even number, and , if is an odd number (). Similarly, , where , if is an even number, , if is an odd number, , if is an even number, and , if is an odd number.
Prove that the functions and are well defined and continuous.
Let be the map with coordinate functions and ( for . Prove that maps the interval onto the square . The map is described schematically in Fig. 7. Each of the intervals is mapped onto the square with the same number (Fig. ). Fig. 7,b shows the traversal of the unit square upon dividing the interval into parts.
Fig. 7
Prove that the system of equations
has at most four solutions for any . Indicate pairs for which this system has four solutions.
Prove that the sets of constancy of the functions and (i.e., the sets and ) have no isolated points.
Prove that , but , if .
A continuous map of an interval onto a square is called a Peano curve. Let and be the coordinate functions of an arbitrary Peano curve defined on the interval . Prove that if , then . (Thus, the smoothness of the coordinate functions of the Peano curve constructed in the previous problem is the best possible).
Let be a continuous real function on with the following properties: for every , and
Put , where
Prove that is continuous and that maps onto the unit square . If fact, show that maps the Cantor set onto .
Hint: Each has the form
where each is 0 or 1. If
show that , and hence that . (This simple example of a so-called "space-filling curve" is due to I. J. Schoenberg, Bull. A.M.S., vol. 44, 1938, pp. 519).