# Double Sequences and Double Series

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Double Sequences and Double Series Eissa D. Habil Islamic University of Gaza P.O. Box 108, Gaza, Palestine Abstract This research considers two traditional important questions, which are interesting, at least to most mathematicians. The first question arises in the theory of double sequences of complex numbers, which concerns the relationship, if any, between the following three limits of a double sequence s : N N C: 1. lim n,m s(n, m), 2. lim n (lim m s(n, m)), 3. lim m (lim n s(n, m)). In particular, we ll address the question of when can we interchange the order of the limit for a double sequence {s(n, m)}; that is, when the limit (2) above equals the limit (3) above. The answer to this question is found in Theorem The second question arises in the theory of double series of complex numbers, which concerns the relationship, if any, between the following series: 4. n,m=1 z(n, m), 5. n=1 ( m=1 z(n, m)), 6. m=1 ( n=1 z(n, m)). This research is supported by a grant from the Deanery of Scientific Research, Islamic University of Gaza 1

2 In particular, we ll address the question of when can we interchange the order of summation in a doubly indexed infinite series; that is, when the series (5) above equals the series (6) above. The answers to this question are found in Theorems 7.5, 8.6, and 9.5. The topics of the above-mentioned two questions have not received enough attention within the mathematical community, so that there has been scattered answers in the literature (see [1-7]). Up to this moment, one can t find a single textbook or a research paper that gives a full account to such topics. In this technical article, we ll, among other things, attempt to give such an expository account which will summarize facts from the basic theory of double sequences and double series and gives detailed proofs of them. Many of the results collected are well known and can be found in the supplied references. 1 Introduction The theory of double sequences and double series is an extension of the single or ordinary sequences and series. To each double sequence s : N N C, there corresponds three important limits; namely: 1. lim n,m s(n, m), 2. lim n (lim m s(n, m)), 3. lim m (lim n s(n, m)). The important question that is usually considered in this regard is the question of when can we interchange the order of the limit for a double sequence (s(n, m)); that is, when the limit (2) above equals the limit (3) above. In the literature [1, 3, 5, 7], there has been several answers to this question. We combined these answers and came up the following result (see Theorem 2.13): Let lim n,m s(n, m) = a. Then the iterated limits lim n (lim m s(n, m)) and lim m (lim n s(n, m)) exist and both are equal to a if and only if (i) lim m s(n, m) exists for each n N, and (ii) lim n s(n, m) exists for each m N. 2

3 Apostol [1, Theorem 8.39 ] proved a partial converse of the above result by using uniform convergence; see Theorem In the course of this research we ll develop a theory for double sequences that is parallel to the theory of of single sequences. More precisely, we ll contribute with the following study of double sequences and their limits: Double and iterated limits. Monotone double limits. Cauchy Criterion for double limits. Limit theorems for double sequences. Uniform convergence and double limits. Subsequences of double sequences and their convergence. Divergence theorem for double sequences and its applications. The theory of double series is intimately related to the theory of double sequences. To each double sequence z : N N C, there corresponds three important sums; namely: 1. n,m=1 z(n, m), 2. n=1 ( m=1 z(n, m)), 3. m=1 ( n=1 z(n, m)). The most important question that is usually asked in this regard is the question of when can we interchange the order of summation in a doubly indexed infinite series; that is, when the series (2) above equals the series (3) above. In the literature [3, 5, 7], one possible answer to this question is perhaps the following result (see Theorem 7.5), which is a generalization of its counterpart for double sequences that is stated above: If {z(n, m)} is a double sequence of complex numbers satisfying a. n,m=1 z(n, m) is convergent, with sum s, b. for every m N, the series n=1 z(n, m) is convergent, and 3

4 c. for every n N, the series m=1 z(n, m) is convergent, then the iterated series ( z(n, m)) = ( z(n, m)) = s. m=1 n=1 Another possible answer to the above-posed question which is based on known results found in [1, 7] is summarized in Theorem 9.5, which is analogous with the well-known Fubini s Theorem from measure theory. In the course of establishing these results, we ll contribute with the following study of the basic properties of double series and their associated iterated series: Double series, iterated series and their convergence. Double series of nonnegative terms and some convergence tests. Sufficient conditions for equality of iterated series. Throughout this article, the symbols R, C, Z and N denote, respectively, the set of all real numbers, all complex numbers, all integers, and all natural numbers. The notation := means equals by definition. 2 Double Sequences and Their Limits In this section, we introduce double sequences of complex numbers and we shall give the definition of their convergence, divergence and oscillation. Then we study the relationship between double and iterated limits of double sequences. 2.1 Definition. A double sequence of complex numbers is a function s : N N C. We shall use the notation (s(n, m)) or simply (s n,m ). We say that a double sequence (s(n, m)) converges to a C and we write lim n,m s(n, m) = a, if the following condition is satisfied: For every ɛ > 0, there exists N = N(ɛ) N such that s(n, m) a < ɛ n, m N. The number a is called the double limit of the double sequence (s(n, m)). If no such a exists, we say that the sequence (s(n, m)) diverges. 2.2 Definition. Let (s(n, m)) be a double sequence of real numbers. 4

5 (i) We say that (s(n, m)) tends to, and we write lim n,m s(n, m) =, if for every α R, there exists K = K(α) N such that if n, m K, then s(n, m) > α. (ii) We say that (s(n, m)) tends to, and we write lim n,m s(n, m) =, if for every β R, there exists K = K(β) N such that if n, m K, then s(n, m) < β. We say that (s(n, m)) is properly divergent in case we have lim n,m s(n, m) = or lim n,m s(n, m) =. In case (s(n, m)) does not converge to a R and also it does not diverge properly, then we say that (s(n, m)) oscillates finitely or infinitely according as (s(n, m)) is also bounded or not. For example, the sequence (( 1) n+m ) oscillates finitely, while the sequence (( 1) n+m (n + m)) oscillates infinitely. 2.3 Example. (a) For the double sequence s(n, m) = 1, we have n+m lim s(n, m) = 0. n,m To see this, given ɛ > 0, choose N N such that N > 2. Then n, m N, ɛ we have 1, 1 1, which implies that n m N s(n, m) 0 = (b) The double sequence s(n, m) = 1 n + m < 1 n + 1 m < 1 N + 1 N = 2 N < ɛ. n n+m is divergent. Indeed, for all sufficiently large n, m N with n = m, we have s(n, m) = 1, whereas for all sufficiently 2 large n, m N with n = 2m, we have s(n, m) = 2. It follows that s(n, m) 3 does not converge to a for any a R as n, m. (c) The double sequence s(n, m) = n + m is properly divergent to. Indeed, given α R, there exists K N such that K > α. Then n, m K n + m > α. (d) The double sequence s(n, m) = 1 n m is properly divergent to. Indeed, given β R, there exists K N such that K > β Then n, m K n, m < β n m < β. 5

