# Course 214 Section 1: Basic Theorems of Complex Analysis Second Semester 2008

Save this PDF as:

Size: px
Start display at page:

Download "Course 214 Section 1: Basic Theorems of Complex Analysis Second Semester 2008"

## Transcription

1 Course 214 Section 1: Basic Theorems of Complex Analysis Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins Contents 1 Basic Theorems of Complex Analysis The Complex Plane Infinite Sequences of Complex Numbers The Least Upper Bound Principle Monotonic Sequences Upper and Lower Limits of Bounded Sequences of Real Numbers The Bolzano-Weierstrass Theorem Cauchy s Criterion for Convergence Limits of Functions of a Complex Variable Continuous Functions of a Complex Variable The Intermediate Value Theorem Uniform Convergence Open Sets in the Complex Plane Interiors Closed Sets in the Complex Plane Closures Continuous Functions and Open and Closed Sets Continuous Functions on Closed Bounded Sets Uniform Continuity i

2 1 Basic Theorems of Complex Analysis 1.1 The Complex Plane A complex number is a number of the form x + iy, where x and y are real numbers, and i 2 = 1. The real numbers x and y are uniquely determined by the complex number x + iy, and are referred to as the real and imaginary parts of this complex number. The algebraic operations of addition, subtraction and multiplication are defined on complex numbers according to the formulae (x+yi)+(u+iv) = (x+u)+i(y +v), (x+yi) (u+iv) = (x u)+i(y v), (x + yi) (u + iv) = (xu yv) + i(xv + yu), where x, y, u and v are real numbers. We regard a real number x as coinciding with the complex number x + i 0. Note that the operations of addition, subtraction and multiplication of complex numbers defined as above extend the corresponding operations on the set of real numbers. The set C of complex numbers, with the operations of addition and multiplication defined above, has the following properties: (i) z 1 + z 2 = z 2 + z 1 for all z 1, z 2 C; (ii) z 1 + (z 2 + z 3 ) = (z 1 + z 2 ) + z 3 for all z 1, z 2, z 3 C; (iii) there exists a complex number 0 with the property that z+0 = 0+z = z for all complex numbers z; (iv) given any complex number z, there exists a complex number z such that z + ( z) = ( z) + z = 0; (v) z 1 z 2 = z 2 z 1 for all z 1, z 2 C; (vi) z 1 (z 2 z 3 ) = z 1 (z 2 z 3 ) for all z 1, z 2, z 3 C; (vii) there exists a complex number 1 with the property that z 1 = 1 z = z for all complex numbers z; (viii) given any complex number z satisfying z 0, there exists a complex number z 1 such that z z 1 = z 1 z = 1; (ix) z 1 (z 2 +z 3 ) = (z 1 z 2 )+(z 1 z 3 ) and (z 1 +z 2 ) z 3 = (z 1 z 3 )+(z 2 z 3 ) for all z 1, z 2, z 3 C. 1

3 To verify property (viii), we note that if z is a non-zero complex number, where z = x + iy for some real numbers x and y, and if z 1 is given by the formula z 1 = x x 2 + y 2 i y x 2 + y 2, then z z 1 = z 1 z = 1. Given complex numbers z and w, with w 0, we define the quotient z/w (i.e., z divided by w) by the formula z/w = zw 1. The conjugate z of a complex number z is defined such that x + iy = x iy for all real numbers x and y. The modulus z of a complex number z is defined such that x + iy = x 2 + y 2 for all real numbers x and y. Note that z = z for all complex numbers z. Also z + w = z + w for all complex numbers z and w. The real part Re z of a complex number satisfies the formula 2 Re z = z + z. Now Re z z. It follows that z + z 2 z for all complex numbers z. Straightforward calculations show that zz = z 2 for all complex numbers z, from which it easily follows that z 1 = z 2 z for all non-zero complex numbers z. Let z and w be complex numbers, and let z = x + iy and w = u + iv, where x, y, u and v are real numbers. Then zw 2 = (xu yv) 2 + (xv + yu) 2 = (x 2 u 2 + y 2 v 2 2xyuv) + (x 2 v 2 + y 2 u 2 + 2xyuv) = (x 2 + y 2 )(u 2 + v 2 ) = z 2 w 2 It follows that zw = z w for all complex numbers z and w. Let z and w be complex numbers. Then z + w 2 = (z + w) (z + w) = zz + zw + wz + ww = z Re zw + w 2 z zw + w 2 = z z w + w 2 = ( z + w ) 2. It follows that z + w z + w for all complex numbers z and w. We define the distance from a complex number z to a complex number w to be the quantity w z. Thus if z = x + iy and w = u + iv then w z = (x u) 2 + (y v) 2. We picture the complex numbers as representing points of the Euclidean plane. A complex number x + iy, where x and y are real numbers, represents the point of the plane whose Cartesian coordinates (with respect to an 2

4 appropriate origin) are (x, y). The fact that w z represents the distance between the points of the plane represented by the complex numbers z and w is an immediate consequence of Pythagoras Theorem. Let z 1, z 2 and z 3 be complex numbers. Then z 3 z 1 = (z 3 z 2 ) + (z 2 z 1 ) z 3 z 2 + z 2 z 1. This important inequality is known as the Triangle Inequality. It corresponds to the geometric statement that the length of any side of a triangle in the Euclidean plane is less than or equal to the sum of the lengths of the other two sides. 1.2 Infinite Sequences of Complex Numbers Definition A sequence a 1, a 2, a 3,... of complex numbers is said to converge to some complex number l if the following criterion is satisfied: given any positive real number ε, there exists some natural number N such that a j l < ε for all natural numbers j satisfying j N. The complex number l is referred to as the limit of the sequence a 1, a 2, a 3,..., and is denoted by lim a j. A sequence a 1, a 2, a 3,... of complex numbers is said to be bounded if there exists some real number R 0 such that a j R for all positive integers j. Every convergent sequence of complex numbers is bounded. Example Let w be a complex number satisfying w < 1. Then the infinite sequence w, w 2, w 3,... converges to 0. Indeed suppose that ε > 0 is given. We can choose some positive integer N large enough to ensure that w N < ε. Then w j < ε whenever j N. Lemma 1.1 Let a 1, a 2, a 3,... be an infinite sequence of complex numbers, and, for each positive integer j, let a j = x j + iy j, where x j and y j are real numbers. Then lim a j = l for some complex number l if and only if lim x j = p and lim y j = q, where p and q are real numbers satisfying p + iq = l. Proof Let l be a complex number, and let l = p + iq, where p and q are real numbers. Suppose that lim a j = l. Then, given any positive real number ε, 3

