arxiv: v2 [math.ca] 4 Jun 2017
|
|
- Baldwin Wade
- 6 years ago
- Views:
Transcription
1 EXCURSIONS ON CANTOR-LIKE SETS ROBERT DIMARTINO AND WILFREDO O. URBINA arxiv:4.70v [math.ca] 4 Jun 07 ABSTRACT. The ternary Cantor set C, constructed by George Cantor in 883, is probably the best known example of a perfect nowhere-dense set in the real line, but as we will see later, it is not the only one. The present article we will explore the richness, the peculiarities and the generalities that has C and explore some variants and generalizations of it. For a more systematic treatment the Cantor like sets we refer to our previous paper [7].. INTRODUCTION: CANTOR TERNARY SET. The Cantor ternary set C iis probably the best known example of a perfect nowheredense set in the real line. It was constructed by George Cantor in 883, see [4]. C is obtained from the closed interval [0, ] by a sequence of deletions of open intervals known as middle thirds. We begin with the interval [0, ], let us call it C 0, and remove the middle third, leaving us with leaving us with the union of two closed intervals of length /3 [ C = 0, ] [ ] 3 3,. Now we remove the middle third from each of these intervals, leaving us with the union of four closed intervals of length /9 C = [ 0, ] [ 9 9, ] [ 3 3, 7 ] [ ] 8 9 9,. Then we remove the middle third of each of these intervals leaving us with eight intervals of length /7, C 3 = [0, 7 ] [ 7, 9 ] [ 9, 7 7 ] [ 8 7, 3 ] [ 3, 9 7 ] [0 7, 7 9 ] [8 9, 5 7 ] [6 7, ]. We continue this process inductively, then for each n =,, 3 we get a set C n which is the union of n closed intervals of length /3 n. This iterative construction is illustrated in the following figure, for the first four steps: 00 Mathematics Subject Classification Primary 6A03 Secondary 6A30. Key words and phrases: Cantor set, perfect sets, nowhere dense sets, uncountable sets, fractal sets.
2 ROBERT DIMARTINO AND WILFREDO O. URBINA C 0 0 C 0 C 0 C 3 0 C 4 0 Finally, we define the Cantor ternary set C as the intersection (.) C = C n. n=0 Clearly C, since trivially 0, C. Moreover C is a a closed set, being the countable intersection of closed sets, and trivially bounded, since it is a subset of [0, ]. Therefore, by the Heine-Borel theorem C is a compact set. Moreover, observe by the construction that if y is the end point of some closed subinterval of a given C n then it is also the end point of some of the subintervals of C n+. Because at each stage, endpoints are never removed, it follows that y C n for all n. Thus C contains all the end points of all the intervals that make up each of the sets C n (or alternatively, the endpoints to the intervals removed) all of which are rational ternary numbers in [0, ], i.e. numbers of the form k/3 n. But C contains much more than that; actually it is an uncountable set since it is a perfect set. To prove that simply observe that every point of C is approachable arbitrarily closely by the endpoints of the intervals removed (thus for any x C and for each n N there is an endpoint, let us call it y n C n, such that x y n < /3 n ). There is an alternative characterization of C, the ternary expansion characterization. Consider the ternary representation for x [0, ], (.) x = k= ε k (x) 3 k, ε k(x) = 0,, for all k =,, Observe that removing the elements where at least one of the ε k is equal to one is the same as removing the middle third in the iterative construction, thus the Cantor ternary set is the set of numbers in [0, ] that can be written in base 3 without using the digit, i.e. (.3) C = { x [0, ] : x = k= ε k (x) 3 k, ε k(x) = 0, for all k =,, A perfect set P is a set that is closed and every point x P is a limit point i.e there is a sequence {xn} P, x n x and x n x. Observe, for the ternary rational numbers k/3 n there are two possible ternary expansions, since k 3 n = k 3 n + 3 n = k 3 n + k=n+ 3 k. Similarly, for the dyadic rational numbers k/ n there are two possible dyadic expansions as k n = k n + n = k n + k=n+ Thus for the uniqueness of the dyadic and the ternary representations we will take the infinite expansions representations for the dyadic and ternary rational numbers. k. }.
3 EXCURSIONS ON CANTOR-LIKE SETS 3 Using this characterization of C we can get a direct proof that it is uncountable. Define the mapping f : C [0, ] for x = ε k (x) k= C, as 3 k (.4) f(x) = k= ε k (x)/ k = k= ε k (x) k. It is clear that f is one-to-one correspondence from C to [0, ] (observe that as ε k = 0, then ε k / = 0, ). As we have seen before, the un-contablity of C can be also obtained from the fact that C is perfect, see Abbott [], page 90. C is a nowhere-dense set, that is, there are no intervals included in C. One way to prove that is taking two arbitrary points in C we can always find a number between them that requires the digit in its ternary representation, and therefore there are no intervals included in C, thus C is a nowhere dense set. Alternatively, we can prove this simply by contradiction. Assuming that there is a interval I = [a, b] C, a < b. Then I = [a, b] C n for all n but as C n 0 as n then I = b a = 0. C has measure zero, since its length can be obtained after subtracting from the sum of the length of all open intervals removed in constructing it, m(c) = n= n 3 n = 3 ( 3 )n = /3 /3 = = 0. n=0 So far we have study the main properties of the Cantor set: C is, non-empty (moreover uncountable) compact, perfect, nowhere dense set, with measure zero. Also we have seen that C can then be obtained by any of the following constructions: i) Proportional (fractral) construction: by removing a fixed proportion (one third) of each subinterval in each of the iterative steps. ii) Power construction: by removing the length /3 n from the center of each subinterval in the n th step. iii) Ternary expansion characterization : by removing the digit one in each position of the ternary expansion. Of course these three constructions are equivalent. Nevertheless, the first construction, removing a fixed proportion of each subinterval in each of the iterative steps, give us another important property of the Cantor set, its self-similarity (fractal characteristic) across scales, this is illustrated in the following figure:
4 4 ROBERT DIMARTINO AND WILFREDO O. URBINA C 0 0 C 0 C 0 /3 C 3 0 /9 In order to compute the Hausdorff dimension of C, S. Abbott in his book uses a nice little trick (avoiding the technicalities of the definition of Hausdorff dimension) by dilating C by a the factor 3 (for more details of this argument see [] page 77) obtaining [0, ] [, 3]. Thus if we continue the iterations we will get two Cantor-like sets, then it can be concluded that 3 d =, and therefore the Hausdorff dimension of C is d = ln ln 3 = The Cantor ternary set C was not the first perfect nowhere-dense set in the real line to be constructed. The first construction was done by the a British mathematician Henry J. S. Smith in 875, but not many mathematicians were aware of Smith s construction. Vito Volterra, still a graduate student in Italy, also showed how to construct such a set in 88, but he published his result in an italian journal not widely read. In 883 Cantor rediscover this construction himself, and due to Cantor s prestige, then the Cantor ternary set was (and still is) the typical example of a perfect nowhere-dense set. Following D. Bresoud [3] we will refer as the Smith-Volterra-Cantor sets or SV C(m) sets to the family of examples of perfect, nowhere-dense sets exemplified by the work of Smith, Voterra and Cantor, by removing in the n-iteration, an open interval of length /m n from the center of the remaining closed intervals. Observe that C = SV C(3). Additionally, the Cantor set can also be obtained using an Iterated Function System (IFS), see [9]. Consider the maps: (.5) ω 0 (x) = x/3, ω (x) = x/3 + /3, then C = ω 0 ([0, ]) ω ([0, ]), where this is a disjoint union. C is the only set in the real line that satisfies this relation. This is a very interesting construction with important applications in the study of C, but we will not consider it in further details in this article.
5 EXCURSIONS ON CANTOR-LIKE SETS 5. VARIATIONS OF THE CANTOR TERNARY SET: CANTOR-LIKE SETS. Is there something special with the number 3? The answer is actually yes and no!. As we have already mentioned C can then be obtained by removing a fixed proportion (one third) of each subinterval in each of the iterative steps, by removing the length /3 n from each subinterval in the n th step, or removing the digit one of the ternary expansion. What happen if we choose instead of 3? Using the proportional construction, removing the open middle half from each component, we get at the end of the iterative process the set that we will denote as C /. Here are the first 3 iterative steps, C / = [0, 4 ] [3 4, ], C / = [0, 6 ] [ 3 6, 4 ] [3 4, 3 6 ] [5 6, ], C / 3 = [0, 64 ] [ 3 64, 6 ] [ 3 6, 3 64 ] [5 64, 4 ] [3 4, ] [5 64, 3 6 ] [5 6, 6 64 ] [63 64, ]. Then, continuing this process inductively, then for each n =,, we get a set Cn / which is the union of n closed intervals of length /4 n, and C / = n= C / n. C / share the same properties as C, i.e. it is a perfect, nowhere dense set in the real line. Also C / has measure zero, as its length can be obtained after subtracting from the sum of the length of all open intervals removed in constructing it, = [ ] = ( )n = = n=0 = = 0. In order to compute the Hausdorff dimension of this Cantor-like set, following the same argument as before, if we dilate C / by 4 we obtain [0, ] [3, 4]. Thus, if we continue the iterations we will get at the end two Cantor-like sets, therefore 4 d =, so d = ln ln 4 = ln ln = = 0.5, so for this Cantor-like set the dust obtained is more sparse than the one generated by C. Also observe that, we can get a expansion characterization of C / but in base n = 4, { } C / ε n (x) = x [0, ] : x = 4 n, ε n(x) = 0, 3 for all n =,,. n= On the other hand, what happen if we use the power construction? i.e.what happen if we remove the length / n from the center of each subinterval in the n th step?. The first step is the same as before, obtaining the set [0, 4 ] [3 4, ],
6 6 ROBERT DIMARTINO AND WILFREDO O. URBINA but next we need to remove two open intervals of length / = /4, so we get only four points, {0, /4, 3/4, } so the process stops there, at n =, since there are no more intervals to remove form. Clearly this is not the same as removing open middle half from each component. What happen if we consider now n = 4? In this case both the proportional and the power construction can be iterated an infinity number of times, but, as we are going to see they turn out to be different sets. i) Proportional construction: If we repeat the Cantor set s construction starting with the interval [0,], removing the open middle fourth from the center of the remaining closed intervals, we get at the end of the iterative process a set that we will denote as C /4. Here are the first three iterations C /4 = [0, 3 8 ] [5 8, ] C /4 = [0, 9 64 ] [5 64, 3 8 ] [5 8, ] [55 64, ] C /4 3 = [0, 7 5 ] [ 45 5, 9 64 ] [5 64, 47 5 ] [65 5, 3 8 ] [5 8, ] [365 5, ] [55 64, ] [485 5, ]. Then, continuing this process inductively, we get, for each k =,,, a set C /4 k which is the union of k closed intervals of length (3/8) k. C /4 = n= C /4 n. C /4 0 0 C /4 0 C / C / C /4 share the same properties as C, i.e. it is a perfect, nowhere dense set in the real line. Also C /4 has measure zero, as its length can be obtained after subtracting from the sum of the length of all open intervals removed in constructing it, = 4 [ ] = 4 3 = = = 0.
7 EXCURSIONS ON CANTOR-LIKE SETS 7 In order to compute the Hausdorff dimension of this Cantor-like set, following the same argument as before, if we dilate C /4 by 8/3 we obtain [0, ] [ 5 3, 8 3 ]. Thus if we continue the iterations we will get two Cantor-like sets, thus ( 8 3 )d =, i.e d = ln ln 8/3 = ln ln 8 ln 3 = Observe that if we do the same argument in the second or third step we get the same result, ( 64 9 )d = 4, i.e d = ln 4 ln 64/9 = ln ln 8 ln 3 = , ( 5 ln 8 7 )d = 8, i.e d = ln 5/7 = ln ln 8 ln 3 = Thus, the Cantor-like set C /4 is self-similar across scales (fractal)and it is less sparse than C. Observe that C /4 can not be characterized using expansion characterization. It is easy to check that the natural base n = 8 does not work. ii) Power construction: if we repeat the Cantor construction starting with the interval [0,], removing, in the n-iteration, an open interval of length /4 n from the center of the remaining closed intervals, we get SV C(4) = [0, 3 8 ] [5 8, ] SV C(4) = [0, 5 3 ] [ 7 3, 3 8 ] [5 8, 5 3 ] [7 3, ] SV C(4) 3 = 9 [0, 8 ] [ 8, 5 3 ] [ 7 3, 37 8 ] [ 39 8, 3 8 ] [5 8, 89 8 ] [ 9 8, 5 3 ] [7 3, ] [9 8, ]. Then SV C(4) = SV C(4) n. n= SV C(4) 0 0 SV C(4) 0 SV C(4) SV C(4)
8 8 ROBERT DIMARTINO AND WILFREDO O. URBINA The total length of SV C(4) can be obtained after subtracting from the sum of the length of all open intervals removed in constructing it, = 4 [ ] = 4 = 4 = =. Thus, the set SV C(4) has positive measure equal to /. Cantor-like sets with positive measure are called fat-cantor sets. 3 In this case if we try to compute the Hausdorff dimension, since the sets SV C(4) n are not proportional, a similar argument as before fails, since if we dilate SV C(4) by 8/3 we obtain [0, ] [ 5 3, 8 3 ]. Thus if we continue the iterations we would get two Cantor-like sets, so ( 8 3 )d =, i.e. d = ln ln 8/3 = ln ln 8 ln 3 = But now if we do the same argument in the second or third step we get the different results, ( 3 5 )d = 4, i.e. d = ln 4 ln 3/5 = ln ln 3 ln 5 = , ( 8 9 )d = 8, i.e. d = ln 8 ln 8/9 = 3 ln ln 8 ln 9 = Moreover, since lim k k ln ln( 4 k ) ln( + k ) =, we can conclude that the Hausdorff dimension of SV C(4) is actually one. SV C(4) is called the Volterra set. This is the set that was considered in 88 by V. Volterra to construct his famous counter-example of a function with bounded derivative that exists everywhere but the derivative is not Riemann integrable in any closed bounded interval i.e the Fundamental Theorem of Calculus fails!. Observe that there is not a expansion characterization of the set SV C(4). Now, if we repeat the Cantor set s proportional construction starting with the interval [0,], removing the open middle three fourth from the center of the remaining closed 3 Observe that the only SCV (n) set that has measure zero is C, since the total length of what is remove to get it is n n 4 n 3 = n [ n n ] = n /n = n 3 n.
9 EXCURSIONS ON CANTOR-LIKE SETS 9 intervals, then we get in the first three iterations, C 3/4 = [0, 8 ] [7 8, ] C 3/4 = [0, 64 ] [ 7 64, 8 ] [7 8, ] [63 64, ] C 3/4 3 = [0, 5 ] [ 7 5, 64 ] [ 7 64, 57 5 ] [ 63 5, 8 ] [7 8, ] [455 5, ] [63 64, ] [5 5, ]. Then, continuing this process inductively, for each n =,, we get a set C 3/4 k n which is the union of n closed intervals of length (3/8) n, and C 3/4 = Cn 3/4. n= C 3/4 share the same properties as C, i.e. it is a perfect, nowhere dense set in the real line. Also C 3/4 has measure zero, as = 3 4 [ ] = 3 4 = = = In order to compute the Hausdorff dimension of this Cantor-like set, following the same argument as before, if we dilate C 3/4 by 8 we obtain [0, ] [7, 8]. Thus if we continue the iterations we will get two Cantor-like sets, thus 8 d =, i.e d = ln ln 8 = ln 3 ln = 3 = , so this Cantor-like set is less sparse than C. Also observe that in this case there is no power construction. Finally, it is possible an expansion characterization of that C 3/4 with base 8, { } (.) C 3/4 ε n (x) = x [0, ] : x = 8 n, ε n(x) = 0, 7 for all n =,,. n= On the other hand, using the idea behind the ternary expansion characterization of the Cantor ternary set (.3), we can get a general method to get Cantor-like sets. For instance, take the base n = 5, and consider { } C 5 ε n (x) (0,, 4) = x [0, ] : x = 5 n, ε n(x) = 0,, 4 for all n =,,. n= Since, for this set we are removing all the numbers in [0, ] such that in its 5-adic expansion the n-th digit or 3, for each n, then C 5 (0,, 4) is equivalent to the following proportional construction: start with the unit interval [0, ], partition it into 5 sub-intervals of equal length and remove the second and fourth open sub-intervals of the partition obtaining C 5 (0,, 4). C 5 (0,, 4) = [0, 5 ] [ 5, 3 5 ] [4 5, ].
10 0 ROBERT DIMARTINO AND WILFREDO O. URBINA In the second iteration, partition each of the remain 3 intervals in C 5 (0,, 4) into 5 subintervals of equal length and remove again second and fourth open sub-intervals, obtaining C 5 (0,, 4), C 5 (0,, 4) = [0, 5 ] [ 5, 3 5 ] [ 4 5, 5 ] [ 5, 5 ] [ 5, 3 5 ] [4 5, 3 5 ], One more iteration give us C 5 3(0,, 4), C 5 3(0,, 4) = [0, [ 4 5, 5 ] [ 5, 3 5 ] [4 5, ] 5 ] [ 5, 3 5 ] [ 4 5, 5 ] [ 5, 5 ] [ 5, 3 5 ] [4 5, 3 5 ], [ 4 5, 5 ] [ 5, 3 5 ] [ 4 5, 5 ] [ 5, 5 5 ] [ 5 5, 53 5 ] [ 54 5, 5 ] [ 5, 6 5 ] [ 6 5, 63 5 ] [ 64 5, 3 5 ] [4 5, 7 5 ] [ 7 5, 73 5 ] [ 74 5, 3 5 ] [ 4 5, 0 5 ] [0 5, 03 5 ] [04 5, 5 ] [ 5, 5 ] [ 5, 3 5 ] [4 5, 3 5 ] [ 4 5, 5 ] [ 5, 3 5 ] [4 5, ]. Continue partitioning each subinterval in 5 sub-intervals and removing second and fourth open sub-intervals, we obtain for each n, Cn 5 which is the union of 3 n closed intervals of length /5 n. Then C 5 (0,, 4) = Cn(0, 5, 4). n=i By construction C 5 (0,, 4) is also perfect nowhere set. Its length can be obtained after subtracting from the sum of the length of all open intervals removed in constructing it, = 5 [ ] = ( )k = Thus C 5 (0,, 4) must have measure 0. = 5 k=0 5 = = 0. In order to compute the Hausdorff dimension of this Cantor-like set, following the same argument as before, if we dilate C 5 (0,, 4) by 5 we obtain [0, ] [, 3] [4, 5]. Thus if we continue the iterations we will get three Cantor-like sets, thus 5 d = 3, i.e d = ln 3 ln 5 = 0.686, so this Cantor-like set is even less sparse than C. Of course this construction can be generalized for any m N with m >. Given p =, m start again with the unit interval [0, ]. Partition the interval into m
11 EXCURSIONS ON CANTOR-LIKE SETS intervals of equal length and remove p open intervals of the partition making sure to leave the first and last intervals 4 obtaining C m (p). In the second iteration, partition each of the remain m p intervals in C m (p) into m sub-intervals of equal length and remove the corresponding p open intervals to the ones removed in the first iteration, obtaining C m (p). Continue partitioning each subinterval in m sub-intervals and removing p of them in the same pattern. Observe that, in this construction, in each iterative step p subintervals are removed from each closed subinterval in C m n (p). Then C m (p) = Cn m (p). n= Clearly, the m-adic Cantor set C m (p), has the expansion characterization in base m C m (p) = {x [0, ] : x = n= Observe that in this case, using the dimension trick, we get and therefore the Hausdorff dimension is ɛ n m n where ɛ n {η 0, η,, η p } {0,,, m }, m d = p, d = ln p ln m. η 0 = 0 and η p = m } Several other constructions are possible. For instance, take 0 < λ and repeat the construction of the Cantor set such that at the n-th step, instead of taking out an open interval of length /3 n from the center of each of the n intervals of equal length, take out an open interval of length λ/3 n to obtain C λ,n, then, the first 3 iterative steps C λ,, C λ,, C λ,3 are C λ, = [0, 3 λ 6 ] [ 3 + λ, ], 6 C λ, = [0, 9 5λ ] [ 9 λ 36 36, 3 λ 6 ] [ 3 + λ 6, 7 + λ ] [ λ, ], λ 7 λ C λ,3 = [0, ] [, 9 5λ ] [ 9 λ 8 5λ 8 7λ, ] [, 3 λ ] [ 3 + λ λ λ, ] [, 7 + λ 7 + 5λ 89 + λ λ ] [, ] [, ] Then, C λ = n= C λ,n 4 if not, the set obtained would not be perfect since the construction would produce isolated points.
12 ROBERT DIMARTINO AND WILFREDO O. URBINA C λ is, again, a perfect, nowhere dense set with positive measure, as λ 3 λ 9 4 λ 7 + = λ 3 [ ] = λ 3 ( 3 )k = λ 3 = λ 3 3 k=0 3 = λ, Thus, for 0 < λ <, C λ is a fat Cantor-like set. In order to compute the Hausdorff dimension, if we dilate C λ, by 6/(3 λ) we obtain [0, ] [ 3 + λ 3 λ, 6 3 λ ]. Thus if we continue the iterations we will get two Cantor-like sets, thus 6 ln ( 3 λ )d =, i.e. d = ln[6/(3 λ)] = ln ln 6 ln(3 λ). It is worth noting that, unlike the other previously explored constructions, in general Cantor-like sets need not be symmetric. For instance, C m (p) are not symmetric. As long as the first and last intervals of the expansion characterization partition remain, in order to avoid isolated points, any choice of removed open intervals can be made. Neither the measure nor the dimension of C m (p) is affected by the choice to remove intervals asymmetrically. A more systematic study of the possible generalizations of the Cantor ternary set can be found in [7]. Finally, a nice application of fat Cantor sets is the following. It is mention as one of the reasons the develop the theory Lebesgue integral the fact that the space of Riemann integrable functions is not a complete space. Unfortunately it is hard to find a concrete counterexample for that statement, i.e. a sequence of Riemann integrable functions such that its limit is not Riemann integrable. Using fat Cantor sets it is easy to construct such a counterexample. First of all remember that, according to a theorem due to H. Lebesgue, a function is Riemann integrable if and only if the set of discontinuities has measure zero, see for instance [] Theorem pag. 06. Let us take a fat Cantor set, for instance, let us take the Volterra set SV C(4). We now know that SV C(4) has measure / > 0. Consider K its complement in [0, ] i.e. the union (disjunta) of the open intervals that have been removed in each iterative step, K = [0, ] SV C(4) = ( 3 8, 5 8 ) ( 5 3, 7 3 ) (5 3, 7 3 ) ( 9 8, 8 ) = Let f n the indicator function of the set n i= E i, and f be the indicator function of K. Then f n is Riemann integrable on [0, ] since it is continuous for all but a finite number of points in [0,]. Also trivially by construction f n (x) f(x), for any x [0, ] and moreover, f n f in mean, f n (x) f(x) dx = dx = E i 0, i=n+ Ei 0 i=n+ i= E i.
13 EXCURSIONS ON CANTOR-LIKE SETS 3 as n. But f is not Riemann integrable on [0, ] since its set of discontinuities is precisely SV C(4) that has positive measure. REFERENCES [] Abbott, S. Understanding Analysis. Undergraduate Texts in Mathematics. Springer Verlag. New York (00). [] Boes, D., Darst, R. & Erdös, P. Fat Symmetric, Irrational Cantor Sets Amer. Math. Montly, Vol. 88, No. 5 (98) [3] Bresoud, D. A Radical Approach to Lebesgue s Theory. Cambridge University Press. New York (008) [4] Cantor, G. De la puissance des ensembles parfaits de points Acta Math. 4 (884), [5] Chalice, D. R. A Characterization of the Cantor Function. Amer. Math Montly 98 No. 3 (99) [6] Darst, R. B. Some Cantor sets and Cantor Functions, Math. Mag. 45 (97) 7. [7] DiMartino, R. & Urbina, W. On Cantor-like Sets and Cantor-Lebesgue Singular Functions. Submitted for publication (03) [8] Gelbaum, B. R & Olmsted, J. M. H. Counterexamples in Analysis Dover Publications, New York (003). [9] Hutchinson, J. E. Fractals and self-similarity Indiana Univ. J. Math, 30 (98), [0] Randolph, J. F. Distances between points of the Cantor set. Amer. Math Monthly, 47 (940), [] Salem R. On Some Singular Monotonic Functions which are Strictly increasing. Trans Amer. Soc. Vol 53, No.3 (943). [] Tsang, K. Y Dimensionality of Strange Attractors Determined Analytically. Physical Review Letters. Vol 57, No., DEPARTMENT OF MATHEMATICAL AND ACTUARIAL SCIENCES, ROOSEVELT UNIVERSITY CHICAGO, IL, 60605, USA. address: [Robert DiMartino]robert.dimartino@gmail.com address: [Wilfredo Urbina]wurbinaromero@roosevelt.edu
MAT1000 ASSIGNMENT 1. a k 3 k. x =
MAT1000 ASSIGNMENT 1 VITALY KUZNETSOV Question 1 (Exercise 2 on page 37). Tne Cantor set C can also be described in terms of ternary expansions. (a) Every number in [0, 1] has a ternary expansion x = a
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationLebesgue Measure and The Cantor Set
Math 0 Final year project Lebesgue Measure and The Cantor Set Jason Baker, Kyle Henke, Michael Sanchez Overview Define a measure Define when a set has measure zero Find the measure of [0, ], I and Q Construct
More informationQuick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1
Quick Tour of the Topology of R Steven Hurder, Dave Marker, & John Wood 1 1 Department of Mathematics, University of Illinois at Chicago April 17, 2003 Preface i Chapter 1. The Topology of R 1 1. Open
More informationDavid M. Bressoud Macalester College, St. Paul, Minnesota Given at Allegheny College, Oct. 23, 2003
David M. Bressoud Macalester College, St. Paul, Minnesota Given at Allegheny College, Oct. 23, 2003 The Fundamental Theorem of Calculus:. If F' ( x)= f ( x), then " f ( x) dx = F( b)! F( a). b a 2. d dx
More information+ ε /2N) be the k th interval. k=1. k=1. k=1. k=1
Trevor, Angel, and Michael Measure Zero, the Cantor Set, and the Cantor Function Measure Zero : Definition : Let X be a subset of R, the real number line, X has measure zero if and only if ε > 0 a set
More informationHomework 1 Real Analysis
Homework 1 Real Analysis Joshua Ruiter March 23, 2018 Note on notation: When I use the symbol, it does not imply that the subset is proper. In writing A X, I mean only that a A = a X, leaving open the
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationTHE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE
THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY by arxiv:170109087v1 [mathca] 9 Jan 017 MAGNUS D LADUE 0 Abstract In [1] Grossman Turett define the Cantor game In [] Matt Baker proves several results
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationUniversity of Sheffield. School of Mathematics & and Statistics. Measure and Probability MAS350/451/6352
University of Sheffield School of Mathematics & and Statistics Measure and Probability MAS350/451/6352 Spring 2018 Chapter 1 Measure Spaces and Measure 1.1 What is Measure? Measure theory is the abstract
More informationIntroduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION
Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationGENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES
Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationBounded Derivatives Which Are Not Riemann Integrable. Elliot M. Granath. A thesis submitted in partial fulfillment of the requirements
Bounded Derivatives Which Are Not Riemann Integrable by Elliot M. Granath A thesis submitted in partial fulfillment of the requirements for graduation with Honors in Mathematics. Whitman College 2017 Certificate
More informationMath 172 HW 1 Solutions
Math 172 HW 1 Solutions Joey Zou April 15, 2017 Problem 1: Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other words, given two distinct points x, y C, there
More informationPREVALENCE OF SOME KNOWN TYPICAL PROPERTIES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXX, 2(2001), pp. 185 192 185 PREVALENCE OF SOME KNOWN TYPICAL PROPERTIES H. SHI Abstract. In this paper, some known typical properties of function spaces are shown to
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationCHAPTER 5. The Topology of R. 1. Open and Closed Sets
CHAPTER 5 The Topology of R 1. Open and Closed Sets DEFINITION 5.1. A set G Ω R is open if for every x 2 G there is an " > 0 such that (x ", x + ") Ω G. A set F Ω R is closed if F c is open. The idea is
More informationIntroductory Analysis I Fall 2014 Homework #5 Solutions
Introductory Analysis I Fall 2014 Homework #5 Solutions 6. Let M be a metric space, let C D M. Now we can think of C as a subset of the metric space M or as a subspace of the metric space D (D being a
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationNonarchimedean Cantor set and string
J fixed point theory appl Online First c 2008 Birkhäuser Verlag Basel/Switzerland DOI 101007/s11784-008-0062-9 Journal of Fixed Point Theory and Applications Nonarchimedean Cantor set and string Michel
More information1 Measure and Category on the Line
oxtoby.tex September 28, 2011 Oxtoby: Measure and Category Notes from [O]. 1 Measure and Category on the Line Countable sets, sets of first category, nullsets, the theorems of Cantor, Baire and Borel Theorem
More informationReal Variables: Solutions to Homework 3
Real Variables: Solutions to Homework 3 September 3, 011 Exercise 0.1. Chapter 3, # : Show that the cantor set C consists of all x such that x has some triadic expansion for which every is either 0 or.
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationMeasure Theory and Lebesgue Integration. Joshua H. Lifton
Measure Theory and Lebesgue Integration Joshua H. Lifton Originally published 31 March 1999 Revised 5 September 2004 bstract This paper originally came out of my 1999 Swarthmore College Mathematics Senior
More informationCARDINALITY OF THE SET OF REAL FUNCTIONS WITH A GIVEN CONTINUITY SET
CARDINALITY OF THE SET OF REAL FUNCTIONS WITH A GIVEN CONTINUITY SET JIAMING CHEN AND SAM SMITH Abstract. Expanding on an old result of W. H. Young, we determine the cardinality of the set of functions
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationUniquely Universal Sets
Uniquely Universal Sets 1 Uniquely Universal Sets Abstract 1 Arnold W. Miller We say that X Y satisfies the Uniquely Universal property (UU) iff there exists an open set U X Y such that for every open
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More informationIntroduction to Dynamical Systems
Introduction to Dynamical Systems France-Kosovo Undergraduate Research School of Mathematics March 2017 This introduction to dynamical systems was a course given at the march 2017 edition of the France
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationA Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta
A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 UW Electrical Engineering UWEE Technical Report
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationNotes on nets and convergence in topology
Topology I Humboldt-Universität zu Berlin C. Wendl / F. Schmäschke Summer Semester 2017 Notes on nets and convergence in topology Nets generalize the notion of sequences so that certain familiar results
More informationUltrafilters with property (s)
Ultrafilters with property (s) Arnold W. Miller 1 Abstract A set X 2 ω has property (s) (Marczewski (Szpilrajn)) iff for every perfect set P 2 ω there exists a perfect set Q P such that Q X or Q X =. Suppose
More informationSpring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures
36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationFractals list of fractals by Hausdoff dimension
from Wiipedia: Fractals list of fractals by Hausdoff dimension Sierpinsi Triangle D Cantor Dust Lorenz attractor Coastline of Great Britain Mandelbrot Set What maes a fractal? I m using references: Fractal
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More information7 About Egorov s and Lusin s theorems
Tel Aviv University, 2013 Measure and category 62 7 About Egorov s and Lusin s theorems 7a About Severini-Egorov theorem.......... 62 7b About Lusin s theorem............... 64 7c About measurable functions............
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationFUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as
FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=
More informationBased on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,
NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If
More informationDifferentiation. Chapter 4. Consider the set E = [0, that E [0, b] = b 2
Chapter 4 Differentiation Consider the set E = [0, 8 1 ] [ 1 4, 3 8 ] [ 1 2, 5 8 ] [ 3 4, 8 7 ]. This set E has the property that E [0, b] = b 2 for b = 0, 1 4, 1 2, 3 4, 1. Does there exist a Lebesgue
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationSpaces of continuous functions
Chapter 2 Spaces of continuous functions 2.8 Baire s Category Theorem Recall that a subset A of a metric space (X, d) is dense if for all x X there is a sequence from A converging to x. An equivalent definition
More informationMAT335H1F Lec0101 Burbulla
Fall 2011 Q 2 (x) = x 2 2 Q 2 has two repelling fixed points, p = 1 and p + = 2. Moreover, if I = [ p +, p + ] = [ 2, 2], it is easy to check that p I and Q 2 : I I. So for any seed x 0 I, the orbit of
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhofproblems.tex December 5, 2017 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/ van Rooij, Schikhof: A Second Course on Real Functions Some notes made when reading [vrs].
More informationLinear distortion of Hausdorff dimension and Cantor s function
Collect. Math. 57, 2 (2006), 93 20 c 2006 Universitat de Barcelona Linear distortion of Hausdorff dimension and Cantor s function O. Dovgoshey and V. Ryazanov Institute of Applied Mathematics and Mechanics,
More information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
More informationG1CMIN Measure and Integration
G1CMIN Measure and Integration 2003-4 Prof. J.K. Langley May 13, 2004 1 Introduction Books: W. Rudin, Real and Complex Analysis ; H.L. Royden, Real Analysis (QA331). Lecturer: Prof. J.K. Langley (jkl@maths,
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationINTRODUCTION TO FRACTAL GEOMETRY
Every mathematical theory, however abstract, is inspired by some idea coming in our mind from the observation of nature, and has some application to our world, even if very unexpected ones and lying centuries
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationMATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005
MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005 1. True or False (22 points, 2 each) T or F Every set in R n is either open or closed
More informationx 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus
Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist
More informationApproximation of the attractor of a countable iterated function system 1
General Mathematics Vol. 17, No. 3 (2009), 221 231 Approximation of the attractor of a countable iterated function system 1 Nicolae-Adrian Secelean Abstract In this paper we will describe a construction
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationNOTIONS OF DIMENSION
NOTIONS OF DIENSION BENJAIN A. STEINHURST A quick overview of some basic notions of dimension for a summer REU program run at UConn in 200 with a view towards using dimension as a tool in attempting to
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More information1 Measurable Functions
36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and
More informationTHE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM
Bull. Aust. Math. Soc. 88 (2013), 267 279 doi:10.1017/s0004972713000348 THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM MICHAEL F. BARNSLEY and ANDREW VINCE (Received 15 August 2012; accepted 21 February
More informationarxiv: v1 [math.gn] 27 Oct 2018
EXTENSION OF BOUNDED BAIRE-ONE FUNCTIONS VS EXTENSION OF UNBOUNDED BAIRE-ONE FUNCTIONS OLENA KARLOVA 1 AND VOLODYMYR MYKHAYLYUK 1,2 Abstract. We compare possibilities of extension of bounded and unbounded
More informationON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM
ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ALEXANDER KUPERS Abstract. These are notes on space-filling curves, looking at a few examples and proving the Hahn-Mazurkiewicz theorem. This theorem
More informationCHAOTIC UNIMODAL AND BIMODAL MAPS
CHAOTIC UNIMODAL AND BIMODAL MAPS FRED SHULTZ Abstract. We describe up to conjugacy all unimodal and bimodal maps that are chaotic, by giving necessary and sufficient conditions for unimodal and bimodal
More informationA thesis. submitted in partial fulfillment. of the requirements for the degree of. Master of Science in Mathematics. Boise State University
THE DENSITY TOPOLOGY ON THE REALS WITH ANALOGUES ON OTHER SPACES by Stuart Nygard A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics Boise
More informationMATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1
MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More informationLEBESGUE MEASURE, INTEGRAL, MEASURE THEORY: A QUICK INTRO
LEBEGUE MEAURE, INTEGRAL, MEAURE THEORY: A QUICK INTRO This note is meant to give an overview of some general constructions and results, certainly not meant to be complete, but with your knowledge of Riemann
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationFractals list of fractals - Hausdorff dimension
3//00 from Wiipedia: Fractals list of fractals - Hausdorff dimension Sierpinsi Triangle -.585 3D Cantor Dust -.898 Lorenz attractor -.06 Coastline of Great Britain -.5 Mandelbrot Set Boundary - - Regular
More informationContinuum Probability and Sets of Measure Zero
Chapter 3 Continuum Probability and Sets of Measure Zero In this chapter, we provide a motivation for using measure theory as a foundation for probability. It uses the example of random coin tossing to
More informationActa Mathematica et Informatica Universitatis Ostraviensis
Acta Mathematica et Informatica Universitatis Ostraviensis Ladislav Mišík Big set of measure zero Acta Mathematica et Informatica Universitatis Ostraviensis, Vol. 9 (2001), No. 1, 53--57 Persistent URL:
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationADVANCE TOPICS IN ANALYSIS - REAL. 8 September September 2011
ADVANCE TOPICS IN ANALYSIS - REAL NOTES COMPILED BY KATO LA Introductions 8 September 011 15 September 011 Nested Interval Theorem: If A 1 ra 1, b 1 s, A ra, b s,, A n ra n, b n s, and A 1 Ě A Ě Ě A n
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationCOUNTABLY S-CLOSED SPACES
COUNTABLY S-CLOSED SPACES Karin DLASKA, Nurettin ERGUN and Maximilian GANSTER Abstract In this paper we introduce the class of countably S-closed spaces which lies between the familiar classes of S-closed
More information1 Independent increments
Tel Aviv University, 2008 Brownian motion 1 1 Independent increments 1a Three convolution semigroups........... 1 1b Independent increments.............. 2 1c Continuous time................... 3 1d Bad
More informationEuclidean Models of the p-adic Integers
Euclidean Models of the p-adic Integers Scott Zinzer December 12, 2012 1 Introduction Much of our visual perception is based in what seems to be standard Euclidean space; we can easily imagine perfectly
More informationMTG 5316/4302 FALL 2018 REVIEW FINAL
MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set
More information