6 2.4 Theorem(Uniqueness of Double Limits). A double sequence of complex numbers can have at most one limit. Proof: Suppose that a, a are both limits of (s(n, m)). Then given ɛ > 0, there exist natural numbers N 1, N 2 such that n, m N 1 s(n, m) a < ɛ 2 (1) and such that n, m N 2 s(n, m) a < ɛ 2. (2) Let N := max{n 1, N 2 }. Then for all n, m N, implications (1) and (2) yield 0 a a = a s(n, m) + s(n, m) a s(n, m) a + s(n, m) a < ɛ 2 + ɛ 2 = ɛ. It follows that a a = 0, and hence the limit is unique. 2.5 Definition. A double sequence (s(n, m)) is called bounded if there exists a real number M > 0 such that s(n, m) M n, m N. that 2.6 Theorem. A convergent double sequence of complex numbers is bounded. Proof: Suppose s(n, m) a and let ɛ = 1. Then there exists N N such n, m N s(n, m) a < 1. This and the triangle inequality yield that s(n, m) < 1 + a n, m N. Let M := max{ s(1, 1), s(1, 2), s(2, 1),..., s(n 1, N 1), a + 1}. Clearly, s(n, m) M n, m N. 2.7 Definition. For a double sequence (s(n, m)), the limits are called iterated limits. lim ( lim s(n, m)), and lim ( lim S(n, m)) n m m n Outrightly there is no reason to suppose the equality of the above two iterated limits whenever they exist, as the following example shows. 2.8 Example. Consider the sequence s(n, m) = n m+n Then for every m N, lim n s(n, m) = 1 and hence lim ( lim s(n, m)) = 1. m n 6 of Example 2.3(b).

7 While for every n N, lim m s(n, m) = 0 and hence lim ( lim S(n, m)) = 0. n m Note that the double limit of this sequence does not exist, as has been shown in Example 2.3(b). In the theory of double sequences, one of the most interesting questions is the following: For a convergent double sequence, is it always the case that the iterated limits exist? The answer to this question is no, as the following example shows. 2.9 Example. Consider the sequence s(n, m) = ( 1) n+m ( 1 n + 1 m ). Clearly, lim n,m s(n, m) = 0. In fact, given ɛ > 0, choose N N such that 1 < ɛ. Then we have N 2 n, m N ( 1) n+m ( 1 n + 1 m ) 1 n + 1 m 2 N < ɛ. But lim n (lim m s(n, m)) does not exist, since lim m s(n, m) does not exist, and also lim m (lim n s(n, m)) does not exist, since lim n s(n, m) does not exist. It should be noted that, in general, the existence and the values of the iterated and double limits of a double sequence (s(n, m)) depend on its form. While one of these limits exists, the other may or may not exist and even if these exist, their values may differ. Besides Examples 2.8 and 2.9, the following examples shed some light on these cases Example. (a) For the sequence s(n, m) = 1 + 1, note first that the double limit n m lim n,m s(n, m) = 0. Indeed, given ɛ > 0, N N such that 1 < ɛ. N 2 Then, n, m N 1 n + 1 m = 1 n + 1 m 2 N < ɛ. Moreover, since lim n s(n, m) = 1 and lim m m s(n, m) = 1, it follows n that the iterated limits also exist and lim ( lim s(n, m)) = lim ( lim s(n, m)) = 0. n m m n (b) Consider the sequence s(n, m) = ( 1) m ( ). Clearly, by an argument n m similar to that given in part (a), we have lim n,m s(n, m) = 0. Also, 7

8 the iterated limit lim m (lim n s(n, m)) = 0, since lim n s(n, m)) = ( 1) m. But the other iterated limit lim m n (lim m s(n, m)) does not exist, since lim m s(n, m) does not exist. (c) For the sequence s(n, m) = ( 1) n+m, it is clear that neither the double limit nor the iterated limits exist. The next result gives a necessary and sufficient condition for the existence of an iterated limit of a convergent double sequence Theorem. Let lim n,m s(n, m) = a. Then lim m (lim n s(n, m)) = a if and only if lim n s(n, m) exists for each m N. Proof: The necessity is obvious. As for sufficiency, assume lim n s(n, m) = c m for each m N. We need to show that c m a as m. Let ɛ > 0 be given. Since s(n, m) a as n, m, there exists N 1 N such that n, m N 1 s(n, m) a < ɛ 2, and since for each m N, s(n, m) c m as n, there exists N 2 N such that n N 2 s(n, m) c m < ɛ 2. Now choose n max{n 1, N 2 }. Then m N 1, we have Hence, c m a as m. c m a = c m s(n, m) + s(n, m) a c m s(n, m) + s(n, m) a < ɛ 2 + ɛ 2 = ɛ. It should be noted that a theorem similar to Theorem 2.11 holds with an interchange of the n and m symbols. More precisely, we have 2.12 Theorem. Let lim n,m s(n, m) = a. Then lim n (lim m s(n, m)) = a if and only if lim m s(n, m) exists for each n N. Combining Theorems 2.11 and 2.12, we obtain the following result Theorem. Let lim n,m s(n, m) = a. Then the iterated limits lim ( lim s(n, m)) and lim ( lim s(n, m)) n m m n exist and both are equal to a if and only if 8

9 (i) lim m s(n, m) exists for each n N, and (ii) lim n s(n, m) exists for each m N. The following example shows that the converse of Theorem 2.11 or Theorem 2.12 is not true Example. Consider the sequence s(n, m) = nm. Clearly, for each n 2 +m 2 m N, lim n s(n, m) = 0 and hence lim m (lim n s(n, m)) = 0. But s(n, m) = 1 when n = m and s(n, m) = 2 when n = 2m, and hence it follows 2 5 that the double limit lim n,m s(n, m) cannot exist in this case. The next result can be viewed as a partial converse of Theorem But, first, recall that a sequence of functions {f n } is said to converge uniformly to a function f on a set X if, for every ɛ > 0, there exists an N N (depends only on ɛ) such that n N f n (x) f(x) < ɛ x X Theorem. If (s(n, m)) is a double sequence such that (i) the iterated limit lim m (lim n s(n, m)) = a, and (ii) the limit lim n s(n, m) exists uniformly in m N, then the double limit lim n,m s(n, m) = a. Proof: For each n N, define a function f n on N by f n (m) := s(n, m) m N. Then, by hypothesis (ii), f n f uniformly on N, where f(m) := lim n s(n, m). So given ɛ > 0, there exists N 1 N such that n N 1 s(n, m) f(m) < ɛ 2 m N. Since, by hypothesis (ii), lim m f(m) = lim m (lim n s(n, m)) = a, then for the same ɛ, there exists N 2 N such that m N 2 f(m) a < ɛ 2. Now, letting N := max{n 1, N 2 }, we have n, m N s(n, m) a s(n, m) f(m) + f(m) a < ɛ 2 + ɛ 2 = ɛ, 9

10 which means that lim n,m s(n, m) = a. It should be noted that the hypothesis that lim n s(n, m) exists uniformly in m N in the theorem above cannot be weakened to lim n s(n, m) exists for every m N. Indeed, reconsider the double sequence s(n, m) = Example It can be easily seen that (1) (s(n, m)) is bounded, since s(n, m) 1 n, m N. (2) For each m N, lim n s(n, m) = 0. nm n 2 +m 2 (3) lim n s(n, m) 0 uniformly in m N. Indeed, if for each n N we let then we obtain f n (m) := s(n, m) = nm n 2 + m 2, m N, f n 0 u := sup{ f n (m) 0 : m N} = 1 2 n N, which implies that lim n f n 0 u 0. (4) lim m (lim n s(n, m)) = 0. (5) lim n,m s(n, m) does not exist, as has been shown in Example We conclude this section with the following remark: In Theorem 2.11, the assumption that the limit lim n s(n, m) exists for each m N does not follow from the assumption that the double limit lim n,m s(n, m) exists, as the following example shows Example. Consider the double sequence s(n, m) = ( 1)n. Note, first, m that lim s(n, m) = lim n,m n,m ( 1) n m = 0. Indeed, given ɛ > 0, choose N N such that 1 < ɛ. Then for all n, m N, we N have ( 1)n 0 = 1 1 < ɛ. m m N ( 1) On the other hand, lim n n does not exist for each fixed m N, since lim n ( 1) n does not exist. m of 10