5 there exists some natural number N such that a j l < ε whenever j N. But then x j p < ε and y j q < ε whenever j N. We conclude that x j p and y j q as j +. Conversely suppose that lim x j = p and lim y j = q. Let some positive real number ε be given. Then there exist natural numbers N 1 and N 2 such that x j p < ε/ 2 whenever j N 1 and y j q < ε/ 2 whenever j N 2. Let N be the maximum of N 1 and N 2. If j N then a j l 2 = x j p 2 + y j q 2 < 1 2 ε ε2 = ε 2, and thus a j l < ε. This shows that a j l as j +, as required. Proposition 1.2 Let (a j ) and (b j ) be convergent infinite sequences of complex numbers. Then the sequences (a j +b j ), (a j b j ) and (a j b j ) are convergent, and lim (a j + b j ) = lim a j + lim b j, lim (a j b j ) = lim a j lim b j, ( ) ( lim (a jb j ) = If in addition b j 0 for all n N and is convergent, and a j lim = b j lim a j lim b j ). lim b j 0, then the sequence (a j /b j ) lim a j lim b j Proof Let l = lim a j and m = lim b j. Let some positive real number ε be given. It follows from the definition of limits that there exist natural numbers N 1 and N 2 such that a j l < 1ε 2 whenever j N 1 and b j m < 1ε whenever j N 2 2. Let N be the maximum of N 1 and N 2. If j N then Thus a j + b j (l + m) a j l + b j m < 1 2 ε ε = ε. lim (a j + b j ) = l + m. Let c be some complex number. We show that lim (cb j) = cm. Now, given any positive real number ε, we can choose a positive number δ small enough to ensure that c δ < ε. Now. lim b j = m, and therefore there exists 4

6 some natural number N such that b j m < δ whenever j N. But then cb j cm = c b j m c δ < ε whenever j N. This shows that lim (cb j) = cm. On applying this result with c = 1, we see that lim ( b j) = m. It follows that lim (a j b j ) = l m. Next we prove that if u 1, u 2, u 3,... and v 1, v 2, v 3,... are infinite sequences of complex numbers, and if lim u j = 0 and lim v j = 0 then lim (u jv j ) = 0. Let some positive number ε be given. Then there exist positive integers N 3 and N 4 such that u j < ε whenever j N 3 and v j < ε whenever j N 4. Let N be the maximum of N 3 and N 4. If j N then u j < ε and v j < ε, and therefore u j v j < ε. It follows that lim (u jv j ) = 0. We can apply this result with u j = a j l and v j = b j m for all positive integers j, where Let l = lim v j = 0. It follows that lim a j and m = lim b j. Now lim u j = 0 and 0 = lim jv j ) = lim j l)(b j m)) = lim jb j lb j ma j + lm) = lim jb j l lim j m lim j + lm = lim jb j lm. and therefore lim (a jb j ) = lm. Finally suppose that b j 0 for all positive integers j, and that m 0. Then, given any positive real number ε there exists some natural number N 5 such that b j m < 1 2 m 2 ε and b j m < 1 m 2 whenever j N 5. But then if j N 5 then b j m b j m > 1 m, and 2 therefore 1 1 b j m = m b j mb j 2 m b 2 j m < ε. Thus lim (1/b j) = 1/m. It follows that lim (a j/b j ) = l/m, as required. 1.3 The Least Upper Bound Principle A widely-used basic principle of real analysis, from which many important theorems ultimately derive, is the Least Upper Bound Principle. Let S be a subset of the set R of real numbers. A real number u is said to be an upper bound of the set S of x u for all x S. The set S is said to be bounded above if such an upper bound exists. 5

7 Definition Let S be some set of real numbers which is bounded above. A real number s is said to be the least upper bound (or supremum) of S (denoted by sup S) if s is an upper bound of S and s u for all upper bounds u of S. Example The real number 2 is the least upper bound of the sets {x R : x 2} and {x R : x < 2}. Note that the first of these sets contains its least upper bound, whereas the second set does not. The Least Upper Bound Principle may be stated as follows: given any non-empty S subset of R which is bounded above, there exists a least upper bound sup S for the set S. A lower bound of a set S of real numbers is a real number l with the property that l x for all x S. A set S of real numbers is said to be bounded below if such a lower bound exists. If S is bounded below, then there exists a greatest lower bound (or infimum) inf S of the set S. Indeed inf S = sup{x R : x S}. 1.4 Monotonic Sequences An infinite sequence a 1, a 2, a 3,... of real numbers is said to be strictly increasing if a j+1 > a j for all j, strictly decreasing if a j+1 < a j for all j, non-decreasing if a j+1 a j for all j, or non-increasing if a j+1 a j for all j. A sequence satisfying any one of these conditions is said to be monotonic; thus a monotonic sequence is either non-decreasing or non-increasing. Theorem 1.3 Any bounded non-decreasing sequence of real numbers is is convergent. Similarly any bounded non-increasing sequence of real numbers is convergent. Proof Let a 1, a 2, a 3,... be a bounded non-decreasing sequence of real numbers. It follows from the Least Upper Bound Principle that there exists a least upper bound l for the set {a j : j N}. We claim that the sequence converges to l. Let ε > 0 be given. We must show that there exists some natural number N such that a j l < ε whenever j N. Now l ε is not an upper bound for the set {a j : j N} (since l is the least upper bound), and therefore there must exist some natural number N such that a N > l ε. But then l ε < a j l whenever j N, since the sequence is non-decreasing and bounded above by l. Thus a j l < ε whenever j N. Therefore a j l as j +, as required. If the sequence a 1, a 2, a 3,... is bounded and non-increasing then the sequence a 1, a 2, a 3,... is bounded and non-decreasing, and is therefore convergent. It follows that the sequence a 1, a 2, a 3,... is also convergent. 6

8 1.5 Upper and Lower Limits of Bounded Sequences of Real Numbers Let a 1, a 2, a 3,... be a bounded infinite sequence of real numbers, and, for each positive integer j, let S j = {a j, a j+1, a j+2,...} = {a k : k j}. The sets S 1, S 2, S 3,... are all bounded. It follows that there exist well-defined infinite sequences u 1, u 2, u 3,... and l 1, l 2, l 3,... of real numbers, where u j = sup S j and l j = inf S j for all positive integers j. Now S j+1 is a subset of S j for each positive integer j, and therefore u j+1 u j and l j+1 l j for each positive integer j. It follows that the bounded infinite sequence (u j : j N) is a nonincreasing sequence, and is therefore convergent (Theorem 1.3). Similarly the bounded infinite sequence (l j : j N) is a non-decreasing sequence, and is therefore convergent. We define lim sup a j = lim j = lim j, a j+1, a j+2,...}, lim inf j = lim j = lim j, a j+1, a j+2,...}. The quantity lim sup a j is referred to as the upper limit of the sequence a 1, a 2, a 3,.... The quantity lim inf a j is referred to as the lower limit of the sequence a 1, a 2, a 3,.... Note that every bounded infinite sequence a 1, a 2, a 3,.... of real numbers has a well-defined upper limit lim sup a j and a well-defined lower limit lim inf a j. Lemma 1.4 Let a 1, a 2, a 3,... be a bounded infinite sequence of real numbers, and let u = lim sup a j. Then, given any positive real number ε, and given any positive integer N, there exists a positive integer j such that j N and a j u < ε. Proof It follows from the definition of upper limits that u = lim u j, where u j = sup{a k : k j}. Moreover the infinite sequence u 1, u 2, u 3,... is nonincreasing. Therefore there exists some positive integer m such that m N and u u m < u + ε. Then a j u m < u + ε whenever j m. Moreover u ε is not an upper bound on the set {a j : j m}, because u m is the least upper bound of this set. Therefore there exists some positive integer j such that j m and a j > u ε. Then j N and a j u < ε, as required. 7

