THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE
|
|
- Hugo Horn
- 5 years ago
- Views:
Transcription
1 THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE YONG JAE KIM Abstract. In order to study the geometries of a hyperbolic plane, it is necessary to understand the set of transformations that map from the space to itself. This paper shows that in the Poincaré half-plane model, this group of transformations is the general Möbius group. This is done by showing that the general Möbius group is a group of homeomorphisms that map circles to circles on the extended complex plane Ĉ, and that all homeomorphisms that send circles to circles on Ĉ are Möbius transformations. ontents 1. Introduction 1 2. The Half-Plane Model 2 3. Hyberbolic Lines as ircles on the Riemann Sphere Ĉ 4 4. Homeomorphisms on Ĉ 5 5. Möbius Transformations as Homeomorphisms 7 6. Transitivity Properties of Möb The General Möbius Group 10 Acknowledgments 12 References Introduction A model of the hyperbolic plane is constructed by defining points and lines that are not necessarily consistent with the parallel postulate of Euclidean geometry. The parallel postulate states that in two-dimensional space, for any line L and point p not in L, there exists exactly one line through P that is parallel with L, where the term parallel is understood to indicate that the two lines do not intersect. There are multiple geometries that can be considered hyperbolic, but the model to be constructed in this paper is the Poincaré half-plane model. The goal of this paper is to find the automorphism group on this particular geometric construct. We will see that the set of Möbius transformations is this group. Using the notation to be elaborated later in this paper, this result can be expressed in the form Homeo (Ĉ) = Möb. Date: July
2 2 YONG JAE KIM 2. The Half-Plane Model The model that is relevant in this paper is the Poincaré half-plane model. The construction of this model starts by defining the upper half-plane H. Definition 2.1. H = {z Im(z) >0 } The half-plane H inherits the notions of points from the complex plane. Once the notion of hyperbolic lines is defined, we also prove that the half-plane also inherits a property of lines such that for a pair of points p and q in H, there exists a unique hyperbolic line through p and q. First, we define hyperbolic lines. Hyperbolic lines on H are defined in terms of Euclidean objects in. Definition 2.2. Lines in H are defined as one of the following: (1) The intersection of half-plane H and Euclidean lines orthogonal to the real axis R or (2) The intersection of half-plane H and Euclidean half-circles with center on the real axis R Figure 1. Some examples of lines in H With this definition, we note a property of these two types of hyperbolic lines which will later be used in justifying the Möbius transformations as a reasonable set of transformations that send circles to circles on the hyperbolic plane. Proposition 2.3. Hyperbolic lines can be expressed as solutions to the equations (2.4) βz + β z + γ = 0 where γ R and β, or (2.5) αz z + βz + β z + γ = 0 where α, γ R, α 0 and β Proof. A Euclidean line ax+by+c = 0 and a Euclidean circle (x h) 2 +(y k) 2 = r 2 can both be expressed on in terms of z = x + iy. Since x = Re(z) = 1 2 (z + z) and y = Im(z) = i 2 (z + z), ax + by + z = a bi (z + z) (z + z) + γ = 1 2 (a + ib)z + 1 (a ib) z + γ = 2 βz + β z + γ = 0
3 THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE 3 and (x h) 2 + (y k) 2 = r 2 (Re(z) h) 2 + (Im(z) k) 2 = r 2 Re(z) 2 + Im(z) 2 2hRe(z) 2kIm(z) + h 2 + k 2 = r 2 z 2 h(z + z) ik(z z) + γ = 0 αz z + βz + β + γ = 0 We see that all hyperbolic lines of the first category can be represented as solutions of equations of the form βz + β z + γ = 0 where γ R and β, while all hyperbolic lines of the latter category can be represented as solutions of equations of the form where α, γ R, α 0 and β αz z + βz + β z + γ = 0 As said earlier, with the notion of hyperbolic lines clearly defined, we can now check that for a pair of distinct points p and q in H, there exists a unique hyperbolic line l through p and q. Proposition 2.6. For a pair of distinct points p and q in H, there exists a unique hyperbolic line l in H through p and q. Proof. If Re(p) = Re(q), the desired hyperbolic line l is the intersection between the half-plane H and the Euclidean line L = {z Re(z) = Re(p)} If Re(p) Re(q), we need to construct a Euclidean circle centered on the real axis R passing through p and q. For points p and q on H, we can construct a circle with center on the intersection of the real axis and the perpendicular bisector of the Euclidean line segment connecting p and q and with radius z. The perpendicular bisector intersects H since Re(p) Re(q). The resulting Euclidean circle is unique due to the uniqueness of the components used in constructing it. Where the hyperbolic model begins to differ from conventional Euclidean geometry is with the introduction of the notion of parallel lines. Parallel lines are defined in the same manner as in Euclidean geometry. Figure 2. A line in H (left) and lines parallel to it Definition 2.7. Two hyperbolic lines in H are parallel if they are disjoint.
4 4 YONG JAE KIM Theorem 2.8. For a hyperbolic line l and point p both in H where p / l, there exist infinitely many distinct hyperbolic lines through p parallel to l. Proof. First, if l is contained in a Euclidean line L, then a line K that passes through p and is orthogonal to the real axis R is parallel to l. More parallel lines can be drawn by taking a point q on R between L and K and drawing a Euclidean circle A with its center on R and passing through p and q. H A is a hyperbolic line parallel to l. If l is contained in a Euclidian circle A, then there exists a concentric Euclidean circle B that passes through p. Similarly, by taking a point q on the real axis R between A and B, we can construct a Euclidean circle D that passes through p and q that is disjoint from A. H D is a hyperbolic line parallel to l. In this way, the half-plane model constructs a system of points and lines defined on H that is non-euclidean. 3. Hyberbolic Lines as ircles on the Riemann Sphere Ĉ The two different types of hyperbolic lines defined in terms of Euclidean lines and Euclidean circles can be unified into one object by defining an extended complex plane which is the Riemann Sphere Ĉ. Definition 3.1. Ĉ = { } 0 Figure 3. A visualization of the Riemann sphere To understand more properties of the extended plane Ĉ, we define openness of subsets in Ĉ. In the conventional complex plane, a subset X is open if for each z X, there exists an ε > 0 such that U ε (z) X, where U ε (z) = {w Ĉ w z < ε} Also, a set X in is closed if its complement X in is open and a set X in is bounded if there exists some constant ε such that X U ε (0). A notable example of an open subset in is the half-plane H. For each point z in H, U Im(z) (z) H, so H is open in.
5 THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE 5 The extended complex plane Ĉ is the complex plane with the addition of a single point at { }. Therefore, to extend the above definitions for Ĉ we need only define U ε ( ) and retain the above definitions for all other z Ĉ. We define U ε( ) as the following: U ε ( ) = {w w > ε} { } Definition 3.2. A set A in Ĉ is open if for each point a A, there exists some ε > 0 such that U ε (a) A With this definition, we see that an open set in must also be open in Ĉ. For example, H is open in, so we know that it is also an open subset of Ĉ. In other words, is not distorted in being viewed as a subset of Ĉ. Naturally, we can also extend the definition of closedness to Ĉ. Definition 3.3. A set X in Ĉ is closed if its complement Ĉ X in Ĉ is open. With one more definition, we can unify the two different types of hyperbolic lines defined in terms of Euclidean lines and Euclidean circles on. Definition 3.4. The closure X of X in Ĉ is the set X = {z Ĉ U ε(z) X for all ε > 0} Definition 3.5. A circle in Ĉ is either a Euclidean circle in or the union of a Euclidean line in with { }. Hyperbolic lines are circles on the Riemann sphere, and the circles on the Riemann sphere are the closure of the Euclidean lines and Euclidean circles on that they are derived from. Furthermore, we can describe the circles on Ĉ as the sets of solutions of equations in Ĉ. Specifically, we recall equations 2.4 and 2.5 and note that all Euclidean circles in can be considered sets of solutions to equations of the form αz z + βz + β z + γ = 0 where α, γ R and β, and that every Euclidean line in can be seen as the set of solutions of equation βz + β z + γ = 0 where γ R and β. We can combine these to say that every circle on the Riemann sphere can be described as the solutions in Ĉ of equations that have the form αz z + βz + β z + γ = 0 where α, γ R and β. 4. Homeomorphisms on Ĉ In this section, we will define homeomorphisms and find an especially well behaved class of homeomorphisms on Ĉ. First, to define homeomorphisms, we must first define the notion of continuous functions on Ĉ.
6 6 YONG JAE KIM Definition 4.1. A function f : Ĉ Ĉ is continuous at z Ĉ if for each ε > 0, there exists δ > 0 (depending on z and ε) such that w U δ (z) implies that f(w) U ε (f(z)). A function f : Ĉ Ĉ is continuous on Ĉ if it is continuous at every point z Ĉ This definition allows us to apply the same proofs as with functions from R to R to show the continuity of functions from Ĉ to Ĉ. That is, we can show that constant functions, products and quotients, sums and differences and compositions of functions from Ĉ to Ĉ are continuous (when defined) with the same proofs as for functions from R to R. There are, however, some differences between functions from R to R and functions from Ĉ to Ĉ that arise from the existence of the point. For example the function J : Ĉ Ĉ defined by J(z) = 1 z for z Ĉ {0}, J(0) = 0, and J( ) = 0 is continuous on Ĉ. With this, on Ĉ, a homeomorphism is defined as the following. Definition 4.2. A function f : Ĉ Ĉ is a homeomorphism if f is a bijection and both f and f -1 are continuous. For convenience, we introduce a bit of notation and say that Homeo(Ĉ) = {f : Ĉ Ĉ f is a homeomorphism} We see that by definition, the inverse of a homeomorphism is a homeomorphism. Since the composition of bijections is a bijection and the composition of continuous functions is also continuous, we can also see that the composition of two homeomorphisms is also a homeomorphism. Lastly, the identity homeomorphism f : Ĉ Ĉ is also a homeomorphism. From these facts, we therefore note that Homeo(Ĉ) is a group. At this point we also introduce two functions: f(z) = az + b and g(z) = 1 z. We propose that they are both homeomorphisms on Ĉ. Proposition 4.3. The function F : Ĉ Ĉ defined by F (z) = az + b for z Ĉ and f( ) = where a, b and a 0 is a homeomorphism. Proof. Function F is a homeomorphism if it is a bijection and both F and F 1 are continuous. We can prove this simply by writing an explicit expression for F 1 F 1 (z) = 1 a (z b) for z and F 1 ( ) = we see that F is a bijection and that F 1 is continuous. Proposition 4.4. The function J : Ĉ Ĉ defined by J(z) = 1 z for z Ĉ {0}, J(0) =, and J( ) = 0 is a homeomorphism on Ĉ.
7 THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE 7 Proof. Suppose that there exist points z and w for which J(z) = J(w). Since J J(z) = z for all z Ĉ, z = J(J(z)) = J(J(w)) = w. So we know that J is injective. Since z = J(J(z)) for all z Ĉ, we see that J is surjective. Since J is injective and surjective, J is bijective. Furthermore, since J 1 (z) = J(z) for all z Ĉ and J is continuous, J 1 is continuous. Since J is bijective and continuous, J is a homeomorphism. Since all hyperbolic lines on H are contained in circles in Ĉ, we are especially interested in homeomorphisms of Ĉ that send circles on Ĉ to circles on Ĉ. Again, for convenience, we introduce another notation and let Homeo (Ĉ) be the subset of Homeo(Ĉ) that have this property. Note that we do not yet know that the inverse of elements of Homeo (Ĉ) are in Homeo (Ĉ), and so do not yet know whether Homeo (Ĉ) is a group. 5. Möbius Transformations as Homeomorphisms Definition 5.1. A Möbius Transformation is a function m : Ĉ Ĉ of the form m(z) = az + b cz + d where a, b, c, d, ad bc 0 and a 0 = lim a w 0 w. Let Möb + denote the set of all Möbius transformations a With this, we see that lim w 0 w = in Ĉ. However, the expressions or 0 0 are still ambiguous. Similarly, we define the image of under the Möbius transformation m(z) = az+b cz+d by continuity. That is, we set az + b m( ) = lim z cz + d = lim a + b z z c + d z The two types of Homeo(Ĉ) mentioned in the previous section are also elements of Homeo (Ĉ). = a c Proposition 5.2. The element F of Homeo(Ĉ) defined by F (z) = az + b for z Ĉ and f( ) = where a, b and a 0 is an element of Homeo (Ĉ). Proof. Every circle A on the Riemann sphere can be described as the set of solutions in Ĉ to equations of the form αz z + βz + β z + γ = 0 where α, γ R and β. We first consider the case in which A is a Euclidean line in. In this case, the A can be represented in the following manner. A = {z βz + β z + γ = 0}
8 8 YONG JAE KIM where β and γ R. We want to show that for every z that satisfies the equation, w = az + b also satisfies the equation. Since w = az + b, we have z = 1 a (z b). Substituting this into the equation for A, we get β(z) + β z + γ = β 1 a (w b) + β 1 (w b) + γ a = β ( ) β α w + w β α α b β α b + γ = 0 ( ) since β α b β α b = 2Re β α b is real and the coefficients of w and w are complex conjugates, w also satisfies the equation of a Euclidean line. Therefore, F sends Euclidean lines in to Euclidean lines in. Similarly, we consider the case in which A is a Euclidean circle in. Again, using the equation derived earlier, we can represent the line A to be A = {z αz z + βz + β z + γ = 0} Again setting w = az+b and substituting z = 1 a (w b) into αz z+βz+ β z+γ = 0, we get αz z = α 1 a (w b) 1 a (w b) + β 1 a (w b) + β 1 (w b) + γ a = α a 2 (w b)(w b) + β ( ) β (w b) + w b + γ α α = α a 2 w + βa 2 α b + γ β 2 α = 0 Since this is again the equation for a Euclidean circle on, we see that F sends Euclidean lines on to Euclidean lines on and Euclidean circles on to Euclidean circles on. onsequently, F sends circles on Ĉ to circles on Ĉ. F is an element of Homeo (Ĉ) Proposition 5.3. The function J : Ĉ Ĉ defined by J(z) = 1 z for z Ĉ {0}, J(0) = 0, and J( ) = 0 is an element of Homeo (Ĉ). Proof. As in the proof of Proposition 4.5, we let A be a circle in Ĉ given by the equation αz z + βz + β z + γ = 0 where α, γ R and β. Set w = 1 z so that z = 1w. Substituting into the equation for A, we get α 1 w 1 w + β 1 w + β 1 w + γ = 0
9 THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE 9 Multiplying through by w w, we get the equation α + β w + βw + γw w = 0 and this again is the equation of a circle on the Riemann sphere. J is an element of Homeo (Ĉ) The elements of Homeo (Ĉ) discussed above are the basis of Möbius transformations. We will soon prove that all Möbius transformations are the compositions of these homeomorphisms of Ĉ that send circles to circles on the Riemann sphere. Theorem 5.4. Let m(z) = az+b cz+d, where a, b, c, d and ad bc 0 be a Möbius transformation. If c = 0, then m(z) = a d z + b d, or If c 0, then m(z) = f(j(g(z))), where g(z) = c 2 z +cd and f(z) = (ad bc)z + a c for z and f( ) = = g( ). Proof. We prove this theorem through simple calculation. If c = 0, the result is obvious. If c 0, Since ad bc 0, we have that m(z) = acz + bc c 2 + cd m(z) = az + b (az + b)c azc + bc = = cz + d (cz + d)c c 2 z + cd. = acz + ad (ad bc) c 2 z + cd = a c where g(z) = c 2 z + cd and f(z) = (ad bc)z + a c. ad bc c 2 z + cd = f(j(g(z))) From this we see that a Möbius transformation is a composition of homeomorphisms. An immediate consequence of Theorem 5.2, then, is that every Möbius transformation is a homeomorphism. Furthermore, we have proved earlier in propositions 4.5 and 4.6 that the homeomorphisms on Ĉ whose compositions are the set of Möbius transformations have the property of sending circles to circles on the Riemann sphere Ĉ. From these facts, we can derive an important theorem: Theorem 5.5. Möb + Homeo (Ĉ). 6. Transitivity Properties of Möb + One of the defining characteristics of Möbius transformations is that they act uniquely triply transitively on Ĉ. This means that there exists a unique element m of Möb + such that for any two triples (z 1, z 2, z 3 ) and (w 1, w 2, w 3 ) of distinct points on Ĉ, m(z 1) = w 1, m(z 2 ) = w 2, m(z 3 ) = w 3. To prove this, we consider a lemma concerning fixed points. Definition 6.1. A fixed point of the Möbius transformation m is a point z of Ĉ satisfying m(z) = z. Lemma 6.2. If m(z) is a Möbius transformation with three distinct fixed points on Ĉ, m is the identity transformation. That is, m(z) = z for every z in Ĉ.
10 10 YONG JAE KIM Proof. Suppose that m fixes three points on Ĉ but is not the identity transformation. We have that for m = az+b cz+d, m( ) = a c and consequently that m( ) = if and only if c = 0. If c = 0, then m(z) = a d z + b d, and the fixed point of m in is the solution to the equation m(z) = a d z + b d = z. If a d = 1, then b 0 since m is not the identity. In this case, there is no solution in. If a d 1, z = b d a is the unique solution in. In particular, if c = 0, m has one or two fixed points. If c 0, then m( ), and the fixed points of m are the solutions in of the equation m(z) = az+b cz+d = z. These can be represented otherwise as the solutions to the quadratic equation cz 2 + (d a)z b = 0. In this case again, m has either one or two fixed points. These observations allow us to conclude that if an element m of Möb + fixes three points in, it is the identity transformation. With this lemma, we can now prove the proposition. Proposition 6.3. Möb + acts uniquely triply transitively on Ĉ. Proof. We start the proof of this fact by first showing uniqueness. Given two triples (z 1, z 2, z 3 ) and (w 1, w 2, w 3 ) of distinct points in Ĉ, suppose that there are two Möbius transformations m and n satisfying m(z 1 ) = w 1 = n(z 1 ), m(z 2 ) = w 2 = n(z 2 ) and m(z 3 ) = w 3 = n(z 3 ). Since m 1 n fixes three distinct points of Ĉ, we know by Lemma 6.2 that it is the identity. This means that m = n and proves uniqueness. To show the existence of a Möbius transformation taking (z 1, z 2, z 3 ) to (w 1, w 2, w 3 ), we need only show that there exists an element of Möb + m such that m(z 1 ) = 0, m(z 2 ) = 1 and m(z 3 ) =. If we show the existence of such an m, we can also find n such that n(w 1 ) = 0, n(w 2 ) = 1 and n(w 3 ) = and n 1 m is the desired transformation taking (z 1, z 2, z 3 ) to (w 1, w 2, w 3 ). We can find such a transformation quite simply by writing m(z) = z z 1 z z 3 z 2 z 3 z 2 z 1 = (z 2 z 3 )z z 1 (z 2 z 3 ) (z 2 z 1 )z z 3 (z 2 z 1 ) 7. The General Möbius Group The general Möbius group Möb is a very natural extension of the existing group of Möbius transformations Möb +. We consider the simplest homeomorphism of Ĉ not already contained in Möb + to find a largest set of homeomorphisms on Ĉ that send circles to circles in Ĉ. This simple homeomorphism is the complex conjugation defined as (z) = z for z and ( ) = Definition 7.1. The general Möbius group Möb is the group formed from the composition of Möb + and. That is, every element p of Möb can be expressed as a composition p = m k m 1 for some k 1, where each m k is an element of Möb +.
11 THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE 11 For a circle A given by the equation αz z +βz + β z +γ = 0, if w = (z) = z then w satisfies the equation αw w + βw + β w + γ = 0. Therefore, the fuction : Ĉ Ĉ lies in Homeo (Ĉ). ombining this with the fact that Möb+ Homeo (Ĉ), we can propose the following theorem for the general Möbius group. Theorem 7.2. Möb Homeo (Ĉ). With Theorem 7.2 established, we now only need to show that Homeo (Ĉ) Möb in order to show that Möb = Homeo (Ĉ); or that the general Möbius group is the automorphism group on the Riemann sphere. Theorem 7.3. Möb = Homeo (Ĉ) Proof. As said above, to prove this theorem at this point, we need only show that Homeo (Ĉ) Möb then combine with theorem 7.2. Let f be an element of Homeo (Ĉ). Let p be the Möbius transformation taking the triple (f(0), f(1), f( )) to the triple (0, 1, ) such that p f satisfies p f(0) = 0, p f(1) = 1, and p f( ) =. As both p and f take circles to circles on Ĉ, p f takes circles in Ĉ to circles in Ĉ. R = R { } is the circle determined by the triple (0, 1, ) and p f( ) =. Therefore, it must be that p f(r) = R. Since p f fixes and the real line R, p f(h) is either the upper half plane or the lower half plane. We choose m = p and m = p respectively to find an element of Möb such that m f(0) = 0, m f(1) = 1, and m f( ) = and m f(r) = R We try to show that m f is the identity by constructing a dense set of points in Ĉ each of which is fixed by m f. For convenience, let us set Z = {z Ĉ m f(z) = z}, or the set of points fixed by m f in Ĉ. We have already established that 0, 1 and are in Z. Definition 7.4. A subset X of Ĉ is dense if ˆX = Ĉ. The composition m f takes Euclidean lines in to Euclidean lines in and takes Euclidean circles in to Euclidean circles in since it lies in Homeo () and fixes. We also note that for any two Euclidean lines X and Y on for which m f(x) = X and m f(y ) = Y the point z 0 at which they intersect is fixed since m f(z 0 ) = z 0. Using this, we create a dense set of fixed points by intersecting lines. For each s R, let V (s) be the vertical line in through s, and H(s) be the horizontal line in passing through the point is. Let A be the Euclidean circle with Euclidean center 1 2 and Euclidean radius 1 2. As V (0) and V (1) are tangent to A at 0 and 1, we see that m f(v (0)) and m f(v (1)) respectively are the tangent lines to m f(a). Since V (1) and V (0) are parallel, m f(v (1)) and m f(v (0)) must also be parallel, so it must also be that m f(v (1)) = V (1) and m f(v (0)) = V (0). Furthermore, to have parallel tangent lines, it must also be true that m F (A) = A. Using the same method with the lines H( 1 2 ) and H( 1 2 ), we find that m f(h( 1 2 )) = H( 1 2 ) and m f(h( 1 2 )) = H( 1 2 ). This provides more points to be included in Z, namely H( 1 2 ) V (0) = 1 2 i, H( 1 2 ) V (1) = i, H( 1 2 ) V (0) = 1 2 i and H( 1 2 ) V (0) = i.
12 12 YONG JAE KIM Each pair of points in Z produces a new line that is taken to itself by m f. Every triple of points gives rise to a Euclidean circle that is also taken to itself by m f. The intersections of these lines and circles are more points in Z. By repeating this process we show that Z contains a dense set of points of Ĉ. Lemma 7.5. If X is dense in Ĉ and if f : Ĉ Ĉ is a continuous function for which f(x) = x for all x X, then f(x) = z for all z Ĉ Proof. For any z Ĉ, there exists a sequence {x n} in X converging to z since X is dense in Ĉ. Also, f is continuous. We know, therefore, that {f(x n)} converges to f(z). Since f(x n ) = x n, this gives that {x n } converges to both z and f(z), and so z = f(z). This means that m f is the identity and therefore Homeo (Ĉ) = Möb. This shows that the general Möbius group is the automorphism group on the Riemann Sphere. Acknowledgments. I would like to thank my mentor Bena Tshishiku for his patience and knowledge in guiding me through the process of writing this paper. Also, I thank Professor Peter May and everyone else involved for providing the oportunity to participate in such a program. References [1] J. W. Anderson. Hyperbolic Geometry. Springer. 2005
5.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 informationConformal Mappings. Chapter Schwarz Lemma
Chapter 5 Conformal Mappings In this chapter we study analytic isomorphisms. An analytic isomorphism is also called a conformal map. We say that f is an analytic isomorphism of U with V if f is an analytic
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 informationLecture 14 Conformal Mapping. 1 Conformality. 1.1 Preservation of angle. 1.2 Length and area. MATH-GA Complex Variables
Lecture 14 Conformal Mapping MATH-GA 2451.001 Complex Variables 1 Conformality 1.1 Preservation of angle The open mapping theorem tells us that an analytic function such that f (z 0 ) 0 maps a small neighborhood
More informationMAT389 Fall 2016, Problem Set 2
MAT389 Fall 2016, Problem Set 2 Circles in the Riemann sphere Recall that the Riemann sphere is defined as the set Let P be the plane defined b Σ = { (a, b, c) R 3 a 2 + b 2 + c 2 = 1 } P = { (a, b, c)
More informationIII.3. Analytic Functions as Mapping, Möbius Transformations
III.3. Analytic Functions as Mapping, Möbius Transformations 1 III.3. Analytic Functions as Mapping, Möbius Transformations Note. To graph y = f(x) where x,y R, we can simply plot points (x,y) in R 2 (that
More informationHyperbolic Transformations
C H A P T E R 17 Hyperbolic Transformations Though the text of your article on Crystal Symmetry and Its Generalizations is much too learned for a simple, selfmade pattern man like me, some of the text-illustrations
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationRiemann sphere and rational maps
Chapter 3 Riemann sphere and rational maps 3.1 Riemann sphere It is sometimes convenient, and fruitful, to work with holomorphic (or in general continuous) functions on a compact space. However, we wish
More informationWe introduce the third of the classical geometries, hyperbolic geometry.
Chapter Hyperbolic Geometry We introduce the third of the classical geometries, hyperbolic geometry.. Hyperbolic Geometry Lines are (i) vertical lines in H H = H 2 = {(x, y) R 2 y > 0} = {z C Im(z) > 0}
More informationMATH 434 Fall 2016 Homework 1, due on Wednesday August 31
Homework 1, due on Wednesday August 31 Problem 1. Let z = 2 i and z = 3 + 4i. Write the product zz and the quotient z z in the form a + ib, with a, b R. Problem 2. Let z C be a complex number, and let
More information2 hours THE UNIVERSITY OF MANCHESTER.?? January 2017??:????:??
hours MATH3051 THE UNIVERSITY OF MANCHESTER HYPERBOLIC GEOMETRY?? January 017??:????:?? Answer ALL FOUR questions in Section A (40 marks in all) and TWO of the THREE questions in Section B (30 marks each).
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 informationDIFFERENTIAL GEOMETRY HW 5
DIFFERENTIAL GEOMETRY HW 5 CLAY SHONKWILER 1 Check the calculations above that the Gaussian curvature of the upper half-plane and Poincaré disk models of the hyperbolic plane is 1. Proof. The calculations
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 informationis holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts.
RIEMANN SURFACES 2. Week 2. Basic definitions 2.1. Smooth manifolds. Complex manifolds. Let X be a topological space. A (real) chart of X is a pair (U, f : U R n ) where U is an open subset of X and f
More information(7) Suppose α, β, γ are nonzero complex numbers such that α = β = γ.
January 22, 2011 COMPLEX ANALYSIS: PROBLEMS SHEET -1 M.THAMBAN NAIR (1) Show that C is a field under the addition and multiplication defined for complex numbers. (2) Show that the map f : R C defined by
More informationAlgebraic Topology M3P solutions 1
Algebraic Topology M3P21 2015 solutions 1 AC Imperial College London a.corti@imperial.ac.uk 9 th February 2015 (1) (a) Quotient maps are continuous, so preimages of closed sets are closed (preimages of
More informationINTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES PHILIP FOTH 1. Cauchy s Formula and Cauchy s Theorem 1. Suppose that γ is a piecewise smooth positively ( counterclockwise ) oriented simple closed
More informationMATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE
MATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE 1. Introduction Let D denote the unit disk and let D denote its boundary circle. Consider a piecewise continuous function on the boundary circle, {
More informationJunior Seminar: Hyperbolic Geometry Lecture Notes
Junior Seminar: Hyperbolic Geometry Lecture Notes Tim Campion January 20, 2010 1 Motivation Our first construction is very similar in spirit to an analogous one in Euclidean space. The group of isometries
More informationMöbius Transformation
Möbius Transformation 1 1 June 15th, 2010 Mathematics Science Center Tsinghua University Philosophy Rigidity Conformal mappings have rigidity. The diffeomorphism group is of infinite dimension in general.
More informationPart II. Geometry and Groups. Year
Part II Year 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2014 Paper 4, Section I 3F 49 Define the limit set Λ(G) of a Kleinian group G. Assuming that G has no finite orbit in H 3 S 2, and that Λ(G),
More information1 Holomorphic functions
Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative
More informationz, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1
3 3 THE RIEMANN SPHERE 31 Models for the Riemann Sphere One dimensional projective complex space P(C ) is the set of all one-dimensional subspaces of C If z = (z 1, z ) C \ 0 then we will denote by [z]
More informationCHAPTER 2. CONFORMAL MAPPINGS 58
CHAPTER 2. CONFORMAL MAPPINGS 58 We prove that a strong form of converse of the above statement also holds. Please note we could apply the Theorem 1.11.3 to prove the theorem. But we prefer to apply the
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More information(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.
1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of
More informationA crash course the geometry of hyperbolic surfaces
Lecture 7 A crash course the geometry of hyperbolic surfaces 7.1 The hyperbolic plane Hyperbolic geometry originally developed in the early 19 th century to prove that the parallel postulate in Euclidean
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012 September 5, 2012 Mapping Properties Lecture 13 We shall once again return to the study of general behaviour of holomorphic functions
More informationHYPERBOLIC PLANE AS A PATH METRIC SPACE. Contents
HYPERBOLIC PLANE AS A PATH METRIC SPACE QINGCI AN Abstrct. We will study the quntities tht re invrint under the ction of Möb(H) on hyperbolic plne, nmely, the length of pths in hyperbolic plne. From these
More informationFunctions of a Complex Variable
Functions of a Complex Variable In this chapter, we will study functions of a complex variables. The most interesting functions on the complex plane are those that are holomorphic. The most important holomorphic
More information(z 0 ) = lim. = lim. = f. Similarly along a vertical line, we fix x = x 0 and vary y. Setting z = x 0 + iy, we get. = lim. = i f
. Holomorphic Harmonic Functions Basic notation. Considering C as R, with coordinates x y, z = x + iy denotes the stard complex coordinate, in the usual way. Definition.1. Let f : U C be a complex valued
More informationISOMETRIES OF THE HYPERBOLIC PLANE
ISOMETRIES OF THE HYPERBOLIC PLANE ALBERT CHANG Abstract. In this paper, I will explore basic properties of the group P SL(, R). These include the relationship between isometries of H, Möbius transformations,
More informationHow to fail Hyperbolic Geometry
Hyperbolic Geometry 1 Introduction These notes describe some of the most common misunderstandings and mistakes that occur almost every year. The section headings contain the most common mistakes students
More informationThe result above is known as the Riemann mapping theorem. We will prove it using basic theory of normal families. We start this lecture with that.
Lecture 15 The Riemann mapping theorem Variables MATH-GA 2451.1 Complex The point of this lecture is to prove that the unit disk can be mapped conformally onto any simply connected open set in the plane,
More informationGeometric Complex Analysis. Davoud Cheraghi Imperial College London
Geometric Complex Analysis Davoud Cheraghi Imperial College London May 9, 2017 Introduction The subject of complex variables appears in many areas of mathematics as it has been truly the ancestor of many
More information7.2 Conformal mappings
7.2 Conformal mappings Let f be an analytic function. At points where f (z) 0 such a map has the remarkable property that it is conformal. This means that angle is preserved (in the sense that any 2 smooth
More information8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces
8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,
More information2 Complex Functions and the Cauchy-Riemann Equations
2 Complex Functions and the Cauchy-Riemann Equations 2.1 Complex functions In one-variable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)
More informationQualifying Exam Complex Analysis (Math 530) January 2019
Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationb 0 + b 1 z b d z d
I. Introduction Definition 1. For z C, a rational function of degree d is any with a d, b d not both equal to 0. R(z) = P (z) Q(z) = a 0 + a 1 z +... + a d z d b 0 + b 1 z +... + b d z d It is exactly
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationChapter 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 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 informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationGeneral Notation. Exercises and Problems
Exercises and Problems The text contains both Exercises and Problems. The exercises are incorporated into the development of the theory in each section. Additional Problems appear at the end of most sections.
More informationMath 814 HW 3. October 16, p. 54: 9, 14, 18, 24, 25, 26
Math 814 HW 3 October 16, 2007 p. 54: 9, 14, 18, 24, 25, 26 p.54, Exercise 9. If T z = az+b, find necessary and sufficient conditions for T to cz+d preserve the unit circle. T preserves the unit circle
More informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
More informationSolutions to Exercises 6.1
34 Chapter 6 Conformal Mappings Solutions to Exercises 6.. An analytic function fz is conformal where f z. If fz = z + e z, then f z =e z z + z. We have f z = z z += z =. Thus f is conformal at all z.
More informationTHE FUNDAMENTAL GROUP AND CW COMPLEXES
THE FUNDAMENTAL GROUP AND CW COMPLEXES JAE HYUNG SIM Abstract. This paper is a quick introduction to some basic concepts in Algebraic Topology. We start by defining homotopy and delving into the Fundamental
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 informationarxiv: v1 [math.dg] 12 Jun 2018
ON INFINITELY GENERATED FUCHSIAN GROUPS OF SOME INFINITE GENUS SURFACES JOHN A ARREDONDO AND CAMILO RAMÍREZ MALUENDAS arxiv:80604492v mathdg 2 Jun 208 ABSTRACT In this paper for a non compact and orientable
More information(x, y) = d(x, y) = x y.
1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance
More information1 The Differential Geometry of Surfaces
1 The Differential Geometry of Surfaces Three-dimensional objects are bounded by surfaces. This section reviews some of the basic definitions and concepts relating to the geometry of smooth surfaces. 1.1
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More information3 Hausdorff and Connected Spaces
3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationSpring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3
Spring 2018 CIS 610 Advanced Geometric Methods in Computer Science Jean Gallier Homework 3 March 20; Due April 5, 2018 Problem B1 (80). This problem is from Knapp, Lie Groups Beyond an Introduction, Introduction,
More information274 Curves on Surfaces, Lecture 4
274 Curves on Surfaces, Lecture 4 Dylan Thurston Notes by Qiaochu Yuan Fall 2012 4 Hyperbolic geometry Last time there was an exercise asking for braids giving the torsion elements in PSL 2 (Z). A 3-torsion
More informationMath 185 Fall 2015, Sample Final Exam Solutions
Math 185 Fall 2015, Sample Final Exam Solutions Nikhil Srivastava December 12, 2015 1. True or false: (a) If f is analytic in the annulus A = {z : 1 < z < 2} then there exist functions g and h such that
More informationRiemann Mapping Theorem (4/10-4/15)
Math 752 Spring 2015 Riemann Mapping Theorem (4/10-4/15) Definition 1. A class F of continuous functions defined on an open set G is called a normal family if every sequence of elements in F contains a
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 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 informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More informationGraphs of groups, Lecture 5
Graphs of groups, Lecture 5 Olga Kharlampovich NYC, Sep. 23 1 / 32 Amalgamated free products Graphs of groups. Definition Let A, B, C be groups and let σ : C A and τc A be injective homomorphisms. If the
More informationNOTES ON RIEMANN SURFACES
NOTES ON RIEMANN SURFACES DRAGAN MILIČIĆ 1. Riemann surfaces 1.1. Riemann surfaces as complex manifolds. Let M be a topological space. A chart on M is a triple c = (U,ϕ) consisting of an open subset U
More informationDefinition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.
13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which
More informationCOMPLEX ANALYSIS TOPIC XVI: SEQUENCES. 1. Topology of C
COMPLEX ANALYSIS TOPIC XVI: SEQUENCES PAUL L. BAILEY Abstract. We outline the development of sequences in C, starting with open and closed sets, and ending with the statement of the Bolzano-Weierstrauss
More informationLecture Figure 4.5. Relating curvature to the circumference of a circle.
Lecture 26 181 Figure 4.5. Relating curvature to the circumference of a circle. the plane with radius r (Figure 4.5). We will see that circumference = 2πr cr 3 + o(r 3 ) where c is a constant related to
More informationMath 460: Complex Analysis MWF 11am, Fulton Hall 425 Homework 5 Please write neatly, and in complete sentences when possible.
Math 460: Complex Analysis MWF am, Fulton Hall 425 Homework 5 Please write neatly, and in complete sentences when possible. Do the following problems from the book: 2.6.8, 2.6., 2.6.3, 2.6.4, 2.6.5 The
More informationExtensions Of S-spaces
University of Central Florida Electronic Theses and Dissertations Doctoral Dissertation (Open Access) Extensions Of S-spaces 2013 Bernd Losert University of Central Florida Find similar works at: http://stars.library.ucf.edu/etd
More informationInversive Geometry. James Emery 6/11/ Inversion Through a Circle 1. 9 TheMöbius Transformation Peaucellier-Lipkin Linkage 6
Inversive Geometry James Emery 6/11/2011 Contents 1 Inversion Through a Circle 1 2 TheMöbius Transformation 2 3 Circles Go To Circles 3 4 Inversive Linkage 5 5 Peaucellier-Lipkin Linkage 6 6 A Geometrical
More informationSOME PROPERTIES OF INTEGRAL APOLLONIAN PACKINGS
SOME PROPERTIES OF INTEGRAL APOLLONIAN PACKINGS HENRY LI Abstract. Within the study of fractals, some very interesting number theoretical properties can arise from unexpected places. The integral Apollonian
More information2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.
2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is
More informationChapter 1. Complex Numbers. Dr. Pulak Sahoo
Chapter 1 Complex Numbers BY Dr. Pulak Sahoo Assistant Professor Department of Mathematics University Of Kalyani West Bengal, India E-mail : sahoopulak1@gmail.com 1 Module-3: Straight Line and Circle in
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 informationIII.2. Analytic Functions
III.2. Analytic Functions 1 III.2. Analytic Functions Recall. When you hear analytic function, think power series representation! Definition. If G is an open set in C and f : G C, then f is differentiable
More informationPlane hyperbolic geometry
2 Plane hyperbolic geometry In this chapter we will see that the unit disc D has a natural geometry, known as plane hyperbolic geometry or plane Lobachevski geometry. It is the local model for the hyperbolic
More informationHere are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.
Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on
More informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More informationAfter taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.
Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric
More informationSets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions
Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.
More informationOn the local connectivity of limit sets of Kleinian groups
On the local connectivity of limit sets of Kleinian groups James W. Anderson and Bernard Maskit Department of Mathematics, Rice University, Houston, TX 77251 Department of Mathematics, SUNY at Stony Brook,
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
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 informationChapter 10: Rational Functions and the Riemann Sphere. By a rational function we mean a function f which can be expressed in the form
Chapter 10: Rational Functions and the Riemann Sphere By a rational function we mean a function f which can be expressed in the form f(z) = p(z) q(z) = a nz n +a n 1 z n 1 + +a 1 z +a 0 b m z m +b m 1
More information11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions
11 COMPLEX ANALYSIS IN C 1.1 Holomorphic Functions A domain Ω in the complex plane C is a connected, open subset of C. Let z o Ω and f a map f : Ω C. We say that f is real differentiable at z o if there
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationLINKING AND DISCRETENESS IN HYPERBOLIC 4-SPACE
LINKING AND DISCRETENESS IN HYPERBOLIC 4-SPACE BY ANDREW EBITNER SILVERIO A dissertation submitted to the Graduate School Newark Rutgers, The State University of New Jersey in partial fulfillment of the
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 informationSets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).
Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any
More informationLECTURE Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial
LECTURE. Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial f λ : R R x λx( x), where λ [, 4). Starting with the critical point x 0 := /2, we
More informationFourth Week: Lectures 10-12
Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore
More informationCOMPLEX ANALYSIS AND RIEMANN SURFACES
COMPLEX ANALYSIS AND RIEMANN SURFACES KEATON QUINN 1 A review of complex analysis Preliminaries The complex numbers C are a 1-dimensional vector space over themselves and so a 2-dimensional vector space
More informationConvex Analysis and Economic Theory Winter 2018
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number
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 informationCommensurability between once-punctured torus groups and once-punctured Klein bottle groups
Hiroshima Math. J. 00 (0000), 1 34 Commensurability between once-punctured torus groups and once-punctured Klein bottle groups Mikio Furokawa (Received Xxx 00, 0000) Abstract. The once-punctured torus
More information