11 3 Cauchy Double Sequences We present in this section the important Cauchy Criterion for convergence of double sequences. 3.1 Definition. A double sequence (s(n, m)) of complex numbers is called a Cauchy sequence if and only if for every ɛ > 0, there exists a natural number N = N(ɛ) such that s(p, q) s(n, m) < ɛ p n N and q m N. 3.2 Theorem(Cauchy Convergence Criterion for Double Sequences). A double sequence (s(n, m)) of complex numbers converges if and only if it is a Cauchy sequence. Proof: ( ): Assume that s(n, m) a as n, m. Then given ɛ > 0, there exists N N such that s(n, m) a < ɛ 2 n, m N. Hence, p n N and q m N, we have s(p, q) s(n, m) = s(p, q) a + a s(n, m) s(p, q) a + s(n, m) a < ɛ 2 + ɛ 2 = ɛ; that is, (s(n, m)) is a Cauchy sequence. ( ): Assume that (s(n, m)) is a Cauchy sequence, and let ɛ > 0 be given. Taking m = n and writing s(n, n) = b n, we see that there exists K N such that b p b n < ɛ p n K. Therefore, by Cauchy s Criterion for single sequences, the sequence (b n ) converges, say to a C. Hence, there exists N 1 N such that b n a < ɛ 2 n N 1. (3) Since (s(n, m)) is a Cauchy sequence, there exists N 2 N such that s(p, q) b n < ɛ 2 p, q n N 2. (4) Let N := max{n 1, N 2 } and choose n N. Then, by (3) and (4), we have s(p, q) a s(p, q) b n + b n a < ɛ 2 + ɛ = ɛ 2 p, q N. Hence, (s(n, m)) converges (to a). 11

12 4 Monotone Double Sequences In this section, we define increasing and decreasing double sequences of real numbers and we prove a monotone convergence theorems for such sequences that are parallel to their counterparts for single sequences. 4.1 Definition. Let (s(n, m)) be a double sequence of real numbers. (i) If s(n, m) s(j, k) increasing. (ii) If s(n, m) s(j, k) decreasing. (n, m) (j, k) in N N, we say the sequence is (n, m) (j, k) in N N, we say the sequence is (ii) If (s(n, m)) is either increasing or decreasing, then we say it is monotone. 4.2 Theorem(Monotone Convergence Theorem). A monotone double sequence of real numbers is convergent if and only if it is bounded. Further: (a) If (s(n, m)) is increasing and bounded above, then lim ( lim s(n, m)) = lim ( lim m n n m s(n, m)) = lim = sup{s(n, m) : n, m N}. (b) If (s(n, m)) is decreasing and bounded below, then Proof: bounded. lim ( lim s(n, m)) = lim ( lim m n n m s(n, m)) = lim = inf{s(n, m) : n, m N}. s(n, m) n,m s(n, m) n,m It was seen in Theorem 2.6 that a convergent sequence must be Conversely, let (s(n, m)) be a bounded monotone sequence. Then (s(n, m)) is increasing or decreasing. (a) We first treat the case that (s(n, m)) is increasing and bounded above. By the supremum principle of real numbers, the supremum a := sup{s(n, m) : n, m N} exists. We shall show that the double and iterated limits of (s(n, m)) exist and are equal to a. If ɛ > 0 is given, then a ɛ is not an upper bound for the set {s(n, m) : n, m N}; hence there exists natural numbers K(ɛ) and J(ɛ) such that a ɛ < s(k, J). But since (s(n, m)) is increasing, it follows that a ɛ < s(k, J) s(n, m) a < a + ɛ (n, m) (K, J), 12

13 and hence s(n, m) a < ɛ (n, m) (K, J). Since ɛ > 0 was arbitrary, it follows that (s(n, m)) converges to a. Next, to show that lim ( lim s(n, m)) = lim s(n, m) = m n n,m a, note that since (s(n, m)) is bounded above, then, for each fixed m N, the single sequence {s(n, m) : n N} is bounded above and increasing, so, by Monotone Convergence Theorem of [2] for single sequences, we have lim s(n, m)) = sup{s(n, m) : n N} =: l m m N. n Hence, by Theorem 2.11, the iterated limit lim m (lim n s(n, m)) exists and Similarly, it can be shown that lim ( lim s(n, m)) = lim s(n, m) = m n n,m a. lim ( lim s(n, m)) = lim s(n, m) = n m n,m a. (b) If (s(n, m)) is decreasing and bounded below, then the sequence ( s(n, m)) is increasing and bounded above. Hence, by part (a), we obtain lim ( lim s(n, m)) = lim ( lim m n n Therefore it follows that m lim ( lim s(n, m)) = lim ( lim m n n s(n, m)) = lim = sup{ s(n, m) : n, m N} = inf{s(n, m) : n, m N}. m s(n, m)) = lim = inf{s(n, m) : n, m N}. s(n, m) n,m s(n, m) n,m 5 Theorems of Limits In this section, we prove some results which enable us to evaluate the double and iterated limits of a double sequence. 13

14 5.1 Theorem. If (s(n, m)) can be written as s(n, m) = a n a m such that the limits lim n a n = l 1 and lim m a m = l 2, then lim ( lim s(n, m)) = lim ( lim s(n, m)) = lim s(n, m) = l 1l 2. m n n m n,m Proof: By hypothesis, we have and lim ( lim s(n, m)) = lim ( lim a na m ) = lim n m n m n a n lim m a m = l 1 l 2 Hence lim ( lim s(n, m)) = lim ( lim a ma n ) = lim a m m n m n m lim ( lim s(n, m)) = lim ( lim s(n, m)) = l 1l 2. n m m n lim a n = l 2 l 1. n Next, to show that lim n,m s(n, m) = l 1 l 2, let Let ɛ > 0 be given. Since (a n ) is bounded (being convergent), there exists K N such that a n K n N, and since a n l 1 and a m l 2, there exists a natural number N = N(ɛ) such that a n l 1 < ɛ and a m l 2 < ɛ 2b 2b where b := max{k, l 1 }. Hence it follows that n, m N, n, m N s(n, m) l 1 l 2 s(n, m) a n l 2 + a n l 2 l 1 l 2 Therefore it follows that lim n,m s(n, m) = l 1 l 2. = a n a m l 2 + l 2 a n l 1 < K ɛ 2b + l 2 ɛ 2b 2b ɛ 2b = ɛ. 5.2 Example. Consider the double sequence s(n, m) = 1, n, m N. We nm claim that lim s(n, m) = lim ( lim s(n, m)) = lim ( lim s(n, m)) = 0. n,m m n n m Indeed, write s(n, m) = a n a m = ( 1 n )( 1 m ) lim a 1 n = lim n n n n, m N. Then = 0 and lim m a m = lim m 14 1 m = 0.