9 1.6 The Bolzano-Weierstrass Theorem Let a 1, a 2, a 3,... be an infinite sequence of real or complex numbers. A subsequence of this sequence is a sequence that is of the form a m1, a m2, a m3,..., where m 1, m 2, m 3,... are positive integers satisfying m 1 < m 2 < m 3 <. Thus, for example, a 2, a 4, a 6,... and a 1, a 4, a 9,... are subsequences of the given sequence. Proposition 1.5 Any bounded infinite sequence a 1, a 2, a 3,... of real numbers has a subsequence which converges to the upper limit lim sup a j of the given sequence. Proof Let u = lim sup a j. It follows from Lemma 1.4 that, given positive integers j and k j for which a kj u < 1/j, there exists some positive integer k j+1 satisfying k j+1 > k j for which a kj+1 u < 1/(j + 1). Therefore there exists an increasing sequence k 1, k 2, k 3,... of positive integers such that a kj u < 1/j for all positive integers j. Then a k1, a k2, a k3 is a subsequence of a 1, a 2, a 3,... which converges to the upper limit of the sequence, as required. The following theorem, known as the Bolzano-Weierstrass Theorem, is an immediate consequence of Proposition 1.5. Theorem 1.6 (Bolzano-Weierstrass) Every bounded sequence of real numbers has a convergent subsequence. Theorem 1.7 (Bolzano-Weierstrass Theorem for Complex Sequences) Every bounded sequence of complex numbers has a convergent subsequence Proof Let a 1, a 2, a 3,... be a bounded sequence of complex numbers, and, for each positive integer j, let a j = x j +iy j, where x j are y j are real numbers. The Bolzano-Weierstrass Theorem for sequences of real numbers (Theorem 1.6) guarantees the existence of a subsequence a j1, a j2, a j3,... of the given sequence such that the real parts x j1, x j2, x j3,... converge. A further application of Theorem 1.6 then allows to replace this subsequence by a subsequence of itself in order to ensure that the imaginary parts y j1, y j2, y j3,... also converge. But then a j1, a j2, a j3,... is a convergent subsequence of a 1, a 2, a 3,..., by Lemma

10 1.7 Cauchy s Criterion for Convergence Definition A sequence a 1, a 2, a 3,... of complex numbers is said to be a Cauchy sequence if the following condition is satisfied: for every real number ε satisfying ε > 0 there exists some natural number N such that a j a k < ε for all natural numbers j and k satisfying j N and k N. Lemma 1.8 Every Cauchy sequence of complex numbers is bounded. Proof Let a 1, a 2, a 3,... be a Cauchy sequence. Then there exists some natural number N such that a j a k < 1 whenever j N and k N. In particular, a j a N + 1 whenever j N. Therefore a j R for all positive integers j, where R is the maximum of the real numbers a 1, a 2,..., a N 1 and a N + 1. Thus the sequence is bounded, as required. The following important result is known as Cauchy s Criterion for convergence, or as the General Principle of Convergence. Theorem 1.9 (Cauchy s Criterion for Convergence) An infinite sequence of complex numbers is convergent if and only if it is a Cauchy sequence. Proof First we show that convergent sequences are Cauchy sequences. Let a 1, a 2, a 3,... be a convergent sequence, and let l = lim a j. Let ε > 0 be n + given. Then there exists some natural number N such that a j l < 1ε for 2 all j N. Thus if j N and k N then a j l < 1ε and a 2 k l < 1ε, 2 and hence a j a k = (a j l) (a k l) a j l + a k l < ε. Thus the sequence a 1, a 2, a 3,... is a Cauchy sequence. Conversely we must show that any Cauchy sequence a 1, a 2, a 3,... is convergent. Now Cauchy sequences are bounded, by Lemma 1.8. The sequence a 1, a 2, a 3,... therefore has a convergent subsequence a k1, a k2, a k3,..., by the Bolzano-Weierstrass Theorem (Theorem 1.7). Let l = lim m + a km. We claim that the sequence a 1, a 2, a 3,... itself converges to l. Let ε > 0 be given. Then there exists some natural number N such that a j a k < 1 ε whenever j N and k N (since the sequence is a 2 Cauchy sequence). Let m be chosen large enough to ensure that k m N and a km l < 1 ε. Then 2 a j l a j a km + a km l < 1 2 ε ε = ε whenever j N, and thus a j l as j +, as required. 9

11 1.8 Limits of Functions of a Complex Variable Let D be a subset of the set C of complex numbers A complex number w is said to be a limit point of D if and only if, given any δ > 0, there exists z D satisfying 0 < z w < δ. A complex number w belonging to some subset D of the complex plane is said to be an isolated point of D if it is not a limit point of D. Thus an element w of D is an isolated point of D if and only if there exists some δ > 0 such that {z D : z w < δ} = {w}. Definition Let f: D C be a function defined over some subset D of C. Let w be a limit point of D. A complex number l is said to be the limit of the function f as z tends to w in D if, given any real number ε satisfying ε > 0, there exists some real number δ satisfying δ > 0 such that f(z) l < ε for all z D satisfying 0 < z w < δ. Lemma 1.10 Let f: D C be a complex-valued function defined over some subset D of the complex plane, and let w be a limit point of D. Then the limit lim f(z), if it exists, is unique. Proof Suppose that lim f(z) = l and lim f(z) = m. We must show that l = m. Let ε > 0 be given. Then there exist δ 1 > 0 and δ 2 > 0 such that f(z) l < ε whenever z D satisfies 0 < z w < δ 1 and f(z) m < ε whenever z D satisfies 0 < z w < δ 2. Choose z D satisfying 0 < z w < δ, where δ is the minimum of δ 1 and δ 2. (This is possible since w is a limit point of D.) Then f(z) l < ε and f(z) m < ε, and hence l m l f(z) + f(z) m < 2ε by the Triangle Inequality. Since l m < 2ε for all ε > 0, we conclude that l = m, as required. Proposition 1.11 Let f: D C and g: D C be functions defined over some subset D of C. Let w be a limit point of D. Suppose that lim f(z) and lim g(z) exist. Then lim (f(z) + g(z)), lim exist, and (f(z) g(z)) and lim (f(z)g(z)) lim (f(z) + g(z)) = lim f(z) + lim lim (f(z) g(z)) = lim f(z) lim lim (f(z)g(z)) = lim f(z) lim 10

12 If in addition g(z) 0 for all z D and lim g(z) 0, then lim f(z)/g(z) exists, and f(z) lim f(z) lim g(z) = lim g(z). Proof Let l = lim f(z) and m = lim g(z). First we prove that lim(f(z) + g(z)) = l + m. Let ε > 0 be given. We must prove that there exists some δ > 0 such that f(z) + g(z) (l + m) < ε for all z D satisfying 0 < z w < δ. Now there exist δ 1 > 0 and δ 2 > 0 such that f(z) l < 1ε for all z D satisfying 0 < z w < δ 2 1, and g(z) m < 1ε for all z D satisfying 0 < z w < δ 2 2, since l = lim f(z) and m = lim g(z). Let δ be the minimum of δ 1 and δ 2. If z D satisfies 0 < z w < δ then f(z) l < 1ε and g(z) m < 1 ε, and hence 2 2 f(z) + g(z) (l + m) f(z) l + g(z) m < 1 2 ε ε = ε This shows that lim (f(z) + g(z)) = l + m. Let c be some complex number. We show that lim (cg(z)) = cm. Let some positive number ε be given. Choose a positive number ε 1 small enough to ensure that c ε 1 < ε. Then there exists some real number δ > 0 such that g(z) m < ε 1 whenever 0 < z w < δ. But then whenever 0 < z w < δ. Thus cg(z) cm = c g(z) m c ε 1 < ε lim (cg(z)) = cm. If we combine this result, for c = 1, with the previous result, we see that lim ( g(z)) = m, and therefore lim (f(z) g(z)) = l m. Next we show that if p: D R and q: D R are functions with the property that lim p(z) = lim q(z) = 0, then lim (p(z)q(z)) = 0. Let ε > 0 be given. Then there exist real numbers δ 1 > 0 and δ 2 > 0 such that p(z) < ε whenever 0 < z w < δ 1 and q(z) < ε whenever 0 < z w < δ 2. Let δ be the minimum of δ 1 and δ 2. If 0 < z w < δ then p(z)q(z) < ε. We deduce that lim (p(z)q(z)) = 0. We can apply this result with p(z) = f(z) l and q(z) = g(z) m for all z D. Using the results we have already obtained, we see that 0 = lim(p(z)q(z)) = lim(f(z)g(z) f(z)m lg(z) + lm) = lim(f(z)g(z)) m lim f(z) l lim g(z) + lm = lim(f(z)g(z)) lm. 11

