|
|
- Brian Randall
- 5 years ago
- Views:
Transcription
1 Max-Planck-Institut fur Mathematik in den Naturwissenschaften Leipzig Uniformly distributed measures in Euclidean spaces by Bernd Kirchheim and David Preiss Preprint-Nr.:
2
3 Uniformly Distributed Measures in Euclidean spaces Bernd Kirchheim and David Preiss For every complete metric space X there is, up to a constant multiple, at most one Borel regular measure over X such that 0 < (B(x; r)) = (B(y; r)) < 1 whenever x; y 2 X and r 2 (0; 1); where the symbol B(x; r) stands for the closed ball with center in x and radius r. In fact, the existence of such a measure imposes rather strong regularity conditions on the space X itself (see [2], [7], [10]); in particular from [3] we know that, if X is a bounded subset of R n, then it is contained in a sphere. In the case when X R n, regularity results about X turned out to be the most important tool in the study of densities of measures in R n (see [9], or, for a more detailed but less complete account, [8]). One of our main results considerably improves several results from [9] by showing that any X R n is an analytic variety. Our proof is much simpler than those presented in [9], which enables us to give as an application a simple proof of a remarkable result of Marstrand [6] according to which the existence of non-trivial s-dimensional densities (of a measure in R n ) implies that s is an integer. Our results, however, do not seem to be strong enough to show the main result of [9] that measures having s-dimensional density are s rectiable, because they do not give any information about the behaviour of X at innity. In addition to the analyticity result mentioned above, we also show that X is an algebraic variety provided that it is bounded and obtain more precise results in the special cases n = 1 and n = 2. For various reasons, including the political changes in Europe, this note has not been published for many years, although our main approach has become known and used in the literature. We would like to thank the Max 1
4 Planck Institute for bringing us together and thus enabling us to recover the manuscript and prepare it for publication. Under a measure over R n we will understand a monotone, -additive mapping of the family of all subsets of R n into [0; 1] such that (A) = inff(b); A B and B Borel setg and that (A [ B) = (A) + (B) whenever dist(a; B) > 0 (i.e., is a Borel regular metric outer measure). The last property is equivalent to the -additivity of on the family of all Borel sets, see [4], 2.3.2(9). The support of the measure over R n is dened by spt() = fx 2 R n ; (B(x; r)) > 0 for every r > 0g: Since in our situation we will always have X = spt() R n, we avoid the use of any special symbol for the space by adopting the following denition. Denition A measure over R n is said to be uniformly distributed if there is a function f : (0; 1)! [0; 1] such that (i) (B(x; r)) = f (r) for every x 2 spt() and r > 0, and (ii) f (r) < 1 for some r > 0. 1 Uniformly distributed measures in R n Lemma 1 Let be a uniformly distributed measure over R n, x 2 R n, and 0 < s < r < 1, then (B(x; r)) 5 n (r=s) n f (s). Proof. Let B(x; r) be a maximal set such that kz 1?z 2 k > s=2 whenever z 1 ; z 2 2 and z 1 6= z 2. Since the balls B(z; s=4), z 2, are mutually disjoint, by comparison of their volumes we infer that (s=4) n card (5r=4) n. Hence card 5 n (r=s) n and (B(x; r)) X z2 (B(z; s=2)) = f (s) card 5 n (r=s) n f (s) since (B(z; s=2)) = 0 in case when B(z; s=2)\spt() = ; and (B(z; s=2)) (B(x; s)) if x 2 B(z; s=2) \ spt(). Corollary 2 Let be a uniformly distributed measure over R n. Then 2
5 (i) f (r) < 1 for every r > 0, (ii) spt() is bounded if and only if (R n ) < 1, (iii) R R n exp(?skz? xk 2 ) d(z) = R 1 0 (B(x;p?(ln r)=s)) dr converges for all s > 0 and x 2 R n, and (iv) R R n exp(?skz?xk 2 ) d(z) = R R n exp(?skz?yk 2 ) d(z) whenever s > 0 and x; y 2 spt(). Proof. Since f (s) < 1 for some s > 0, (i) follows from Lemma 1. If spt() is unbounded then there is an innite set spt() such that kz 1? z 2 k > 2 whenever z 1 ; z 2 2 and z 1 6= z 2. Since (B(z; 1)) = f (1) > 0 for every z 2, we have (R n ) = 1. The formula in (iii) follows from Fubini's theorem (see, e.g., [8], Theorem 1.15), and the niteness statement follows by using Lemma 1 to estimate 1 0 (B(x; p?(ln r)=s)) dr 5 n 1 0 (?(ln r)=s) n=2 f (1) dr < 1: Finally, (iv) follows from the formula in (iii), since for x 2 spt(), 1 does not depend on x. 0 (B(x;?(ln r)=s)) dr = 1 0 f ( p?(ln r)=s) dr Theorem 3 Let be a uniformly distributed measure over R n and let x 0 2 spt(). For every x 2 R n and s > 0 let Then F (x; s) = R n [exp(?skz? xk 2 )? exp(?skz? x 0 k 2 )] d(z) : (i) F (x; s) is well-dened and nite for any x 2 R n and any s > 0; moreover, its denition is independent of the choice of x 0 2 spt(). (ii) x 2 spt() if and only if F (x; s) = 0 for every s > 0, and (iii) if x =2 spt() then there is an s x 2 (0; 1) such that F (x; s) < 0 for every s s x. 3
6 Proof. Statement (i) follows from Corollary 2, (iii) and (iv). If x 2 spt() and s > 0 then F (x; s) = 0 according to Corollary 2, (iv). If x =2 spt(), let " 2 (0; 1) be such that B(x; ") \ spt() = ;. Using Lemma 1, we estimate R n exp(?skz? xk 2 ) d(z) = 1X 1X k=1 k=1 (10) n 1 X k=1 B(x;(k+1)")nB(x;k") exp(?skz? xk 2 ) d(z) exp(?sk 2 " 2 )(B(x; (k + 1)")) exp(?sk 2 " 2 )(k + 1) n f ("=2) : Hence lim s!1 R R Rn exp(?skz? xk 2 ) d(z) R n exp(?skz? x 0 k 2 ) d(z) lim s!1 lim s!1 (10) n = 0: R R n exp(?skz? xk 2 ) d(z) exp(?s" 2 =4)f ("=2) 1X k=1 exp(?sk 2 (" 2? " 2 =4))(k + 1) n Consequently, there is an s x 2 (0; 1) such that for every s s x R n exp(?skz? xk 2 ) d(z) < 1 2 R n exp(?skz? x 0 k 2 ) d(z) ; which proves (iii) as well as the remaining implication in (ii). Theorem 4 Let be a uniformly distributed measure over R n. Then (i) spt() is an analytic variety, and (ii) there is an integer m 2 f0; 1; : : : ; ng, a constant c 2 (0; 1) and an open subset G of R n such that (1) G \ spt() is an m-dimensional analytic submanifold of R n, (2) R n n G is the union of countably many analytic submanifolds of R n of dimensions less than m, (R n n G) = H m (R n n G) = 0. (3) (A) = ch m (A \ G \ spt()) = ch m (A \ spt()) for every subset A R n. (H m denotes the m-dimensional Hausdor measure.) 4
7 Proof. (i) For a direct proof, let H(x) = R 1 1 exp(?s)f 2 (x; s) ds, where F is the function dened in Theorem 3. We easily see that H is a well-dened function on R n and, using Theorem 3 (iii) and (iv), that spt() = fx 2 R n ; H(x) = 0g. Moreover, H is an analytic function, since the function ~H taking at (x 1 ; : : : ; x n ) 2 C n the value 1 1 e?s "R n (exp(?s nx i=1 (z i? x i ) 2 ))? exp(?s nx i=1 (z i? x 0 i ) 2 )) d(z)# 2 ds is well-dened and holomorphic on the whole complex n-space C n. An alternative proof is obtained by noting that, for each s > 0, the set fx : F (x; s) = 0g is an analytic variety, and that the intersection of (an arbitrary number of) analytic varieties is again an analytic variety. (ii) Whenever U R n is an open set and U \ spt() is a nonempty k- dimensional analytic submanifold of R n, then the Besicovitch Dierentiation Theorem (see [4], 2.9.7) implies that the limit f(z) = lim r&0 (B(z; r)=( + H k spt())(b(z; r)) exists at ( + H k (A) = A spt())-almost every z 2 U and f(z) d( + H k spt())(z) for any Borel set A U : (*) (Here H k spt()(m) = H k (M \ spt()) for any set M.) Then clearly f(z) = lim r&0 f (r)=(f (r) + (k)r k ) for any z 2 U \ spt() where (k) denotes the volume of the k-dimensional unit ball. Thus c = lim f (r)=((k)r k ) r&0 exists; moreover c 6= 0 since otherwise (*) would imply (U) = 0 and c 6= 1 since otherwise (*) would imply H k (U \ spt()) = 0. Consequently, f = c=(c + 1) at ( + H k spt())-almost every point of U \ spt(), from which, using (*) once more, we infer that (A) = c H k spt()(a) for every Borel set A U. Since the statement (ii) is trivial if is the zero measure, we may assume that spt() 6= ;. Let G be a maximal open subset of R n such that G \ spt() is an analytic submanifold of R n. Since G \ spt() 6= ; (see [4], 3.4.8), we 5
8 infer from the above analysis that there is an integer m 2 f0; 1; : : : ; ng such that 0 < c = lim r&0 f (r)=((m)r m ) < 1. Since this integer m is determined uniquely, we conclude that G \ spt() is an m-dimensional analytic submanifold of R n. Therefore, according to [4], 3.4.8, R n n G is a countable union of analytic submanifolds of R n, all of dimension less than m. Hence H m (R n n G) = 0 and, since is absolutely continuous with respect to H m (see [4], (1)), (R n n G) = 0. This proves (2). The statement (3) is an easy corollary of (2) and of the analysis at the beginning of the proof of (ii). Theorem 5 Let be a uniformly distributed measure over R n with bounded support and let x 0 2 spt(). Then x 2 spt() if and only if P k (x) = for every natural number k 1. R n hz? x; z? xi k? hz? x 0 ; z? x 0 i k d(z) = 0 Proof. Because spt() is a compact set, F (x; s) = 1X k=1 (?s) k k! R n hz? x; z? xi k? hz? x 0 ; z? x 0 i k d(z) and hence F (x; s) = 0 for every s > 0 if and only if P k (x) = 0 for every k = 1; 2; : : :. Corollary 6 Let be a uniformly distributed measure over R n with bounded support. Then this support is an algebraic variety. Proof. According to Theorem 6, spt() = T 1 k=0 fx 2 Rn ; P k (x) = 0g. But each P k (x) is a polynomial in the coordinates of the point x. Hence Hilbert's theorem for polynomials over a Noetherian ring (see [1], chap.iii, x2.10, Corollary 2) implies that there are natural numbers k 1 ; : : : ; k l such that spt() = T l j=1 fx 2 Rn ; P k j(x) = 0g. Hence the support of the measure is the zero-set, for example, of the polynomial P (x) = P l j=1 P 2 kj (x). By considering the condition P 1 (x) = 0 we obtain the following result which is contained already in [3]. Proposition 7 Let be a uniformly distributed measure over R n with bounded support. Then this support is contained in some (n? 1)-dimensional sphere. 6
9 Proof. P 1 (x) = 0 means R n [hx; xi? 2hz; xi] d(z) = R n [hx 0 ; x 0 i? 2hz; x 0 i] d(z): We denote by c = R R n z d(z)=(r n ) the barycentr of the measure. Then hx; xi? 2hc; xi = hx 0 ; x 0 i? 2hc; x 0 i and consequently kx? ck 2 = kx 0? ck 2 for any x 2 spt(). Remark If spt() is a discrete, bounded set, then it is clearly nite. Let k denote its cardinality. Then spt() = fx 2 R n ; P m (x) = 0 for every m kg: This can be shown using the Newton identities for the sums of the m-th powers. 2 Uniformly distributed measures in R and R 2 Now we investigate uniformly distributed measures on the straight line and on the plane. Proposition 8 The support of a uniformly distributed measure over the straight line R is either the whole R or a discrete set. Proof. It suces to assume that ; 6= spt() 6= R and to show that spt() contains an isolated point. Let x 0 =2 spt(). Then there exists some x 1 2 spt() such that jx 0? x 1 j = minfjx 0? xj ; x 2 spt()g. We assume x 0 < x 1 ; the case x 0 > x 1 is similar. If x 1 is an accumulation point of spt() then there are x 2 ; x 3 2 spt() satisfying 0 < 2(x 2?x 1 ) < x 3?x 1 < x 1?x 0. Hence we can choose an " 2 (x 3? x 2 ; x 3? x 1 ). Because spt() \ [x 0 ; x 1 ) = ;, we obtain (B(x 1 ; ")) = ([x 1 ; x 1 + "]) ([x 1 ; x 2 + "]) (B(x 2 ; ")). That implies ((x 1 + "; x 2 + ")) = 0 but x 3 is an interior point of (x 1 + "; x 2 + "). This contradiction shows that x 1 must be an isolated point of spt() and hence that spt() is a discrete set. A simple combinatorial proof of the following lemma and of its corollary may be left to the reader. 7
10 Lemma 9 Let be an uniformly distributed measure over R with discrete and unbounded support. Then there are positive reals a; b and a bijection :! R mapping the integers onto spt() such that a (i + 1)? (i) = b for even i for odd i Corollary 10 There are three kinds of nonzero uniformly distributed measures over R. The rst kind are multiples of the Lebesgue measure by positive constants. The second kind are the unbounded and discrete uniformly distributed measures described in Lemma 9. The last kind are bounded and discrete uniformly distributed measures; by Proposition 8, such measures may be supported either by a single point or by a pair of points. The following proposition completely characterizes those uniformly distributed measures over the plane that have a bounded support. A number of examples of such measures with unbounded support can be also constructed, but a general description has not been found yet. Proposition 11 There are three kinds of nonzero uniformly distributed measures over R 2 with bounded support. (i) The support of the measure is a circle. (ii) The support is formed by the vertices of a regular polygon. (iii) The support is formed by the vertices of two regular n-gons having the same center and radius. Proof. Because of Proposition 7, we may assume that spt() fx 2 R 2 ; kx? ck = rg. Let : R! R 2 be dened by (t) = c + (r cos t; r sin t) and let g : R! R be such that g(t) = ((0; t]) for t 2 [0; 2) and g(t + 2) = g(t) + (R 2 ) for every t 2 R. Then g is the distribution function of some uniformly distributed measure over R and x 2 spt() if and only if (x) 2 spt(). The statement now follows from Corollary 10. Remark Clearly, a measure over R n is uniformly distributed provided it is locally nite and fullls the following homogeneity condition: For every pair x; y 2 spt() there is an isometry : R n! R n such that (x) = y and # =, where ( # )(A) = (?1 (A)). 8
11 The measures described in Corollary 10 and Proposition 11 are homogeneous in this sense. On the other hand, the three dimensional measure concentrated on the set f(x 1 ; x 2 ; x 3 ; x 4 ) 2 R 4 ; x 2 4 = x x x 2 3g is uniformly distributed (see [5] or [9]) but not homogeneous. It is unknown whether there are non-homogeneous uniformly distributed measures in R 2 or R 3, or in any R n with bounded support or with discrete support. 3 An application: Proof of Marstrand's Theorem Using our results we will present here an alternative proof of one of the main results in [6] which roughly says that the \density dimension" is always an integer. Theorem 12 Let be a metric outer measure over R n, n 1, s a nonnegative real number and let the sets B A R n satisfy (i) (B) > 0, and (ii) lim r&0 r?s (B(x; r)\a) exists and is positive and nite for any x 2 B. Then s is an integer. Proof. Using standard regularization methods, the measurability of both x! lim sup r&0 r?s (B(x; r) \ A) and x! lim inf r&0 r?s (B(x; r) \ A), and (ii) we may in addition assume that ~ = A is Borel regular (i.e., a measure) and locally nite in some open superset U of A and that B is a compact set on which the functions x! k s ~(B(x; 1 )) uniformly converge, as k tends to innity, to a continuous function d : B! (0; 1). The k Besicovitch Dierentiation theorem ([4], 2.9.7) ensures the existence of an x 0 2 B with lim r&0 ~(B(x 0 ; r) n B)=~(B(x 0 ; r)) = 0. For k 1 we dene ~ k (M) = k s ~(x 0 + 1M) and B k k = k (B? x 0 ). Since lim k!1 ~ k (B(0; i)) = d(x 0 )i s for any integer i 0, we infer from well-known weak compactness results for measures, see e.g., [8], Theorem 1.23 or [9], Proposition 1.12, that there is a sequence k i % 1 of integers and a Radon measure over R n such that (C) lim sup i!1 ~ k i(c) for any compact set C and (G) lim inf i!1 ~ k i(g) for any open set G. We show that is a nonzero 9
12 uniformly distributed measure with f (r) = r s d(x 0 ). Then it easily follows that s = m for the integer m from Theorem 4 (ii). This will nish our proof. Since (B(0; 1)) d(x 0 ) > 0, we have ; 6= spt(). Let x 2 spt(), R > 0 and x a positive " < R. Then 0 < (B(x; "=2)) lim inf i!1 ~ k i(b(x; ")). According to the choice of x 0 we have lim i!1 ~ k i(b(0; kxk+2")nb k i) = 0 and therefore for any i suciently large we may nd a point y i 2 B(x; ") \ B k i. Consequently, we can estimate (B(x; R)) lim sup ~ k i(b(x; R)) lim sup ~ k i(b(y i ; R? ")) i!1 i!1 = lim sup k s i ~(B(x 0 + y i =k i ; (R? ")=k i )) d(x 0 )(R? ") s i!1 since all (x 0 + y i =k i ) belong to B and the \average density" uniformly converges on B. Similarly, one estimates that the measure of the interior of the ball B(x; R + ") is d(x 0 )(R + 2") s and, tending with " to zero, we infer that (B(x; R)) = d(x 0 )R s as required. References [1] N.Bourbaki, Elements de mathematique, Fascicule XXVIII, Algebre Commmutative, Hermann, Paris [2] J.P.R.Christensen, On some measures analogous to Haar measures, Mathematica Scandinavica, 26(1970), [3] J.P.R.Christensen, Uniform measures and spherical harmonics, Mathematica Scandinavica, 26(1970), [4] H.Federer, Geometric measure theory, Grundlehren der math. Wissenschaften 153, Springer [5] O.Kowalski and D.Preiss, Besicovitch-type properties of measures and submanifolds, Jour. reine, angew. Math., 379(1987), [6] J.M.Marstrand, The (; s)-regular subsets of n space, Trans. Amer. Math. Soc., 113(1964), [7] P.Mattila, Dierentiation of measures in uniform spaces, in Lecture Notes in Mathematics 794, Springer
13 [8] P.Mattila, Geometry of sets and measures in Euclidean Spaces, Cambridge University Press [9] D.Preiss, Geometry of measures in R n : Distribution, rectiability and densities, Annals Math., 125(1987), 537{643. [10] M.Studeny, Dierentiations of measures in metric spaces, Thesis, Prague 1981 Max-Planck-Institute fur Mathematik in den Naturwissenschaften, Inselstrae 22-26, D Leipzig, Germany 1 and Department of Mathematics, University College London, Gower Street, London WC1E 6BT, UK 1 On leave from UAM MFF UK, Mlynska dolina, Bratislava, Slovakia 11
UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES
MATH. SCAND. 90 (2002), 152 160 UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES BERND KIRCHHEIM and DAVID PREISS For every complete metric space X there is, up to a constant multiple, at most one Borel
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-090 Wien, Austria Lipschitz Image of a Measure{null Set Can Have a Null Complement J. Lindenstrauss E. Matouskova
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationGarrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f
1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation
More informationCones of measures. Tatiana Toro. University of Washington. Quantitative and Computational Aspects of Metric Geometry
Cones of measures Tatiana Toro University of Washington Quantitative and Computational Aspects of Metric Geometry Based on joint work with C. Kenig and D. Preiss Tatiana Toro (University of Washington)
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationExercises from other sources REAL NUMBERS 2,...,
Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},
More informationIntroduction to Real Analysis
Introduction to Real Analysis Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Sets Sets are the basic objects of mathematics. In fact, they are so basic that
More informationQUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE. Denitizable operators in Krein spaces have spectral properties similar to those
QUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE BRANKO CURGUS and BRANKO NAJMAN Denitizable operators in Krein spaces have spectral properties similar to those of selfadjoint operators in Hilbert spaces.
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More 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 informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
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 informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More information2 Section 2 However, in order to apply the above idea, we will need to allow non standard intervals ('; ) in the proof. More precisely, ' and may gene
Introduction 1 A dierential intermediate value theorem by Joris van der Hoeven D pt. de Math matiques (B t. 425) Universit Paris-Sud 91405 Orsay Cedex France June 2000 Abstract Let T be the eld of grid-based
More informationWHICH MEASURES ARE PROJECTIONS OF PURELY UNRECTIFIABLE ONE-DIMENSIONAL HAUSDORFF MEASURES
WHICH MEASURES ARE PROJECTIONS OF PURELY UNRECTIFIABLE ONE-DIMENSIONAL HAUSDORFF MEASURES MARIANNA CSÖRNYEI AND VILLE SUOMALA Abstract. We give a necessary and sufficient condition for a measure µ on the
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 informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
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 informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More information4. (10 pts) Prove or nd a counterexample: For any subsets A 1 ;A ;::: of R n, the Hausdor dimension dim ([ 1 i=1 A i) = sup dim A i : i Proof : Let s
Math 46 - Final Exam Solutions, Spring 000 1. (10 pts) State Rademacher's Theorem and the Area and Co-area Formulas. Suppose that f : R n! R m is Lipschitz and that A is an H n measurable subset of R n.
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationMARIA GIRARDI Fact 1.1. For a bounded linear operator T from L 1 into X, the following statements are equivalent. (1) T is Dunford-Pettis. () T maps w
DENTABILITY, TREES, AND DUNFORD-PETTIS OPERATORS ON L 1 Maria Girardi University of Illinois at Urbana-Champaign Pacic J. Math. 148 (1991) 59{79 Abstract. If all bounded linear operators from L1 into a
More informationON THE DIAMETER OF THE ATTRACTOR OF AN IFS Serge Dubuc Raouf Hamzaoui Abstract We investigate methods for the evaluation of the diameter of the attrac
ON THE DIAMETER OF THE ATTRACTOR OF AN IFS Serge Dubuc Raouf Hamzaoui Abstract We investigate methods for the evaluation of the diameter of the attractor of an IFS. We propose an upper bound for the diameter
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationOn Coarse Geometry and Coarse Embeddability
On Coarse Geometry and Coarse Embeddability Ilmari Kangasniemi August 10, 2016 Master's Thesis University of Helsinki Faculty of Science Department of Mathematics and Statistics Supervised by Erik Elfving
More information= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i
Real Analysis Problem 1. If F : R R is a monotone function, show that F T V ([a,b]) = F (b) F (a) for any interval [a, b], and that F has bounded variation on R if and only if it is bounded. Here F T V
More informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationA theorem on summable families in normed groups. Dedicated to the professors of mathematics. L. Berg, W. Engel, G. Pazderski, and H.- W. Stolle.
Rostock. Math. Kolloq. 49, 51{56 (1995) Subject Classication (AMS) 46B15, 54A20, 54E15 Harry Poppe A theorem on summable families in normed groups Dedicated to the professors of mathematics L. Berg, W.
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 informationLECTURE 12 UNIT ROOT, WEAK CONVERGENCE, FUNCTIONAL CLT
MARCH 29, 26 LECTURE 2 UNIT ROOT, WEAK CONVERGENCE, FUNCTIONAL CLT (Davidson (2), Chapter 4; Phillips Lectures on Unit Roots, Cointegration and Nonstationarity; White (999), Chapter 7) Unit root processes
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationUniversität des Saarlandes. Fachrichtung Mathematik. Preprint Nr. 391
Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung Mathematik Preprint Nr. 391 A reciprocity principle for constrained isoperimetric problems and existence of isoperimetric
More informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationA NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES
A NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES VASILIS CHOUSIONIS AND MARIUSZ URBAŃSKI Abstract. We prove that in any metric space (X, d) the singular integral operators Tµ,ε(f)(x) k
More informationMATH5011 Real Analysis I. Exercise 1 Suggested Solution
MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:
More informationON A MEASURE THEORETIC AREA FORMULA
ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel
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 informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationON TRIVIAL GRADIENT YOUNG MEASURES BAISHENG YAN Abstract. We give a condition on a closed set K of real nm matrices which ensures that any W 1 p -grad
ON TRIVIAL GRAIENT YOUNG MEASURES BAISHENG YAN Abstract. We give a condition on a closed set K of real nm matrices which ensures that any W 1 p -gradient Young measure supported on K must be trivial the
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 informationFirst-Return Integrals
First-Return ntegrals Marianna Csörnyei, Udayan B. Darji, Michael J. Evans, Paul D. Humke Abstract Properties of first-return integrals of real functions defined on the unit interval are explored. n particular,
More information290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f
Numer. Math. 67: 289{301 (1994) Numerische Mathematik c Springer-Verlag 1994 Electronic Edition Least supported bases and local linear independence J.M. Carnicer, J.M. Pe~na? Departamento de Matematica
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationarxiv: v1 [math.ds] 31 Jul 2018
arxiv:1807.11801v1 [math.ds] 31 Jul 2018 On the interior of projections of planar self-similar sets YUKI TAKAHASHI Abstract. We consider projections of planar self-similar sets, and show that one can create
More informationSerena Doria. Department of Sciences, University G.d Annunzio, Via dei Vestini, 31, Chieti, Italy. Received 7 July 2008; Revised 25 December 2008
Journal of Uncertain Systems Vol.4, No.1, pp.73-80, 2010 Online at: www.jus.org.uk Different Types of Convergence for Random Variables with Respect to Separately Coherent Upper Conditional Probabilities
More informationNOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS
NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS K. Jarosz Southern Illinois University at Edwardsville, IL 606, and Bowling Green State University, OH 43403 kjarosz@siue.edu September, 995 Abstract. Suppose
More informationGeometry and topology of continuous best and near best approximations
Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra
More informationNear convexity, metric convexity, and convexity
Near convexity, metric convexity, and convexity Fred Richman Florida Atlantic University Boca Raton, FL 33431 28 February 2005 Abstract It is shown that a subset of a uniformly convex normed space is nearly
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationPERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS. A. M. Blokh. Department of Mathematics, Wesleyan University Middletown, CT , USA
PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS A. M. Blokh Department of Mathematics, Wesleyan University Middletown, CT 06459-0128, USA August 1991, revised May 1992 Abstract. Let X be a compact tree,
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More informationconvergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known
https://sites.google.com/site/anilpedgaonkar/ profanilp@gmail.com 218 Chapter 5 Convergence and Integration In this chapter we obtain convergence theorems. Convergence theorems will apply to various types
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationCHARACTERISTIC POINTS, RECTIFIABILITY AND PERIMETER MEASURE ON STRATIFIED GROUPS
CHARACTERISTIC POINTS, RECTIFIABILITY AND PERIMETER MEASURE ON STRATIFIED GROUPS VALENTINO MAGNANI Abstract. We establish an explicit formula between the perimeter measure of an open set E with C 1 boundary
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 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 informationFunctional Analysis Winter 2018/2019
Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture
More informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
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 informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationCongurations of periodic orbits for equations with delayed positive feedback
Congurations of periodic orbits for equations with delayed positive feedback Dedicated to Professor Tibor Krisztin on the occasion of his 60th birthday Gabriella Vas 1 MTA-SZTE Analysis and Stochastics
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More 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 informationLecture 9: Cardinality. a n. 2 n 1 2 n. n=1. 0 x< 2 n : x = :a 1 a 2 a 3 a 4 :::: s n = s n n+1 x. 0; if 0 x<
Lecture 9: Cardinality 9. Binary representations Suppose fa n g n= is a sequence such that, for each n =; 2; 3;:::, either a n =0ora n = and, for any integer N, there exists an integer n>n such that a
More informationSIMULTANEOUS SOLUTIONS OF THE WEAK DIRICHLET PROBLEM Jan Kolar and Jaroslav Lukes Abstract. The main aim of this paper is a geometrical approach to si
SIMULTANEOUS SOLUTIONS OF THE WEAK DIRICHLET PROBLEM Jan Kolar and Jaroslav Lukes Abstract. The main aim of this paper is a geometrical approach to simultaneous solutions of the abstract weak Dirichlet
More informationLi- Yorke Chaos in Product Dynamical Systems
Advances in Dynamical Systems and Applications. ISSN 0973-5321, Volume 12, Number 1, (2017) pp. 81-88 Research India Publications http://www.ripublication.com Li- Yorke Chaos in Product Dynamical Systems
More informationFragmentability and σ-fragmentability
F U N D A M E N T A MATHEMATICAE 143 (1993) Fragmentability and σ-fragmentability by J. E. J a y n e (London), I. N a m i o k a (Seattle) and C. A. R o g e r s (London) Abstract. Recent work has studied
More informationOptimality Conditions for Nonsmooth Convex Optimization
Optimality Conditions for Nonsmooth Convex Optimization Sangkyun Lee Oct 22, 2014 Let us consider a convex function f : R n R, where R is the extended real field, R := R {, + }, which is proper (f never
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationIntroduction to Geometric Measure Theory
Introduction to Geometric easure Theory Leon Simon 1 Leon Simon 2014 1 The research described here was partially supported by NSF grants DS-9504456 & DS 9207704 at Stanford University Contents 1 Preliminary
More informationlim f f(kx)dp(x) = cmf
proceedings of the american mathematical society Volume 107, Number 3, November 1989 MAGNIFIED CURVES ON A FLAT TORUS, DETERMINATION OF ALMOST PERIODIC FUNCTIONS, AND THE RIEMANN-LEBESGUE LEMMA ROBERT
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
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 informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationReview of measure theory
209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More information4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1
Robert Oeckl CA NOTES 7 17/11/2009 1 4.6 Montel's Theorem Let X be a topological space. We denote by C(X) the set of complex valued continuous functions on X. Denition 4.26. A topological space is called
More informationTOPOLOGICAL GROUPS MATH 519
TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as
More informationMidterm 1. Every element of the set of functions is continuous
Econ 200 Mathematics for Economists Midterm Question.- Consider the set of functions F C(0, ) dened by { } F = f C(0, ) f(x) = ax b, a A R and b B R That is, F is a subset of the set of continuous functions
More information