15 It follows from Theorem 4.1 that lim n,m 1 nm = lim n ( lim m 1 nm ) = lim m ( lim n 1 nm ) = ( lim n 1 )( lim n m 1 m ) = Theorem. If (s(n, m)) can be written as s(n, m) = a n + a m such that the limits lim n a n = l 1 and lim m a m = l 2, then lim ( lim s(n, m)) = lim ( lim s(n, m)) = lim s(n, m) = l 1 + l 2. n m m n n,m and Proof: By hypothesis, we have lim ( lim s(n, m)) = lim ( lim (a n + a m )) = lim a n + lim a m = l 1 + l 2, n m n m n m lim ( lim s(n, m)) = lim ( lim (a m + a n )) = lim m n m n n a n + lim a m = l 1 + l 2. m Next, to show that lim n,m s(n, m) = l 1 + l 2, let ɛ > 0 be given. hypothesis, there exists a natural number N = N(ɛ) such that By Hence, we have a n l 1 < ɛ 2 and a m l 2 < ɛ 2 n, m N. n, m N s(n, m) (l 1 + l 2 ) = a n + a m l 1 l 2 Therefore, it follows that lim n,m s(n, m) = l 1 + l 2. a n l 1 + a m l 2 < ɛ 2 + ɛ 2 = ɛ. 5.4 Example. Consider the double sequence s(n, m) = 1 + 1, n, m N. n m We showed in Example 2.10 that lim s(n, m) = lim ( 1 n,m n,m n + 1 m ) = 0. Now we can prove this result, by using Theorem 4.3, as follows: lim ( 1 n,m n + 1 m ) = lim n Moreover, by Theorem 5.3, we have 1 n + lim m lim ( lim ( 1 n m n + 1 m ) = lim ( lim ( 1 m n n + 1 m ) = lim n 15 1 m = 0. 1 n + lim m 1 m = 0.

16 5.5 Theorem(The Sandwich Theorem). Suppose that (x(n, m)), (s(n, m)), and (y(n, m)) are double sequences of real numbers such that x(n, m) s(n, m) y(n, m) n, m N, and that lim n,m x(n, m) = lim n,m y(n, m). Then (s(n, m)) is convergent and lim x(n, m) = lim n,m s(n, m) = lim n,m y(n, m). n,m Proof: Let a := lim n,m x(n, m) = lim n,m y(n, m). Then given ɛ > 0, there exists a natural number N such that n, m N x(n, m) a < ɛ and y(n, m) a < ɛ. Since the hypothesis implies that x(n, m) a s(n, m) a y(n, m) a n, m N, it follows that ɛ < s(n, m) a < ɛ n, m N. Since ɛ > 0 was arbitrary, this implies that lim n,m s(n, m) = a. 6 Double Subsequences In this section, we study double subsequences and we prove some results about their convergence and its relation to the convergence of the original double sequence. 6.1 Definition. Let (s(n, m)) be a double sequence of complex numbers and let (k 1, r 1 ) < (k 2, r 2 ) <... < (k n, r n ) <... be a strictly increasing sequences of pairs of natural numbers. Then the sequence (s(k n, r m )) is called a subsequence of (s(n, m)). Double subsequences of convergent double sequences also converge to the same limit, as the following result shows. 6.2 Theorem. If a double sequence (s(n, m)) of complex numbers converges to a complex number a, then any subsequence of (s(n, m)) also converges to a. 16

17 Proof: Let (s(k n, r m )) be a subsequence of (s(n, m)) and let ɛ > 0 be given. Then there exists N = N(ɛ) N such that p, q N s(p, q) a < ɛ. Since k 1 k 2... k n... and r 1 r 2... r m..., we have k n n, r m m n, m N. Hence, it follows that n, m N k n, r m N s(k n, r m ) a < ɛ, and therefore lim n,m s(k n, r m ) = a. satisfy 6.3 Theorem. If the iterated limits of a double sequence (s(n, m)) exist and lim ( lim s(n, m)) = lim ( lim s(n, m)) = a, n m m n then the iterated limits for any subsequence (s(p n, q m )) exist and satisfy lim ( lim s(p n, q m )) = lim ( lim s(p n, q m )) = a. n m m n Proof: Claim 1: If, for every n N, lim m s(n, m) =: f(n) exists, then lim s(p n, q m ) = f(p n ) n N. m Indeed, the hypothesis that lim m s(n, m) =: f(n) exists for all n N implies that lim m s(p n, m) =: f(p n ) exists for all n N. Since (s(p n, q m )) m=1 is a subsequence of of the single sequence (s(p n, m)) m=1, it follows that lim m s(p n, q m ) = f(p n ) for all n N. Claim 2: If lim n (lim m s(n, m)) = a, then lim n (lim m s(p n, q m )) = a. Indeed, the hypothesis implies that lim m s(n, m) =: f(n) exists for each n N and lim n f(n) = a. Hence, by Claim 1, lim s(p n, q m ) = f(p n ) n N. (5) m Since (f(p n )) n=1 is a subsequence of the sequence (f(n)) n=1 and lim n f(n) = a, it follows that lim n f(p n ) = a. This and (5) yield that which proves the claim. lim ( lim s(p n, q m )) = a, n m 17

18 By interchanging the roles of n and m in Claims 1 and 2 we get that if lim ( lim s(n, m)) = a, then lim ( lim s(p n, q m )) = a. m n m n Now this and Claim 2 prove the theorem. While not every double sequence of real numbers is monotone, we will now show that every double sequence has a monotone subsequence. 6.4 Theorem. Every double sequence of real numbers has a monotone subsequence. Proof: To serve this proof we will say that the term s(p, q) is a peak if s(p, q) s(n, m) (n, m) N N with (p, q) (n, m). That is, s(p, q) is never exceeded by any term that follow it. We will consider two cases, depending on whether (s(n, m)) has infinitely many, or finitely many, peaks. Case 1: (s(n, m)) has infinitely many peaks. In this case, we order the peaks by increasing subscripts. So we have the peaks s(p 1, q 1 ), s(p 2, q 2 ),..., s(p k, q k ),..., where (p 1, q 1 ) < (p 2, q 2 ) <... < (p k, q k ) <.... Since each of the terms is a peak, we have s(p 1, q 1 ) s(p 2, q 2 )... > s(p k, q k ).... Hence the subsequence (s(p k, q k )) of peaks is a decreasing subsequence of (s(n, m)). Case 2: (s(n, m)) has a finite number (possibly zero) of peaks. Let these peaks be s(p 1, q 1 ), s(p 2, q 2 ),..., s(p j, q j ). Let k 1 := p j + 1 and r 1 := q j + 1. Then (k 1, r 1 ) is the first index beyond the last peak. Since s(k 1, r 1 ) is not a peak, there exists (k 2, r 2 ) > (k 1, r 1 ) such that s(k 1, r 1 ) < s(k 2, r 2 ). Since s(k 2, r 2 ) is not a peak, there exists (k 3, r 3 ) > (k 2, r 2 ) such that s(k 2, r 2 ) < s(k 3, r 3 ). Continuing in this process, we obtain an increasing subsequence (s(k n, r m )) of (s(n, m)). As a consequence of Theorem 6.4 and the Monotone Convergence Theorem 4.2, we obtain a Bolzano-Weierstrass Theorem for double sequences. 6.5 Theorem(Bolzano-Weierstrass Theorem). A bounded double sequence of real numbers has a convergent monotone subsequence. Proof: Let (s(n, m)) be a bounded double sequence of real numbers. By Theorem 6.4, it has a monotone subsequence (s(k n, r m )). Since this subsequence is also bounded, it follows from the Monotone Convergence Theorem 4.2 that the subsequence is convergent. 18

19 6.6 Corollary. If (s(n, m)) is a bounded double sequence of real numbers, then there exists a convergent subsequence (s(k n, r m )) such that the iterated limits lim ( lim s(k n, r m )) and lim ( lim s(k n, r m )) n m m n exist, and are both equal to the double limit lim n,m s(k n, r m ). Proof: Since (s(n, m)) is a bounded double sequence of real numbers, it follows from Theorem 6.5 that it has a monotone subsequence (s(k n, r m )) such that lim n,m s(k n, r m ) exists. Since this subsequence is also bounded, it follows from the Monotone Convergence Theorem 4.2 that lim ( lim s(k n, r m )) = lim ( lim s(k n, r m )) = lim s(k n, r m ). n m m n n,m Subsequences of double sequences can be utilized to provide a test for the divergence of a double sequence. 6.7 Theorem(Divergence Criterion). Let (s(n, m)) be a double sequence of complex numbers. Then the following statements are equivalent: (i) The sequence (s(n, m)) does not converge to a C. (ii) There exists an ɛ 0 > 0 such that for any k N, there exist n k, m k N such that n k, m k k and s(n k, m k ) a ɛ 0. (iii) There exists an ɛ 0 > 0 and a subsequence (s(n k, m k )) of (s(n, m)) such that s(n k, m k ) a ɛ 0 for all k N. Proof: (i) (ii): If (s(n, m)) does not converge to a, then there exists ɛ 0 > 0 such that k N, the statement (n, m k s(n, m) a < ɛ 0 ) is false; that is, k N, there are natural numbers n k, m k k such that s(n k, m k ) a ɛ 0. (ii) (iii): Let ɛ 0 be as in (ii) and let n 1, m 1 N be such that n 1, m 1 1 and s(n 1, m 1 ) a ɛ 0. Now let n 2, m 2 N be such that n 2 n 1 + 1, m 2 m and s(n 2, m 2 ) a ɛ 0. Let n 3, m 3 N be such that n 3 n 2 + 1, m 3 m and s(n 3, m 3 ) a ɛ 0. Continuing in this process, we obtain a strictly increasing sequence {(n k, m k )} of ordered pairs in N N, and hence a subsequence (s(n k, m k )) of (s(n, m)) such that s(n k, m k ) a ɛ 0. (iii) (i): Suppose there exists an ɛ 0 > 0 and a subsequence (s(n k, m k )) of (s(n, m)) such that s(n k, m k ) a ɛ 0 for all k N. Then (s(n, m)) cannot 19

20 converge to a. For, if s(n, m) a, then, by Theorem 6.2, the subsequence (s(n k, m k )) would converge to a, which is impossible in view of our supposition. As an application of the Divergence Criterion, we obtain the following interesting result. 6.8 Theorem. Let (s(n, m)) be a bounded double sequence of complex numbers and let a C have the property that every convergent subsequence of (s(n, m)) converges to a. Then the sequence (s(n, m)) converges a. Proof: Assume, on the contrary, that the sequence (s(n, m)) does not converge to a. Then, by the Divergence Theorem 6.7, there exists an ɛ 0 > 0 and a subsequence (s(n k, m k )) of (s(n, m)) such that s(n k, m k ) a ɛ 0 k N. (6) Since the sequence (s(n, m)) is bounded, then so is the subsequence (s(n k, m k )). It follows from the Bolzano-Weierstrass Theorem 6.5 that (s(n k, m k )) has a convergent subsequence, say (s(n p, m q )). Hence, by hypothesis, lim p,q s(n p, m q ) = a. This means that there exists N = N(ɛ 0 ) such that s(n p, m q ) a ɛ 0 p, q N. (7) Since every term of (s(n p, m q )) is also a term of (s(n k, m k )), we see that (6) gives a contradiction to (7). 7 Double Series In this section, we introduce double series and we shall give the definition of their convergence and divergence. Then we study the relationship between double and iterated series, and we give a sufficient condition for equality of iterated series. 7.1 Definition. Let z : N N C be a double sequence of complex numbers and let (s(n, m)) be the double sequence defined by the equation n m s(n, m) := ( z(i, j)). i=1 j=1 The pair (z, s) is called a double series and is denoted by the symbol n,m=1 z(n, m) or, more briefly by z(n, m). Each number z(n, m) is called a term of the double series and each s(n, m) is called a partial sum. We say that the double series 20

21 n,m=1 z(n, m) is convergent to the sum s if lim n,m s(n, m) = s. If no such limit exists, we say that the double series n,m=1 z(n, m) is divergent. The series ( z(n, m)) are called iterated series. and ( z(n, m)) m=1 n=1 7.2 Theorem. If the double series n,m=1 z(n, m) is convergent, then lim z(n, m) = 0. n,m Proof: Since the double series n,m=1 z(n, m) is convergent, say to s, then its sequence of partial sums (s(n, m)) converges to s. So given ɛ > 0, there exists N N such that s(n, m) s < ɛ n, m N. 4 It follows that for all n, m N, we have z(n, m) = s(n, m) + s(n 1, m 1) s(n, m 1) s(n 1, m) s(n, m) s + s(n 1, m 1) s + s(n, m 1) s + s(n 1, m) s < ɛ 4 + ɛ 4 + ɛ 4 + ɛ 4 = ɛ. Therefore, lim n,m z(n, m) = Theorem(Cauchy Convergence Criterion for Double Series.) A double series n,m=1 z(n, m) of complex numbers converges if and only if its sequence of partial sums (s(n, m)) is Cauchy. Proof: It follows immediately from the Definition 7.1 and Cauchy Convergence Criterion for Double Sequences (Theorem 3.2). The proof of the following theorem is straightforward, and therefore it is omitted. 7.4 Theorem. If n,m=1 z(n, m) converges to s and n,m=1 w(n, m) converges to s, then (a) n,m=1 z(n, m) + w(n, m) converges to s + s, and (b) n,m=1 c z(n, m) converges to c s for any c C. 21

22 The next result gives necessary and sufficient conditions for the convergence and equality of the iterated series of a convergent double series. The proof of this result follows immediately from Theorem Theorem. Suppose that the double series n,m=1 z(n, m) is convergent, with sum s. Then the iterated series n=1 ( m=1 z(n, m)) and m=1 ( n=1 z(n, m)) are both convergent with sum s if and only if (a) for every m N, the series n=1 z(n, m) is convergent, and (b) for every n N, the series m=1 z(n, m) is convergent. 8 Double Series of Nonnegative Terms In this section, we give some tests of convergence for double series of nonnegative terms. 8.1 Theorem. A double series of nonnegative terms n,m=1 z(n, m) converges if and only if the set of partial sums {s(n, m) : n, m N} is bounded. Proof: Let n,m=1 z(n, m) be a double series with z(n, m) 0 n, m N. If n,m=1 z(n, m) converges, then its double sequence (s(n, m)) of partial sums converges and, hence, bounded, by Theorem 2.6. It follows that the set {s(n, m) : n, m N} is bounded. Suppose, conversely, that the set of partial sums {s(n, m) : n, m N} is bounded. Then the double sequence of partial sums (s(n, m)) is bounded. Since the terms z(n, m) of the double series are nonnegative, it is clear that the sequence (s(n, m)) is increasing. It follows from the Monotone Convergence Theorem 4.2 that (s(n, m)) converges and, hence, n,m=1 z(n, m) converges. 8.2 Corollary. A double series of nonnegative terms n,m=1 z(n, m) either converges to a finite number s or else it diverges properly to. Proof: Let S := {s(n, m) : n, m N} be the set of partial sums of the double series n,m=1 z(n, m). Then either the set S is bounded; that is, sup S = s 0, and hence, by Monotone Convergence Theorem 4.2 or by Theorem 8.1, the sequence of partial sums (s(n, m)) converges to s and hence z(n, m) = s, or else the set S is unbounded, and in this case it is easy to show that lim n,m s(n, m) =, and hence the double series z(n, m) properly diverges to. 22

23 8.3 Example. The double series n,m=1 1 2 n 3 m is convergent. Indeed, for each n, m N, the partial sum s(n, m) ( n )( m ). Since 1 2 n and 1 3 m are convergent, there exists M > 0 such that ( )(1 n ) M n, m N. 2 3m It follows that 0 s(n, m) M n, m N. Thus the set {s(n, m) : n, m N} is bounded, and therefore, by Theorem 8.1, n,m=1 1 2 n 3 m converges. 8.4 Theorem(Comparison Test). Suppose that 0 u(n, m) v(n, m) for every n, m N. (i). If n,m=1 v(n, m) is convergent, then n,m=1 u(n, m) is convergent. (ii). If n,m=1 u(n, m) is divergent, then n,m=1 v(n, m) is divergent Proof: (i). Suppose n,m=1 v(n, m) is convergent, and let ɛ > 0 be given. If (s (n, m)) denotes the sequence of partial sums of the series n,m=1 v(n, m), then there exists N N such that s (p, q) s (n, m) < ɛ p n N and q m N, and so if (s(n, m)) denotes the sequence of partial sums of the series n,m=1 u(n, m), then we have s(p, q) s(n, m) ( s (p, q) s (n, m) ) < ɛ p n N and q m N. Hence, n,m=1 u(n, m) converges. (ii). Suppose n,m=1 u(n, m) is divergent. Then, by Corollary 8.2, we have lim n,m s(n, m) =. Since, by hypothesis, s(n, m) s (n, m) n, m N, it follows that lim n,m s (n, m) =. Therefore, n,m=1 v(n, m) diverges. 8.5 Example. The double series n,m=1 sin 1 is convergent. Indeed, 2 n 3 m this follows from the facts that sin 1 1 n, m N, 1 2 n 3 m 2 n 3 m n,m=1 is 2 n 3 m convergent (by Example 8.3), and by applying the Comparison Test. We now prove the following rearrangement theorem for later use. 8.6 Theorem. Let a(n, m) [0, ] for each (n, m) N N and let φ be a one-to-one mapping of N onto N N. Then 23

24 (i) n=1 ( m=1 a(n, m)) = k=1 a(φ(k)), and (ii) n=1 ( m=1 a(n, m)) = m=1 ( n=1 a(n, m)). Proof: (i) First let α be any real number less that the right side of (i). Choose k 0 N such that k 0 k=1 Next choose n 0, m 0 N such that Then we have a(φ(k)) > α. {φ(k) : 1 k k 0 } {(n, m) : 1 n n 0, 1 m m 0 }. k 0 n 0 m 0 n 0 α < a(φ(k)) ( a(n, m)) ( a(n, m)) ( a(n, m)). k=1 Since α was arbitrary, it follows that a(φ(k)) ( a(n, m)). (8) k=1 Now let β be any real number less than the left hand side of (i) and then choose n 1 N such that Using induction on n 1, we have hence, we can choose m 1 N such that Now choose k 1 N such that Then we have n 1 β < ( a(n, m)). n 1 n 1 ( a(n, m)) = ( a(n, m)); m=1 n=1 m 1 n 1 β < ( a(n, m)). (9) m=1 n=1 {(n, m) : 1 n n 1, 1 m m 1 } {φ(k) : 1 k k 1 }. n 1 m 1 k 1 ( a(n, m)) a(φ(k)) a(φ(k)). (10) k=1 k=1 24

25 Combining (9) and (10) yields β < a(φ(k)). (11) k=1 Finally (11) and the arbitrariness of β prove the reverse of inequality (8) and so (i) obtains. (ii) Note that equality (ii) will follow from equality (i) if we can show that ( a(n, m)) = a(φ(k)). (12) m=1 n=1 k=1 To this end, note first that so writing ( a(n, m)) = ( a(m, n)); (13) m=1 n=1 b(n, m) := a(m, n), (14) and ψ(k) = (n, m) if φ(k) = (m, n), we have b(ψ(k)) = a(φ(k)), (15) and ψ is a one-to-one mapping of N onto N N. Thus applying part (i) of this theorem to b(n, m) and ψ, we have In view of (13), (14) and (15), (12) is just (16). ( b(n, m)) = b(ψ(k)). (16) k=1 8.7 Remark. Theorem 8.6 can fail without the hypothesis that a(n, m) 0 (n, m) N N. For example, let 1, if n = m + 1, m = 1, 2,..., a(n, m) := 1, if n = m 1, m = 1, 2,..., 0, otherwise. Then ( a(n, m)) = 1, but ( a(n, m)) = 1, m=1 n=1 and, for any φ as in Theorem 8.6, the series k=1 a(φ(k)) 25

26 diverges, since its terms do not tend to 0. Other sufficient conditions for equality of the iterated series ( a(n, m)) are examined in the next section. and ( a(n, m)) m=1 n=1 9 Absolute Convergence of Double Series In this section, we study absolute convergence of a double series of complex numbers and we give a sufficient condition for equality of iterated series. 9.1 Definition. A double series n,m=1 z(n, m) of complex numbers is said to be absolutely convergent if the double series n,m=1 z(n, m) is convergent. The iterated series n=1 ( m=1 z(n, m)) is said to be absolutely convergent if the series n=1 m=1 z(n, m) is convergent. 9.2 Theorem. Every absolutely convergent double series is convergent. Proof: Suppose that the double series n,m=1 z(n, m) converges absolutely. Then n,m=1 z(n, m) converges, and hence, by Cauchy Convergence Criterion 7.3, its sequence (s (n, m)) of partial sums is Cauchy. So given ɛ > 0, there exists N N such that s (p, q) s (n, m) < ɛ p n N and q m N. Letting (s(n, m)) denotes the sequence of partial sums of n,m=1 z(n, m), it is easy to see that s(p, q) s(n, m) s (p, q) s (n, m) < ɛ p n N and q m N. It follows then that the sequence (s(n, m)) is Cauchy and therefore, by Cauchy Convergence Criterion 7.3, the series n,m=1 z(n, m) converges. The following rearrangement theorem, which is analogous with the well-known Fubini s Theorem from measure theory, tells us that general rearrangements cannot alter sums in the presence of absolute convergence. It further gives a sufficient condition for equality of the iterated series of a double series of complex numbers. 9.3 Theorem. Let z(n, m) C for each (n, m) N N and let φ be a one-to-one mapping of N onto N N. If any of the three sums 26

27 (i) n=1 ( m=1 z(n, m) ), m=1 ( n=1 z(n, m) ), is finite, then all of the series k=1 z(φ(k)) (ii) (iii) m=1 z(n, m) n=1 z(n, m) (n N), (m N), (iv) n=1 ( m=1 z(n, m)), m=1 ( n=1 z(n, m)), k=1 z(φ(k)) are absolutely convergent and the three series in (iv) all have the same sum. Proof: By Theorem 8.6, the three series in (i) all have the same sum and so, by hypothesis, they are all finite. Since no term of a convergent series of nonnegative terms can equal, it follows that all the series in (ii) and (iii) are absolutely convergent; hence convergent. Write b n := z(n, m) (n N). Since b n = lim q q m=1 m=1 z(n, m) lim q q m=1 z(n, m) = z(n, m) m=1 for all n, the Comparison Test 8.4 yields z(n, m) = b n ( z(n, m) ) <, n=1 and so the first series in (iv) is absolutely convergent. Similarly the second series in (iv) is absolutely convergent and, by Theorem 8.6 again, so is the third. Write z(φ(k)) = s C. k=1 We shall next show that n=1 b n = s; i.e., the first and the third series in (iv) have the same sum. That the second and the third have same sum can be proved similarly. Let ɛ > 0 be given. Choose k 0 N such that k=k 0 +1 z(φ(k)) < ɛ 3 (17) and s k 0 k=1 z(φ(k)) < ɛ 3. (18) 27

28 Next choose p 0, q 0 N such that {φ(k) : 1 k k 0 } {(n, m) : 1 n p 0, 1 m q 0 }. Then, whenever p p 0 and q q 0, each term of the finite sum k 0 k=1 z(φ(k)) appears as a term z(n, m) in the finite sum p n=1( q m=1 z(n, m)), and so, subtracting those terms from the latter sum and using (17), we obtain We claim that p q k 0 ( z(n, m)) z(φ(k)) z(φ(k)) < ɛ k=1 k=k (19) p p 0 s p n=1 b n < ɛ. (20) If (20) can be established, then n=1 b n = s, and the proof will be complete. To this end, fix p p 0. Since lim q q m=1 it follows, by induction, that z(n, m) = b n for each n N, p q p lim ( z(n, m)) = b n. q n=1 Thus we may choose some q q 0 such that Combining (18), (19), and (21), we obtain p q p ( z(n, m)) b n < ɛ n=1 3. (21) s p n=1 b n < ɛ 3 + ɛ 3 + ɛ 3 = ɛ. Since p p 0 was arbitrary, (20) has been established. 9.4 Remarks. (a) In the notation of the preceding theorem, the hypothesis that the series ( z(n, m) ) or ( z(n, m) ) m=1 n=1 is finite cannot be weakened to the requirement that iterated series ( z(n, m)) or 28 ( z(n, m)) m=1 n=1

29 is absolutely convergent. For example, the example of Remark 8.7 shows it can happen that all of the series in (ii) and (iii) and the first two series in (iv) of Theorem 9.3 are absolutely convergent, but that the first two of (iv); i.e., the iterated series, do not have the same sum. (b) It can easily happen that ( z(n, m)) = ( z(n, m)) m=1 n=1 even though the hypothesis of Theorem 9.3 fails. z(n, m) = ( 1)n+m, (n, m) N N. It is easy to check that nm ( 1) n+m ( nm ) = (log 2)2 = ( m=1 n=1 As a simple example, let ( 1) n+m nm ). 9.5 Theorem. Let z(n, m) C for each (n, m) N N and let φ be a one-to-one mapping of N onto N N. Then (i) k=1 z(φ(k)) converges absolutely if and only if the series n,m=1 z(n, m) converges absolutely. (ii) If n,m=1 z(n, m) converges absolutely to the sum s, then k=1 z(φ(k)) = s. Proof: (i) Define, for each k N, T k := z(φ(1)) z(φ(k)) and, for each (p, q) N N, define S(p, q) := p q z(n, m). Then, for each k N, there exists a pair (p, q) N N such that T k S(p, q) and conversely, for each pair (p, q) N N, there exists r N such that S(p, q) T r. It follows from these inequalities that the series k=1 z(φ(k)) has bounded set of partial sums if and only if the series n,m=1 z(n, m) has bounded set of partial sums. Hence, by Theorem 8.1, (i) holds. (ii) Assume that n,m=1 z(n, m) converges absolutely to the sum s. Then, by part (i), k=1 z(φ(k)) converges absolutely, say to the sum s. To prove (ii), we need to show that s = s. To this end, let T := Given ɛ > 0, choose N N so that lim S(p, q). p,q 0 T S(p, q) < ɛ 2 p, q > N. (22) 29

30 Now write k p q t k := z(φ(n)), s(p, q) := z(n, m). n=1 Choose M so that t M includes all terms of the form z(n, m) with 1 n N + 1, 1 m N + 1. Then t M s(n + 1, N + 1) is a sum of terms with either n > N or m > N. Therefore, if n M, it follows from (22) that t n s(n + 1, N + 1) T S(N + 1, N + 1) < ɛ 2, (23) and that s s(n + 1, N + 1) T S(N + 1, N + 1) < ɛ 2. (24) Thus (23) and (24) yield that t n s < ɛ n M. Since ɛ > 0 was arbitrary, this shows that lim n t n = s. But then s = lim n t n = s, as desired. Combining Theorems 9.3 and 9.5 together yields the following main result, which gives a sufficient condition for equality of the iterated series of a double series of complex numbers. 9.6 Theorem. Let z(n, m) C for each (n, m) N N. If any of the three series ( z(n, m) ), ( z(n, m) ), z(n, m) m=1 n=1 n,m=1 converges, then all of the series (i) (ii) m=1 z(n, m) n=1 z(n, m) (n N), (m N), (iii) n=1 ( m=1 z(n, m)), m=1 ( n=1 z(n, m)), n,m=1 z(n, m) are absolutely convergent and the three series in (iii) all have the same sum. As an application of Theorem 9.6, we prove the following theorem concerning the multiplication of series. 30

31 9.7 Theorem. Let n=1 a n and n=1 b n be any two absolutely convergent series of complex numbers with sums a and b, respectively. Define a double sequence z : N N C by z(n, m) := a n b m, if (n, m) N N. Then the double series n,m=1 z(n, m) converges absolutely and z(n, m) = ab. n,m=1 Proof: We have ( z(n, m) ) = ( a n b m ) = ( b m )( a n ) <, m=1 n=1 and so Theorem 9.6 applies and yields that the double series converges absolutely and n,m=1 z(n, m) = ab. References [1] T. M. Apostol, Mathematical Analysis, Second edition, Addison Wesley, [2] R. G. Bartle and D. R. Sherbert, Introduction to Real Analysis, Second edition, Wiley and Sons, [3] W. W. L. Chen, Fundamentals of Analysis, Published by W. W. L. Chen via Internet, [4] A. Garcia-Martinez, Webbed spaces, double sequences, and the Mackey convergence condition, Internat. J. Math. and Math. Sci., Vol 22, No. 3(1999), [5] S. L. Gupta and N. Rani, Principles of Real Analysis, Vikas Puplishing House, New Delhi, [6] W. Rudin, Principles of Mathematical Analysis, Third edition, McGraw-Hill,

32 [7] K. R. Stromberg, An Introduction to Classical Real Analysis, Wadsworth,

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

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

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

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

### 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.,

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

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

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

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

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

### MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.

MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on

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

### Discrete Mathematics: Solutions to Homework (12%) For each of the following sets, determine whether {2} is an element of that set.

Discrete Mathematics: Solutions to Homework 2 1. (12%) For each of the following sets, determine whether {2} is an element of that set. (a) {x R x is an integer greater than 1} (b) {x R x is the square

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

### Taylor Series and Asymptotic Expansions

Taylor Series and Asymptotic Epansions The importance of power series as a convenient representation, as an approimation tool, as a tool for solving differential equations and so on, is pretty obvious.

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

### MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

### Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

### HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

### Series Convergence Tests Math 122 Calculus III D Joyce, Fall 2012

Some series converge, some diverge. Series Convergence Tests Math 22 Calculus III D Joyce, Fall 202 Geometric series. We ve already looked at these. We know when a geometric series converges and what it

### Taylor Polynomials and Taylor Series Math 126

Taylor Polynomials and Taylor Series Math 26 In many problems in science and engineering we have a function f(x) which is too complicated to answer the questions we d like to ask. In this chapter, we will

### 3 Does the Simplex Algorithm Work?

Does the Simplex Algorithm Work? In this section we carefully examine the simplex algorithm introduced in the previous chapter. Our goal is to either prove that it works, or to determine those circumstances

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

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

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

### 8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

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

### 3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

### P (A) = lim P (A) = N(A)/N,

1.1 Probability, Relative Frequency and Classical Definition. Probability is the study of random or non-deterministic experiments. Suppose an experiment can be repeated any number of times, so that we

### Math 55: Discrete Mathematics

Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What

### Matrix Norms. Tom Lyche. September 28, Centre of Mathematics for Applications, Department of Informatics, University of Oslo

Matrix Norms Tom Lyche Centre of Mathematics for Applications, Department of Informatics, University of Oslo September 28, 2009 Matrix Norms We consider matrix norms on (C m,n, C). All results holds for

### CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

### Student Outcomes. Lesson Notes. Classwork. Discussion (10 minutes)

NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 5 8 Student Outcomes Students know the definition of a number raised to a negative exponent. Students simplify and write equivalent expressions that contain

### Appendix F: Mathematical Induction

Appendix F: Mathematical Induction Introduction In this appendix, you will study a form of mathematical proof called mathematical induction. To see the logical need for mathematical induction, take another

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

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

### Introduction. Appendix D Mathematical Induction D1

Appendix D Mathematical Induction D D Mathematical Induction Use mathematical induction to prove a formula. Find a sum of powers of integers. Find a formula for a finite sum. Use finite differences to

### 1 Review of complex numbers

1 Review of complex numbers 1.1 Complex numbers: algebra The set C of complex numbers is formed by adding a square root i of 1 to the set of real numbers: i = 1. Every complex number can be written uniquely

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

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

### 2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.

2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then

### The Market-Clearing Model

Chapter 5 The Market-Clearing Model Most of the models that we use in this book build on two common assumptions. First, we assume that there exist markets for all goods present in the economy, and that

### WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

### Lies My Calculator and Computer Told Me

Lies My Calculator and Computer Told Me 2 LIES MY CALCULATOR AND COMPUTER TOLD ME Lies My Calculator and Computer Told Me See Section.4 for a discussion of graphing calculators and computers with graphing

### ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity

### I. Pointwise convergence

MATH 40 - NOTES Sequences of functions Pointwise and Uniform Convergence Fall 2005 Previously, we have studied sequences of real numbers. Now we discuss the topic of sequences of real valued functions.

### SCORE SETS IN ORIENTED GRAPHS

Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in

### Worksheet on induction Calculus I Fall 2006 First, let us explain the use of for summation. The notation

Worksheet on induction MA113 Calculus I Fall 2006 First, let us explain the use of for summation. The notation f(k) means to evaluate the function f(k) at k = 1, 2,..., n and add up the results. In other

### Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers

### Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer

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

### Probability and Statistics

CHAPTER 2: RANDOM VARIABLES AND ASSOCIATED FUNCTIONS 2b - 0 Probability and Statistics Kristel Van Steen, PhD 2 Montefiore Institute - Systems and Modeling GIGA - Bioinformatics ULg kristel.vansteen@ulg.ac.be

### Mathematical Induction. Lecture 10-11

Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach

### ALMOST COMMON PRIORS 1. INTRODUCTION

ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type

### Notes on Determinant

ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

### Solutions of Equations in One Variable. Fixed-Point Iteration II

Solutions of Equations in One Variable Fixed-Point Iteration II Numerical Analysis (9th Edition) R L Burden & J D Faires Beamer Presentation Slides prepared by John Carroll Dublin City University c 2011

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

### AREA AND CIRCUMFERENCE OF CIRCLES

AREA AND CIRCUMFERENCE OF CIRCLES Having seen how to compute the area of triangles, parallelograms, and polygons, we are now going to consider curved regions. Areas of polygons can be found by first dissecting

### Limit processes are the basis of calculus. For example, the derivative. f f (x + h) f (x)

SEC. 4.1 TAYLOR SERIES AND CALCULATION OF FUNCTIONS 187 Taylor Series 4.1 Taylor Series and Calculation of Functions Limit processes are the basis of calculus. For example, the derivative f f (x + h) f

### Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients

DOI: 10.2478/auom-2014-0007 An. Şt. Univ. Ovidius Constanţa Vol. 221),2014, 73 84 Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients Anca

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

### Properties of BMO functions whose reciprocals are also BMO

Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and

### k, then n = p2α 1 1 pα k

Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

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

### 9.2 Summation Notation

9. Summation Notation 66 9. Summation Notation In the previous section, we introduced sequences and now we shall present notation and theorems concerning the sum of terms of a sequence. We begin with a

### 13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcs-ftl 2010/9/8 0:40 page 379 #385

mcs-ftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite

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

### AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION. Abstract

AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION T. M. Atanackovic 1 and B. Stankovic 2 Dedicated to Professor Ivan H. Dimovski on the occasion of his 7th birthday Abstract An expansion

### Math 115 Spring 2011 Written Homework 5 Solutions

. Evaluate each series. a) 4 7 0... 55 Math 5 Spring 0 Written Homework 5 Solutions Solution: We note that the associated sequence, 4, 7, 0,..., 55 appears to be an arithmetic sequence. If the sequence

### An example of a computable

An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

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

### MITES Physics III Summer Introduction 1. 3 Π = Product 2. 4 Proofs by Induction 3. 5 Problems 5

MITES Physics III Summer 010 Sums Products and Proofs Contents 1 Introduction 1 Sum 1 3 Π Product 4 Proofs by Induction 3 5 Problems 5 1 Introduction These notes will introduce two topics: A notation which

### Solving Systems of Linear Equations

LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how

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

### 8 Divisibility and prime numbers

8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

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

### SECTION 10-2 Mathematical Induction

73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms

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

### Math 5311 Gateaux differentials and Frechet derivatives

Math 5311 Gateaux differentials and Frechet derivatives Kevin Long January 26, 2009 1 Differentiation in vector spaces Thus far, we ve developed the theory of minimization without reference to derivatives.

### Regular Languages and Finite Automata

Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University Sep 16, 2010 In 1943, McCulloch and Pitts [4] published a pioneering work on a

### PRIME FACTORS OF CONSECUTIVE INTEGERS

PRIME FACTORS OF CONSECUTIVE INTEGERS MARK BAUER AND MICHAEL A. BENNETT Abstract. This note contains a new algorithm for computing a function f(k) introduced by Erdős to measure the minimal gap size in

### Solutions for Practice problems on proofs

Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

### Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

### Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

### Section 6-2 Mathematical Induction

6- Mathematical Induction 457 In calculus, it can be shown that e x k0 x k k! x x x3!! 3!... xn n! where the larger n is, the better the approximation. Problems 6 and 6 refer to this series. Note that

### Continuity of the Perron Root

Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North

### MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

### Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras

Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture No. # 31 Recursive Sets, Recursively Innumerable Sets, Encoding

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

### TRIPLE FIXED POINTS IN ORDERED METRIC SPACES

Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL: http://www.bmathaa.org Volume 4 Issue 1 (2012., Pages 197-207 TRIPLE FIXED POINTS IN ORDERED METRIC SPACES (COMMUNICATED BY SIMEON

### The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,

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

### Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

### The Rational Numbers

Math 3040: Spring 2011 The Rational Numbers Contents 1. The Set Q 1 2. Addition and multiplication of rational numbers 3 2.1. Definitions and properties. 3 2.2. Comments 4 2.3. Connections with Z. 6 2.4.

### MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish

### sin(x) < x sin(x) x < tan(x) sin(x) x cos(x) 1 < sin(x) sin(x) 1 < 1 cos(x) 1 cos(x) = 1 cos2 (x) 1 + cos(x) = sin2 (x) 1 < x 2

. Problem Show that using an ɛ δ proof. sin() lim = 0 Solution: One can see that the following inequalities are true for values close to zero, both positive and negative. This in turn implies that On the