13 Thus lim (f(z)g(z)) = lm. Next we show that if h: D R is a function that is non-zero throughout D, and if lim h(z) 1 then lim (1/h(z)) = 1. Let ε > 0 be given. Let ε 0 be the minimum of 1ε and 1. Then there exists some δ > 0 such that 2 2 h(z) 1 < ε 0 whenever 0 < z w < δ. Thus if 0 < z w < δ then h(z) 1 < 1ε and h(z) 1 1 h(z) > 1. But then h(z) 1 = h(z) 1 h(z) = h(z) 1 h(z) < 2 h(z) 1 < ε. We deduce that lim 1/h(z) = 1. If we apply this result with h(z) = g(z)/m, where m 0, we deduce that lim m/g(z) = 1, and thus lim 1/g(z) = 1/m. The result we have already obtained for products of functions then enables us to deduce that lim (f(z)/g(z)) = l/m. 1.9 Continuous Functions of a Complex Variable. Definition Let D be a subset of C, and let f: D C be a function on D. Let w be an element of D. The function f is said to be continuous at w if, given any ε > 0, there exists some δ > 0 such that f(z) f(w) < ε for all z D satisfying z w < δ. If f is continuous at every element of D then we say that f is continuous on D. Lemma 1.12 A complex-valued function f: D C defined on some subset D of C is continuous on D if and only if lim f(z) = f(w) for all limit points w of D that belong to D. Proof Every element w of the domain D of the function f is either a limit point of D or an isolated point of D. If w is an isolated point of D then it follows from the definition of continuity that every complex-valued function with domain D is continuous at w. If w is a limit point D, then comparison of the relevant definitions shows that the function f is continuous at w if and only if lim f(z) = f(w). The result follows. Given functions f: D C and g: D C defined over some subset D of C, we denote by f + g, f g, f g and f/g the functions on D defined by (f + g)(z) = f(z) + g(z), (f g)(z) = f(z) g(z), (f g)(z) = f(z)g(z), (f/g)(z) = f(z)/g(z). 12

14 Proposition 1.13 Let f: D C and g: D C be functions defined over some subset D of C. Suppose that f and g are continuous at some element w of D. Then the functions f + g, f g and f g are also continuous at w. If moreover the function g is everywhere non-zero on D then the function f/g is continuous at w. Proof This result follows directly using Proposition 1.11 and the relationship between continuity and limits described above. Proposition 1.14 Let f: D C and g: E C be functions defined on D and E respectively, where D and E are subsets of the complex plane satisfying f(d) E. Let w be an element of D. Suppose that the function f is continuous at w and that the function g is continuous at f(w). Then the composition g f of f and g is continuous at w. Proof Let ε > 0 be given. Then there exists some η > 0 such that g(z) g(f(w)) < ε for all z E satisfying z f(w) < η. But then there exists some δ > 0 such that f(z) f(w) < η for all z D satisfying z w < δ. Thus if z w < δ then f(z) f(w) < η, and therefore g(f(z)) g(f(w)) < ε. Hence g f is continuous at w. Lemma 1.15 Let f: D C be a function defined on some subset D of C, and let a 1, a 2, a 3,... be a sequence of complex numbers belonging to D. Suppose that lim a j = w, where w D, and that f is continuous at w. Then lim f(a j) = f(w). Proof Let ε > 0 be given. Then there exists some δ > 0 such that f(z) f(w) < ε for all z D satisfying z w < δ. But then there exists some positive integer N such that a j w < δ for all j satisfying j N. Thus f(a j ) f(w) < ε for all j N. Hence f(a j ) f(w) as j +. Proposition 1.16 Let f: D C and g: E C be functions defined on D and E respectively, where D and E are subsets of C satisfying f(d) E. Let w be a limit point of D, and let l be an element of E. Suppose that lim f(z) = l and that the function g is continuous at l. Then lim g(f(z)) = g(l). Proof Let ε > 0 be given. Then there exists some η > 0 such that g(z) g(l) < ε for all z E satisfying z l < η. But then there exists δ > 0 such that f(z) l < η for all z D satisfying 0 < z w < δ. Thus if 0 < z w < δ then f(z) l < η, and therefore g(f(z)) g(l) < ε. Hence lim g(f(z)) = g(l). 13

15 1.10 The Intermediate Value Theorem Proposition 1.17 Let f: [a, b] Z continuous integer-valued function defined on a closed interval [a, b]. Then the function f is constant. Proof Let S = {x [a, b] : f is constant on the interval [a, x]}, and let s = sup S. Now s [a, b], and therefore the function f is continuous at s. Therefore there exists some real number δ satisfying δ > 0 such that f(x) f(s) < 1 for all x [a, b] satisfying x s < δ. But the function f 2 is integer-valued. It follows that f(x) = f(s) for all x [a, b] satisfying x s < δ. Now s δ is not an upper bound for the set S. Therefore there exists some element x 0 of S satisfying s δ < x 0 s. But then f(x) = f(s) = f(x 0 ) = f(a) for all x [a, b] satsifying s x < s + δ, and therefore the function f is constant on the interval [a, x] for all x [a, b] satisfying s x < s + δ. Thus x [a, b] [s, s + δ) S. In particular s S. Now S cannot contain any elements x of [a, b] satisfying x > s. Therefore [a, b] [s, s + δ) = {s}, and therefore s = b. This shows that b S, and thus the function f is constant on the interval [a, b], as required. Theorem 1.18 (The Intermediate Value Theorem) Let a and b be real numbers satisfying a < b, and let f: [a, b] R be a continuous function defined on the interval [a, b]. Let c be a real number which lies between f(a) and f(b) (so that either f(a) c f(b) or else f(a) c f(b).) Then there exists some s [a, b] for which f(s) = c. Proof Let c be a real number which lies between f(a) and f(b), and let g c : R \ {c} Z be the continuous integer-valued function on R \ {c} defined such that g c (x) = 0 whenever x < c and g c (x) = 1 if x > c. Suppose that c were not in the range of the function f. Then the composition function g c f: [a, b] R would be a continuous integer-valued function defined throughout the interval [a, b]. This function would not be constant, since g c (f(a)) g c (f(b)). But every continuous integer-valued function on the interval [a, b] is constant (Proposition 1.17). It follows that every real number c lying between f(a) and f(b) must belong to the range of the function f, as required. Corollary 1.19 Let f: [a, b] [c, d] be a strictly increasing continuous function mapping an interval [a, b] into an interval [c, d], where a, b, c and d are real numbers satisfying a < b and c < d. Suppose that f(a) = c and f(b) = d. Then the function f has a continuous inverse f 1 : [c, d] [a, b]. 14

