WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
|
|
- Esmond Richard
- 5 years ago
- Views:
Transcription
1 WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References 9 We organize this set of notes around a few theorems of Weierstrass. Write O C n for the sheaf of holomorphic functions on C n. In the first three sections, we deduce the following algebraic results as consequences of the Weierstrass theorems: (i for each open set Ω C n, the ring O C n(ω is not Noetherian, (ii the local ring O Cn,0 is factorial, (iii the local ring O Cn,0 is Noetherian. The two later sections can be read independently of the first.. The Weierstrass factorization theorem The Weierstrass factorization theorem generalizes the fundamental theorem of algebra to transcendental functions. It asserts that every entire function f factors as f(z = e ( z g(z E pn z n n where g is some entire function, E pn are so-called elementary functions that generalize linear functions, and are the roots of f. The proofs of this section mostly follow [3, 5]... Statement. For any nonnegative integer p, define the pth elementary function E p on C as E p (z = ( z exp (z + z zp p Theorem. (Weierstrass factorization theorem. Suppose f is an entire function with f(0 0. Let z, z 2, be the zeroes of f (allowing repetition, and p, p 2, be any sequence of nonnegative integers such that ( +pn r r > 0 = < Then there exists an entire function g such that f(z = e g(z ( z E pn Note that (i The sequence p n = n satisfies this condition according to the root test. (ii If f has an order-k zero at z = 0, simply apply the theorem to f(z/z k.
2 2 YIFEI ZHAO The meat of the theorem is the convergence of the infinite product to an entire function ( z E(z = E pn with the property that (i E(z has exactly one zero at each, and (ii the order of the product does not matter. Indeed, assuming (i, we find that f(z/e(z is an entire function with no zeroes. Since C is simply connected, we have f(z/e(z = e g(z for some holomorphic function g(z. There are some standard examples of Weierstrass factorizations. For f(z = sin(πz/πz, the zeroes are precisely the nonzero integers. Hence p n = suffices. We find sin(πz πz = e ( g(z z ( z exp = e n n ( g(z z2 n 2 n 0 by multiplying together the factors associated to n and n. In fact, in this example, the function g(z can be taken to be zero..2. Infinite product. Recall that the infinite product of complex numbers a, a 2, is defined as a i = lim N a i N if the limit exists. The infinite product of a sequence of functions is defined pointwise. Proposition.2. Let Ω be an open subset of C. Given a sequence of holomorphic functions u, u 2, on Ω such that u n converges uniformly on each compact set K Ω, we have (i The infinite product ( + u n converges uniformly on each K, hence defines a holomorphic function P on Ω. (ii The order of zeroes of P at z satisfies ord z (P = ord z ( + u n (iii The function u is independent of the order of the infinite product, i.e. for any reordering {n k } of natural numbers, the infinite product k ( + u n k again converges uniformly on each K, and defines the same holomorphic function P. Proof. We leave to the reader verifications of the following inequalities (or see [3, Lemma 5.3]: Claim.3. Let a,, a N be complex numbers, and set Then we have N N p N = ( + a n, p N = ( + a n. N p N p N, p N exp a n. This requires a more refined version of the Weierstrass factorization theorem. I learned this argument from Bjorn Poonen s answer here: <
3 WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS 3 (i Fix a compact subset K. Let ɛ > 0. There exists an N 0 such that z K = u n (z ɛ. n=n 0 Let P N denote the Nth partial product of the ( + u n s. Then P N N N ( + u n exp u n < C (. where C is a constant (that only depends on K. We have used the claim in the second inequality. For M N N 0, we have M P M P N = P N ( + u n P N P N n=n+ ( M ( n=n+ exp ( + u n ( M n=n+ u n P N (e ɛ (by N N 0 Finally, using the inequality e ɛ < 2ɛ, we obtain (by claim (by claim P M P N < 2ɛ P N (.2 It follows from the bound on P N (. that P M (z is Cauchy for each z K. Hence exists. The inequality (.2 then shows that N N 0 P (z = lim N P N (z (.3 = P P N 2Cɛ so the convergence is uniform. (ii Note that the right-hand-side is a finite sum, because otherwise u n (z = for infinitely many n, and un would not converge. Suppose z is contained in the interior of a compact set K Ω. We first show that P (z 0 if + u n (z 0 for all n. Indeed, it follows from (.2 that for any ɛ > 0, there is some N 0 with N N 0 = P P N ( 2ɛ. If P N (z 0 for all N, then P (z 0. Now, say each + u n has an order-k n zero at z. We replace it by a holomorphic function + v n defined as (w z kn ( + v n (w = ( + u n (w. Note that we have only changed finitely many u n s. Hence the hypothesis is still satisfied by the functions v n, and + v n (z 0 for all n. Set d = ord z ( + u n Then we have n=0 ( + v n (w = P (w (w z d on K {z}, and the left hand side does not vanish at z by the argument above. It follows that P has a pole of order d at z.
4 4 YIFEI ZHAO (iii Again fix a compact set K Ω. Let ɛ > 0, and N 0 be taken as in (i. Let Q M be the partial product of the ( + u nk s. In other words, M Q M = ( + u nk For each N N 0, suppose M is so large that {, 2,, N} {n, n 2,, n M }. Then k= Q M P N 2ɛ P N 2Cɛ by a similar computation as in (.2. Thus the limit of Q M is identical to that of P N on K..3. Infinite product of elementary functions. To apply the Proposition, we first establish a bound for the elementary functions. Lemma.4. E p is an entire function with a simple zero at z =. Furthermore, for z, there holds E p (z z p+. Proof. Only the bound requires a proof. Indeed, E p (z = E p (0 E p (z = [0,z] The derivative may be computed and expanded into a power series: E p(wdw. E p(w = w p exp(w + w wp p = wp + a p+ w p+ + a p+2 w p+2 + with a p+, a p+2, 0. Hence E p (z = b p+ z p+ + b p+2 z b+2 + again with b p+, b p+2, 0. Therefore, the entire function satisfies ϕ(z ϕ( =. ϕ(z = E p(z z p+ Proposition.5. Let z, z 2, be a sequence of nonzero complex numbers (allowing repetition such that, and p, p 2, be any sequence of nonnegative integers such that ( pn+ r r > 0 = < Then (i The infinite product ( z E pn converges uniformly on each compact set K C, hence defines an entire function E. (ii E has a zero of order m at z C if and only if z occurs m times in the sequence z, z 2,. (iii The function E is independent of the order of the infinite product. This Proposition implies the Weierstrass factorization theorem, as we have discussed before. Proof. These are line-by-line restatements of the conclusions of Proposition.2, where we set Ω = C, and ( z u n (z = E pn Hence, we only need to verify the uniform convergence of ( z E p n z p n+ on each compact set K C. This is precisely given by the hypothesis.
5 WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS 5.4. Further consequences. Here we are concerned with the general problem of finding a holomorphic function with given data of zeroes. Theorem.6. Let Ω C be open. Suppose A Ω such that A has no limit point in Ω, and for each α A, there is a positive integer m(α. Then there exists a holomorphic function f on Ω which has a zero of order m(α for each α A, and no zero elsewhere. Proof. The problem is trivial if A is finite, where a polynomial f suffices. From now on we assume that A is infinite. Note that A is countable. Indeed, each α A is the center of an open ball B α such that {α} = B α A. Hence the cardinality of A is no greater than that of the rational points in C. We now let α, α 2, be an enumeration of elements of A, where each α occurs m(α times. The idea is to multiply elementary functions associated to each α n. But we cannot do so naïvely without running against the problem of convergence. So we first perform some reductions. Embed C in the Riemann sphere P = C { }. After a coordinate change, we may assume Ω and / A. This assumption implies the following: (i The complement S = C Ω is compact. Indeed, it is closed because Ω is open, and is bounded because Ω. (ii A is bounded. Indeed, since Ω is not a limit point of A, it admits a neighborhood that does not intersect A. Now, let β, β 2, be a sequence in S such that This construction is possible by (i. It follows that β n α n = inf β S β α n β n α n 0; otherwise, infinitely many α n would belong to a closed subset B Ω, which can be taken to be compact by (ii, so A would have a limit point in B. Now, we set ( αn β n f(z = E n z β n We claim that it converges uniformly on each compact K Ω. Indeed, compactness guarantees some γ > 0 such that z K = z β n γ However, for sufficiently large n, we have α n β n γ/2. Thus ( E αn β n n z β n α n β n z β n n+ < By Proposition.2, the infinite product converges and f(z has a zero precisely at each α n. Corollary.7. Let Ω C be open and nonempty. Then the ring O C (Ω is not Noetherian. Proof. There exists a sequence A of distinct complex numbers α, α 2, in Ω such that A has no limit point in Ω. Let f, f 2, be a sequence of holomorphic functions on Ω such that Then we have a proper chain of ideals f n has a simple zero at precisely α n, α n+, (f (f 2 (f n (f n+ since each f n /f n+ only has removable singularities in Ω, but if f n+ = f n g for some g O C (Ω, then which is a contradiction. 0 f n+ (α n = f n (α n g(α n = 0
6 6 YIFEI ZHAO Corollary.8. Let Ω C n be open and nonempty. Then the ring O C n(ω is not Noetherian. Proof. There is an embedding f : C C n such that f (Ω is nonempty in C. Hence we have a surjection of rings f : O C n(ω O C (f Ω. If O C n(ω were Noetherian, so would O C (f Ω be, but this is impossible by Corollary The Weierstrass preparation theorem The proofs in this section mostly follow [] and [2]. 2.. The theorem. In one variable, each nonzero holomorphic germ f O C,0 factors as f(z = z k u(z for some k and some unit u O C,0. In particular, the zeroes of f are discrete. The Weierstrass preparation theorem is a generalization of this statement to higher dimensions, where the linear factor z k is replaced by the Weierstrass polynomials. Definition 2.. A Weierstrass polynomial near 0 is a function P of n complex variables z,,, w, defined in a neighborhood of 0, of the form P (z, w = w d + a d (zw d + + a 0 (z where d is a nonnegative integer, and each a i (z is a holomorphic function defined in a neighborhood of 0 such that a i (0 = 0. It is better to think of a Weierstrass polynomial in terms of its germ in the local ring O C n,0. There are inclusion maps: P Cn,0 O C n,0[w] O Cn,0 where P C n,0 denotes the germs of Weierstrass polynomials. The first map embeds P C n,0 as a multiplicative submonoid of O C n,0[w], and the second map is a ring map. Theorem 2.2 (Weierstrass preparation theorem. Let f O Cn,0 and suppose f(0, w is not identically zero. Then f = gh for some g P C n,0 and h O C n,0. Furthermore, an expression of this form is unique. In particular, the degree of g is precisely the degree of vanishing of f(0, w at w = 0. Proof. Since f(0, w is not identically zero, we may find ɛ > 0 and r > 0 such that w < r, f(0, w = 0 = w = 0 (2. Hence f(z, w is nonzero and holomorphic in a neighborhood of the tube z < ɛ, w = r = f(z, w 0 (2.2 V = {(z, w : z < ɛ, w = r} For each z with z < ɛ, we may let b (z,, b d(z (z be the zeroes of f(z, w, allowing repetition. Then (2. shows that b i (0 = 0. Set d(z g(z, w = (w b i (z = w d(z + a d(z (zw d(z + + a 0 (z i=
7 WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS 7 where each a i (z is a symmetric polynomial in the b i (z s. Hence each a i (0 = 0 and a i (z can be expressed in terms of the functions d(z b q i (z = 2π w q f (z, wdw w =r f(z, w w i= and therefore are holomorphic. In particular, by taking q = 0 in the above equation, we find that d(z is holomorphic, so it must be a constant. Hence g(z, w defines a Weierstrass polynomial. Now, set f(z, w h(z, w = g(z, w and it remains to show that h(z, w extends to a holomorphic function on some neighborhood of zero. Indeed, for fixed z, the functions f and g (as functions of w have the same data of zeroes, so h(z, w is defined and holomorphic in w. It follows that h(z, w = 2π w =r h(z, ξ dξ (2.3 ξ w Since f and g have identical data of zeroes, g is also holomorphic and nonzero in a neighborhood of V. Thus h is holomorphic in a neighborhood of V. It now follows from (2.3 that if w is sufficiently close to 0, then h is holomorphic as well. To prove the uniqueness, note that given such an expression, f and g must have the same data of roots in a neighborhood of zero. On the other hand, g is the unique (germ of Weierstrass polynomial with this data. Hence h O Cn is also uniquely determined O C n,0 is factorial. The result will follow from a few easy lemmas. Lemma 2.3. Let g P C n,0 be irreducible as an element in O C n,0[w]. Then g is irreducible in O C n,0. Proof. Suppose g = f f 2 is a proper factorization in O C n,0. In other words, both f and f 2 vanish at zero. Since g(0, w is not identically zero, the same is true for f (0, w and f 2 (0, w. The Weierstrass preparation theorem applies, and we have f = g h, f 2 = g 2 h 2, where g, g 2 P Cn,0 are of nonzero degree and h, h 2 O C n,0. Hence g = (g g 2 (h h 2 The uniqueness in Weierstrass preparation theorem now shows g = g g 2, so we obtain a proper factorization in O C n,0[w]. Lemma 2.4. Let g P Cn,0, and suppose there exist g,, g n O C n,0[w] such that g = n g i. i= Then there exist g,, g n P C n,0 with deg( g i = deg(g i, such that n g = g i (2.4 i= Proof. Again, the fact that g(0, w is not identically zero implies that same thing for each g i (0, w. Let g i = g i hi be a factorization with g i P C n,0 and h i O C n,0. So (2.4 again follows from the uniqueness in Weierstrass preparation theorem. It remains to show that deg( g i = deg(g i. Indeed, we have deg( g i = deg( g i (0, w deg(g i (0, w deg(g i but n deg( g i = deg(g = i= so we must have equality deg( g i = deg(g i for all i. n deg(g i i=
8 8 YIFEI ZHAO Theorem 2.5. The local ring O Cn,0 is factorial. Proof. We first assume that O C n,0 is factorial. By Gauss lemma, the subring O C n,0[w] of O C n,0 is again factorial. Using Weierstrass preparation theorem, we may express each f O C n,0 uniquely as the product of a unit and a Weierstrass polynomial. Hence we only need to show that Weierstrass polynomials admit unique factorization into Weierstrass polynomials that are irreducible in O Cn,0. Indeed, each g P C n,0 admits a unique factorization n g = i= where each g i is an irreducible element of O C n,0[w]. If n =, then g is irreducible in O C n,0[w], hence irreducible in O C n,0 as well by Lemma 2.3. If n 2, then each g i has lower degree than g. By Lemma 2.4, we may change each g i into g i P C n,0 with degrees preserved. Hence, assuming that each g i has a unique factorization into Weierstrass polynomials that are irreducible in O Cn,0, the same holds for g itself. g i 3. The Weierstrass division theorem The proofs in this section follow [2]. 3.. The theorem. The Weierstrass polynomials behave like monomials in dimension-one in another way: one may divide by them and obtain a polynomial remainder of lesser degree. This is expressed by the Weierstrass division theorem. Theorem 3. (Weierstrass division theorem. Suppose f O Cn,0 and g P Cn,0 has degree d. Then there exists unique elements h O Cn,0 and r O C n,0[w] of degree < d such that f = gh + r Proof. Find ɛ > 0 and r > 0 such that z < ɛ, w = r = g(z, w 0. So g is nonzero and holomorphic in a neighborhood of the tube V = {(z, w : z < ɛ, w = r}. Set 2 h(z, w = 2π f(z, ξ ξ =r g(z, ξ(ξ w dξ Hence h is a holomorphic function in a neighborhood of zero. We need to show that r = f gh O C n,0[w] and has degree < d. This follows from a straightforward computation: r(z, w = = 2π 2π ξ =r ξ =r By definition of the Weierstrass polynomial, Hence g(z, ξ g(z, w ξ w 2 I find this expression of h a bit magical. f(z, ξ ξ w dξ 2π ξ =r ( f(z, ξ g(z, ξ g(z, w g(z, ξ ξ w g(z, w = w d + a d (zw d + + a 0 (z g(z, wf(z, ξ g(z, ξ(ξ w dξ dξ = (ξd w d + a d (z(ξ d w d + + a (z(ξ w ξ w
9 WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS 9 is a polynomial in w of degree d, with coefficients being holomorphic functions in z and ξ. It follows that r(z, w O C n,0[w] and has degree < d. For the uniqueness, it suffices to show that 0 = gh + r = h = 0, r = 0 Indeed, when z is sufficiently close to zero, g(z, w has d roots (as a function of w. However, deg(r < d, so h must be identically zero. Thus the same is true for r. Theorem 3.2. The local ring O C n,0 is Noetherian. Proof. Assume O C n,0 is Noetherian. By Hilbert s basis theorem, O C n,0[w] is again Noetherian. Let I be any nonzero ideal of O Cn,0, and let f O Cn,0 be a nonzero element. Then after a coordinate change if necessary, we may assume f(0, w is not identically zero. Weierstrass preparation theorem shows that f = gh for some g P C n,0, and h a unit. Thus g I. Let f be any element in I. Then Weierstrass division theorem shows that f = g h + r (3. for some r I O C n,0[w]. On the other hand, I O C n,0[w] is finitely generated by some g,, g n as an ideal of O C n,0[w]. Hence (3. expresses f as a O C n,0-combination of g, g,, g n. In other words, I is finitely generated. References [] Griffiths, Phillip, and Joseph Harris. Principles of algebraic geometry. John Wiley & Sons, 204. [2] Huybrechts, Daniel. Complex geometry: an introduction. Springer Science & Business Media, [3] Rudin, Walter. Real and complex analysis. Tata McGraw-Hill Education, 987.
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 informationTHE WEIERSTRASS PREPARATION THEOREM AND SOME APPLICATIONS
THE WEIERSTRASS PREPARATION THEOREM AND SOME APPLICATIONS XUAN LI Abstract. In this paper we revisit the Weierstrass preparation theorem, which describes how to represent a holomorphic function of several
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 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 informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
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 informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationHartogs Theorem: separate analyticity implies joint Paul Garrett garrett/
(February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
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 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 informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationVII.5. The Weierstrass Factorization Theorem
VII.5. The Weierstrass Factorization Theorem 1 VII.5. The Weierstrass Factorization Theorem Note. Conway motivates this section with the following question: Given a sequence {a k } in G which has no limit
More informationPrinciples of Real Analysis I Fall VII. Sequences of Functions
21-355 Principles of Real Analysis I Fall 2004 VII. Sequences of Functions In Section II, we studied sequences of real numbers. It is very useful to consider extensions of this concept. More generally,
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
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 informationMath 220A - Fall Final Exam Solutions
Math 22A - Fall 216 - Final Exam Solutions Problem 1. Let f be an entire function and let n 2. Show that there exists an entire function g with g n = f if and only if the orders of all zeroes of f are
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
More information(1) The embedding theorem. It says that a Stein manifold can always be embedded into C n for sufficiently large n.
Class 1. Overview Introduction. The subject of this course is complex manifolds. Recall that a smooth manifold is a space in which some neighborhood of every point is homeomorphic to an open subset of
More informationNOTES ON SEVERAL COMPLEX VARIABLES. J. L. Taylor Department of Mathematics University of Utah July 27, 1994 Revised June 9, 1997
NOTES ON SEVERAL COMPLEX VARIABLES J. L. Taylor Department of Mathematics University of Utah July 27, 1994 Revised June 9, 1997 Notes from a 1993 94 graduate course Revised for a 1996-97 graduate course
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 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 informationPOWER SERIES AND ANALYTIC CONTINUATION
POWER SERIES AND ANALYTIC CONTINUATION 1. Analytic functions Definition 1.1. A function f : Ω C C is complex-analytic if for each z 0 Ω there exists a power series f z0 (z) := a n (z z 0 ) n which converges
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationBernstein s analytic continuation of complex powers
(April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Analytic continuation of distributions 2. Statement of the theorems
More informationComplex Analysis for F2
Institutionen för Matematik KTH Stanislav Smirnov stas@math.kth.se Complex Analysis for F2 Projects September 2002 Suggested projects ask you to prove a few important and difficult theorems in complex
More informationCONSEQUENCES OF POWER SERIES REPRESENTATION
CONSEQUENCES OF POWER SERIES REPRESENTATION 1. The Uniqueness Theorem Theorem 1.1 (Uniqueness). Let Ω C be a region, and consider two analytic functions f, g : Ω C. Suppose that S is a subset of Ω that
More informationFixed Points & Fatou Components
Definitions 1-3 are from [3]. Definition 1 - A sequence of functions {f n } n, f n : A B is said to diverge locally uniformly from B if for every compact K A A and K B B, there is an n 0 such that f n
More informationTwo Lemmas in Local Analytic Geometry
Two Lemmas in Local Analytic Geometry Charles L Epstein and Gennadi M Henkin Department of Mathematics, University of Pennsylvania and University of Paris, VI This paper is dedicated to Leon Ehrenpreis
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
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 informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
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 informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationIII. Consequences of Cauchy s Theorem
MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationSolutions to practice problems for the final
Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z
More informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationSection Higher Direct Images of Sheaves
Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will
More informationTHE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter
THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,
More informationMATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM
MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM TSOGTGEREL GANTUMUR 1. Functions holomorphic on an annulus Let A = D R \D r be an annulus centered at 0 with 0 < r < R
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationTheorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r
2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such
More informationFrom the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )
3 Riemann surfaces 3.1 Definitions and examples From the definition of a surface, each point has a neighbourhood U and a homeomorphism ϕ U from U to an open set V in R 2. If two such neighbourhoods U,
More informationAPPROXIMATING CONTINUOUS FUNCTIONS: WEIERSTRASS, BERNSTEIN, AND RUNGE
APPROXIMATING CONTINUOUS FUNCTIONS: WEIERSTRASS, BERNSTEIN, AND RUNGE WILLIE WAI-YEUNG WONG. Introduction This set of notes is meant to describe some aspects of polynomial approximations to continuous
More informationRIEMANN MAPPING THEOREM
RIEMANN MAPPING THEOREM VED V. DATAR Recall that two domains are called conformally equivalent if there exists a holomorphic bijection from one to the other. This automatically implies that there is an
More informationComplex Analysis Qual Sheet
Complex Analysis Qual Sheet Robert Won Tricks and traps. traps. Basically all complex analysis qualifying exams are collections of tricks and - Jim Agler Useful facts. e z = 2. sin z = n=0 3. cos z = z
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 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 informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationComplex Analysis Important Concepts
Complex Analysis Important Concepts Travis Askham April 1, 2012 Contents 1 Complex Differentiation 2 1.1 Definition and Characterization.............................. 2 1.2 Examples..........................................
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationJosé Felipe Voloch. Abstract: We discuss the problem of constructing elements of multiplicative high
On the order of points on curves over finite fields José Felipe Voloch Abstract: We discuss the problem of constructing elements of multiplicative high order in finite fields of large degree over their
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationA NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.
Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationTHE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE
THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY by arxiv:170109087v1 [mathca] 9 Jan 017 MAGNUS D LADUE 0 Abstract In [1] Grossman Turett define the Cantor game In [] Matt Baker proves several results
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationAn introduction to holomorphic dynamics in one complex variable Informal notes Marco Abate
An introduction to holomorphic dynamics in one complex variable Informal notes Marco Abate Dipartimento di Matematica, Università di Pisa Largo Pontecorvo 5, 56127 Pisa E-mail: abate@dm.unipi.it November
More informationLogical Connectives and Quantifiers
Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then
More informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
More informationComplex Analysis Slide 9: Power Series
Complex Analysis Slide 9: Power Series MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Slide 9: Power Series 1 / 37 Learning Outcome of this Lecture We learn Sequence
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationAn Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010
An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.
More informationComplex Analysis. Chapter V. Singularities V.3. The Argument Principle Proofs of Theorems. August 8, () Complex Analysis August 8, / 7
Complex Analysis Chapter V. Singularities V.3. The Argument Principle Proofs of Theorems August 8, 2017 () Complex Analysis August 8, 2017 1 / 7 Table of contents 1 Theorem V.3.4. Argument Principle 2
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
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 informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More information12 Hilbert polynomials
12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationMAT 544 Problem Set 2 Solutions
MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.
More informationProof. We indicate by α, β (finite or not) the end-points of I and call
C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationarxiv:math.cv/ v1 23 Dec 2003
EXPONENTIAL GELFOND-KHOVANSKII FORMULA IN DIMENSION ONE arxiv:math.cv/0312433 v1 23 Dec 2003 EVGENIA SOPRUNOVA Abstract. Gelfond and Khovanskii found a formula for the sum of the values of a Laurent polynomial
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More information