Plane Topology and Dynamical Systems Boris Kolev
To cite this version:
Boris Kolev. Plane Topology and Dynamical Systems. Ecole´ th´ematique. Summer School ”Syst`emesDynamiques et Topologie en Petites Dimensions”, Grenoble, France, 1994, pp.35.
HAL Id: cel-00719540 https://cel.archives-ouvertes.fr/cel-00719540 Submitted on 20 Jul 2012
HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destin´eeau d´epˆotet `ala diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publi´esou non, lished or not. The documents may come from ´emanant des ´etablissements d’enseignement et de teaching and research institutions in France or recherche fran¸caisou ´etrangers,des laboratoires abroad, or from public or private research centers. publics ou priv´es. Plane Topology and Dynamical Systems
Boris KOLEV
CNRS & Aix-Marseille University
Grenoble, France, June-July 1994
Summary. — These notes have been written for a Summer School, Syst`emes Dynamiques et Topologie en Petites Dimensions, which took place at the Institut Fourier, in June-July 1994. The goal was to provide simple proofs for the Jordan and Schoenflies theorems and to give a short introduction to the theory of locally connected continua and indecomposable continua, with applications in Dynamical Systems and the theory of attractors.
E-mail : [email protected] Homepage : http://www.cmi.univ-mrs.fr/~kolev/
○c This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License. Chapter 1
The Jordan Curve Theorem
A homeomorphic image of a closed interval [푎, 푏](푎 < 푏) is called an arc and a homeomorphic image of a circle is called a simple closed curve or a Jordan curve. To begin with, we recall first two simple facts about the plane. 2 2 1. If 퐹 is a closed set in R , any component of R − 퐹 is open and arcwise connected. We will call these components, the complementary domains of 퐹 .
2 2 2. If 퐾 is a compact set in the plane R , then R −퐾 has exactly one unbounded component. We will refer to it as the unbounded or exterior component of 퐾. 2 Assertion (1) follows from the local arcwise-connectedness of R and (2) from the boundedness of 퐾. 2 Theorem 1.1 (Jordan Curve Theorem). The complement in the plane R of a simple closed curve 퐽 consists of two components, each of which has 퐽 as its boundary. Furthermore, if 퐽 has complementary domains 푖푛푡(퐽) (the bounded, or interior domain) and 푒푥푡(퐽) (the unbounded, or exterior domain), then 퐼푛푑(푥, 퐽) = 0 if 푥 ∈ 푒푥푡(퐽) and 퐼푛푑(푥, 퐽) = +1 if 푥 ∈ 푖푛푡(퐽). Remark 1.2. Obviously, it follows from this statement that a simple closed curve divides the 2-sphere into exactly two domains, each of which it is the common boundary. The proof we give here is due to Maehara [13] and uses as main ingredient the following well-known theorem of Brouwer. Theorem 1.3 (Brouwer’s Fixed Point Theorem). Every continuous map of the closed unit disc 퐷2 into itself has a fixed point. Proof. We identify here the plane with the complex plane and let 2 퐷 = {푧 ∈ C ; |푧| ≤ 1} . Suppose that 푓 : 퐷2 → 퐷2 has no fixed point. Then 푓(푧) ̸= 푧 for all 푧 ∈ 퐷2 and the degree1 of each map 1 푓푡(푧) = 푡푧 − 푓(푡푧), 푧 ∈ 푆 , 푡 ∈ [0, 1], is well defined and all of them are equal. Since 푓0 is a constant map we have 푑(푓0) = 0 and therefore 푑(푓푡) = 0 for all 푡 ∈ [0, 1]. But since |푧 − 푓(푧)| is strictly positive on the compact set 푆1, it is bounded below by a positive constant 푚 and we get after an easy computation (︀ 푚2 푅푒 (푧 − 푓(푧))¯푧 > > 0, 2 1 for all 푧 ∈ 푆 so that 푑(푓1) = 푑(퐼푑푆1 ) = 1 which leads to a contradiction.
1 Each continuous map 푓 of the circle with values in C lift to a map 푓˜ : R → C (angle determination) which satisfies 푓˜(휃 + 2휋) = 푓˜(휃) + 2푑휋. The integer 푑 is called the degree of the map 푓. It is easily shown to not depend on the particular lift of 푓 and to be a homotopy invariant.
1 Definition 1.4. Let 푋 be any metric space and 퐴 a subspace of 푋. A continuous map 푟 : 푋 → 퐴 such that 푟 = 퐼푑 on 퐴 is called a retraction of the space 푋 on 퐴.
As a corollary of theorem 1.3 (these two statements are in fact equivalent) we have the following.
Theorem 1.5 (No-Retraction Theorem). There is no retraction of the unit disc 퐷2 onto its boundary 푆1.
Proof. Suppose there exists a continuous map 푟 : 퐷2 → 푆1 such that 푟(푧) = 푧 for all 푧 ∈ 푆1 and let 푠 : 푆1 → 푆1 defined by 푠(푧) = −푧. Then the map 푠 ∘ 푟 : 퐷2 → 푆1 ⊂ 퐷2 will be a continuous map without fixed points.
Let 퐸 denote the square [−1, 1] × [−1, 1] and Γ = 퐹 푟(퐸) its boundary. A path 훾 in 퐸 is a continuous map 훾 :[−1, 1] → 퐸.
Lemma 1.6. Let 훾1 and 훾2 be two paths in 퐸 such that 훾1 (resp. 훾2) joins the two opposite vertical (resp. horizontal) sides of 퐸. Then 훾1 and 훾2 have a common point.
Proof. Let 훾1(푠) = (푥1(푠), 푦1(푠)) and 훾2(푠) = (푥2(푠), 푦2(푠)) so that
푥1(−1) = −1, 푥1(1) = 1, 푦2(−1) = −1, 푦2(1) = 1.
If the two paths do not cross the function
푁(푠, 푡) = max (|푥1(푠) − 푥2(푡)| , |푦1(푠) − 푦2(푡)|) is strictly positive and the continuous map 푓 : 퐸 → Γ ⊂ 퐸 defined by (︂ )︂ 푥 (푡) − 푥 (푠) 푦 (푠) − 푦 (푡) 푓(푠, 푡) = 2 1 , 1 2 푁(푠, 푡) 푁(푠, 푡) can easily be checked to have no fixed point which contradicts the Brouwer fixed point theorem (see Exercise 1.1).
2 2 Definition 1.7. A closed set 퐹 separates the plane R if R − 퐹 has at least two components. Lemma 1.8. No arc 훼 separates the plane.
2 2 Proof. Suppose on the contrary that R − 훼 is not connected. Then R − 훼 has in addition to its unbounded component 푈∞ at least one bounded component 푊 . We have 퐹 푟(푈∞) ⊂ 훼 and 퐹 푟(푊 ) ⊂ 훼. Let 푥0 ∈ 푊 and 퐷 be a closed disc with centre 푥0 and radius 푅 which contains 푊 as well as a in its interior. By a straightforward application of the Tietze extension theorem (see Exercise 1.2) the identity map 퐼푑훼 on 훼 extends continuously to a retraction 푟 : 퐷 → 훼. Let us define ⌉︀ 푟(푥), if 푥 ∈ 푊¯ ; 푞(푥) = 푥, if 푥 ∈ 푊 푐 ∩ 퐷.
Then, 푞 : 퐷 → 퐷 is a continuous map whose values lie in 퐷 − {푥0}. Hence, the composed map 푝 ∘ 푞 : 퐷 → 퐹 푟(퐷) where 푞(푥) − 푥 푝(푥) = 푅 0 ‖푞(푥) − 푥0‖ is a retraction of the disc 퐷 onto its boundary, contradicting the no-retraction theorem (theo- rem 1.5).
Remark 1.9. For further use, note that using the same arguments we can show that no 2-cell (that is the homeomorphic image of the unit square 퐼2) separates the plane.
2 Proof of Jordan’s Theorem. We will divide the proof in three steps. First we will show that 퐽 separates the plane. Then we will prove that 퐽 is the boundary of each of its components and finally we will prove that the complement of 퐽 has exactly two components 푖푛푡(퐽) and 푒푥푡(퐽) such that 퐼푛푑(푥, 퐽) = 0 if 푥 ∈ 푒푥푡(퐽) and 퐼푛푑(푥, 퐽) = ±1 if 푥 ∈ 푖푛푡(퐽). Step 1 : Since 퐽 is compact, there exist two points 푎, 푏 in 퐽 such that 푎 − 푏 = diam(퐽). We may assume that 푎 = (−1, 0) and 푏 = (1, 0). Then the rectangular set 퐸(−1, 1; −2, 2) contains 퐽, and its boundary 퐹 meets 퐽 in exactly two points 푎 and 푏. Let 푛 be the middle point of the top side of 퐸, and 푠 the middle point of the bottom side. The segment 푛푠 meets 퐽 by lemma 1.6. Let 푙 be the 푦-maximal point in 퐽 ∩ 푛푠. Points 푎 and 푏 divide 퐽 into two arcs: we denote the one containing 푙 by 퐽푛 and the other by 퐽푠. Let 푚 be the 푦-minimal point in 퐽푛 ∩ 푛푠 then the segment 푚푠 meets 퐽푠; otherwise, the path 푛푙 + 푙푚 + 푚푠, (where 푙푚 denotes the subarc of 퐽푛 with end points 푙 and 푚) could not meet 퐽푠, contradicting lemma 1.6. Let 푝 and 푞 denote the 푦-maximal point and the 푦-minimal point in 퐽푠 ∩ 푚푠, respectively. Finally, let 푥0 be the middle point of the segment 푚푝 (see Figure 1.1). The choice of a homeomorphism ℎ : 푆1 → 퐽 permits us to define the index of a point with respect to 퐽 (it is well defined up to a sign). It is easy to see that 퐼푛푑(푥, 퐽) = 0 for any point in the unbounded complementary domain 푒푥푡(퐽) of 퐽. For fixing our ideas, we suppose now that we have oriented the curve 퐽 (resp. 퐹 ) in such a way that we cross successively 푎, 푝 and 푏 (resp. 푎, 푠 and 푏). Let Γ푛 (resp. Γ푠) be the subarc of 퐹 delimited by 푎 and 푏 and containing 푛 (resp. 푠). We set 휎푛 = Γ푛 − 퐽푛 (meaning we follow Γ푛, and then 퐽푛 with the reversed orientation) and 휎푠 = −퐽푠 + Γ푠. Since the half line 푥0푠 does not meet 휎푛, we have 퐼푛푑(푥0, 휎푛) = 0. By a similar argument 퐼푛푑(푥0, 휎푠) = 0 and since
Γ = 휎푛 + 퐽 + 휎푠, we have 퐼푛푑(푥0, 퐽) = 퐼푛푑(푥0, 휎푛) + 퐼푛푑(푥0, 퐽) + 퐼푛푑(푥0, 휎푠) = 퐼푛푑(푥0, Γ) = 1.
Therefore, 푥0 ̸∈ 푒푥푡(퐽) and 퐽 separates the plane. Step 2 : Let 푈 be any complementary domain of 퐽 and 푥 a point in 푈. Note that 퐹 푟(푈) ⊂ 퐽. Therefore, if 퐹 푟(푈) ⊂ 퐽, there is an arc 훼 which contains entirely 퐹 푟(푈). Because 퐽 separates 2 the plane, there is a point 푦 ∈ R − 퐽 such that 푥 and 푦 are separated by 퐹 푟(푈) hence by 훼 which contradicts lemma 1.8. Thus 퐹 푟(푈) = 퐽.
Step 3 : Let 푈 be the component of the point 푥0 defined in (1). Suppose that there exists 2 another bounded component 푊 (̸= 푈) of R − 퐽. Clearly 푊 ⊂ 퐸. We denote by 훽 the path 푛푙 + 푙푚 + 푚푝 + 푝푞 + 푞푠, where 푝푞 is the subarc of 퐽푠, from 푝 to 푞. Hence, 훽 has no point of 푊 . Since 푎 and 푏 are not on 훽, there are circular neighborhoods 푉푎 and 푉푏, of 푎 and 푏, respectively, such that each of them contains no point of 훽. But 퐹 푟(푊 ) = 퐽, so there exist 푎1 ∈ 푊 ∩ 푉푎 and 푏1 ∈ 푊 ∩ 푉푏. Let 푎1푏1 be a path in 푊 from 푎푙 to 푏1. Then the path 푎푎1 + 푎1푏1 + 푏푏푙 fails to meet 훽. This contradicts lemma 1.6 and completes the proof.
Remark 1.10. Let 퐽 be a simple closed curve in the (oriented) plane. Then 퐼푛푑(푥, 퐽) = 1 for all points in 푖푛푡(퐽) or 퐼푛푑(푥, 퐽) = −1 for all points in 푖푛푡(퐽). In the first case we will say that 퐽 is positively oriented otherwise it is negatively oriented. From now on, a subset 퐷 of the plane will be called a disc if it is the bounded complementary domain of a simple closed curve 퐽. 푈 being any connected open set of the plane, a cross-cut in 푈 is a simple arc 퐿 ⊂ 푈 which intersects 퐹 푟(푈) in exactly its two endpoints. If just one of the endpoints of 퐿 meets 퐹 푟(푈), then 퐿 is called an end-cut. A point 푎 of 퐹 푟(푈) which is the endpoint of an end-cut in 푈 is called accessible from 푈. We will prove later that every point of a simple closed curve is accessible from both of its complementary domains.
3 Figure 1.1: A Jordan curve
Lemma 1.11 (휃-curve Lemma). Let 퐽 be a simple closed curve in the plane. A cross-cut 퐿 in 푖푛푡(퐽) divides 푖푛푡(퐽) into exactly two domains. If 퐿1 and 퐿2 are the subarcs of 퐽 defined by the endpoints 푎 and 푏 of 퐿, these two domains are the discs 푖푛푡(퐿 ∪ 퐿1) and 푖푛푡(퐿 ∪ 퐿2).
Proof of 휃-curve Lemma. If 푋 denotes one of the sets 푒푥푡(퐽), 푖푛푡(퐿 ∪ 퐿1) or 푖푛푡(퐿 ∪ 퐿2) then 퐹 푟(푋) ⊂ 퐽 ∪ 퐿. Hence, (︀ 2 2 푋 ∩ R − (퐽 ∪ 퐿) = 푋 ∩ (R − (퐽 ∪ 퐿)).
2 2 Therefore, 푋 is open and closed in R − (퐽 ∪ 퐿) and is a component of R − (퐽 ∪ 퐿). We are going to show that
2 R − (퐽 ∪ 퐿) = 푒푥푡(퐽) ∪ 푖푛푡(퐿 ∪ 퐿1) ∪ 푖푛푡(퐿 ∪ 퐿2).
Suppose on the contrary that there exists another component 푈 distinct from the three above. ∘ ∘ ∘ ∘ Then 퐹 푟(푈) must meet each of the three (open) arcs 퐿 , 퐿1, 퐿2. Indeed, if 퐹 푟(푈 ∩ 퐿 ) = ∅, 2 2 2 then 퐹 푟(푈) ⊂ 퐽 and 푈 ∩ (R − 퐽) = 푈 ∩ (R − 퐽). Hence 푈 is open and closed in R − 퐽 and ∘ ∘ 푈 = 푖푛푡(퐽) ⊃ 퐿 , which gives a contradiction. Similarly, if 퐹 푟(푈) ∩ 퐿1 = ∅, then 푈 is open and 2 ∘ closed in R − (퐿 ∪ 퐿2) and thus 푈 = 푒푥푡(퐿 ∪ 퐿2) ⊃ 퐿1 which also gives a contradiction. ∘ ∘ Therefore, we can construct a cross-cut 휇 in 푈 with endpoints 푢1 ∈ 퐿1 and 푢2 ∈ 퐿2. We can also construct a cross-cut 휈 in 푒푥푡(퐽) with endpoints 푣1 and 푣2, where 푣1 and 푣2 belong to two non adjacent arcs among those of 퐽 − {푎, 푢1, 푏, 푢2}. Let 퐾 denote the simple closed curve
퐾 = 휇 ∪ 푢 1푣1 ∪ 휈 ∪ 푢 2푣2