16 Proof Let x 1 and x 2 be distinct real numbers belonging to the interval [a, b] then either x 1 < x 2, in which case f(x 1 ) < f(x 2 ) or x 1 > x 2, in which case f(x 1 ) > f(x 2 ). Thus f(x 1 ) f(x 2 ) whenever x 1 x 2. It follows that the function f is injective. The Intermediate Value Theorem (Theorem 1.18) ensures that f is surjective. It follows that the function f has a well-defined inverse f 1 : [c, d] [a, b]. It only remains to show that this inverse function is continuous. Let y be a real number satisfying c < y < d, and let x be the unique real number such that a < x < b and f(x) = y. Let ε > 0 be given. We can then choose x 1, x 2 [a, b] such that x ε < x 1 < x < x 2 < x + ε. Let y 1 = f(x 1 ) and y 2 = f(x 2 ). Then y 1 < y < y 2. Choose δ > 0 such that δ < y y 1 and δ < y 2 y. If v [c, d] satisfies v y < δ then y 1 < v < y 2 and therefore x 1 < f 1 (v) < x 2. But then f 1 (v) f 1 (y) < ε. We conclude that the function f 1 : [c, d] [a, b] is continuous at all elements in the interior of the interval [a, b]. A similar argument shows that it is continuous at the endpoints of this interval. Thus the function f has a continuous inverse, as required Uniform Convergence Let D be a subset of C and let f 1, f 2, f 3,..., be a sequence of functions mapping D into C. We say that the infinite sequence f 1, f 2, f 3,... converges uniformly on D to a function f: D C if, given any ε > 0, there exists some natural number N such that f j (z) f(z) < ε for all z D and for all natural numbers j satisfying j N, where the value of N chosen does not depend on the value of z. Theorem 1.20 Let D be a subset of C, and let f 1, f 2, f 3,... be a sequence of continuous functions mapping D into C which is uniformly convergent on D to some function f: D C. Then the function f is continuous on D. Proof Let w be an element of D. We wish to show that the function f is continuous at w. Let ε > 0 be given. We must show that there exists some δ > 0 such that f(z) f(w) < ε whenever z D satisfies z w < δ. Now we can find some value of N, independent of z, with the property that f j (z) f(z) < 1 ε for all z D and for all j N. Choose any j satisfying 3 j N. We can find some δ > 0 such that f j (z) f j (w) < 1ε whenever 3 z D satisfies z w < δ, since the function f j is continuous at w. But then f(z) f(w) f(z) f j (z) + f j (z) f j (w) + f j (w) f(w) < 1 3 ε ε ε = ε 15

17 whenever z w < δ. Thus the function f is continuous at w, as required Open Sets in the Complex Plane Let w be a complex number, and let r be a non-negative real number. We define the open disk D(w, r) of radius r about w to be the subset {z C : z w < r} of the complex plane consisting of all complex numbers that lie within a distance r of w. Definition A subset V of the complex plane is said to be open if and only if, given any element v of V, there exists some δ > 0 such that D(v, δ) V, where D(w, δ) is the open disc of radius δ about v. By convention, we regard the empty set as being an open subset of the complex plane. (The criterion given above is satisfied vacuously in the case when V is the empty set.) Example Let c be a real number, and let H = {z C : Re z > c}. Given w H, let δ = Re w c. Then δ > 0. Now Re z Re w > z w for all complex numbers z, and therefore Re z > c for all complex numbers z satisfying z w < δ. Thus D(w, δ) H, where D(w, δ) denotes the open disk of radius δ about w. Thus H is an open set in the complex plane. Similarly {z C : Re z < c}, {z C : Im z > c} and {z C : Im z < c} are open sets in the complex plane. Lemma 1.21 Given any complex number w and any positive real number r, the open disk D(w, r) of radius r about w is an open set in the complex plane. Proof Let z be an element of the open disk D(w, r). We must show that there exists some δ > 0 such that D(z, δ) D(w, r). Let δ = r z w. Then δ > 0, since z w < r. Moreover if z 1 D(z, δ) then z 1 w z 1 z + z w < δ + z w = r, by the Triangle Inequality, and hence z 1 D(w, r). Thus D(z, δ) D(w, r). This shows that D(w, r) is an open set, as required. Lemma 1.22 Given any complex number w and any positive real number r, the set {z C : z w > r} is an open set in the complex plane. 16

18 Proof Let z be a complex number satisfying z w > r, and let z 1 be a complex number satisfying z 1 z < δ, where δ = z w r. Then z w z z 1 + z 1 w, by the Triangle Inequality, and therefore z 1 w z w z 1 z > z w δ = r. Thus the open disk D(z, δ) of radius δ about z is contained in the given set. The result follows. Proposition 1.23 The collection of open sets in the complex plane has the following properties: (i) the empty set and the whole complex plane C are both open sets; (ii) the union of any collection of open sets is itself an open set; (iii) the intersection of any finite collection of open sets is itself an open set. Proof The empty set is an open set by convention. Moreover the definition of an open set is satisfied trivially by the whole complex plane. This proves (i). Let A be any collection of open sets in the complex plane, and let W denote the union of all the open sets belonging to A. We must show that W is itself an open set. Let z W. Then z V for some set V belonging to the collection A. It follows that there exists some δ > 0 such that D(z, δ) V, where D(z, δ) denotes the open disk of radius δ about z. But V W, and thus D(z, δ) W. This shows that W is an open set. This proves (ii). Finally let V 1, V 2, V 3,..., V k be a finite collection of open sets in the complex plane, and let V denote the intersection V 1 V 2 V k of these sets. Let z V. Now z V j for j = 1, 2,..., k, and therefore there exist strictly positive real numbers δ 1, δ 2,..., δ k such that D(z, δ j ) V j for j = 1, 2,..., k. Let δ be the minimum of δ 1, δ 2,..., δ k. Then δ > 0. (This is where we need the fact that we are dealing with a finite collection of sets.) Now D(z, δ) D(z, δ j ) V j for j = 1, 2,..., k, and thus D(z, δ) V. Thus the intersection V of the sets V 1, V 2,..., V k is itself an open set. This proves (iii). Example The set {z C : z 3 < 2 and Re z > 1} is an open set in the complex plane, as it is the intersection of the open disk of radius 2 about 3 with the open set {z C : Re z > 1}. 17

