The Beauty of Roots. John Baez, Dan Christensen and Sam Derbyshire with lots of help from Greg Egan
|
|
- Alison Howard
- 6 years ago
- Views:
Transcription
1 The Beauty of Roots John Baez, Dan Christensen and Sam Derbyshire with lots of help from Greg Egan
2 Definition. A Littlewood polynomial is a polynomial whose coefficients are all 1 and -1. Let s draw all roots of all Littlewood polynomials!
3
4 Certain regions seem particularly interesting:
5 The hole at 1: Note the line along the real axis: more Littlewood polynomials have real roots than nearly real roots.
6 The holes at i and e iπ/4 :
7 This plot is centered at the point 54 :
8 This is centered at the point 45 i:
9 This is centered at 1 2 e i/5 :
10 Can we understand these pictures? Let D = {z C : z is the root of some Littlewood polynomial}
11 Can we understand these pictures? Let D = {z C : z is the root of some Littlewood polynomial} Theorem 1. D {1/2 < z < 2}
12 Can we understand these pictures? Let D = {z C : z is the root of some Littlewood polynomial} Theorem 1. D {1/2 < z < 2} Proof. Suppose z is a root of a Littlewood polynomial. Then If z < 1 then 1 = ±z ± z 2 ± ± z n 1 z + z z n < z 1 z so z > 1/2. Since z is the root of a Littlewood polynomial if and only if z 1 is, D is contained in the annulus 1 2 < z < 2.
13 Theorem 2. {2 1/4 z 2 1/4 } D.
14 Theorem 2. {2 1/4 z 2 1/4 } D. Proof. This was proved by Thierry Bousch in We won t prove it here.
15 The closure D is easier to study than D. For example: Theorem 3. D is connected.
16 The closure D is easier to study than D. For example: Theorem 3. D is connected. Proof. This was proved by Bousch in Let s sketch how the proof works. It s enough to show D { z < r} is connected where r is slightly less than 1.
17 Definition. A Littlewood series is a power series all of whose coefficients are 1 or 1.
18 Definition. A Littlewood series is a power series all of whose coefficients are 1 or 1. Littlewood series converge for z < 1.
19 Definition. A Littlewood series is a power series all of whose coefficients are 1 or 1. Littlewood series converge for z < 1. Lemma 1. A point z C with z < 1 lies in D if and only if some Littlewood series vanishes at this point.
20 A Littlewood polynomial is not a Littlewood series! But any Littlewood polynomial, say P(z) = a a d z d gives a Littlewood series having the same roots with z < 1: P(z) 1 z d+1 = a 0+ +a d z d +a 0 z d+1 + +a d z 2d+1 +a 0 z 2d+2 +
21 A Littlewood polynomial is not a Littlewood series! But any Littlewood polynomial, say P(z) = a a d z d gives a Littlewood series having the same roots with z < 1: P(z) 1 z d+1 = a 0+ +a d z d +a 0 z d+1 + +a d z 2d+1 +a 0 z 2d+2 + Thus D R, where R is the set of roots of Littlewood series.
22 A Littlewood polynomial is not a Littlewood series! But any Littlewood polynomial, say P(z) = a a d z d gives a Littlewood series having the same roots with z < 1: P(z) 1 z d+1 = a 0+ +a d z d +a 0 z d+1 + +a d z 2d+1 +a 0 z 2d+2 + Thus D R, where R is the set of roots of Littlewood series. Our job is to show D = R.
23 A Littlewood polynomial is not a Littlewood series! But any Littlewood polynomial, say P(z) = a a d z d gives a Littlewood series having the same roots with z < 1: P(z) 1 z d+1 = a 0+ +a d z d +a 0 z d+1 + +a d z 2d+1 +a 0 z 2d+2 + Thus D R, where R is the set of roots of Littlewood series. Our job is to show D = R. To do this, let s show that R is closed and D is dense in R.
24 Let L be the set of Littlewood series. L = { 1, 1} N, so with the product topology it s homeomorphic to the Cantor set.
25 Let L be the set of Littlewood series. L = { 1, 1} N, so with the product topology it s homeomorphic to the Cantor set. Choose 0 < r < 1. Let M be the space of finite multisets of points with z r, modulo the equivalence relation generated by S S {p} when p = r.
26 Let L be the set of Littlewood series. L = { 1, 1} N, so with the product topology it s homeomorphic to the Cantor set. Choose 0 < r < 1. Let M be the space of finite multisets of points with z r, modulo the equivalence relation generated by S S {p} when p = r. Lemma 2. Any Littlewood series has finitely many roots in the disc { z r}. The map ρ : L M sending a Littlewood series to its multiset of roots in this disc is continuous.
27 Let L be the set of Littlewood series. L = { 1, 1} N, so with the product topology it s homeomorphic to the Cantor set. Choose 0 < r < 1. Let M be the space of finite multisets of points with z r, modulo the equivalence relation generated by S S {p} when p = r. Lemma 2. Any Littlewood series has finitely many roots in the disc { z r}. The map ρ : L M sending a Littlewood series to its multiset of roots in this disc is continuous. Since L is compact, the image of ρ is closed. From this we can show that R, the set of roots of Littlewood series, is closed.
28 Let L be the set of Littlewood series. L = { 1, 1} N, so with the product topology it s homeomorphic to the Cantor set. Choose 0 < r < 1. Let M be the space of finite multisets of points with z r, modulo the equivalence relation generated by S S {p} when p = r. Lemma 2. Any Littlewood series has finitely many roots in the disc { z r}. The map ρ : L M sending a Littlewood series to its multiset of roots in this disc is continuous. Since L is compact, the image of ρ is closed. From this we can show that R, the set of roots of Littlewood series, is closed. Since Littlewood polynomials are densely included in L and ρ is continuous, we can show that D, the set of roots of Littlewood polynomials, is dense in R.
29 Let L be the set of Littlewood series. L = { 1, 1} N, so with the product topology it s homeomorphic to the Cantor set. Choose 0 < r < 1. Let M be the space of finite multisets of points with z r, modulo the equivalence relation generated by S S {p} when p = r. Lemma 2. Any Littlewood series has finitely many roots in the disc { z r}. The map ρ : L M sending a Littlewood series to its multiset of roots in this disc is continuous. Since L is compact, the image of ρ is closed. From this we can show that R, the set of roots of Littlewood series, is closed. Since Littlewood polynomials are densely included in L and ρ is continuous, we can show that D, the set of roots of Littlewood polynomials, is dense in R. It follows that D = R.
30 Lemma 3. The set R is connected.
31 Lemma 3. The set R is connected. Proof. It s enough to show R { z < r} is connected, where 2 1/4 < r < 1.
32 Lemma 3. The set R is connected. Proof. It s enough to show R { z < r} is connected, where 2 1/4 < r < 1. Suppose U R { z < r} is closed and open in the relative topology. We want to show U is empty.
33 Lemma 3. The set R is connected. Proof. It s enough to show R { z < r} is connected, where 2 1/4 < r < 1. Suppose U R { z < r} is closed and open in the relative topology. We want to show U is empty. Let L U be the set of Littlewood series with a root in U. L U is a closed and open subset of L. Thus, we can determine whether f L lies in L U by looking at its first d terms: f (z) = a 0 + a 1 z + + a d 1 z d 1 + a d z d + for some d. Choose the smallest d with this property.
34 Lemma 3. The set R is connected. Proof. It s enough to show R { z < r} is connected, where 2 1/4 < r < 1. Suppose U R { z < r} is closed and open in the relative topology. We want to show U is empty. Let L U be the set of Littlewood series with a root in U. L U is a closed and open subset of L. Thus, we can determine whether f L lies in L U by looking at its first d terms: f (z) = a 0 + a 1 z + + a d 1 z d 1 + a d z d + for some d. Choose the smallest d with this property. We will get a contradiction if U, and thus L U, is nonempty! We ll show d 1 has the same property.
35 Suppose f L U : f (z) = a 0 + a 1 z + + a d 1 z d 1 + a d z d +
36 Suppose f L U : f (z) = a 0 + a 1 z + + a d 1 z d 1 + a d z d + Suppose g has the same first d 1 terms: g(z) = a 0 + a 1 z + + a d 1 z d 1 + b d z d + We ll show g L U too.
37 Suppose f L U : f (z) = a 0 + a 1 z + + a d 1 z d 1 + a d z d + Suppose g has the same first d 1 terms: g(z) = a 0 + a 1 z + + a d 1 z d 1 + b d z d + We ll show g L U too. Multiplying by 1 if necessary, we can assume a 0 = 1: f (z) = 1 + a 1 z + + a d 1 z d 1 + a d z d +
38 Suppose f L U : f (z) = a 0 + a 1 z + + a d 1 z d 1 + a d z d + Suppose g has the same first d 1 terms: g(z) = a 0 + a 1 z + + a d 1 z d 1 + b d z d + We ll show g L U too. Multiplying by 1 if necessary, we can assume a 0 = 1: f (z) = 1 + a 1 z + + a d 1 z d 1 + a d z d + There are two cases, a d = 1 and a d = 1. We ll just do the first, since the second is similar. So: f (z) = 1 + a 1 z + + a d 1 z d 1 + z d +
39 f (z) = 1 + a 1 z + + a d 1 z d 1 + z d + a d+1 z d+1 + has a root in U, and we want to show the same for any g L with the same first d 1 terms, say g(z) = 1 + a 1 z + + a d 1 z d 1 + b d z d + b d+1 z d+1 +
40 f (z) = 1 + a 1 z + + a d 1 z d 1 + z d + a d+1 z d+1 + has a root in U, and we want to show the same for any g L with the same first d 1 terms, say g(z) = 1 + a 1 z + + a d 1 z d 1 + b d z d + b d+1 z d+1 + We may assume g differs from f in its dth term: g(z) = 1 + a 1 z + + a d 1 z d 1 z d + b d+1 z d +
41 f (z) = 1 + a 1 z + + a d 1 z d 1 + z d + a d+1 z d+1 + has a root in U, and we want to show the same for any g L with the same first d 1 terms, say g(z) = 1 + a 1 z + + a d 1 z d 1 + b d z d + b d+1 z d+1 + We may assume g differs from f in its dth term: g(z) = 1 + a 1 z + + a d 1 z d 1 z d + b d+1 z d + It suffices to show that g has a root in U: ( g(z) = 1 + a 1 z + + a d 1 z d 1) / (1 + z d) since this has the same first d terms as g.
42 f (z) = 1 + a 1 z + + a d 1 z d 1 + z d + a d+1 z d+1 + has a root in U, and we want to show the same for any g L with the same first d 1 terms, say g(z) = 1 + a 1 z + + a d 1 z d 1 + b d z d + b d+1 z d+1 + We may assume g differs from f in its dth term: g(z) = 1 + a 1 z + + a d 1 z d 1 z d + b d+1 z d + It suffices to show that g has a root in U: ( g(z) = 1 + a 1 z + + a d 1 z d 1) / (1 + z d) since this has the same first d terms as g. Since f has a root in U, so does f (z) = (1 + a 1 z + + a d 1 z d 1) / (1 z d) since this has the same first d terms as f.
43 ( g(z) = 1 + a 1 z + + a d 1 z d 1) / (1 + z d) and f (z) = (1 + a 1 z + + a d 1 z d 1) / (1 z d) so ( ) 1 z d g(z) = f (z) 1 + z d Since f has a root in U, so does g. QED!
44 Here is the key to understanding the beautiful patterns in the set D. Define two functions from the complex plane to itself, depending on a complex parameter q: f +q (z) = 1 + qz f q (z) = 1 qz
45 Here is the key to understanding the beautiful patterns in the set D. Define two functions from the complex plane to itself, depending on a complex parameter q: f +q (z) = 1 + qz f q (z) = 1 qz When q < 1 these are both contraction mappings, so by Hutchinson s theorem on iterated function systems there s a unique nonempty compact set D q C with We call this set a dragon. D q = f +q (D q ) f q (D q )
46 Here is the key to understanding the beautiful patterns in the set D. Define two functions from the complex plane to itself, depending on a complex parameter q: f +q (z) = 1 + qz f q (z) = 1 qz When q < 1 these are both contraction mappings, so by Hutchinson s theorem on iterated function systems there s a unique nonempty compact set D q C with We call this set a dragon. D q = f +q (D q ) f q (D q ) Here s the marvelous fact: the portion of D in a small neighborhood of q C tends to look like D q.
47 For example, here s the set D near q = i:
48 And here s the dragon D q for q = i:
49 Let s zoom in on the set of roots of Littlewood polynomials of degree 20. When we zoom in enough, we ll see it s a discrete set!
50 Let s zoom in on the set of roots of Littlewood polynomials of degree 20. When we zoom in enough, we ll see it s a discrete set! Then we ll increase the degree and see how the set fills in.
51 Let s zoom in on the set of roots of Littlewood polynomials of degree 20. When we zoom in enough, we ll see it s a discrete set! Then we ll increase the degree and see how the set fills in. Then we ll switch to a zoomed-in view of the corresponding dragon, and then zoom out.
52 center i, height.62508, degree 20
53 center i, height.31304, degree 20
54 center i, height.15652, degree 20
55 center i, height.07826, degree 20
56 center i, height.03913, degree 20
57 center i, height , degree 20
58 center i, height , degree 20
59 center i, height , degree 20
60 center i, height , degree 20
61 center i, height , degree 21
62 center i, height , degree 22
63 center i, height , degree 23
64 center i, height , degree 24
65 center i, height , degree 25
66 center i, height , degree 26
67 center i, height , degree 27
68 dragon for i, height
69 dragon for i, height
70 dragon for i, height
71 dragon for i, height
72 dragon for i, height.03913
73 dragon for i, height.07826
74 dragon i, height.15652
75 dragon for i, height.31304
76 dragon for i, height.62508
77 The set D is the set of roots of all Littlewood series. The set D q is the set of values of all Littlewood series at the point q: Theorem 4. For q < 1, D q = {f (q): f L}.
78 The set D is the set of roots of all Littlewood series. The set D q is the set of values of all Littlewood series at the point q: Theorem 4. For q < 1, D q = {f (q): f L}. This is easy to show.
79 The set D is the set of roots of all Littlewood series. The set D q is the set of values of all Littlewood series at the point q: Theorem 4. For q < 1, D q = {f (q): f L}. This is easy to show. But why does D near q tend to resemble D q?
80 Each Littlewood series f maps q to a point f (q) D q. For p near q, f (p) f (q) + f (q) (p q)
81 Each Littlewood series f maps q to a point f (q) D q. For p near q, f (p) f (q) + f (q) (p q) Thus, we expect f (p) = 0 when p q f (q) f (q) If this reasoning is good, this formula approximately gives points p D near q from points f (q) D q.
82 Each Littlewood series f maps q to a point f (q) D q. For p near q, f (p) f (q) + f (q) (p q) Thus, we expect f (p) = 0 when p q f (q) f (q) If this reasoning is good, this formula approximately gives points p D near q from points f (q) D q. So, we should expect that near q, the set D will approximately look like a somewhat distorted copy of the dragon D q, or sometimes a union of such copies.
83 Each Littlewood series f maps q to a point f (q) D q. For p near q, f (p) f (q) + f (q) (p q) Thus, we expect f (p) = 0 when p q f (q) f (q) If this reasoning is good, this formula approximately gives points p D near q from points f (q) D q. So, we should expect that near q, the set D will approximately look like a somewhat distorted copy of the dragon D q, or sometimes a union of such copies. We re working on stating this precisely and proving it.
84 D near q = 45 i:
85 union of distorted dragons for q = 45 i:
Chapter 6: The metric space M(G) and normal families
Chapter 6: The metric space MG) and normal families Course 414, 003 04 March 9, 004 Remark 6.1 For G C open, we recall the notation MG) for the set algebra) of all meromorphic functions on G. We now consider
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationThis chapter contains a very bare summary of some basic facts from topology.
Chapter 2 Topological Spaces This chapter contains a very bare summary of some basic facts from topology. 2.1 Definition of Topology A topology O on a set X is a collection of subsets of X satisfying the
More informationLimiting Dynamics of quadratic polynomials and Parabolic Blowups
Limiting Dynamics of quadratic polynomials and Parabolic Blowups John Hubbard Joint work with Ismael Bachy MUCH inspired by work of Adam Epstein and helped by discussions with Xavier Buff and Sarah Koch
More informationMath 213br HW 3 solutions
Math 13br HW 3 solutions February 6, 014 Problem 1 Show that for each d 1, there exists a complex torus X = C/Λ and an analytic map f : X X of degree d. Let Λ be the lattice Z Z d. It is stable under multiplication
More informationGenerell Topologi. Richard Williamson. May 6, 2013
Generell Topologi Richard Williamson May 6, 2013 1 5 Tuesday 29th January 5.1 Limits points, closure, boundary continued Definition 5.1. Let (X, O X ) be a topological space, and let A be a subset of X.
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationMTG 5316/4302 FALL 2018 REVIEW FINAL
MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More information1 Lecture 4: Set topology on metric spaces, 8/17/2012
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture : Set topology on metric spaces, 8/17/01 Definition 1.1. Let (X, d) be a metric space; E is a subset of X. Then: (i) x E is an interior
More informationWalker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015
Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationA NICE PROOF OF FARKAS LEMMA
A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if
More informationc i r i i=1 r 1 = [1, 2] r 2 = [0, 1] r 3 = [3, 4].
Lecture Notes: Rank of a Matrix Yufei Tao Department of Computer Science and Engineering Chinese University of Hong Kong taoyf@cse.cuhk.edu.hk 1 Linear Independence Definition 1. Let r 1, r 2,..., r m
More informationNOTES ON BARNSLEY FERN
NOTES ON BARNSLEY FERN ERIC MARTIN 1. Affine transformations An affine transformation on the plane is a mapping T that preserves collinearity and ratios of distances: given two points A and B, if C is
More informationTOPOLOGY TAKE-HOME CLAY SHONKWILER
TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 204 Cauchy and Runge Under the Same Roof. These notes can be used as an alternative to Section 5.5 of Chapter 2 in the textbook. They assume the theorem on winding numbers of the
More informationSOLUTIONS TO THE FINAL EXAM
SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering
More informationNote: all spaces are assumed to be path connected and locally path connected.
Homework 2 Note: all spaces are assumed to be path connected and locally path connected. 1: Let X be the figure 8 space. Precisely define a space X and a map p : X X which is the universal cover. Check
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationUNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS. 1. Introduction and results
UNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS RICH STANKEWITZ Abstract. Conditions are given which imply that analytic iterated function systems (IFS s) in the complex plane C have uniformly
More information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
More informationMath 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008
Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008 Closed sets We have been operating at a fundamental level at which a topological space is a set together
More informationON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM
ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ALEXANDER KUPERS Abstract. These are notes on space-filling curves, looking at a few examples and proving the Hahn-Mazurkiewicz theorem. This theorem
More informationTopological groups with dense compactly generated subgroups
Applied General Topology c Universidad Politécnica de Valencia Volume 3, No. 1, 2002 pp. 85 89 Topological groups with dense compactly generated subgroups Hiroshi Fujita and Dmitri Shakhmatov Abstract.
More information2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.
Chapter 2. Basic Topology. 2.3 Compact Sets. 2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α. 2.32 Definition A subset
More informationSpectral Mapping Theorem
Spectral Mapping Theorem Dan Sievewright Definition of a Hilbert space Let H be a Hilbert space over C. 1) H is a vector space over C. 2) H has an inner product, : H H C with the following properties.
More informationClearly C B, for every C Q. Suppose that we may find v 1, v 2,..., v n
10. Algebraic closure Definition 10.1. Let K be a field. The algebraic closure of K, denoted K, is an algebraic field extension L/K such that every polynomial in K[x] splits in L. We say that K is algebraically
More information3 Fatou and Julia sets
3 Fatou and Julia sets The following properties follow immediately from our definitions at the end of the previous chapter: 1. F (f) is open (by definition); hence J(f) is closed and therefore compact
More informationPERIODIC POINTS OF THE FAMILY OF TENT MAPS
PERIODIC POINTS OF THE FAMILY OF TENT MAPS ROBERTO HASFURA-B. AND PHILLIP LYNCH 1. INTRODUCTION. Of interest in this article is the dynamical behavior of the one-parameter family of maps T (x) = (1/2 x
More informationTHE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM
Bull. Aust. Math. Soc. 88 (2013), 267 279 doi:10.1017/s0004972713000348 THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM MICHAEL F. BARNSLEY and ANDREW VINCE (Received 15 August 2012; accepted 21 February
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationProof: The coding of T (x) is the left shift of the coding of x. φ(t x) n = L if T n+1 (x) L
Lecture 24: Defn: Topological conjugacy: Given Z + d (resp, Zd ), actions T, S a topological conjugacy from T to S is a homeomorphism φ : M N s.t. φ T = S φ i.e., φ T n = S n φ for all n Z + d (resp, Zd
More informationHomogeneity and compactness: a mystery from set-theoretic topology
Homogeneity and compactness: a mystery from set-theoretic topology David Milovich May 21, 2009 Beyond metric spaces... Metric spaces are compact iff every sequence has a limit point iff every open cover
More informationHomework in Topology, Spring 2009.
Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher
More informationProblems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;
Math 553 - Topology Todd Riggs Assignment 2 Sept 17, 2014 Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9; 17.2) Show that if A is closed in Y and
More informationA PLANAR INTEGRAL SELF-AFFINE TILE WITH CANTOR SET INTERSECTIONS WITH ITS NEIGHBORS
#A INTEGERS 9 (9), 7-37 A PLANAR INTEGRAL SELF-AFFINE TILE WITH CANTOR SET INTERSECTIONS WITH ITS NEIGHBORS Shu-Juan Duan School of Math. and Computational Sciences, Xiangtan University, Hunan, China jjmmcn@6.com
More informationand the union is open in X. If12U j for some j, then12 [ i U i and bx \ [ i (X \ U i ) U i = \ i ( b X \ U i )= \ i
29. Mon, Nov. 3 Locally compact Hausdor spaces are a very nice class of spaces (almost as good as compact Hausdor ). In fact, any such space is close to a compact Hausdor space. Definition 29.1. A compactification
More information6 6 DISCRETE GROUPS. 6.1 Discontinuous Group Actions
6 6 DISCRETE GROUPS 6.1 Discontinuous Group Actions Let G be a subgroup of Möb(D). This group acts discontinuously on D if, for every compact subset K of D, the set {T G : T (K) K } is finite. Proposition
More informationTopological Proof of the Riemann-Hurwitz Theorem
Topological Proof of the Riemann-Hurwitz Theorem Lloyd Elliott February 8, 2007 Definition 1. If C and X are topological spaces, a covering of X by C is a continuous surjection p: C X such that, for every
More informationTopology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng
Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Remark 0.1. This is a solution Manuel to the topology questions of the Topology Geometry
More informationINTERIOR COMPONENTS OF A TILE ASSOCIATED TO A QUADRATIC CANONICAL NUMBER SYSTEM
INTERIOR COMPONENTS OF A TILE ASSOCIATED TO A QUADRATIC CANONICAL NUMBER SYSTEM BENOIT LORIDANT AND JÖRG M. THUSWALDNER Abstract. Let α = 2 + 1 be a root of the polynomial p(x) = x 2 + 4x + 5. It is well
More informationLECTURE 22: COUNTABLE AND UNCOUNTABLE SETS
LECTURE 22: COUNTABLE AND UNCOUNTABLE SETS 1. Introduction To end the course we will investigate various notions of size associated to subsets of R. The simplest example is that of cardinality - a very
More informationTOPOLOGICAL ASPECTS OF YAO S ROUGH SET
Chapter 5 TOPOLOGICAL ASPECTS OF YAO S ROUGH SET In this chapter, we introduce the concept of transmissing right neighborhood via transmissing expression of a relation R on domain U, and then we study
More informationJ. HORNE, JR. A LOCALLY COMPACT CONNECTED GROUP ACTING ON THE PLANE HAS A CLOSED ORBIT
A LOCALLY COMPACT CONNECTED GROUP ACTING ON THE PLANE HAS A. CLOSED ORBIT BY J. HORNE, JR. The theorem of the title has its origin in a question concerning topological semigroups: Suppose S is a topological
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More information5.3 The Upper Half Plane
Remark. Combining Schwarz Lemma with the map g α, we can obtain some inequalities of analytic maps f : D D. For example, if z D and w = f(z) D, then the composition h := g w f g z satisfies the condition
More informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n
ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never
More informationJulia Sets and the Mandelbrot Set
Julia Sets and the Mandelbrot Set Julia sets are certain fractal sets in the complex plane that arise from the dynamics of complex polynomials. These notes give a brief introduction to Julia sets and explore
More informationnotes 5d. Details of the Construction of the Smale horseshoe map.
by 3940-07 notes 5d Details of the Construction of the Smale horseshoe map. Let f (x; y) = ( 4 x + 8 ; 5y ). Then f maps D onto the rectangle R de ned 8 x 3 8 y 9 : In particular, it squeezes D horizontally
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationThe Tychonoff Theorem
Requirement for Department of Mathematics Lovely Professional University Punjab, India February 7, 2014 Outline Ordered Sets Requirement for 1 Ordered Sets Outline Ordered Sets Requirement for 1 Ordered
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
More informationEffectiveness for embedded spheres and balls
Electronic Notes in Theoretical Computer Science 66 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume66.html 12 pages Effectiveness for embedded spheres and balls Joseph S. Miller 1 Department
More informationHomework 5. Solutions
Homework 5. Solutions 1. Let (X,T) be a topological space and let A,B be subsets of X. Show that the closure of their union is given by A B = A B. Since A B is a closed set that contains A B and A B is
More informationDYNAMICS OF RATIONAL SEMIGROUPS
DYNAMICS OF RATIONAL SEMIGROUPS DAVID BOYD AND RICH STANKEWITZ Contents 1. Introduction 2 1.1. The expanding property of the Julia set 4 2. Uniformly Perfect Sets 7 2.1. Logarithmic capacity 9 2.2. Julia
More information4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset
4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z
More informationThe degree of the polynomial function is n. We call the term the leading term, and is called the leading coefficient. 0 =
Math 1310 A polynomial function is a function of the form = + + +...+ + where 0,,,, are real numbers and n is a whole number. The degree of the polynomial function is n. We call the term the leading term,
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationINDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS
INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationDYNAMICAL SYSTEMS PROBLEMS. asgor/ (1) Which of the following maps are topologically transitive (minimal,
DYNAMICAL SYSTEMS PROBLEMS http://www.math.uci.edu/ asgor/ (1) Which of the following maps are topologically transitive (minimal, topologically mixing)? identity map on a circle; irrational rotation of
More informationSpring -07 TOPOLOGY III. Conventions
Spring -07 TOPOLOGY III Conventions In the following, a space means a topological space (unless specified otherwise). We usually denote a space by a symbol like X instead of writing, say, (X, τ), and we
More informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
More informationReal roots of Littlewood polynomials
faculty of mathematics and natural sciences Real roots of Littlewood polynomials Bachelor Project Mathematics Final draft July 016 Student: B. Vader First supervisor: Prof. dr. J. Top Second supervisor:
More informationAperiodic Substitution Tilings
Aperiodic Substitution Tilings Charles Starling January 4, 2011 Charles Starling () Aperiodic Substitution Tilings January 4, 2011 1 / 27 Overview We study tilings of R 2 which are aperiodic, but not completely
More informationINTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS
INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,
More informationCLASS NOTES FOR APRIL 14, 2000
CLASS NOTES FOR APRIL 14, 2000 Announcement: Section 1.2, Questions 3,5 have been deferred from Assignment 1 to Assignment 2. Section 1.4, Question 5 has been dropped entirely. 1. Review of Wednesday class
More informationJulia s two faces. The dichotomy theorem on Julia sets of quadratic polynomials. Rasila Hoek July 1, Bachelor thesis Supervisor: dr.
Julia s two faces The dichotomy theorem on Julia sets of quadratic polynomials Rasila Hoek July 1, 2013 Bachelor thesis Supervisor: dr. Han Peters Korteweg-de Vries Instituut voor Wiskunde Faculteit der
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationHomework 4: Mayer-Vietoris Sequence and CW complexes
Homework 4: Mayer-Vietoris Sequence and CW complexes Due date: Friday, October 4th. 0. Goals and Prerequisites The goal of this homework assignment is to begin using the Mayer-Vietoris sequence and cellular
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationSiegel Discs in Complex Dynamics
Siegel Discs in Complex Dynamics Tarakanta Nayak, Research Scholar Department of Mathematics, IIT Guwahati Email: tarakanta@iitg.ernet.in 1 Introduction and Definitions A dynamical system is a physical
More informationMath 520a - Final take home exam - solutions
Math 52a - Final take home exam - solutions 1. Let f(z) be entire. Prove that f has finite order if and only if f has finite order and that when they have finite order their orders are the same. Solution:
More informationTopological Properties of Operations on Spaces of Continuous Functions and Integrable Functions
Topological Properties of Operations on Spaces of Continuous Functions and Integrable Functions Holly Renaud University of Memphis hrenaud@memphis.edu May 3, 2018 Holly Renaud (UofM) Topological Properties
More information1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0
1. Classification of 1-manifolds Theorem 1.1. Let M be a connected 1 manifold. Then M is diffeomorphic either to [0, 1], [0, 1), (0, 1), or S 1. We know that none of these four manifolds are not diffeomorphic
More informationQualitative Theory of Differential Equations and Dynamics of Quadratic Rational Functions
Nonl. Analysis and Differential Equations, Vol. 2, 2014, no. 1, 45-59 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/nade.2014.3819 Qualitative Theory of Differential Equations and Dynamics of
More informationTopology Final Exam. Instructor: W. D. Gillam Date: January 15, 2014
Topology Final Exam Instructor: W. D. Gillam Date: January 15, 2014 Instructions: Print your name and Topology Final Exam in the upper right corner of the first page. Also be sure to put your name in the
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationNo Smooth Julia Sets for Complex Hénon Maps
No Smooth Julia Sets for Complex Hénon Maps Eric Bedford Stony Brook U. Dynamics of invertible polynomial maps of C 2 If we want invertible polynomial maps, we must move to dimension 2. One approach: Develop
More informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More information4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1
Robert Oeckl CA NOTES 7 17/11/2009 1 4.6 Montel's Theorem Let X be a topological space. We denote by C(X) the set of complex valued continuous functions on X. Denition 4.26. A topological space is called
More informationIV. Conformal Maps. 1. Geometric interpretation of differentiability. 2. Automorphisms of the Riemann sphere: Möbius transformations
MTH6111 Complex Analysis 2009-10 Lecture Notes c Shaun Bullett 2009 IV. Conformal Maps 1. Geometric interpretation of differentiability We saw from the definition of complex differentiability that if f
More informationMath 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.
Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is
More informationMAT335H1F Lec0101 Burbulla
Fall 2011 Q 2 (x) = x 2 2 Q 2 has two repelling fixed points, p = 1 and p + = 2. Moreover, if I = [ p +, p + ] = [ 2, 2], it is easy to check that p I and Q 2 : I I. So for any seed x 0 I, the orbit of
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationint cl int cl A = int cl A.
BAIRE CATEGORY CHRISTIAN ROSENDAL 1. THE BAIRE CATEGORY THEOREM Theorem 1 (The Baire category theorem. Let (D n n N be a countable family of dense open subsets of a Polish space X. Then n N D n is dense
More information