THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE

Size: px
Start display at page:

Download "THE AUTOMORPHISM GROUP ON THE RIEMANN SPHERE"

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

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 information

Conformal Mappings. Chapter Schwarz Lemma

Conformal 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 information

IV. Conformal Maps. 1. Geometric interpretation of differentiability. 2. Automorphisms of the Riemann sphere: Möbius transformations

IV. 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 information

Lecture 14 Conformal Mapping. 1 Conformality. 1.1 Preservation of angle. 1.2 Length and area. MATH-GA Complex Variables

Lecture 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 information

MAT389 Fall 2016, Problem Set 2

MAT389 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 information

III.3. Analytic Functions as Mapping, Möbius Transformations

III.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 information

Hyperbolic Transformations

Hyperbolic 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 information

Course 212: Academic Year Section 1: Metric Spaces

Course 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 information

Part II. Riemann Surfaces. Year

Part 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 information

Riemann sphere and rational maps

Riemann 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 information

We introduce the third of the classical geometries, hyperbolic geometry.

We 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 information

MATH 434 Fall 2016 Homework 1, due on Wednesday August 31

MATH 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 information

2 hours THE UNIVERSITY OF MANCHESTER.?? January 2017??:????:??

2 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 information

Fuchsian groups. 2.1 Definitions and discreteness

Fuchsian 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 information

DIFFERENTIAL GEOMETRY HW 5

DIFFERENTIAL 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 information

6 6 DISCRETE GROUPS. 6.1 Discontinuous Group Actions

6 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 information

is holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts.

is 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 α = β = γ.

(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 information

Algebraic Topology M3P solutions 1

Algebraic 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 information

INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES

INTEGRATION 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 information

MATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE

MATH 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 information

Junior Seminar: Hyperbolic Geometry Lecture Notes

Junior 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 information

Möbius Transformation

Mö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 information

Part II. Geometry and Groups. Year

Part 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 information

1 Holomorphic functions

1 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 information

z, 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

z, 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 information

CHAPTER 2. CONFORMAL MAPPINGS 58

CHAPTER 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 information

PICARD S THEOREM STEFAN FRIEDL

PICARD 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.

(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 information

A crash course the geometry of hyperbolic surfaces

A 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 information

INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012

INDIAN 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 information

HYPERBOLIC PLANE AS A PATH METRIC SPACE. Contents

HYPERBOLIC 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 information

Functions of a Complex Variable

Functions 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

(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 information

ISOMETRIES OF THE HYPERBOLIC PLANE

ISOMETRIES 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 information

How to fail Hyperbolic Geometry

How 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 information

The 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.

The 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 information

Geometric Complex Analysis. Davoud Cheraghi Imperial College London

Geometric 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 information

7.2 Conformal mappings

7.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 information

8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces

8 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 information

2 Complex Functions and the Cauchy-Riemann Equations

2 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 information

Qualifying Exam Complex Analysis (Math 530) January 2019

Qualifying 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 information

Notes on Complex Analysis

Notes 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 information

b 0 + b 1 z b d z d

b 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 information

1 Categorical Background

1 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 information

Chapter 6: The metric space M(G) and normal families

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 information

Chapter 2 Metric Spaces

Chapter 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 information

INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION 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 information

General Notation. Exercises and Problems

General 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 information

Math 814 HW 3. October 16, p. 54: 9, 14, 18, 24, 25, 26

Math 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 information

MATH 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. 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 information

Solutions to Exercises 6.1

Solutions 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 information

THE FUNDAMENTAL GROUP AND CW COMPLEXES

THE 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 information

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

MATH 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 information

arxiv: v1 [math.dg] 12 Jun 2018

arxiv: 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.

(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 information

1 The Differential Geometry of Surfaces

1 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 information

Topological properties

Topological 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 information

3 Hausdorff and Connected Spaces

3 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 information

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

MASTERS 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 information

Spring 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 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 information

274 Curves on Surfaces, Lecture 4

274 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 information

Math 185 Fall 2015, Sample Final Exam Solutions

Math 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 information

Riemann Mapping Theorem (4/10-4/15)

Riemann 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 information

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

ON 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 information

Homework in Topology, Spring 2009.

Homework 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 information

Solutions to Complex Analysis Prelims Ben Strasser

Solutions 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 information

Graphs of groups, Lecture 5

Graphs 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 information

NOTES ON RIEMANN SURFACES

NOTES 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 information

Definition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.

Definition 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 information

COMPLEX ANALYSIS TOPIC XVI: SEQUENCES. 1. Topology of C

COMPLEX 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 information

Lecture Figure 4.5. Relating curvature to the circumference of a circle.

Lecture 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 information

Math 460: Complex Analysis MWF 11am, Fulton Hall 425 Homework 5 Please write neatly, and in complete sentences when possible.

Math 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 information

Extensions Of S-spaces

Extensions 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 information

Inversive Geometry. James Emery 6/11/ Inversion Through a Circle 1. 9 TheMöbius Transformation Peaucellier-Lipkin Linkage 6

Inversive 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 information

SOME PROPERTIES OF INTEGRAL APOLLONIAN PACKINGS

SOME 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 information

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

2.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 information

Chapter 1. Complex Numbers. Dr. Pulak Sahoo

Chapter 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 information

Introduction to Topology

Introduction 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 information

III.2. Analytic Functions

III.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 information

Plane hyperbolic geometry

Plane 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 information

Here are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.

Here 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 information

INTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES

INTEGRATION 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 information

After 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.

After 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 information

Sets 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. 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 information

On the local connectivity of limit sets of Kleinian groups

On 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 information

Quasi-conformal maps and Beltrami equation

Quasi-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 information

AN INTRODUCTION TO AFFINE SCHEMES

AN 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 information

Chapter 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 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 information

11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions

11 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 information

William P. Thurston. The Geometry and Topology of Three-Manifolds

William 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 information

LINKING AND DISCRETENESS IN HYPERBOLIC 4-SPACE

LINKING 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 information

COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS

COMPLETELY 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 information

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Sets 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 information

LECTURE 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 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 information

Fourth Week: Lectures 10-12

Fourth 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 information

COMPLEX ANALYSIS AND RIEMANN SURFACES

COMPLEX 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 information

Convex Analysis and Economic Theory Winter 2018

Convex 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 information

Math 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 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 information

Commensurability between once-punctured torus groups and once-punctured Klein bottle groups

Commensurability 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