19 Example The set {z C : z 3 < 2 or Re z > 1} is an open set in the complex plane, as it is the union of the open disk of radius 2 about 3 and the open set {z C : Re z > 1}. Example The set {z C : z n < 1 2 for some n Z} is an open set in the complex plane, since it is the union of the open disks of radius 1 centred on integers. 2 Example For each natural number k, let D(0, 1/k) = {z C : k z < 1}. Now each set D(0, 1/k) is an open disk of radius 1/k about the origin, and is therefore an open set in the complex plane. However the intersection of the sets D(0, 1/k) for all natural numbers k is the set {0}, and thus the intersection of the open sets D(0, 1/k) for all natural numbers k is not itself an open set in the complex plane. This example demonstrates that infinite intersections of open sets need not be open. Lemma 1.24 A sequence z 1, z 2, z 3,... of complex numbers converges to a complex number w if and only if, given any open set V which contains w, there exists some natural number N such that z j V for all j satisfying j N. Proof Suppose that the sequence z 1, z 2, z 3,... has the property that, given any open set V which contains w, there exists some natural number N such that z j V whenever j N. Let ε > 0 be given. The open disk D(w, ε) of radius ε about w is an open set by Lemma Therefore there exists some natural number N such that z j D(w, ε) whenever j N. Thus z j w < ε whenever j N. This shows that the sequence converges to w. Conversely, suppose that the sequence z 1, z 2, z 3,... converges to w. Let V be an open set which contains w. Then there exists some ε > 0 such that the open disk D(w, ε) of radius ε about w is a subset of V. Thus there exists some ε > 0 such that V contains all complex numbers z that satisfy z w < ε. But there exists some natural number N with the property that z j w < ε whenever j N, since the sequence converges to w. Therefore z j V whenever j N, as required. 18

20 1.13 Interiors Definition Let A be a subset of the complex plane. The interior of A is the subset of A consisting of those complex numbers w for which there exists some positive real number δ such that D(w, δ) A, where D(w, δ) denotes the open disk of radius δ centred on w. A straightforward application of Lemma 1.21 shows that if A is a subset of the complex plane then the interior of A is an open set Closed Sets in the Complex Plane A subset F of the complex plane is said to be closed if its complement C \ F is open. (Recall that C \ F = {z C : z F }.) Example The sets {z C : Re z c}, {z C : Re z c}, and {z C : z = c} are closed sets in the complex plane for each real number c, since the complements of these sets are open subsets of the complex plane. Example Let w be a complex number, and let r be a non-negative real number. Then {z C : z w r} and {z C : z w r} are closed sets in the complex plane. In particular, the set {w} consisting of a single complex number w is a closed set. (These results follow immediately using Lemma 1.21 and Lemma 1.22 and the definition of closed sets.) Let A be some collection of subsets of a set X. Then X \ S A S = (X \ S), X \ S A S A S = S A(X \ S) (i.e., the complement of the union of some collection of subsets of X is the intersection of the complements of those sets, and the complement of the intersection of some collection of subsets of X is the union of the complements of those sets). The following result therefore follows directly from Proposition Proposition 1.25 The collection of closed sets in the complex plane has the following properties: (i) the empty set and the whole complex plane C are both closed sets; (ii) the intersection of any collection of closed sets is itself closed; (iii) the union of any finite collection of closed sets is itself closed. 19

21 Lemma 1.26 Let F be a closed set in the complex plane, and let z 1, z 2, z 3,... be a sequence of complex numbers belonging to F which converges to a complex number w. Then w F. Proof The complement C \ F of F is open, since F is closed. Suppose that w were an element of C \ F. It would then follow from Lemma 1.24 that z j C \ F for all values of j greater than some positive integer N, contradicting the fact that z j F for all j. This contradiction shows that w must belong to F, as required. Lemma 1.27 Let F be a closed bounded set in the complex plane C, and let U be an open set in C. Suppose that F U. Then there exists positive real number δ such that z w δ > 0 for all z F and w C \ U. Proof Suppose that such a positive real number δ did not exist. Then there would exist an infinite sequence (z j : j N) of elements of F and a correspondinding infinite sequence (w j : j N) of elements of C \ U such that z j w j < 1/j for all positive integers j. The sequence (z j : j N) would be a bounded sequence of complex numbers, and would therefore have a convergent subsequence (z mj : j N) (Theorem 1.7). Let c = lim z m j. Then c = lim w m j, because lim (z m j w mj ) = 0. But then c F and c C \ U, because the sets F and C \ U are closed (Lemma 1.26). But this is impossible, as F U. It follows that there must exist some positive real number δ with the required properties Closures Definition Let A be a subset of the complex plane. The closure of A is the subset of the complex plane consisting of all complex numbers z with the property that, given any real number δ satisfying δ > 0, there exists some element a of A such that z a < δ. We denote the closure of A by A. Let A be a subset of the complex plane. Note that a complex number z belongs to the closure of A in X if and only if D(z, δ) A is a non-empty set for all positive real numbers δ, where D(z, δ) denotes the open disk of radius δ centred on z. Lemma 1.28 Let A be a subset of the complex plane, and let w be an element of the closure A of A. Then there exists an infinite sequence of elements of A which converges to w. 20

22 Proof For each positive integer j let z j be an element of A satisfying w z j < 1/j. Then lim z j = w. Proposition 1.29 Let A be a subset of the complex plane. Then the closure A of A is a closed set. Moreover if F is a closed set in the complex plane, and if A F then A F. Proof Let w be a complex number belonging to the complement X \ A of A in X, and, for any positive real number r let D(w, r) denote the open disk of radius r about w. Then there exists some real number δ such that D(w, 2δ) A =. Let z be an element of A. Then there exists some element a of A such that z a < δ. Then 2δ w a w z + z a < w z + δ, and therefore w z > δ. This shows that D(w, δ) A =. We deduce that the complement of A is an open set, and therefore A is a closed set. Now let F be a closed set in the complex plane. Suppose that A F. Let w be a complex number belonging to the complement C \ F of F. Then there exists some real number δ satisfying δ > 0 for which D(w, δ) F =. But then D(w, δ) A = and therefore w A. Thus X \ F X \ A, and therefore A F, as required Continuous Functions and Open and Closed Sets Let U be an open subset of the complex plane, and let f: U C be a complex-valued function defined on U. We recall that the function f is continuous at an element w of U if, given any ε > 0, there exists some δ > 0 such that f(z) f(w) < ε for all elements z of U satisfying z w < δ. Moreover we can choose δ small enough to ensure that the open disk of radius δ about w is contained within the open set U. It follows that the function f: U C is continuous at w if and only if, given any ε > 0, there exists some δ > 0 such that the function f maps D(w, δ) into D(f(w), ε) (where D(w, δ) and D(f(w), ε) denote the open disks of radius δ and ε about w and f(w) respectively). Given any function f: U C, we denote by f 1 (V ) the preimage of a subset V of C under the map f, defined by f 1 (V ) = {z U : f(z) V }. Proposition 1.30 Let U be an open set in C, and let f: U C be a complex-valued function on U. The function f is continuous if and only if f 1 (V ) is an open set for every open subset V of C. 21

23 Proof Suppose that f: U C is continuous. Let V be an open set in C. We must show that f 1 (V ) is an open set. Let w f 1 (V ). Then f(w) V. But V is open, hence there exists some ε > 0 with the property that D(f(w), ε) V. But f is continuous at w. Therefore there exists some δ > 0 such that f maps D(w, δ) into D(f(w), ε) (see the remarks above). Thus f(z) V for all z D(w, δ), showing that D(w, δ) f 1 (V ). This shows that f 1 (V ) is an open set for every open set V in C. Conversely suppose that f: U C is a function with the property that f 1 (V ) is an open set for every open set V in C. Let w U. We must show that f is continuous at w. Let ε > 0 be given. Then D(f(w), ε) is an open set in C, by Lemma 1.21, hence f 1 (D(f(w), ε)) is an open set which contains w. It follows that there exists some δ > 0 such that D(w, δ) f 1 (D(f(w), ε)). Thus, given any ε > 0, there exists some δ > 0 such that f maps D(w, δ) into D(f(w), ε). We conclude that f is continuous at w, as required. Let U be an open subset of the complex plane, let f: U R be continuous, and let c be some real number. Then the sets {z U : f(z) > c} and {z U : f(z) < c} are open sets, and, given real numbers a and b satisfying a < b, the set {z U : a < f(z) < b} is an open set Continuous Functions on Closed Bounded Sets We shall prove that continuous functions of a complex variable map closed bounded sets to closed bounded sets. Lemma 1.31 Let X be a closed bounded subset of the complex plane space C, and let f: X C be a continuous complex-valued function defined on X. Then there exists some non-negative real number M such that f(z) M for all z X. Proof Suppose that the function f were not bounded on X. Then there would exist a sequence (z j : j N) of complex numbers in X such that f(z j ) > j for all positive integers j. Now the sequence (z j : j N) would be a bounded sequence of complex numbers, since the set X is bounded, and every bounded sequence of complex numbers has a convergent subsequence (Theorem 1.7). Therefore there would exist a subsequence (z mj : j N) of (z j : j N) converging to some complex number w. Moreover w would belong to X, since X is closed (Lemma 1.26). Also it would follow from the continuity of the function f that lim f(z m j ) = f(w) (Lemma 1.15), and therefore f(z mj ) f(w) + 1 for all sufficiently large positive integers j. But this is impossible because f(z j ) > j for all positive integers j, and thus 22

24 f(z mj ) > m j for all positive integers j, where m j + as j +. Thus the assumption that the function f is unbounded on X leads to a contradiction. We conclude that the function f must be unbounded on X, as required. Theorem 1.32 Let X be a closed bounded set in the complex plane, and let f: X C be a continuous complex-valued function on X. Then the function f maps X onto a closed bounded set f(x) in the complex plane. Proof It follows from Lemma 1.31 that the set f(x) must be bounded. Let q be a complex number belonging to the closure f(a) of f(a). Then there exists a sequence (z j : j N) of complex numbers in X such that lim f(z j) = q (Lemma 1.28). Because the set X is both closed and bounded, this sequence is a bounded sequence in the complex plane, and therefore has a convergent subsequence (z mj : j N) (Theorem 1.7). Let w = lim z m j. Then w X, because X is closed (Lemma 1.26). But then q = lim f(z m j ) = f(w), and therefore q f(a). Thus every element of the closure of f(a) belongs to f(a) itself, and therefore f(a) is closed, as required Uniform Continuity Definition Let X and Y be subsets of the complex plane. A function f: X Y from X to Y is said to be to be uniformly continuous if, given any ε > 0, there exists some δ > 0 (which does not depend on either z or z) such that f(z ) f(z) < ε for all elements z and z of X satisfying z z < δ. Theorem 1.33 Let X be a subset of C that is both closed and bounded. Then any continuous function f: X C is uniformly continuous. Proof Let ε > 0 be given. Suppose that there did not exist any δ > 0 such that f(z ) f(z) < ε for all complex numbers z and z in X satisfying z z < δ. Then, for each natural number j, there would exist elements u j and v j in X such that u j v j < 1/j and f(u j ) f(v j ) ε. But the sequence u 1, u 2, u 3,... would be bounded, since X is bounded, and thus would possess a subsequence u j1, u j2, u j3,... converging to some complex number w (Theorem 1.7). Moreover w X, since X is closed. The sequence v j1, v j2, v j3,... would also converge to w, since lim v j k u jk = 0. k + But then the sequences f(u j1 ), f(u j2 ), f(u j3 ),... and f(v j1 ), f(v j2 ), f(v j3 ),... would converge to f(w), since f is continuous (Lemma 1.15), and thus 23

25 lim f(u j k ) f(v jk ) = 0. But this is impossible, since u j and v j have k + been chosen so that f(u j ) f(v j ) ε for all j. We conclude therefore that there must exist some δ > 0 such that f(z ) f(z) < ε for all complex numbers z and z in X satisfying z z < δ, as required. 24

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

### 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)

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

### CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

### x if x 0, x if x < 0.

Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

### Metric Spaces. Chapter 7. 7.1. Metrics

Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

### x a x 2 (1 + x 2 ) n.

Limits and continuity Suppose that we have a function f : R R. Let a R. We say that f(x) tends to the limit l as x tends to a; lim f(x) = l ; x a if, given any real number ɛ > 0, there exists a real number

### Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of

### Metric Spaces. Chapter 1

Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

### Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### PART I. THE REAL NUMBERS

PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS

### No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

### THE BANACH CONTRACTION PRINCIPLE. Contents

THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,

### Math212a1010 Lebesgue measure.

Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.

### A Problem With The Rational Numbers

Solvability of Equations Solvability of Equations 1. In fields, linear equations ax + b = 0 are solvable. Solvability of Equations 1. In fields, linear equations ax + b = 0 are solvable. 2. Quadratic equations

### Introduction to Topology

Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

### Notes on metric spaces

Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.

### Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

### 1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

### 5.3 Improper Integrals Involving Rational and Exponential Functions

Section 5.3 Improper Integrals Involving Rational and Exponential Functions 99.. 3. 4. dθ +a cos θ =, < a

### Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

### {f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,...

44 CHAPTER 4. CONTINUOUS FUNCTIONS In Calculus we often use arithmetic operations to generate new continuous functions from old ones. In a general metric space we don t have arithmetic, but much of it

### Mathematics for Econometrics, Fourth Edition

Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents

ADVANCED CALCULUS Lecture notes for MA 440/540 & 441/541 2015/16 Rudi Weikard log x 1 1 2 3 4 5 x 1 2 Based on lecture notes by G. Stolz and G. Weinstein Version of September 3, 2016 1 Contents First things

### FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is

### MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete

### The General Cauchy Theorem

Chapter 3 The General Cauchy Theorem In this chapter, we consider two basic questions. First, for a given open set Ω, we try to determine which closed paths in Ω have the property that f(z) dz = 0for every

### God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work

### Ri and. i=1. S i N. and. R R i

The subset R of R n is a closed rectangle if there are n non-empty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an

### SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

### Duality of linear conic problems

Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

### INTRODUCTORY SET THEORY

M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### TOPIC 4: DERIVATIVES

TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the

### BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

### Convex analysis and profit/cost/support functions

CALIFORNIA INSTITUTE OF TECHNOLOGY Division of the Humanities and Social Sciences Convex analysis and profit/cost/support functions KC Border October 2004 Revised January 2009 Let A be a subset of R m

### Chapter 1. Metric Spaces. Metric Spaces. Examples. Normed linear spaces

Chapter 1. Metric Spaces Metric Spaces MA222 David Preiss d.preiss@warwick.ac.uk Warwick University, Spring 2008/2009 Definitions. A metric on a set M is a function d : M M R such that for all x, y, z

### 7. Cauchy s integral theorem and Cauchy s integral formula

7. Cauchy s integral theorem and Cauchy s integral formula 7.. Independence of the path of integration Theorem 6.3. can be rewritten in the following form: Theorem 7. : Let D be a domain in C and suppose

### FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

### Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),

### MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu

Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing

### n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...

6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence

### Open and Closed Sets

Open and Closed Sets Definition: A subset S of a metric space (X, d) is open if it contains an open ball about each of its points i.e., if x S : ɛ > 0 : B(x, ɛ) S. (1) Theorem: (O1) and X are open sets.

### Practice with Proofs

Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using

### Foundations of Mathematics I Set Theory (only a draft)

Foundations of Mathematics I Set Theory (only a draft) Ali Nesin Mathematics Department Istanbul Bilgi University Kuştepe Şişli Istanbul Turkey anesin@bilgi.edu.tr February 12, 2004 2 Contents I Naive

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### Monotone maps of R n are quasiconformal

Monotone maps of R n are quasiconformal K. Astala, T. Iwaniec and G. Martin For Neil Trudinger Abstract We give a new and completely elementary proof showing that a δ monotone mapping of R n, n is K quasiconformal

### Notes on counting finite sets

Notes on counting finite sets Murray Eisenberg February 26, 2009 Contents 0 Introduction 2 1 What is a finite set? 2 2 Counting unions and cartesian products 4 2.1 Sum rules......................................

### Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

### Set theory as a foundation for mathematics

Set theory as a foundation for mathematics Waffle Mathcamp 2011 In school we are taught about numbers, but we never learn what numbers really are. We learn rules of arithmetic, but we never learn why these

### 3 Contour integrals and Cauchy s Theorem

3 ontour integrals and auchy s Theorem 3. Line integrals of complex functions Our goal here will be to discuss integration of complex functions = u + iv, with particular regard to analytic functions. Of

### Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

### Separation Properties for Locally Convex Cones

Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

### REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).

### TOPIC 3: CONTINUITY OF FUNCTIONS

TOPIC 3: CONTINUITY OF FUNCTIONS. Absolute value We work in the field of real numbers, R. For the study of the properties of functions we need the concept of absolute value of a number. Definition.. Let

### GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.

Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the

### 5. Linear algebra I: dimension

5. Linear algebra I: dimension 5.1 Some simple results 5.2 Bases and dimension 5.3 Homomorphisms and dimension 1. Some simple results Several observations should be made. Once stated explicitly, the proofs

### SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

### Our goal first will be to define a product measure on A 1 A 2.

1. Tensor product of measures and Fubini theorem. Let (A j, Ω j, µ j ), j = 1, 2, be two measure spaces. Recall that the new σ -algebra A 1 A 2 with the unit element is the σ -algebra generated by the

### INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

### Section 3 Sequences and Limits, Continued.

Section 3 Sequences and Limits, Continued. Lemma 3.6 Let {a n } n N be a convergent sequence for which a n 0 for all n N and it α 0. Then there exists N N such that for all n N. α a n 3 α In particular

### DEFINITION 5.1.1 A complex number is a matrix of the form. x y. , y x

Chapter 5 COMPLEX NUMBERS 5.1 Constructing the complex numbers One way of introducing the field C of complex numbers is via the arithmetic of matrices. DEFINITION 5.1.1 A complex number is a matrix of

### Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations

Difference Equations to Differential Equations Section.7 Rolle s Theorem and the Mean Value Theorem The two theorems which are at the heart of this section draw connections between the instantaneous rate

### The Mean Value Theorem

The Mean Value Theorem THEOREM (The Extreme Value Theorem): If f is continuous on a closed interval [a, b], then f attains an absolute maximum value f(c) and an absolute minimum value f(d) at some numbers

### INTRODUCTION TO TOPOLOGY

INTRODUCTION TO TOPOLOGY ALEX KÜRONYA In preparation January 24, 2010 Contents 1. Basic concepts 1 2. Constructing topologies 13 2.1. Subspace topology 13 2.2. Local properties 18 2.3. Product topology

### Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

### CHAPTER 1 BASIC TOPOLOGY

CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is

### NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

### MATH 52: MATLAB HOMEWORK 2

MATH 52: MATLAB HOMEWORK 2. omplex Numbers The prevalence of the complex numbers throughout the scientific world today belies their long and rocky history. Much like the negative numbers, complex numbers

### PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

### LINEAR EQUATIONS IN TWO VARIABLES

66 MATHEMATICS CHAPTER 4 LINEAR EQUATIONS IN TWO VARIABLES The principal use of the Analytic Art is to bring Mathematical Problems to Equations and to exhibit those Equations in the most simple terms that

### CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

### Subsets of Euclidean domains possessing a unique division algorithm

Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

### The Ideal Class Group

Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

### So let us begin our quest to find the holy grail of real analysis.

1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

### LEARNING OBJECTIVES FOR THIS CHAPTER

CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

### Cartesian Products and Relations

Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special

### Domain representations of topological spaces

Theoretical Computer Science 247 (2000) 229 255 www.elsevier.com/locate/tcs Domain representations of topological spaces Jens Blanck University of Gavle, SE-801 76 Gavle, Sweden Received October 1997;

### 1 Norms and Vector Spaces

008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)

### MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich

MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites

### 1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm

Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 005-06-15 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

### Reading material on the limit set of a Fuchsian group

Reading material on the limit set of a Fuchsian group Recommended texts Many books on hyperbolic geometry and Kleinian and Fuchsian groups contain material about limit sets. The presentation given here

### 9 More on differentiation

Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......

### (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties

Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry

### POWER SETS AND RELATIONS

POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty

### Elementary Number Theory We begin with a bit of elementary number theory, which is concerned

CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,

### Labeling outerplanar graphs with maximum degree three

Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics

### DIFFERENTIABILITY OF COMPLEX FUNCTIONS. Contents

DIFFERENTIABILITY OF COMPLEX FUNCTIONS Contents 1. Limit definition of a derivative 1 2. Holomorphic functions, the Cauchy-Riemann equations 3 3. Differentiability of real functions 5 4. A sufficient condition

### Direct Algorithms for Checking Coherence and Making Inferences from Conditional Probability Assessments

Direct Algorithms for Checking Coherence and Making Inferences from Conditional Probability Assessments Peter Walley, Renato Pelessoni a and Paolo Vicig a a Dipartimento di Matematica Applicata B. de Finetti,

### 6. Define log(z) so that π < I log(z) π. Discuss the identities e log(z) = z and log(e w ) = w.

hapter omplex integration. omplex number quiz. Simplify 3+4i. 2. Simplify 3+4i. 3. Find the cube roots of. 4. Here are some identities for complex conjugate. Which ones need correction? z + w = z + w,

### ON FIBER DIAMETERS OF CONTINUOUS MAPS

ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there

### THIN GROUPS OF FRACTIONS

Contemporary Mathematics THIN GROUPS OF FRACTIONS Patrick DEHORNOY Abstract. A number of properties of spherical Artin Tits groups extend to Garside groups, defined as the groups of fractions of monoids

### 2. Length and distance in hyperbolic geometry

2. Length and distance in hyperbolic geometry 2.1 The upper half-plane There are several different ways of constructing hyperbolic geometry. These different constructions are called models. In this lecture

### 10.2 Series and Convergence

10.2 Series and Convergence Write sums using sigma notation Find the partial sums of series and determine convergence or divergence of infinite series Find the N th partial sums of geometric series and

### 2.1 Functions. 2.1 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair

2.1 J.A.Beachy 1 2.1 Functions from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 21. The Vertical Line Test from calculus says that a curve in the xy-plane